ریاضیات

ویژگی سوم: بالا بردن یکتای مسیر (Path Lifting)

یکی از قدرتمندترین ابزارهایی که فضاهای پوششی در اختیار ما قرار می‌دهند، توانایی «بالا بردن» مسیرهاست. این ویژگی به ما اجازه می‌دهد هر مسیر پیوسته در فضای پایه X را به فضای پوششی E منتقل کنیم.

صورت قضیه

فرض کنید p : E → X یک نگاشت پوششی باشد. همچنین فرض کنید γ : [0, 1] → X یک مسیر در X باشد (یعنی γ نگاشتی پیوسته از بازهٔ واحد به X است).

اگر نقطهٔ e₀ ∈ E را چنان انتخاب کنیم که p(e₀) = γ(0) باشد (یعنی e₀ نقطهٔ آغازین مسیر ما در E باشد)، آنگاه:

• وجود: یک مسیر یکتا مانند γ̃ : [0, 1] → E در E وجود دارد به‌طوری‌که:

  p ∘ γ̃ = γ

• نقطهٔ آغازین: مسیر بالا برده شده در نقطهٔ e₀ شروع می‌شود:

  γ̃(0) = e₀

تحلیل شهودی

تصور کنید X یک دایره باشد و E خط حقیقی ℝ. نگاشت پوششی p، خط را مانند یک مارپیچ به دور دایره می‌پیچد. اگر یک مسیر روی دایره X داشته باشید، می‌توانید آن را با یک خودکار روی خط حقیقی E «ردیابی» کنید. اگر بدانید کار را از کدام نقطه روی خط (که تصویرش نقطهٔ شروعِ مسیر روی دایره است) شروع کرده‌اید، مسیرِ روی خط دقیقاً و بدون ابهام مشخص می‌شود. این همان مفهومِ بالا بردنِ یکتاست.

چرا «یکتا» بودن مهم است؟

بدون شرطِ «یکتا بودن»، این نگاشت ارزش محاسباتی کمی داشت. یکتاییِ γ̃ به ما تضمین می‌دهد که نگاشتِ بالا بردن مسیر، یک تابعِ خوش‌تعریف (Well-defined) است. این یعنی مسیرِ بالا برده شده فقط و فقط به مسیرِ اصلی γ و نقطهٔ شروع e₀ بستگی دارد.

روش اثبات (ایدهٔ اصلی)

1. افراز مسیر: چون نگاشت p یک پوشش است، می‌توانیم بازهٔ [0, 1] را به زیربازه های بسیار کوچک (مثلاً [t_i, t_i+1]) تقسیم کنیم، به‌طوری‌که تصویرِ هر زیربازه تحت γ، درون یک همسایگیِ ورقه‌ورقه (Evenly Covered) در X قرار بگیرد.
2. بالا بردن موضعی: در هر همسایگیِ ورقه‌ورقه، نگاشت p یک هومئومورفیسم است. بنابراین، می‌توانیم به راحتی مسیر را در هر تکه به E منتقل کنیم (با استفاده از نگاشت معکوسِ هومئومورفیسم).
3. اتصال (Gluing): با استفاده از لمِ چسباندن (Gluing Lemma)، این مسیرهای کوچک را به هم متصل می‌کنیم. چون در هر نقطهٔ اتصال، مسیرها با هم منطبق می‌شوند، یک مسیر پیوسته و سراسری در E به دست می‌آید.

اهمیت این ویژگی

ویژگی بالا بردنِ مسیر، پایه و اساسِ بسیاری از نتایج مهم در توپولوژی جبری است:

• گروه بنیادی: این ویژگی به ما اجازه می‌دهد تا بفهمیم چگونه گروه بنیادی π₁(E) درون π₁(X) قرار می‌گیرد.
• بالا بردن هموتوپی (ویژگی چهارم): این ویژگی مقدمه‌ای برای ویژگی مهم‌ترِ «بالا بردن هموتوپی» است که به ما می‌گوید هموتوپی‌های مسیرها نیز به همین ترتیب قابل بالا بردن هستند.
• تزریق‌گر بودن: با استفاده از همین ویژگی، اثبات می‌شود که همریختی القایی p_* : π₁(E) → π₁(X) یک نگاشتِ تزریق‌گر (Injective) است.

جمع‌بندی: هر زمان که می‌خواهید مسائل پیچیدهٔ فضای X را به فضای «ساده‌تر» E ببرید، مسیرها را با ویژگی سوم بالا می‌برید و در آنجا محاسبات را انجام می‌دهید.