ویژگی ششم: پوشش جهانی (Universal Cover) (همراه با شهود هندسی)
در نظریهٔ فضاهای پوششی، پوشش جهانی مهمترین و کاملترین نوع پوشش است.
ایدهٔ اصلی آن این است که پیچیدگیهای ناشی از حلقهها و مسیرهای بستهٔ غیر بدیهیِ فضای پایه را باز کنیم و به فضایی برسیم که در آن همهٔ حلقهها قابل جمع شدن باشند.
به زبان شهودی، پوشش جهانی مانند باز کردن یک گره یا گشودن یک فنرِ حلقهای است:
فضای پایه ممکن است مسیرهایی داشته باشد که دور یک حفره بچرخند و نتوان آنها را به نقطه تبدیل کرد؛ اما در فضای پوشش جهانی، این دورها باز میشوند و دیگر بهصورت حلقههای بسته باقی نمیمانند.
تعریف پوشش جهانی
فرض کنید:
p : X̃ → X
یک نگاشت پوششی باشد. اگر فضای پوشانندهٔ X̃ همبندِ مسیری و سادههمبند باشد، آنگاه p را یک پوشش جهانی از فضای X مینامیم.
سادههمبند بودن یعنی هر حلقه در X̃ را بتوان بهطور پیوسته به یک نقطه جمع کرد. به زبان گروه بنیادی:
π1(X̃) ≅ {e}
یعنی گروه بنیادیِ فضای پوشش جهانی بدیهی است.
شهود هندسی اول: باز شدن دایره به خط
معروفترین مثال پوشش جهانی، نگاشت زیر است:
p : ℝ → S1
p(t) = e2πit
در این نگاشت، هر عدد حقیقی t به نقطهای از دایره فرستاده میشود.
اعدادی که به اندازهٔ یک عدد صحیح با هم اختلاف دارند، به یک نقطه از دایره میروند:
p(t + n) = p(t) (n ∈ ℤ)
فضای پایه یعنی S1 یک دایره است. روی دایره میتوان یک دور کامل زد و به نقطهٔ آغاز بازگشت؛ این مسیر بسته را نمیتوان درون خود دایره به یک نقطه جمع کرد. پس دایره سادههمبند نیست.
اما فضای بالا یعنی ℝ یک خط راست است. روی خط، هیچ مسیر بستهٔ غیر بدیهی وجود ندارد. بنابراین:
ℝ
پوشش جهانیِ دایره است.
تصویر ذهنی: راهپلهٔ مارپیچ
دایره را مانند مسیر گردی روی زمین در نظر بگیرید و خط حقیقی را همچون یک راهپلهٔ مارپیچِ بیپایان که دور یک ستون میچرخد.
- در پایین، اگر یک دور کامل روی مسیر دایرهای حرکت کنید، دوباره به نقطهٔ شروع میرسید.
- در بالا، حرکت متناظر روی راهپلهٔ مارپیچ یک طبقه بالاتر پایان میگیرد.
- پس حلقهای که در دایره بسته بود، در فضای پوشش جهانی به یک مسیر باز تبدیل میشود.
به بیان دیگر، پوشش جهانی اطلاعات «چند بار دور زدن» را فراموش نمیکند. در دایره، پس از هر دور به همان نقطهٔ پیشین بازمیگردیم؛ اما در خط، هر دور زدن به یک مکان تازه در امتداد خط منتهی میشود.
مثال دوم: پوشش جهانی توروس
توروس یا سطح دوناتیشکل را میتوان بهصورت زیر نوشت:
T2 = S1 × S1
پوشش جهانیِ توروس صفحهٔ حقیقی است:
p : ℝ2 → T2
یک نمایش استاندارد از این نگاشت چنین است:
p(s, t) = (e2πis, e2πit)
برای شهود این مثال، توروس را یک مربع در نظر بگیرید که ضلعهای روبهرویش به هم چسبانده شدهاند. اگر از ضلع راست مربع خارج شوید، از ضلع چپ وارد میشوید؛ و اگر از بالای آن خارج شوید، از پایین بازمیگردید.
اکنون این مربع را بهجای چسباندن ضلعها، بینهایت بار در همهٔ جهتها کنار هم بچینید. حاصل یک کاشیکاری بینهایت از صفحه است:
ℝ2
هر مربعِ این صفحه یک نسخه از توروس را میپوشاند. صفحهٔ حقیقی سادههمبند است؛ بنابراین تمام حلقههای پیچیدهٔ توروس در آن باز میشوند.
چرا نام آن «جهانی» است؟
پوشش جهانی از این جهت جهانی نامیده میشود که همهٔ پوششهای همبند دیگرِ یک فضا از آن بهدست میآیند. اگر:
p : X̃ → X
پوشش جهانی باشد و:
q : E → X
یک پوشش همبند دیگر از X باشد، آنگاه نگاشتی مانند:
r : X̃ → E
وجود دارد که نمودار زیر را جابهجاییپذیر میکند:
q ∘ r = p
یعنی ابتدا از پوشش جهانی به پوشش میانی برویم و سپس به فضای پایه برسیم، یا مستقیماً از پوشش جهانی به فضای پایه برویم؛ در هر دو حالت نتیجه یکسان است.
رابطه با گروه بنیادی
در طبقهبندی پوششهای همبند، هر پوشش با یک زیرگروه از گروه بنیادیِ فضای پایه متناظر است. پوشش جهانی متناظر با کوچکترین زیرگروه ممکن، یعنی زیرگروه بدیهی است:
{e} ≤ π1(X)
پس پوشش جهانی فضایی است که در آن تمام اطلاعات حلقههای غیر بدیهیِ فضای پایه باز شده است.
برای دایره داریم:
π1(S1) ≅ ℤ
و پوشش جهانی آن متناظر با زیرگروه بدیهیِ {0} در ℤ است.
شرط وجود پوشش جهانی
اگر فضای X شرایط معمول زیر را داشته باشد، پوشش جهانی برای آن وجود دارد:
- همبندِ مسیری باشد.
- موضعاً همبندِ مسیری باشد.
- نیمهموضعاً سادههمبند باشد.
شرط سوم بهطور شهودی میگوید که در اطراف هر نقطه، همسایگیهایی وجود دارند که حلقههای بسیار کوچک در آنها در فضای بزرگتر قابل جمع شدناند. این شرط مانع از رفتارهای بسیار پیچیده و غیرقابلکنترل حلقهها در مقیاس محلی میشود.
جمعبندی
- پوشش جهانی یک پوشش
p : X̃ → X
است که فضای X̃ سادههمبند باشد.
- پوشش جهانی، حلقهها و حفرههای توپولوژیکِ فضای پایه را باز میکند.
- مثال بنیادی آن:
ℝ → S1
است؛ خط حقیقی پوشش جهانی دایره است.
- مثال مهم دیگر:
ℝ2 → T2
است؛ صفحهٔ حقیقی پوشش جهانی توروس است.
- تمام پوششهای همبند دیگرِ یک فضا، بهنوعی از پوشش جهانی آن منشأ میگیرند.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.