ریاضیات

کاربردهای بنیادین افراز یکان: از ساختارهای موضعی تا هندسه سراسری

۱. درآمد: پلی میان موضع (Local) و کل (Global)

افراز یکان هموار (Smooth Partition of Unity) قوی‌ترین ابزار پیوندزننده میان ویژگی‌های موضعی چارت‌های اقلیدسی و هندسه سراسری منیفلدهاست. این ابزار به ما رخصت می‌دهد تا اشیای هندسی را که در هر همسایگی مختصاتی تعریف‌پذیرند، بدون برخورد با ناپیوستگی یا تداخل، به یک ساختار هموار سراسری روی کل منیفلد پیوند زنیم.

۲. اثبات وجود متریک ریمانی سراسری بر هر منیفلد هموار

یکی از درخشان‌ترین نتایج افراز یکان، اثبات این قضیه است که هر منیفلد هموار و پارافشرده الزاماً پذیرای یک متریک ریمانی هموار است. روند ساخت به شرح زیر است:

• گام نخست: فرض کنید {(U_α, φ_α)} اطلسی برای منیفلد M باشد. بر روی هر چارت U_α، متریک اقلیدسی استاندارد g_α = φ_α^*(δ_ij dxⁱ dx^j) تعریف می‌شود که یک ۲-تانسور متقارن و معین مثبت موضعی است.

• گام دوم: با در نظر گرفتن افراز یکان هموار {ψ_α} تابع پوشش {U_α}، تانسور متریک سراسری g را به صورت ترکیب خطی وزنی زیر تعریف می‌کنیم:

به سبب تناهی موضعی، این مجموع در هر نقطه به یک مجموع متناهی تقلیل یافته و لذا مشتق‌پذیری هموار آن تضمین است. همچنین از آنجا که ضرایب ψ_α ≥ 0 بوده و دست‌کم یکی از آن‌ها اکیداً مثبت است، ترکیب محدب فرم‌های معین‌مثبت مجدداً اکیداً معین‌مثبت باقی می‌ماند.

۳. انتگرال‌گیری فرم‌های دیفرانسیل روی منیفلد جهت‌پذیر

برای انتگرال‌گیری یک n-فرم دیفرانسیلی با تکیه‌گاه فشرده ω ∈ Ω_cⁿ(M) بر روی منیفلد جهت‌پذیر M، ابتدا فرم را به کمک افراز یکان قطعه‌بندی می‌کنیم:

از آنجا که هر قطعه‌ی ψ_α · ω دارای تکیه‌گاه فشرده درون یک چارت منفرد U_α است، انتگرال آن از طریق نگاشت چارت به یک انتگرال چندگانه ریمانی معمولی در ℜⁿ تبدیل می‌شود:

۴. فرجام و دستاورد مفهومی