ویژگی سوم: بالا بردن یکتای مسیر (Path Lifting) (همراه با شهود هندسی)
یکی از شگفتانگیزترین ابزارهای فنی در توپولوژی جبری، توانایی «بالا بردن» یا انتقالِ مسیرها از یک فضای پایه به فضای پوشانندهٔ آن است. قضیهٔ بالا بردن یکتای مسیر به ما میگوید که اگر روی فضای پایه راه برویم و یک نقطهٔ آغازین در فضای بالا مشخص کنیم، دقیقاً یک راه متناظر و بدون ابهام برای حرکت در فضای بالا وجود خواهد داشت.
صورت قضیه
فرض کنید
p : E → X
یک نگاشت پوششی باشد. برای هر مسیر پیوسته در فضای پایه مانند:
γ : [0, 1] → X
و برای هر نقطهٔ آغازین e0 در فضای بالا که دقیقاً روی نقطهٔ شروع مسیر پایین قرار دارد، یعنی:
e0 ∈ p−1(γ(0))
یک مسیر پیوستهٔ منحصربهفرد (یکتا) در فضای بالا مانند:
γ̃ : [0, 1] → E
وجود دارد بهطوریکه:
- شروع آن از همان نقطهٔ انتخابی باشد:
γ̃(0) = e0
- تصویر آن روی فضای پایه دقیقاً همان مسیر اولیه باشد:
p ∘ γ̃ = γ
شهود هندسی اول: مورچهای روی پیچ جادهٔ مارپیچ
دوباره مدل مارپیچ بینهایت را روی دایره در نظر بگیرید:
p : ℝ → S1
فرض کنید X دایرهٔ پایه (مثلاً لبهٔ یک استوانه) و E خط حقیقی باشد که بهصورت یک راه پلهٔ مارپیچ دور این استوانه بالا رفته است.
یک مورچه روی دایرهٔ پایه X شروع به حرکت میکند و یک دور کامل در جهت پادساعتگرد میزند. این حرکت همان مسیر γ است.
حالا به بالای ساختمان نگاه کنید. در هر طبقه از راه پلهٔ مارپیچ، یک نقطه دقیقاً بالای سر نقطهٔ شروع مورچه در حیاط وجود دارد. یکی از این نقطهها (مثلاً طبقهٔ دوم) را بهعنوان نقطهٔ آغازین e0 انتخاب میکنیم.
قضیه میگوید اگر مورچه در حیاط حرکت کند، سایهٔ یک حرکت روی راه پلهٔ مارپیچ بهطور یکتا مشخص میشود. از آنجا که مسیر باید پیوسته باشد و مورچه نمیتواند ناگهان بین طبقات تلهپورت کند، وقتی مورچه در حیاط یک دور کامل میزند، تصویر او روی راه پله مجبوز است از پلهها بالا برود و دقیقاً یک طبقه بالاتر (در نقطهٔ e0 + 1) متوقف شود.
هیچ ابهامی وجود ندارد؛ حرکت مورچه در پایین، حرکتِ متناظرِ پیوسته در بالا را کاملاً تعیین میکند.
شهود هندسی دوم: ردیابی قلم روی چند لایه کاغذ کاربن
تصور کنید چند لایه کاغذ کپی یا کاربن (ورقههای E) را روی یک صفحهٔ فلزی (فضای X) قرار دادهاید.
وقتی نوک قلم را روی صفحهٔ پایین میگذارید و بدون برداشتن قلم یک خط ممتد رسم میکنید، اگر نوک قلمِ کپیکننده را روی یکی از لایههای بالا (مثلاً لایهٔ سوم) تنظیم کرده باشید، با حرکت قلم در پایین، نوک قلم در لایهٔ سوم نیز دقیقاً همان خط را بدون انحراف یا گسستگی میکشد. این خطِ کشیدهشده روی لایهٔ سوم، همان مسیر بالا بردهشدهٔ γ̃ است.
چرا بالا بردن مسیر همواره «یکتا» است؟
راز یکتا بودن در ساختار موضعی ورقهورقه شدهٔ پوششها نهفته است.
وقتی مسیر γ در فضای پایه حرکت میکند، ما میتوانیم بازهٔ زمانی حرکت یعنی [0, 1] را به بخشهای بسیار کوچکی تقسیم کنیم، بهطوریکه تصویر هر بخش کوچک درون یک همسایگیِ بازِ ورقهورقه شده قرار بگیرد.
چون در هر کدام از این همسایگیها، فضا به صفحات جدا از هم (ورقهها) تقسیم شده است و نگاشت روی هر ورقه یک همانریختی (هومئومورفیسم) است، مسیر ما در هر لحظه چارهای ندارد جز اینکه روی همان ورقهای که شروع کرده حرکت کند. از آنجا که ورقهها کاملاً از هم جدا هستند، مسیر نمیتواند به ورقهٔ دیگری بپرد. این پیوستگی، حرکت را در هر گام بهطور منحصربهفرد تعیین میکند.
یک نتیجهٔ مهم: تغییر نقطهٔ پایانی
توجه کنید که هرچند مسیر پایین (γ) یک حلقهٔ بسته باشد (یعنی شروع و پایان آن یک نقطه باشد)، مسیر بالا بردهشده (γ̃) لزوماً بسته نیست. همانطور که در مثال مورچه دیدیم، حلقهٔ بسته در حیاط به یک مسیر مارپیچ در بالا تبدیل شد که در طبقهای بالاتر به پایان رسید. این پدیده اساس تعریف گروه بنیادی و محاسبهٔ دورهای یک فضا است.
جمعبندی
- هر مسیر در فضای پایه را میتوان به یک مسیر پیوسته در فضای پوششی بالا برد.
- با مشخص کردن نقطهٔ شروع در بالا، مسیر بالا بردهشده کاملاً یکتا و منحصربهفرد خواهد بود.
- یکتا بودن ناشی از ساختار موضعی ورقهای و شرط پیوستگی مسیر است.
- این ویژگی، ابزار اصلی برای ردیابی تغییرات توپولوژیک فضاها و محاسبهٔ گروههای بنیادی است.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.