ریاضیات

پرده‌یِ نخست: تبلورِ زیرمنیفلدها (قضیه‌یِ مقدارِ منظم)

صورتِ مسئله

فرض کنید F: M → N نگاشتی هموار بین دو منیفلدِ M و N باشد. اگر q ∈ N یک «مقدارِ منظم» برایِ F باشد، ثابت کنید که پیش‌تصویرِ آن، یعنی F^-1(q)، یک زیرمنیفلدِ تعبیه شده (Embedded Submanifold) از M است.

مقدماتِ استنتاج (ابزارِ راه)

برایِ گشودنِ این گره، به سه کلیدِ زرین نیاز داریم:

• تعریفِ مقدارِ منظم: نقطه q منظم است اگر برایِ هر p ∈ F^-1(q)، دیفرانسیلِ dF_p : T_pM → T_qN یک نگاشتِ پوشا (Surjective) باشد.
• قضیه‌یِ تابعِ معکوس: ابزاری برایِ تغییرِ مختصات به شکلی که نگاشت را به یک پرتابِ ساده بدل کند.
• تعریفِ زیرمنیفلد: زیرمجموعه‌ای که به صورتِ موضعی، مانندِ فضایِ اقلیدسی R^k درونِ Rⁿ رفتار می‌کند.

واسطه‌ها (طریقِ استدلال)

ما برایِ اثبات، گام‌هایِ زیر را طی می‌کنیم:

1. نقطه‌ای دلخواه مانندِ p ∈ F^-1(q) انتخاب می‌کنیم. چون dF_p پوشاست، ابعادِ M باید بزرگتر یا مساویِ ابعادِ N باشد.
2. با استفاده از «قضیه‌یِ رتبه» (Rank Theorem)، دستگاهِ مختصاتیِ مناسب (کارت) در اطرافِ p و q انتخاب می‌کنیم تا نگاشتِ F در این مختصات، به سادگیِ یک پرتابِ خطیِ (x₁, ..., x_m) → (x₁, ..., x_n) ظاهر شود.
3. در این دستگاهِ مختصات، پیش‌تصویرِ نقطه‌یِ q، دقیقاً مجموعه‌یِ نقاطی است که n مؤلفه‌یِ نخستِ آن‌ها صفر است. این یعنی پیش‌تصویر، به سادگیِ صفحه‌ای تخت در فضایِ بالاتر است.

نتیجه (سخنِ نهایی)

از آنجا که در هر نقطه‌یِ p از F^-1(q)، ما توانستیم یک نگاشتِ مختصاتی (Chart) بیابیم که این مجموعه را به یک برشِ مسطح در M تبدیل کند، حکمِ ما ثابت می‌شود: F^-1(q) نه تنها یک مجموعه، بلکه یک «زیرمنیفلدِ تعبیه شده» است با بُعدِ dim(M) - dim(N).