مفممهوم همانریختی (Isomorphism) و همریختی همانی در جبر و توپولوژی
مفهوم همانریختی (Isomorphism) و همریختی همانی در جبر و توپولوژی
واژهٔ همانریختی (یا ایزومورفیسم - Isomorphism) و مفهوم مرتبط با آن یعنی همریختی همانی (Identity Homomorphism)، از بنیادیترین مفاهیم در سراسر ریاضیات مجرد، نظریه گروهها، نظریه ردهها و توپولوژی جبری هستند. در این پست به بررسی دقیق این مفاهیم، نقش آنها در یکسانی ساختارها و کاربردشان در فضاهای پوششی میپردازیم.
۱. تعریف همریختی همانی (Identity Homomorphism)
برای هر گروه G، نگاشتی که هر عضو را به خودش بفرستد:
idG : G → G , idG(g) = g
یک همریختی ساختاری است که آن را همریختی همانی مینامند. این نگاشت عضو همانی در گروه خودریختیهای گروه Aut(G) و همچنین در گروه تبدیلهای پوششی Deck(p) است.
۲. تعریف همانریختی (ایزومورفیسم / Isomorphism)
دو ساختار جبری (مانند دو گروه G و H) را همانریخت (ایزومورف) مینامند هرگاه یک همریختی یکبهیک و پوشا (یکریختی) مانند φ : G → H وجود داشته باشد که معکوس آن φ⁻¹ : H → G نیز یک همریختی باشد.
φ(g1 · g2) = φ(g1) · φ(g2)
G ≅ H
وجود یک همانریختی میان دو ساختار به این معناست که از نظر ویژگیهای جبری، این دو ساختار کاملاً یکسان هستند و تنها نام اعضای آنها متفاوت است.
۳. همانریختیِ فضاهای پوششی (Isomorphism of Covering Spaces)
در توپولوژی جبری، دو پوشش p1 : E1 → X و p2 : E2 → X روی یک فضای پایهٔ X را همانریخت مینامند هرگاه یک هومئومورفیسم h : E1 → E2 وجود داشته باشد بهطوریکه مثلث زیر جابهجایی باشد:
p2 ˆ h = p1
این شرط تضمین میکند که دو فضای پوششی E1 و E2 لایهبندی و رفتار توپولوژیکیِ کاملاً یکسانی نسبت به فضای پایهٔ X دارند.
۴. قضایای کلیدی مرتبط با همانریختی پوششها
شرط همانریختی دو پوشش همبند: دو پوشش همبند E1 و E2 روی X همانریخت هستند اگر و تنها اگر زیرگروههای القایی آنها در گروه بنیادی π1(X, x0) در یک ردهٔ تزویج (Conjugacy Class) قرار داشته باشند:
H1 = g H2 g⁻¹ (for some g ∈ π1(X, x0))
خودریختی همانی در تبدیلهای پوششی: اگر در یک پوشش همبند، یک تبدیل پوششی h : E → E حداقل یک نقطهٔ ثابت داشته باشد (h(e0) = e0)، آنگاه h لزوماً همان نگاشت همانی است:
h = idE
۵. جمعبندی و شهود هندسی
همانریختی (ایزومورفیسم) در واقع ابزارِ سنجش «شباهت ساختاری کامل» است. وقتی میگوییم دو پوشش یا دو گروه همانریخت هستند، یعنی میتوان بدون از دست دادن هیچ اطلاعاتی از خواص جبری یا هندسی، یکی را به جای دیگری مطالعه کرد.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.