📜 میراث علمی: بازخوانیِ دستنوشتههای هندسه دیفرانسیل دکتر علیاکبر عالمزاده
فصل چهاردهم: تعمیم قضیهٔ دوگانگیِ گراسمانیانها از حالت خاص تمرین ۳۲ به بعدِ دلخواه n و اثبات همریختیِ دیفرانسیلپذیر (Diffeomorphism) میان زیرفضاها و مکملهای متعامد آنها.
هر بُعد که در پردهٔ اشیا بنشیند،
در آینهٔ متممِ خود خویش ببیند.
چون خط به فضا جلوه کند، صفحه شود باز،
این زوجیت است آنکه به یکتایی رسیند.
تعمیم دوگانگی گراسمانیانها: G(k, ℝn) ≅ G(n−k, ℝn)
اثبات ساختار همواری و هندسه کانونیک در ابعاد متعامد
۱. مقدمه و پیوند با تمرین ۳۲
در تمرین ۳۲، نگاشت میان صفحات و خطوطِ راست در فضای سهبعدی یعنی
G(2, ℝ3) → G(1, ℝ3)
به کمک ضرب خارجی برداری تحلیل شد و ضابطهٔ موضعی
F(x1, x2) = (−x1, −x2)
به دست آمد. گام بنیادین در ادامهٔ این مبحث، تعمیم این همارزی به فضای اقلیدسی n-بعدی و اثبات دیفئومورفیسم بودن نگاشت مکمل متعامد است:
G(k, ℝn) ≅ G(n−k, ℝn)
۲. نمایش ماتریسی و ساختار چارتها
هر زیرفضای k-بعدی
V ∈ G(k, ℝn)
را میتوان با یک ماتریس
n × k
با رتبهٔ کامل k نمایش داد. در چارت استاندارد مختصاتی (با فرض وارونپذیری بلوک بالایی)، این ماتریس به شکلِ یکتای زیر درمیآید:
A = [ Ik | X ]T = [ Ik ; X ] ∈ ℝn × k
که در آن Ik ماتریس همانی و X یک ماتریس از مرتبهٔ
(n−k) × k
با درایههای آزاد است. بعد این منیفلد برابر است با:
dim G(k, ℝn) = k(n − k)
۳. نگاشت کانونیک دوگانگی و ضابطهٔ موضعی
نگاشت دوگانگی Φ بر پایهٔ تعریف مکمل متعامد (Orthogonal Complement) در ضرب داخلی استاندارد بنا میشود:
Φ : G(k, ℝn) → G(n−k, ℝn) , V ↦ V⊥
اگر زیرفضای V توسط ماتریس پایهای A = [ Ik ; X ] تولید شود، بردار w = [ w1 ; w2 ] متعلق به V⊥ خواهد بود اگر و تنها اگر:
AT w = 0 ⇒ [ Ik XT ] · [ w1 ; w2 ] = 0 ⇒ w1 + XT w2 = 0 ⇒ w1 = −XT w2
از این رو، ماتریس پایه برای زیرفضای (n−k)-بعدیِ V⊥ عبارت خواهد بود از:
B = [ −XT ; In−k ] ∈ ℝn × (n−k)
بنابراین نمایش موضعی نگاشت میان چارتها به صورت بسیار شفافِ
F̃(X) = −XT
درمیآید که یک تبدیل خطی، معکوسپذیر و بینهایت بار مشتقپذیر است.
۴. جدول تطبیقی ویژگیهای دوگان
| ویژگی هندسی / توپولوژیک | G(k, ℝn) | G(n−k, ℝn) |
|---|---|---|
| بُعد منیفلد | k(n − k) | (n − k)k |
| فرم ماتریس پایه چارت | [ Ik ; X ] | [ −XT ; In−k ] |
| توپولوژی سراسری | فشرده (Compact) و همبند | فشرده (Compact) و همبند |
| تعبیر هندسی | زیرفضاهای k-بعدی | زیرفضاهای عمود بر آنها |
نتیجهگیری ساختاری
این دوگانگی اثبات میکند که در بررسی منیفلدهای گراسمانیان، مطالعه برای
k > ⌊n/2⌋
نیازی به روشهای جداگانه ندارد و با اعمال نگاشت کانونیک Φ، مستقیماً به حالت
k ≤ ⌊n/2⌋
کاهش مییابد.
«در تماشای هندسه، مکملها نه بیگانهاند و نه جدا؛ بلکه نیمهٔ دیگرِ همان حقیقتی هستند که با چرخشِ زاویهٔ دید، جلوهگر میشوند.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.