ریاضیات

📐 قاب‌ها (Frame Bundle) و کلاف عمود (Normal Bundle)

در بخش‌های پیشین، کلاف مماس TM و رفتار نگاشت مکمل متعامد بر منیفلد گراسمن را بررسی کردیم. اکنون این دو شاخه را به هم پیوند می‌زنیم: اگر در هر نقطه از یک منیفلد، به جای یک بردار منفرد، یک «پایه کامل» (یا یک قاب) از بردارها بنشانیم، منیفلد نوینی با ساختار گروهی به نام کلاف قاب‌ها پدید می‌آید.

۱. کلاف قاب‌ها (Frame Bundle)

فرض کنید M منیفلدی هموار از بعد n باشد. یک قاب مماس در نقطه p ∈ M، دنباله‌ای مرتب از n بردار خطاً مستقل در T_pM است:

مجموعه تمام این قاب‌ها روی کل نقاط منیفلد، کلاف قاب‌ها موسوم به L(M) (یا F(M)) را تشکیل می‌دهد:

ساختار خمینه و ابعاد:

تغییر هر قاب با قاب دیگر در همان نقطه، توسط یک ماتریس معکوس‌پذیر n × n صورت می‌گیرد؛ یعنی گروه لی GL(n, ℜ) به صورت آزاد و ترایا روی تارهای این کلاف اثر می‌کند. بنابراین:

۲. کلاف قاب‌های یکه‌متعامد (Orthonormal Frame Bundle)

چنانچه منیفلد مجهز به یک متریک ریمانی g = ⟨·, ·⟩ باشد، می‌توانیم از میان تمام قاب‌ها، تنها قاب‌هایی را برگزینیم که اعضای آن دوبه‌دو بر هم عمود و دارای طول یک باشند (⟨e_i, e_j⟩ = δ_ij).

این ساختار، کلاف قاب‌های یکه‌متعامد یا O(M) نامیده می‌شود که تار آن هم‌ریخت با گروه متعامد O(n) است و بعد آن برابر است با:

نکته دست‌نوشته‌های استاد عالم‌زاده: تبدیل یک قاب دلخواه (v₁, ..., v_n) به قاب یکه‌متعامد (w₁, ..., w_n) دقیقاً از مسیر الگوریتم گرام‌اشمیتیم از میان تمام قاب‌ها، تنها قاب‌هایی را برگزینیم که اعضای آن دوبه‌دو بر هم عمود و دارای طول یک باشند (⟨e_i, e_j⟩ = δ_ij).

این ساختار، کلاف قاب‌های یکه‌متعامد یا O(M) نامیده می‌شود که تار آن هم‌ریخت با گروه متعامد O(n) است و بعد آن برابر است با:

نکته دست‌نوشته‌های استاد عالم‌زاده: تبدیل یک قاب دلخواه (v₁, ..., v_n) به قاب یکه‌متعامد (w₁, ..., w_n) دقیقاً از مسیر الگوریتم گرام‌اشمیتیفلد در نقطه x است و از تعریف زیر به دست می‌آید:

کلاف عمود (Normal Bundle): اجتماع این فضاهای عمود بر روی منیفلد M، کلاف نرمال NM را پدید می‌آورد:

بُعد این کلاف برابر است با:
dim(NM) = dim(M) + dim(N_xM) = p + (n - p) = n.

۴. برهان همواری کلاف عمود با استناد به نگاشت مکمل گراسمن

یکی از زیباترین نتایج هندسی که در دست‌نویس‌های شادروان دکتر عالم‌زاده نیز بر پایه ماتریس‌ها و متعامدسازی استوار بود، اثبات همواری کلاف عمود است:

• 
  نگاشت گاوس موضعی که هر نقطه x ∈ M را به فضای مماسش در منیفلد گراسمن می‌نگارد، نگاشتی هموار است:
  
  
  γ: M → G(p, ℜⁿ)   ,   γ(x) = T_xM
  


• 
  از سوی دیگر، نگاشت مکمل متعامد که در بخش گذشته همواری‌اش با دستگاه A^tz = 0 به اثبات رسید، نگاشت هموار زیر بود:
  
  
  F: G(p, ℜⁿ) → G(n - p, ℜⁿ)   ,   F(V) = V^⊥
  


• 
  ترکیب این دو نگاشت (F ˆ γ) توزیع فضاهای عمود را به صورت تابعی هموار به تصویر می‌کشد:
  
  
  γ^⊥ = F ˆ γ: M → G(n - p, ℜⁿ)
  

بنابراین، فضاهای نرمال در سراسر منیفلد با تغییر نقطه به صورت پیوسته و بینهایت‌بار مشتق‌پذیر (C^∞) دوران می‌یابند. این همواری تضمین می‌کند که ساختارهایی مانند همسایگی لوله‌ای (Tubular Neighborhood) به درستی تعریف شده و منیفلد در مجاورت خود در فضای اقلیدسی رفتاری کاملاً منظم و کنترل‌شده داشته باشد.