ریاضیات

جستجویِ حقیقت در حفره‌هایِ فضا

الگوریتمِ شکارِ حفره:

1. گامِ اول (بستار): بررسیِ این‌که آیا فرمِ داده شده، «بسته» است یا خیر؟ ($\omega$ بسته است اگر $d\omega = 0$ باشد).


2. گامِ دوم (دقت): بررسیِ این‌که آیا فرمِ بسته، «دقیق» است یا خیر؟ ($\omega$ دقیق است اگر $\omega = d\eta$ برایِ برخی $\eta$ها باشد).


3. گامِ سوم (قضاوت): اگر فرم بسته باشد اما دقیق نباشد، ما یک «عنصرِ غیربدیهی» در گروهِ کوهومولوژی پیدا کرده‌ایم. این فرم، «آوایِ آن حفره» است که در فضایِ متصلِ ساده، شنیده نمی‌شود!

مثالِ کلاسیک: فرمِ چرخش در صفحه‌یِ سوراخ‌دار

صفحه‌یِ دوبعدیِ منهایِ مبدأ را در نظر بگیرید: $M = \mathbb{R}^2 \setminus \{(0,0)\}$.
فرمِ دیفرانسیلیِ زیر را تعریف می‌کنیم:



ω = \frac{-y}{x^2+y^2}dx + \frac{x}{x^2+y^2}dy



حلِ مسئله:


با محاسبه‌یِ مشتقِ بیرونی، می‌بینیم که $d\omega = 0$. پس فرم «بسته» است. اما آیا در کلِ این فضایِ سوراخ‌دار، می‌توان تابعی یافت که $\omega = df$ باشد؟
خیر! زیرا اگر انتگرالِ این فرم را رویِ یک دورِ بسته به دورِ مبدأ بگیریم، حاصل برابر با $2\pi$ می‌شود (نه صفر). این تضاد، گواهی است بر وجودِ یک «حفره» در مرکزِ صفحه.

«کوهومولوژی، علمِ اندازه‌گیریِ ندانسته‌هاست؛ همان‌گونه که عرفان، علمِ شناختِ غیب از طریقِ آثار است.»

آیا مایلید یک تمرینِ محاسباتی برایِ بررسیِ بستارِ یک فرمِ دیگر ترتیب دهیم، یا می‌خواهید به سراغِ مفهومِ انتزاعیِ «قضیه‌یِ استوکس» برویم که این فرم‌ها را به حجمِ فضا پیوند می‌زند؟