📜 بازخوانی میراث علمی: به یادگار از استاد فقید دکتر علی‌اکبر عالم‌زاده
این درس‌گفتار بر پایهٔ دست‌نوشته‌های ریاضی دکتر علی‌اکبر عالم‌زاده تنظیم گردیده است؛ اوراقی که در آنها، گذر از ساختارهای موضعی چارت‌ها به یگانگی و پیوستگی سراسری منیفلدها به تصویر کشیده شده است.
دایره در دایره، پرگارِ راز،
چون گشاید بند از این چارت‌های باز؟
گر درونش شعله و بیرون سکوت،
در میان، پیوندِ هموار است و ساز.
درس‌گفتار تکمیلی: هندسهٔ دوایر هم‌مرکز و برهان افراز یکان
تحلیل توابع هموار برآمدگی و کاربردهای آن در ساختارهای سراسری ریمانی
۱. تحلیل هندسیِ دیاگرام دوایر هم‌مرکز در دست‌نوشته‌ها
در یادداشت‌های استاد، شکل‌هایی با دو دایرهٔ هم‌مرکز به شعاع‌های r1 < r2 ترسیم شده است. هدف از این ساختار، ایجاد تابعی هموار است که روی یک گویِ داخلی، مقدار ۱ کامل و در بیرونِ گویِ خارجی، مقدار صفر مطلق داشته باشد:
B(0, r1) ⊂ B̅(0, r1) ⊂ B(0, r2) ⊂ B̅(0, r2) ⊂ x(U)
این تابع گذار هموار به گونه‌ای ساخته می‌شود که در ناحیه میانی بین دو شعاع، به صورت بی‌نهایت‌بار مشتق‌پذیر (C∞) و یکنواخت از مقدار ۱ به صفر کاهش می‌یابد:
- در فاصله ||z|| ≤ r1: مقدار تابع برابر با ρ(z) = 1 است (مشتقات همگی صفرند).
- در فاصله r1 < ||z|| < r2: تابع به نرمی از ۱ به ۰ فرود می‌آید.
- در فاصله ||z|| ≥ r2: مقدار تابع برابر با ρ(z) = 0 است.
B(0, r1) ⊂ B̅(0, r1) ⊂ B(0, r2) ⊂ B̅(0, r2) ⊂ x(U)
این تابع گذار هموار به گونه‌ای ساخته می‌شود که در ناحیه میانی بین دو شعاع، به صورت بی‌نهایت‌بار مشتق‌پذیر (C∞) و یکنواخت از مقدار ۱ به صفر کاهش می‌یابد:
- در فاصله ||z|| ≤ r1: مقدار تابع برابر با ρ(z) = 1 است (مشتقات همگی صفرند).
- در فاصله r1 < ||z|| < r2: تابع به نرمی از ۱ به ۰ فرود می‌آید.
- در فاصله ||z|| ≥ r2: مقدار تابع برابر با ρ(z) = 0 است.
۲. اثبات همواری تابع پایه نمایی در مبدأ
تابع برشی تک‌متغیره به صورت زیر تعریف می‌شود:
۳. کاربردهای بنیادین در هندسه ریمانی و آنالیز سراسری
الف) ساخت متریک ریمانی سراسری
با داشتن متریک‌های اقلیدسی موضعی gi روی هر کارت و توابع افراز یکان ψi، ساختار سراسری به صورت ترکیب خطی محدب حاصل می‌شود:
g = ∑i ψi · gi
به دلیل مثبت‌معین بودن هر مؤلفه و نامنفی بودن ضرایب با مجموع ۱، تانسور حاصل اکیداً مثبت‌معین و هموار است.
ب) تعریف انتگرال فرم‌های دیفرانسیلی بر منیفلد
انتگرال هر فرم دیفرانسیلی ω روی منیفلد M به کمک افراز یکان بدون وابستگی به یک چارتِ مشخص تعریف می‌گردد:
∫M ω = ∑i ∫Ui (ψi · ω)
ج) نشاندن در فضاهای اقلیدسی (قضیه ویتنی)
ترکیب نگاشت‌های چارت‌ها با توابع وزن (ψi · φi)، نگاشتی هموار، یک‌به‌یک و با رتبهٔ کامل به فضای اقلیدسی بُعد بالاتر می‌سازد که بنیانِ قضیه نشاندنِ ویتنی است.
«افراز یکان، تسبیحِ دانه‌های متفرقِ چارت‌هاست تا در رشتهٔ یگانگی، حقیقتِ سراسری منیفلد آشکار گردد.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.