📜 برهانهای بنیادین (دفتر هشتم): حلقهٔ مفقودهٔ افراز یکان در حالت نافشرده
استخراج از دستنوشتههای دکتر عالمزاده: چگونه تقطیعِ لایهای (Exhaustion by Compact Sets) بینهایت را به مجموعهای متناهی مقید میسازد؟
گر چه منیفلد ندارد مرز و بند،
حکمتِ برهان درآرد در کمند.
حلقه حلقه فشردهها چون پوستِ پوست،
هر لایه در آغوشِ بازِ لایهٔ بالادستِ اوست.
چون تهی شد مرزِ دور از اشتراک،
بردمد یکانِ هموار از دلِ این خاکِ پاک.
۱. معمای منیفلد نافشرده چیست؟
اگر منیفلد M فشرده باشد، از هر پوشش باز {Uα} میتوان زیرپوششی متناهی {U1, ..., Um} برگزید و با جمع سادهٔ توابع برآمدگی و نرمالسازی، افراز یکان را ساخت.
اما در منیفلد نافشرده (نظیر Rn یا رویههای باز)، تعداد اعضای لازم برای پوشش، نامتناهی است. چگونه پوششی بسازیم که در همسایگیِ هر نقطه، تنها با تعداد متناهی از تکهها برخورد داشته باشد؟
۲. گام اول: دنبالهٔ تسخیر فشرده (Exhaustion by Compact Sets)
چون هر منیفلد هموار M فضایی هاوسدورف و دارای پایگاه شمارا (Second-Countable) است، موضعاً فشرده نیز خواهد بود. بنابراین دنبالهای شمارا از زیرمجموعههای فشرده مانند {Ki}i=1∞ وجود دارد به طوری که:
K1 ⊂ int(K2) ⊂ K2 ⊂ int(K3) ⊂ ... ⊂ M and ∪i=1∞ Ki = M
(برای قرارداد قرار میدهیم K0 = K−1 = ∅).
۳. گام دوم: برشهای طوقهای (Annular Rings)
استاد در یادداشتهای خود با رسم دایرههای تو در تو نشان میدهند که فضا به «پوستهها یا طوقهها» تقسیم میشود. برای هر i ≥ 1، مجموعهٔ فشردهٔ طوقهای زیر را در نظر میگیریم:
Ai = Ki ∖ int(Ki−1) (مجموعهٔ فشرده)
و همسایگی بازِ احاطهکنندهٔ آن را چنین میسازیم:
Wi = int(Ki+1) ∖ Ki−2 (مجموعهٔ باز)
دقت کنید که همواره Ai ⊂ Wi است و اگر فاصلهٔ اندیسها بیشتر از ۲ باشد (|i − j| ≥ 3)، آنگاه:
Wi ∩ Wj = ∅
۴. گام سوم: گزینش متناهی در هر طوقه
حال اگر پوشش باز اولیه {Uα} باشد:
- برای هر نقطه p ∈ Ai، گوی بازی مانند Vp درون Wi و درون یکی از Uαها انتخاب میکنیم.
- چون Ai فشرده است، با تعداد متناهی از این گویها پوشیده میشود: {Vi, 1, ..., Vi, mi}.
- خانوادهٔ کل این مجموعهها، یعنی {Vi, j}، تمام منیفلد M را میپوشاند و به دلیل تفکیکِ طوقهها، موضعاً متناهی است!
۵. گام چهارم: برآمدگی و نرمالسازی نهایی
برای هر مجموعهٔ Vi,j، یک تابع برآمدگی نامنفی و هموار ψi,j ∈ C∞(M) میسازیم که تکیهگاه آن درون Vi,j باشد. چون در هر نقطه x، حداکثر طوقههای مجاور روشن هستند، مجموع زیر همواره یک جمع متناهی و اکیداً مثبت است:
Ψ(x) = ∑i, j ψi, j(x) > 0
سپس توابع افراز یکان به سادگی از تقسیم زیر حاصل میشوند:
φi, j(x) = ψi, j(x) / Ψ(x) &implies; ∑i, j φi, j ≡ 1
رازِ نمودار دستنویس استاد: دوایر هممرکزی که در گوشهٔ دستنویسهای استاد نقش بسته، دقیقاً نمایش همین مرزهای Ki و طوقههای Ai است؛ تمهیدی هوشمندانه برای شکستن نامتناهیِ کل به متناهیهای لایهبهلایه.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.