ریاضیات

پست ۲۶: انتهای مسیرهای بالابرده شده و گروه بنیادی

وقتی یک مسیر بسته (یک حلقه که از x0 شروع و به x0 ختم می‌شود) را در فضای پایه X به فضای پوششی X~ منتقل (بالابری) می‌کنیم، چه اتفاقی می‌افتد؟

مسیر بالابرده شده f~ از یک نقطه مانند x~0 در فیبر شروع می‌شود، اما لزوماً به همان نقطه برنمی‌گردد! این مسیر ممکن است در نقطه‌ای دیگر از همان فیبر، مثلاً x~1 پایان یابد:

f~(0) = x~0 , f~(1) = x~1 ∈ p^(-1)(x0)

این اختلاف میان نقطهٔ آغاز و پایان در فضای پوششی، دقیقاً نشان‌دهندهٔ «خمیدگی» یا ساختار توپولوژیک فضا است. این پدیده اساس ارتباط میان گروه‌های بنیادی (Fundamental Groups) و فضاهای پوششی است.