بخش نهم: شاهکارهای افراز واحد؛ اثبات وجود همیشگی متریک ریمانی و انتگرالگیری سراسری
پس از اثبات قضایای تمدید و همارزی پارافشردگی در دستنوشتههای استاد علیاکبر عالمزاده، اکنون نوبت به ثمرات درخشان افراز واحد میرسد. افراز واحد صرفاً یک قضیه مجرد توپولوژیک نیست، بلکه «پُل اتصال موضعی به سراسری (Local-to-Global Bridge)» در سراسر هندسه دیفرانسیل و فیزیک نظری است.
۱. تجزیه سراسری توابع به مؤلفههای موضعی (Localization of Functions)
اگر f ∈ C∞(M) تابعی هموار روی منیفلد و {φα} افراز واحد مقید به پوشش باز {Uα} باشد، آنگاه:
f = ∑α (φα ⋅ f)
هر جزء fα = φα ⋅ f دارای تکیهگاه فشرده درون کارت مختصاتی Uα است. بدین ترتیب هر مسئلهٔ دیفرانسیلی پیچیده روی کل منیفلد، به مجموعهای از مسائل اقلیدسی ساده در ℜn فروکاسته میشود.
۲. قضیه بنیادی وجود ساختار ریمانی (Existence of Riemannian Metric)
قضیه: بر روی هر چندلای هموارِ هاوسدورف و پارافشرده (پایه دوم شماراپذیر) M، همواره حداقل یک متریک ریمانی (تانسور متریک مثبت معین) وجود دارد.
طرح برهان استاد:
- روی هر کارت مختصاتی (xα, Uα)، یک متریک اقلیدسی موضعی استاندارد تعریف میکنیم:
gα = ∑i dxαi ⊗ dxαi
- به کمک افراز واحد {φα} مقید به پوشش {Uα}، متریک سراسری را میسازیم:
g = ∑α φα gα
- بررسی شرایط متریک:
- تقارن: چون هر gα متقارن است، ترکیب خطی آنها با ضرایب نامنفی φα ≥ 0 نیز متقارن است.
- مثبت معین بودن: برای هر بردار مماس ناصفر X ≠ 0، حداقل برای یک اندیس α داریم φα(p) > 0 و چون gα(X, X) > 0 است، حاصلجمع اکیداً مثبت میشود: g(X, X) > 0.
۳. تعریف انتگرال فرمهای دیفرانسیلی روی منیفلد
اگر ω یک فرم دیفرانسیلی با درجهٔ حداکثر (n-فرم) با تکیهگاه فشرده روی منیفلد جهتپذیر M باشد، تعریف انتگرال سراسری به شکل زیر بیان میگردد:
∫M ω = ∑α ∫Uα φα ω
این انتگرال مستقل از انتخاب افراز واحد و کارتهای مختصاتی بوده و مقدمهٔ برهان قضیهٔ باشکوه استوکس (Stokes' Theorem) است.
| موضوع | فرمول / ساختار | دستآورد هندسی |
|---|---|---|
| متریک ریمانی | g = ∑ φα gα | امکان اندازهگیری طول، زاویه و حجم |
| انتگرالگیری | ∫M ω = ∑ ∫ φα ω | تعریف آنالیز برداری و قضیه استوکس |
| تمدید موضعی | f = (F ∁ x) ⋅ g | بسط توابع همسایگی به کل فضا |
دستنوشتههای استاد علیاکبر عالمزاده — دفتر هندسه دیفرانسیل و آنالیز روی منیفلدها
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.