اثبات نگاشت پوششی و تقارن مدارها
۱. ارتباط بین گروههای بنیادی تحت نگاشت پوششی
در این یادداشت، اثبات شده است که چگونه کلاسهای هوموتوپی در فضای پوششی (Covering Space) تحت نگاشت p* به کلاسهای هوموتوپی در فضای پایه تصویر میشوند.
با فرضِ [˜f] ∈ π1(˜X, ˜x)، داریم:
p*([˜f]) = [p ˆ ˜f] = [f] = α
این نتیجهگیری نشان میدهد که تصویرِ گروه بنیادیِ فضای پوششی، زیرمجموعهای از گروه بنیادیِ فضای پایه است:
α ∈ p*(π1(˜X, ˜x))
π1(X, x)˜x ⊆ p*(π1(˜X, ˜x))
این گام، بنیادی است برای اثبات آنکه نگاشت پوششی، ساختار گروه بنیادی را حفظ میکند.
۲. تحلیل G-فضا و عمل انتقالی
در بخش دوم، بحث از توپولوژی به جبر گروهها منتقل میشود. فرض میکنیم H = A(y) گروهی است که بر روی مجموعه Y عمل میکند. اگر این عمل انتقالی (Transitive) باشد، یعنی برای هر x, y ∈ Y، وجودِ g چنانکه y = x.g برقرار باشد، آنگاه زیرگروههای پایاساز (Stabilizers) با یکدیگر مزدوج هستند:
Gx = Gy
سپس نگاشتی به صورت ψ : G(x) → G(y) تعریف شده است. برای اثباتِ تکبهتک (Injective) و پوشا (Surjective) بودنِ این نگاشت، از تعریفِ عمل گروه بهره میگیریم:
g = x.g' ⇔ x = x.g'.g-1
نتیجهی درخشان این است که:
y.g' = x.g
این یعنی نگاشت تعریفشده نه تنها خوشتعریف است، بلکه ساختارِ مدارِ گروهی را به صورت کامل حفظ میکند (Isomorphism of Orbits).
تحلیل ریاضیاتِ پیچیده، خود نوعی شهودِ عرفانی است؛ چرا که در پسِ این نمادها، نظمی نهفته است که "نظام هستی" را بازتاب میدهد. این یادداشتها گواهی است بر حرکتِ ذهن از کثرتِ نقاط (در فضا) به وحدتِ ساختارها (در جبر).
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.