تعمیم قضیه افراز یکان به منیفلدهای نافشرده (Non-compact) به کمک پارافشردگی

۱. مقدمه و طرح مسئله

پس از اثبات روشن قضیه در حالت خاص «منیفلدهای فشرده»، پرسش بنیادین این است: چنانچه منیفلد M فشرده نباشد (Non-compact)، چگونه می‌توان افراز یکان را محقق ساخت؟

پاسخ در پیوند میان دو اصل توپولوژیک نهفته است: «شمارش‌پذیری دوم (Second Countable)» و «هاسدورف بودن (Hausdorff)». این دو ویژگی در کنار هم، خاصیت بنیادین پارافشردگی (Paracompactness) را برای منیفلد به همراه می‌آورند که امکان تقلیل مجموع‌های نامتناهی به جمع‌های متناهی‌موضعی را فراهم می‌سازد.

۲. تدوین و برهان ریاضی در حالت کلی

گام ۱: ساخت زنجیره فشرده‌ساز (Exhaustion by Compact Sets)

برای هر منیفلد هاسدورف، متصل و شمارش‌پذیر دوم M، دنباله‌ای شمارا از مجموعه‌های باز با بستار فشرده {K_n}_n=1^∞ وجود دارد به‌طوری که:

این دنباله، فضا را به لایه‌های طوقی‌شکلِ فشرده (Compact Annuli) به فرم A_n = K_n+1 \ K_n افراز می‌کند.

گام ۲: پالایش متناهی‌موضعی پوشش باز (Locally Finite Refinement)

فرض کنید {U_α}_α∈Α یک پوشش باز دلخواه برای منیفلد M باشد:

1. روی هر لایه فشرده A_n، تنها تعداد متناهی گوی چارتی نیاز است تا آن را بپوشاند.


2. با اعمال لمِ تابع برآمدگی (Bump Function) روی هر یک از این گوی‌ها، خانواده‌ای شمارا از مجموعه‌های باز {V_i}_i∈ℕ و توابع هموار {h_i}_i∈ℕ به دست می‌آید به‌گونه‌ای که:
   
   
   
   • پوشش {V_i} یک پالایش متناهی‌موضعی (Locally Finite Refinement) از {U_α} است؛ یعنی هر نقطه p ∈ M دارای همسایگی W_p است که فقط با تعداد متناهی از V_iها برخورد دارد.
   
   
   • supp(h_i) ⊂ V_i ⊂ U_α(i)
   
   
   • h_i(p) ≥ 0 و روی V_i مثبت اکید است.
   
   
   
   

گام ۳: خوش‌تعریفی و همواری تابع مجموع سراسری

تابع مخرج را به صورت سری زیر تعریف می‌کنیم:

• 
  همواری (C^∞): به دلیل خاصیت تناهی موضعی، در هر همسایگی کوچک حول هر نقطه دلخواه p ∈ M، تمام جملات این سری به جز تعداد متناهی برابر با صفر مطلق هستند. بنابراین در هر موضع، این مجموع یک جمع متناهی از توابع هموار است:
  
  
  H|_Wp = ∑_k=1^m h_ik|_Wp ∈ C^∞(W_p)   ⇒   H ∈ C^∞(M)
  
  
  


• 
  اکیداً مثبت بودن: چون {V_i} سراسر M را می‌پوشاند، برای هر p ∈ M حداقل یک i₀ وجود دارد که p ∈ V_i0 و در نتیجه h_i0(p) > 0. بنابراین:
  
  
  H(p) > 0   (∀ p ∈ M)
  
  
  

گام ۴: سامان‌دهی افراز یکان نهایی

با تعریف توابع نرمال‌شدهٔ زیر:

خانوادهٔ {ψ_i}_i∈ℕ یک افراز یکان هموار وابسته به پوشش {U_α} را تشکیل می‌دهد، زیرا:

1. ψ_i ∈ C^∞(M) و 0 ≤ ψ_i ≤ 1.


2. supp(ψ_i) = supp(h_i) ⊂ U_α(i) (تکیه‌گاه فشرده).


3. خانوادهٔ {supp(ψ_i)} متناهی‌موضعی است.


4. در هر نقطهٔ دلخواه p ∈ M:
   
   
   ∑_i=1^∞ ψ_i(p) = [ ∑_i=1^∞ h_i(p) ] / H(p) = H(p) / H(p) = 1
   
   
   

۳. جدول مقایسه ساختاری: فشرده در برابر نامنفشرده

۴. پیام و نتیجه‌گیری نهایی