📜 بازخوانی میراث علمی: به یادگار از استاد فقید دکتر علیاکبر عالمزاده
این متن آموزشی بر اساس دستنوشتههای ریاضی استاد دکتر علیاکبر عالمزاده تنظیم و تدوین شده است؛ روایتی از پیوندِ موضع و سراسر، و برهانِ یکپارچگیِ هندسه بر چندلاها.
چو کثرت در مقامِ چارتها خاست،
یکی قانون بر این اجزای پیداست.
به پیوندِ یکان، از بندِ موضع،
سراسر منیفلد همرنگ و یکتاست.
برهان قضیه افراز یکان و ساخت تابع مقیاس نهایی بر چندلاها (منیفلدها)
گذر از توابع برآمدگی موضعی (Bump Functions) به ساختارهای هموار سراسری
۱. مقدمه و درآمد سخن
پس از اثبات لِمِ وجود تابع برآمدگی موضعی (Bump Function)، گام بنیادین بعدی پیوند زدن این توابع موضعی برای ساخت افراز یکان هموار (C∞-Partition of Unity) بر روی کل منیفلد است. در این مرحله، با تکیه بر ویژگی «شمارشپذیری دوم» و «تناهی موضعی»، مجموع این توابع خوشتعریف شده و با یک نرمالسازی دقیق، افراز کامل واحد به دست میآید.
۲. روند برهان و استنتاج ریاضی (گامهای تکمیلی)
گام پنجم: بررسی همواری و بینهایتبار مشتقپذیری تابع قطعهای
همانطور که در یادداشتهای استاد آمده است، تابع پایهای زیر را در نظر میگیریم:
f(s) = e-1/s (برای s > 0) , f(s) = 0 (برای s ≤ 0)
اثبات رده C∞ بودن در مبدأ (s = 0):
برای هر عدد طبیعی k و متغیر s > 0، مشتق k-اُم همواره به فرم زیر است:
f(k)(s) = P2k(1/s) · e-1/s
که در آن P2k چندجملهای از درجه 2k برحسب 1/s است. با محاسبه حد از راست وقتی s → 0+ (با تغییر متغیر t = 1/s → +∞):
lims→0+ f(k)(s) = limt→+∞ P2k(t) · e-t = 0
از آنجا که حد چپ و تمام مشتقات چپ در صفر برابر صفرند، تمام مراتب مشتق در مبدأ پیوستهاند و تابع f در سراسر خط حقیقی ℝ از رده C∞ است.
گام ششم: ساخت تابع برآمدگی بر روی منیفلد
با قرار دادن g(z) = f(ρ2 - ||z||2) روی فضای اقلیدسی ℝn، تکیهگاه این تابع برابر گوی بسته زیر خواهد بود:
supp(g) = B̅(0, ρ) = V̅m ⊂ x(U)
سپس تابع hm: M → ℝ را روی کل منیفلد چنین امتداد میدهیم:
hm(p) = g(x(p)) = f(ρ2 - ||x(p)||2) (برای p ∈ U)
hm(p) = 0 (برای p ∈ M \ U)
ویژگیهای بنیادین hm:
- همواری سراسری: hm ∈ C∞(M) (زیرا در داخل U ترکیب نگاشتهای هموار است، در خارج U صفر مطلق بوده و در مرز نیز تمامی مشتقات صفر میشوند).
- مثبت بودن در مرکز: hm(m) = f(ρ2) = e-1/ρ2 > 0.
- تکیهگاه فشرده: تکیهگاه hm زیرمجموعهای فشرده درون U است: supp(hm) = U̅m ⊂ U.
گام هفتم: ساخت افراز یکان سراسری (Partition of Unity)
فرض کنید منیفلد M هاسدورف و دارای پایهی شمارشپذیر دوم باشد؛ در نتیجه فضا «پارافشرده» (Paracompact) است.
۱. انتخاب پوشش متناهیموضعی:
پوشش بازی از کارتها {Uα} مفروض است. برای هر نقطه m تابعی مانند hm میسازیم و با استفاده از خاصیت پارافشردگی، زیرپوشش متناهیموضعی {Wi}i∈I به همراه توابع متناظر {hi}i∈I را چنان برمیگزینیم که:
supp(hi) ⊂ Wi
و در هر نقطه p ∈ M، تنها تعداد متناهی از hi(p)ها ناصفر باشند.
۲. تعریف تابع مخرج (پوشش اکیداً مثبت):
تابع مجموع را تعریف میکنیم:
H(p) = ∑i∈I hi(p)
- به دلیل تناهی موضعی، در همسایگی هر نقطه این جمع متناهی است؛ بنابراین H ∈ C∞(M).
- چون هر نقطه حداقل درون یکی از مجموعههاست که در آن تابع مثبت است، همواره:
H(p) > 0 (∀ p ∈ M)
۳. نرمالسازی و حصول افراز یکان:
برای هر شاخص i ∈ I توابع وزن نهایی را تعریف میکنیم:
ψi(p) = hi(p) / H(p) = hi(p) / [∑j hj(p)]
این خانواده {ψi} واجد شرایط چهارگانه افراز یکان است:
- ψi ∈ C∞(M)
- 0 ≤ ψi(p) ≤ 1
- supp(ψi) = supp(hi) ⊂ Wi
- ∑i∈I ψi(p) = [∑ hi(p)] / H(p) = 1
۳. نتیجه و کاربرد در نظریه منیفلدها
با تکمیل این برهان، شاهکلیدهای اساسی زیر برای تحلیل سراسری هندسه به دست میآید:
الف) تعریف انتگرال فرمهای دیفرانسیلی
امکان انتگرالگیری از فرمهای دیفرانسیلی ω بر روی کل منیفلد بدون وابستگی به یک چارت منفرد:
∫M ω = ∑i ∫Wi (ψi · ω)
ب) اثبات وجود متریک ریمانی سراسری
چسباندن و تلفیق متریکهای اقلیدسی موضعی gi به یک ساختار ریمانی هموار بر کل منیفلد:
g = ∑i ψi · gi
ج) امتداد میدانهای برداری و تانسورها
گسترش و امتداد هموار اشیاء هندسی از مجموعههای فشرده و محلی به سرتاسر منیفلد بدون ایجاد گسستگی یا تکینگی در مرزها.
«افراز یکان، تسبیحِ دانههای متفرقِ چارتهاست تا در رشتهٔ یگانگی، حقیقتِ سراسری منیفلد آشکار گردد.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.