⚖️ افراز یکان بر فضای نافشرده؛ تقسیمی منصفانه و هموار
میراث اگر بخواهی بخش کنی بر اهلِ عالم، بینزاع،
باید وزنی بسنجی، هر بُرجه را به اندازهی سهمِ خود.
توابعِ برآمدگی، آن ترازویِ هموارند،
و نرمالسازی، همان تقسیمِ انصاف است؛ که مجموعِ سهمها همیشه یک.
ψi(p) = hi(p) / H(p) = hi(p) / ∑j=1∞ hj(p)
خانوادهی {ψi}i∈N یک افراز یکانِ هموارِ وابسته به پوشش {Uα} است، زیرا:
- ψi ∈ C∞(M) و 0 ≤ ψi ≤ 1 (خردِ تقسیم، هموار میماند).
- supp(ψi) = supp(hi) ⊂ Uα(i) — تکیهگاهها به پوششِ اصلی وفادارند.
- خانوادهی {supp(ψi)} متناهیموضعی است.
- و در هر نقطه، مجموعِ سهمها دقیقاً یک است:
∑i=1∞ ψi(p) = H(p)/H(p) = 1
۲. جدولِ مقایسه: فشرده در برابر نافشرده
| مؤلفهی مقایسه | منیفلد فشرده | منیفلد نافشرده |
|---|---|---|
| نوع پوشش | زیرپوشش متناهیِ مستقیم {U1, ... , UN} | پالایش متناهیموضعیِ شمارا {Vi}i∈N |
| طبیعت مجموع | جمعِ متناهیِ جبری (N جمله) | جمعِ موضعاً متناهی |
| ابزار توپولوژیک | فشردگی (هاین–بورل) | پارافشردگی + شمارشپذیری دوم |
| تکیهگاه توابع | مجموعههای فشرده | فشرده با تناهیِ موضعی |
۳. نتیجهگیری نهایی: پلِ موضع به سراسر
قضیهی افراز یکان، پلِ ارتباطی میانِ جبرِ موضعی (روی چارتهای Rn) و هندسهی سراسریِ منیفلد است. این قضیه اثبات میکند که هر خاصیتِ هندسی یا دیفرانسیلی که بتوان آن را بهصورتِ موضعی در یک گویِ اقلیدسی تعریف کرد — نظیر متریک، اتصال، فرمهای حجم و عملگرهای دیفرانسیلی — به یاریِ این توابعِ وزنی، قابلیتِ گسترش و چسباندهشدن به سرتاسرِ فضا را داراست.
💡 کلامِ پایانی:
«افراز یکان، هنرِ تبدیلِ "ایستادن بر یک موضع" به "حرکت بر سراسر عالم" است. آنچه در یک گوی دانستهایم، با وزنِ ψi به همهجا سفر میکند — و این همان معنایِ حکمیِ "کلی در جزئیات" است: جزئی که در آن، کل حاضر است.»
گامِ آیندهی سلسله: اکنون که ابزارِ موضعبهسراسر در دست داریم، میتوانیم بر گراسمانیان متریک ریمانی (فوبینی–استودی، با ضربِ داخلیِ تریس) بنا کنیم و انحنای اتصالِ کانونی را به زبانِ اندازهها و طولها بازخوانیم.
این نوشتار بخشی از پروژهی بازنویسی یادداشتهای ریاضیِ
دکتر علیاکبر عالمزاده در زمینهی هندسهی منیفلدهاست.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.