📜 بازخوانی میراث علمی: به یادگار از استاد فقید دکتر علی‌اکبر عالم‌زاده
فصل چهاردهم — بخش دوم: بازخوانیِ دست‌نوشته‌های تصویری (برگه‌های جبری و دترمینان‌ها)؛ چگونگی تعریف چارت‌های هموار بر گراسمن‌ها به زبان ماتریس‌های بلوکی.
فصل چهاردهم: اطلس هموار گراسمن و ماتریس‌های بلوکی (بخش ۲)
تحلیل ریاضی دست‌نوشته‌ها و اثبات سازگاری توابع انتقال چارت‌ها
۱. چارت‌های موضعی بر پایهٔ ماتریس‌های پایه‌ای
هر زیرفضای k-بعدی W می‌تواند با فضای سطری یک ماتریس k × n با رتبه کامل k نمایش داده شود. چون تغییر پایه در W با ضرب از چپ یک ماتریس معکوس‌پذیر k × k متناظر است، به کمک عملیات سطریِ مقدماتی می‌توان k ستونِ مستقل خطی را به شکل ماتریس همانی Ik درآورد.
به عنوان مثال، برای چارت استاندارد اول، ماتریس نمایش‌دهنده به فرم بلوکی زیر تقلیل می‌یابد:
M = [ Ik | A ]k × n A ∈ ℝk × (n - k)
ماتریس A دارای دقیقاً k(n - k) درایهٔ آزاد است که همان مختصاتِ موضعی این چارت در فضای اقلیدسی ℝk(n-k) را تشکیل می‌دهند.
۲. همواریِ توابع انتقال (Transition Maps)
فرض کنید دو دسته از ستون‌های مستقل انتخاب شده باشند (دو چارت UI و UJ). ماتریس نمایش بر اساس بلوک‌های متناظر به فرم‌های [AI | AIc] و [BJ | BJc] تجزیه می‌شوند. نگاشت گذر میان این دو چارت عبارت است از:
ΦJ ο ΦI-1(A) = (AJ)-1 · A
چرا این نگاشت بی‌نهایت بار مشتق‌پذیر (C∞) است؟
- درایه‌های ماتریس معکوس (AJ)-1 به کمک دترمینان و ماتریس الحاقی (قاعده کرامر) محاسبه می‌شوند.
- چون دترمینان در اشتراک چارت‌ها ناصفر است (det(AJ) ≠ 0)، تمام مؤلفه‌های نگاشت انتقال توابعی گویا با مخرج ناصفرند.
- توابع گویا با مخرج ناصفر در سرتاسر دامنه از ردهٔ C∞ هستند؛ بنابراین اطلس گراسمن یک ساختار منیفلد هموار می‌سازد.
فشردگی و همبندی منیفلد گراسمن
گراسمن را می‌توان به عنوان فضای خارج‌قسمتی گروه‌های متعامد دید:
Grk(ℝn) ≅ O(n) / [O(k) × O(n-k)].
از آنجا که گروه متعامد O(n) فشرده است، تصویر پیوستهٔ آن یعنی گراسمن نیز فشرده و بدون مرز است.
«جبر ماتریس‌ها و دترمینان، پلِ استواری است که هندسهٔ موضعی را به بی‌کرانگیِ ساختار پیوند می‌زند.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.