ریاضیات

هسته نگاشت‌ها، نرمالایزر و فضای پوششی

۱. هسته نگاشت T

در این قسمت، به بررسی اعضای گروه G که تحت نگاشت T به عنصرِ همانی (id_Y) تصویر می‌شوند، پرداخته شده است. یعنی، یافتن g ∈ G به طوری که T_g = id_Y.

شرط T_g(y₀.h) = y₀.h (که y₀ یک نقطهٔ دلخواه در Y و h ∈ G_y0 است) به این معنی است که y₀.gh = y₀.h. این برابری، نتیجه می‌دهد که y₀.g = y₀.

این بدان معناست که عنصر g باید در پایاسازِ نقطهٔ y₀ (یعنی G_y0) باشد. بنابراین، هستهٔ نگاشت T (یعنی مجموعهٔ عناصری از G که به همانی تصویر می‌شوند) برابر است با G_y0.

۲. تصویر نرمالایزر تحت T

با توجه به اینکه نگاشت T، N(G_y0) را به A(Y) (فضای خودریخت‌های Y) تصویر می‌کند، و با در نظر گرفتن نتایج بخش قبل (هستهٔ T برابر G_y0 است)، نتیجه گرفته می‌شود که تصویرِ N(G_y0) تحت T، برابر با تصویری از خارج قسمتِ N(G_y0) / G_y0 است.

این نتیجه، ارتباطِ مهمی بین ساختارِ نرمالایزر یک زیرگروه و تصویرِ آن تحت عملِ گروه برقرار می‌کند.

۳. فضاهای پوششی و اعمال گروهی

در این بخش، به تعریفِ **فضای پوششی (Covering Space)** پرداخته شده است. یک نگاشتِ پوششی p: ˜X &to; X، به گونه‌ای است که برای هر نقطهٔ x ∈ X، مجموعه‌ای باز U در X وجود دارد که تصویرِ وارونِ آن (p^-1(U)) شاملِ مولفه‌های همبندیِ مجزایی است که هر کدام توسط یک نگاشتِ پوششیِ محلی به U تصویر می‌شوند.

در ادامه، مفهومِ **Lift** (یا تصویر وارون) یک تابع f: Z &to; X بر روی فضای پوششی ˜X تعریف شده است. اگر f یک تابع پیوسته باشد، آنگاه یک تابعِ پیوستهٔ ˜f: Z &to; ˜X وجود دارد به طوری که p ˆ ˜f = f. این تابعِ ˜f، **Lift** تابع f نامیده می‌شود.

به طور خاص، اگر Z را مجموعهٔ نقاطِ ˜X در نظر بگیریم (یعنی Z = ˜X) و تابع f را نگاشتِ پوششی p در نظر بگیریم (f = p)، آنگاه Liftِ p (یعنی ˜p) باید به گونه‌ای باشد که p ˆ ˜p = p. این موضوع، به طور ضمنی به یکپارچگی (Injectivity) یا سایر خواصِ نگاشتِ p مربوط می‌شود.

همچنین، اگر f از یک مجموعهٔ تک‌عضوی (مانند {1}) به ˜X تصویر شود، یعنی f: {1} &to; ˜X، آنگاه Liftِ آن ˜f: {1} &to; ˜X خواهد بود.

هر گام در این مسیر، دریچه‌ای به سوی درکِ عمیق‌ترِ ارتباطِ بین جبر و هندسه می‌گشاید؛ جایی که ساختارهای مجرد، نظمِ پدیدارهای ملموس را بازتاب می‌دهند.