ویژگی بازپسروی: پوشا بودن همریختی القایی
مطابق یادداشتهای درس (تصویر پیوست)، یکی از نتایج مستقیم وجود یک بازپسروی r: X → A، ماهیت همریختی القایی آن در سطح ساختارهای جبری است.
۱. قضیه
اگر زیرفضای A یک بازپسروی از X باشد، آنگاه همریختی القایی:
r* : π1(X, a0) → π1(A, a0)
یک همریختی پوشا (Surjective Homomorphism) است.
۲. برهان (استدلال مبتنی بر تابعگونی)
از تعریف بازپسروی میدانیم که ترکیب نگاشت شمول i و بازپسروی r برابر با نگاشت همانی روی A است:
r • i = idA
با اعمال تابعگون گروه بنیادی (Functoriality) بر دو طرف رابطه، داریم:
r* • i* = (idA)* = idπ1(A)
در جبر خطی و نظریه گروهها، اگر ترکیب دو نگاشت (f • g) پوشا باشد (که در اینجا نگاشت همانی قطعاً پوشا است)، آنگاه نگاشت سمت چپ (r*) حتماً باید پوشا باشد.
۳. تفسیر هندسی و شهودی
پوشا بودن r* به این معناست که هر حفره یا چرخه (Loop) که در زیرفضای A وجود دارد، باید تصویری از یک چرخه در فضای بزرگتر X باشد.
به عبارت سادهتر، بازپسروی نمیتواند حفرههای جدیدی در زیرفضا "خلق" کند که در فضای اصلی وجود نداشتهاند. تمام اطلاعات جبری موجود در A باید ریشهای در X داشته باشند.
نتیجه متقارن: همانطور که در یادداشتها دیده میشود، به طور مشابه نگاشت شمول i* نیز باید تکریختی (Injective) باشد. این دو ویژگی در کنار هم نشان میدهند که گروه بنیادی زیرفضا (A) به عنوان یک "زیرگروه مستقیم" (Direct Summand) در دل گروه بنیادی کل فضا (X) قرار میگیرد.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.