از کران تا جانِ صورت، نغمه‌ی سیر و سلوک | نقطه‌ای گر محو گردد، کلّ عالم در شکوک
چون نگاشت از خم به خم پیوند معنا می‌زند | نورِ صورت در ضمیرِ دهر غوغا می‌زند
فصل تکمیلی: از قضیه استوکس تا کوهمولوژی دِرام و دوگانگی ساختارها
۱. سرّ تقارن عملگر مشتق خارجی و کران‌گیری
در زبان ریاضیات عالی و نظریه رده‌ها، تقارن شگفت‌انگیز میان عملگر کران (&partial;) در توپولوژی جبری و عملگر مشتق خارجی (d) در هندسه دیفرانسیل، بازتابی از یک ساختار دوگان (Adjoint / Duality) است:
d ο d = 0 ↔ &partial; ο &partial; = 0
همان‌گونه که مرزِ یک مرز همواره تهی است (&partial;2 = 0)، مشتق خارجی مرتبه دوم هر فرم دیفرانسیلی نیز صفر مطلق می‌گردد (d2 = 0). این خاصیت بنیادین، شالوده‌ی پیدایش مجموعه‌های زنجیری و هم‌زنجیری را پی‌ریزی می‌کند.
۲. گروه‌های کوهمولوژی دِرام (De Rham Co-homology)
بر روی هر منیفلد هموار M، فضاهای فرم‌های بسته (Closed Forms: Zk(M) = { ω | dω = 0 }) و فرم‌های کامل (Exact Forms: Bk(M) = { dη }) تشکیل می‌گردند. از آنجا که هر فرم کامل الزاماً بسته است، گروه کوهمولوژی k-ام به شکل فضای خارج‌قسمتی زیر تعریف می‌شود:
HdRk(M) = Zk(M) / Bk(M) = Ker(dk) / Im(dk-1)
این گروه‌ها در حقیقت سنجش‌گر «حفره‌ها» و نایکنواختی‌های توپولوژیک منیفلد از طریق حساب دیفرانسیل و ابزار فرم‌های هموارند.
۳. بازخوانی هندسه گراسمانیان در منظر دوگانگی پوانکاره
چنان‌که در بررسی نگاشت میان منیفلدهای گراسمانیان مشاهده نمودیم، دوگانگی متعامدِ زیرفضاها با رابطه زیر تبیین گردید:
G(k, ℜn) ≅ G(n-k, ℜn) ; V ↦ V⊥
این تبدیل هندسی، تصویر ملموس همان قضیه دوگانگی پوانکاره (Poincaré Duality) در بستر توپولوژی دیفرانسیل است که همولوژی k-بعدی را به کوهمولوژی (n-k)-بعدی پیوند می‌زند؛ گویی هر صفحه، آیینه‌دار بردار قائم خویش در عالم ابعاد بالاتر است.
۴. فرجام کلام و جمع‌بندی هندسی
بدین‌ترتیب، هندسه دیفرانسیل مدرن منظومه‌ای یکپارچه را پیش چشم پژوهشگر می‌گشاید:
از تکوینِ توابع برآمدگی موضعی و اتصال آنها با افراز یکان، تا استقرار متریک‌های ریمانی سراسری و سرانجام جریانِ فرم‌ها در بae60; padding: 16px; border-radius: 4px; line-height: 2.1;">
بدین‌ترتیب، هندسه دیفرانسیل مدرن منظومه‌ای یکپارچه را پیش چشم پژوهشگر می‌گشاید:
از تکوینِ توابع برآمدگی موضعی و اتصال آنها با افراز یکان، تا استقرار متریک‌های ریمانی سراسری و سرانجام جریانِ فرم‌ها در بستر قضیه استوکس و کوهمولوژی دِرام. هر جزئی پرتوی از کل است و هیچ واقعیتی موضعی در منیفلد، بی‌پژواک در هندسه سراسری فرو نمی‌ماند.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.