🏛️ میوه‌های افراز یکان: از انتگرال‌گیری تا ساخت متریک ریمانی
بخش سوم: کاربردهای شاهکارِ افراز یکان در پیوند دادنِ جبرِ موضعی به هندسه‌ی سراسری
افراز یکان نه یک برهان، که ابزاری‌ست بی‌همتا،
که چسباند به یکدیگر، تمامِ چارت‌های ما.
ز متریک و ز انتگرال، تا تانسورهایِ بی‌کران،
همه وام‌دارِ این پلند، از موضع تا به سراسرِ جهان.
۱. شاهکارِ چسباندنِ موضع به سراسر
با تکمیل اثبات قضیه افراز یکان، ما دستاوردی فراتر از یک قضیه محض توپولوژیک داریم. این ابزار در واقع «چسبِ دیفرانسیل‌پذیر» منیفلدهاست. بدون افراز یکان، ما مجبوری بودیم هندسه را تنها در قفسِ چارت‌های موضعی (همسایگی‌های اقلیدسی Rn) مطالعه کنیم. اما اکنون سه ساختار بنیادین حاصل می‌شود:
۲. سه کاربرد حیاتی در نظریه منیفلدها
۱) تعریف انتگرال فرم‌های دیفرانسیلی روی کل منیفلد
در آنالیز موضعی، ما انتگرال یک فرم دیفرانسیلی ω را تنها روی یک چارت اقلیدسی تعریف می‌کنیم. به کمک افراز یکان {ψi}، فرم سراسری را به اجزای موضعی با تکیه‌گاه فشرده تجزیه کرده و انتگرال کل را بدون وابستگی به دستگاه مختصات تعریف می‌کنیم:
∫M ω = ∑i ∫M (ψi ω)
۲) ساخت و اثبات وجود متریک ریمانی سراسری
روی هر چارت موضعی Ui می‌توان یک متریک اقلیدسی ساده gi قرار داد. با استفاده از توابع افراز یکان به عنوان «توابع وزن»، این متریک‌های موضعی را به یکدیگر می‌چسبانیم تا یک متریک ریمانی سراسری g روی کل منیفلد پدید آید:
g = ∑i ψi gi
این رابطه ضامن آن است که هر منیفلد هموار (هاسدورف و شمارش‌پذیر دوم) حتماً قابلیت تبدیل شدن به یک «فضای ریمانی» را دارد.
۳) امتداد میدان‌های برداری و تانسورها
اگر یک شیء هندسی (مانند یک میدان برداری یا فرم دیفرانسیلی) به صورت هموار روی یک مجموعه بسته یا موضعی تعریف شده باشد، افراز یکان این امکان را فراهمM ω = ∑i ∫M (ψi ω)
۲) ساخت و اثبات وجود متریک ریمانی سراسری
روی هر چارت موضعی Ui می‌توان یک متریک اقلیدسی ساده gi قرار داد. با استفاده از توابع افراز یکان به عنوان «توابع وزن»، این متریک‌های موضعی را به یکدیگر می‌چسبانیم تا یک متریک ریمانی سراسری g روی کل منیفلد پدید آید:
g = ∑i ψi gi
این رابطه ضامن آن است که هر منیفلد هموار (هاسدورف و شمارش‌پذیر دوم) حتماً قابلیت تبدیل شدن به یک «فضای ریمانی» را دارد.
۳) امتداد میدان‌های برداری و تانسورها
اگر یک شیء هندسی (مانند یک میدان برداری یا فرم دیفرانسیلی) به صورت هموار روی یک مجموعه بسته یا موضعی تعریف شده باشد، افراز یکان این امکان را فراهم می‌سازد که آن را بدون از دست دادنِ همواری (C∞) به سرتاسر منیفلد گسترش دهیم.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.