ویژگی هفتم: گروه تبدیل‌های پوششی (Deck Transformations) (همراه با شهود هندسی)
در فهرست ویژگی‌های فضاهای پوششی، ویژگی هفتم مربوط به گروه تبدیل‌های پوششی است، نه پوشش جهانی.
پوشش جهانی ویژگی ششم بود. در این بخش، تقارن‌های درونی یک پوشش را بررسی می‌کنیم.
ایدهٔ اصلی
فرض کنید:
p : E → X
یک نگاشت پوششی باشد. ممکن است بتوان فضای پوشانندهٔ E را جابه‌جا یا متقارن کرد، بدون آن‌که تصویر هیچ نقطه‌ای در فضای پایهٔ X تغییر کند.
این جابه‌جایی‌ها را تبدیل‌های پوششی یا Deck Transformations می‌نامیم. نام دیگر آنها خودریختی‌های پوشش است.
تعریف تبدیل پوششی
یک هومئومورفیسم:
φ : E → E
را یک تبدیل پوششی برای نگاشت p می‌نامیم، هرگاه نمودار پوشش را حفظ کند؛ یعنی:
p ∘ φ = p
به بیان نقطه‌ای، برای هر:
e ∈ E
داریم:
p(φ(e)) = p(e)
پس φ ممکن است نقطهٔ e را در فضای بالا جابه‌جا کند، اما آن را فقط به نقطه‌ای از همان فیبر می‌فرستد؛ یعنی نقطه‌ای که در فضای پایه همان تصویر را دارد.
فیبرها و رفتار تبدیل‌های پوششی
فیبر بالای نقطهٔ
x ∈ X
برابر است با:
p−1(x) = { e ∈ E | p(e) = x }
اگر φ یک تبدیل پوششی باشد، آنگاه برای هر x داریم:
φ(p−1(x)) = p−1(x)
بنابراین تبدیل پوششی، هر فیبر را به خودش می‌فرستد؛ اما می‌تواند نقاط مختلف همان فیبر را با یکدیگر جایگزین کند.
شهود هندسی: آسانسورهای یک ساختمان چندطبقه
فضای پایهٔ X را نقشهٔ یک طبقه از ساختمان در نظر بگیرید و فضای پوشانندهٔ E را ساختمانی با طبقات هم‌شکل و متعدد فرض کنید.
نگاشت پوششی، هر نقطه از طبقات مختلف را به نقطهٔ متناظر آن روی نقشهٔ یک طبقه می‌فرستد. اکنون اگر تمام ساختمان را دقیقاً یک طبقه بالا ببریم، هر اتاق به اتاق متناظر در طبقهٔ بعد منتقل می‌شود؛ اما مکان آن اتاق بر روی نقشهٔ پایه تغییر نمی‌کند.
این جابه‌جاییِ کلی، یک تبدیل پوششی است.
مثال بنیادی: پوشش خط حقیقی روی دایره
پوشش استاندارد:
p : ℝ → S1
p(t) = e2πit
را در نظر بگیرید. برای هر عدد صحیح n، نگاشت زیر را تعریف می‌کنیم:
φn(t) = t + n
آنگاه:
p(φn(t)) = p(t + n)
p(t + n) = e2πi(t+n)
p(t + n) = e2πit e2πin
چون n صحیح است، داریم:
e2πin = 1
پس:
p(t + n) = p(t)
و در نتیجه:
p ∘ φn = p
بنابراین هر انتقال صحیح روی خط حقیقی، یک تبدیل پوششی از پوشش
ℝ → S1
است.
شهود راه‌پلهٔ مارپیچ
در تصویر راه‌پلهٔ مارپیچ، دایرهٔ پایین نشان‌دهندهٔ فضای پایه و راه‌پلهٔ بی‌نهایت نشان‌دهندهٔ خط حقیقی است.
- هر دور کامل روی دایره، متناظر با حرکت یک واحد روی خط است.
- انتقال t ↦ t + 1 مانند بالا رفتن دقیقاً یک دور کامل روی راه‌پلهٔ مارپیچ است.
- با وجود این جابه‌جایی، تصویر نقطه روی دایره عوض نمی‌شود.
پس تبدیل پوششی، تقارنی در فضای بالاست که از دید فضای پایه نامرئی است.
گروه تبدیل‌های پوششی
همهٔ تبدیل‌های پوششیِ یک نگاشت پوششی را با نماد زیر نشان می‌دهیم:
Deck(p)
یا گاهی:
Aut(p)
این مجموعه تحت ترکیب نگاشت‌ها یک گروه تشکیل می‌دهد.
واقعاً اگر:
φ, ψ ∈ Deck(p)
باشند، آنگاه:
p ∘ (φ ∘ ψ)
= (p ∘ φ) ∘ ψ
= p ∘ ψ
= p
پس:
φ ∘ ψ ∈ Deck(p)
همچنین همانیِ فضای E یک تبدیل پوششی است و وارون هر تبدیل پوششی نیز یک تبدیل پوششی خواهد بود.
گروه تبدیل‌ها در مثال دایره
برای پوشش:
p : ℝ → S1
تمام تبدیل‌های پوششی از شکل زیر هستند:
φn(t) = t + n
n ∈ ℤ
ترکیب دو انتقال چنین است:
φm ∘ φn(t) = φm(t+n)
φm ∘ φn(t) = t+n+m
φm ∘ φn = φm+n
پس گروه تبدیل‌های پوششی در این مثال با گروه اعداد صحیح هم‌ریخت است:
Deck(p) ≅ ℤ
نکتهٔ مهم: تعیین تبدیل پوششی با یک نقطه
اگر E همبند باشد، یک تبدیل پوششی با دانستن تصویر تنها یک نقطه تعیین می‌شود. یعنی اگر:
φ, ψ ∈ Deck(p)
و برای نقطه‌ای مانند e0 داشته باشیم:
φ(e0) = ψ(e0)
آنگاه:
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.