ریاضیات

چرا حلقهٔ ضخیم و دایره گروه بنیادی یکسان دارند؟

در بخش قبل دیدیم که حلقهٔ ضخیم را می‌توان به دایرهٔ مرکزی‌اش
به صورت تغییر شکل پیوسته فروکاست.
اکنون می‌خواهیم نتیجهٔ مهم این فروکاست را ببینیم:
این دو فضا از نظر گروه بنیادی یکسان‌اند.

۱) ایدهٔ اصلی

گروه بنیادی، رفتار حلقه‌ها را می‌سنجد.
اگر دو فضا بتوانند به طور پیوسته به یکدیگر تغییر شکل دهند،
حلقه‌های موجود در یکی را می‌توان
به حلقه‌های متناظر در دیگری منتقل کرد.
پس از دید گروه بنیادی،
آن دو فضا تفاوت اساسی ندارند.

اصل مهم:
اگر دو فضا هم‌ارزِ هموتوپی باشند،
گروه بنیادیِ آن‌ها یکسان است.

۲) چرا این اصل درست است؟

فرض کنید فضایی را داریم که می‌توان آن را
به زیر‌فضای ساده‌تری جمع کرد،
بدون آن‌که نقطه‌های زیر‌فضا جابه‌جا شوند.
در این حالت، هر حلقه در فضای بزرگ
را می‌توان همراه با این جمع‌شدن،
به حلقه‌ای در فضای کوچک‌تر تبدیل کرد.

پس:

• حلقه‌ها در فضای بزرگ و کوچک با هم متناظر می‌شوند.


• رابطهٔ هموتوپیِ بین حلقه‌ها حفظ می‌شود.


• در نتیجه، ساختار جبریِ گروه بنیادی تغییر نمی‌کند.

۳) مثال: حلقهٔ ضخیم

حلقهٔ ضخیم یک ناحیهٔ حلقوی است که ضخامت دارد.
اگر یک حلقهٔ بسته در این فضا رسم کنیم،
می‌توان آن را به دایرهٔ مرکزی منتقل کرد
یا از دایرهٔ مرکزی به آن بازگرداند.

شهود:
حلقهٔ ضخیم فقط نسخه‌ای کلفت‌تر از دایره است.
این ضخامت، سوراخ جدیدی ایجاد نمی‌کند
و مسیرهای اصلی را عوض نمی‌کند.

به همین دلیل، حلقهٔ ضخیم و دایره
از دید گروه بنیادی یکسان‌اند.

۴) نتیجهٔ گروه بنیادی برای دایره

گروه بنیادیِ دایره از تعداد دور زدن‌ها تشکیل می‌شود.
اگر یک حلقه یک بار دور دایره بچرخد،
با دو بار چرخیدن هم‌ارز نیست.
همچنین جهت چرخش هم اهمیت دارد.

نتیجه:
گروه بنیادیِ دایره با اعداد صحیح متناظر است؛
هر عدد صحیح نشان‌دهندهٔ تعداد دور زدن‌هاست.

پس چون حلقهٔ ضخیم با دایره هم‌ارزِ هموتوپی است،
گروه بنیادیِ آن نیز همان ساختار را دارد.

۵) یک نگاه شهودی‌تر

تصور کنید روی یک مسیر حلقوی قدم می‌زنید.
اگر مسیر فقط کمی پهن‌تر شود،
تجربهٔ توپولوژیکی شما عوض نمی‌شود:
هنوز یک سوراخ مرکزی وجود دارد
و هنوز باید دور آن بچرخید.

بنابراین، پهن شدن مسیر چیزی به ساختار بنیادی اضافه نمی‌کند.
فقط شکل هندسی را عوض می‌کند،
نه ماهیت توپولوژیکی را.

۶) مقایسهٔ نهایی

نکتهٔ کلیدی:
اگر دو فضا هم‌ارزِ هموتوپی باشند،
از دید گروه بنیادی تفاوتی ندارند.
پس برای محاسبهٔ گروه بنیادی،
می‌توان گاهی یک فضای پیچیده را
با نمونه‌ای ساده‌تر جایگزین کرد.

۷) جمع‌بندی

حلقهٔ ضخیم و دایره از نظر هندسی یکسان نیستند،
اما از نظر توپولوژیکی همان رفتار را دارند.
علت این است که حلقهٔ ضخیم به دایره تغییر شکل می‌دهد
و این تغییر شکل، گروه بنیادی را حفظ می‌کند.

پس در توپولوژی، ظاهر مهم نیست؛
آنچه مهم است ساختاری است که در تغییر شکل‌های پیوسته باقی می‌ماند.