منزلِ دهم — سلوکِ توابعِ گویا
توابعِ گویا و تابع‌هایِ بی‌مخرج
حجابِ نقاطِ تکین و آینه‌یِ بی‌نهایت در آفاقِ هندسه
۱. تابعِ گویا — نسبتِ دو منظم در حلقه‌یِ صحیح
فرض کن $V$ یک چندگونه‌یِ آفینِ تحویل‌ناپذیر باشد؛ پس حلقه‌یِ مختصاتِ $\Gamma(V)$ دامنه‌یِ صحیح است. در این‌جا، یک تابعِ گویا نسبتِ دو تابعِ منظم است:
φ = f / g , که g ≠ 0 و g ∈ Γ(V)
مجموعه‌یِ تمامِ این نسبت‌ها، خود یک میدان را می‌سازد — میدانِ توابعِ $V$ — که همان میدانِ کسریِ $\Gamma(V)$ است و آن را $k(V)$ می‌نامیم. همچنان که کسر را می‌توان ساده کرد، دو کسرِ گویا نیز اگر «قسمتِ صورت و مخرج» یکسانی داشتند، یکی‌اند.
۲. منظم‌بودنِ موضعی — کجا تابع، حجاب برمی‌دارد؟
تابعِ گویای $\varphi = f/g$ در نقطه‌ای مانند $p \in V$ منظم خوانده می‌شود اگر بتوان آن را با مخرجی نوشت که در $p$ صفر نباشد (یعنی $g(p) \neq 0$). مجموعه‌یِ نقاطِ منظم‌بودن، یک مجموعه‌یِ بازِ چگال است.
درسِ تأمل‌برانگیز:
«صفرِ مخرج» نقطه‌ای است که تابع در آن، به ظاهر معنای خود را از دست می‌دهد. اما همان‌گونه که عارف در صخره‌ای که برایش حجاب است، همان‌جا نورِ باری به ظهور می‌رسد، تابعِ گویا نیز در «قطبِ» خود، به عمقِ دیگرِ معنای خویش گام می‌گذارد.
۳. تابعِ بی‌مخرج — از حجابِ صفرِ صفر‌مخرجی تا حضورِ بی‌واسطه
در برخیِ نقاط، صورت و مخرجِ تابعِ گویا هر دو صفر می‌شوند ($0/0$). در آنالیز، این را «حدِ رفع‌پذیر» می‌شناسیم و در هندسه‌یِ جبری، اگر بتوان با ساده‌کردنِ کسر، مخرجی ساخت که در آن نقطه صفر نشود، آن تابع در آنجا منظم است. اما گاهی هیچ ساده‌کردنی جواب نمی‌دهد — نقطه‌یِ بی‌مخرجه‌ای که ذاتاً تکین است.
راهِ حلِ کلاسیک، ساختِ ضمیمه‌یِ ترکانده (Blow-up) است: نقطه‌یِ تکینِ $p$ را از فضا بیرون می‌کشیم و به‌جایش «یک خطِ جهات» می‌نشانیم. بدین‌سان تابع، در هر جهتِ جدید، به‌وضوح و با حجابِ کم‌تر تعریف می‌شود — تکینگی، حل می‌شود، نه اخفا.
k[x₁, x₂] → k[x₁, x₂, t]/(x₂ - t·x₁)
این همان نگاشتِ «ترکاندن» است: در $t$ (جهتِ خطِ مماس) هر مقدار که باشد، نقطه‌یِ تکین $p$ در فضایِ جدید، به یک خطِ پیوسته از نقاطِ مجزا تبدیل می‌شود — تکینگی به وضوحِ بی‌مخرجی بدل شده است.
پایانِ منزلِ دهم (توابعِ گویا و تابع‌هایِ بی‌مخرج) | آماده برای انتشار در وبلاگ
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.