ریاضیات

در این پست به بررسی رفتار پوشش‌ها هنگامی که فضای پایه را به یک زیرفضا محدود می‌کنیم، می‌پردازیم. این مفهوم که به «پوشش القایی روی زیرفضا» معروف است، ابزار مهمی برای مطالعهٔ فضاهای پیچیده از طریق بخش‌های ساده‌تر آن‌هاست.

```html

محدود کردن پوشش به یک زیرفضا (Restriction of Coverings)

یکی از ویژگی‌های بسیار کاربردی در نظریهٔ پوشش‌ها این است که اگر یک نگاشت پوششی برای تمام فضای X داشته باشیم، می‌توانیم آن را به هر زیرفضای دلخواه A ⊆ X محدود کنیم و همچنان یک نگاشت پوششی برای A به دست آوریم.

۱. صورت لمِ زیرفضای پوششی

فرض کنید p : E → X یک نگاشت پوششی باشد و A زیرفضایی از X باشد. قرار دهید:

و نگاشت q : E<sub>A</sub> → A را به‌صورت محدودیت p بر E<sub>A</sub> تعریف کنید:

آنگاه q یک نگاشت پوششی برای فضای پایهٔ A است.

۲. روش اثبات (ایدهٔ اصلی)

برای اثبات اینکه q یک پوشش برای A است، باید نشان دهیم هر نقطه در A دارای یک همسایگی به‌صورت ورقه‌ورقه (Evenly Covered) است.

1. فرض کنید a ∈ A. چون a ∈ X و p پوششی برای X است، همسایگیِ بازی مانند U در X وجود دارد که به‌صورت زیر تجزیه می‌شود:

   p<sup>−1</sup>(U) = ⋃<sub>α</sub> V<sub>α</sub>

   که در آن هر V<sub>α</sub> با U هومئومورف است.

2. اکنون همسایگیِ U ∩ A را در زیرفضای A در نظر بگیرید.
3. پیش‌تصویر این همسایگی تحت نگاشت محدود شده (q) برابر است با:

   q<sup>−1</sup>(U ∩ A) = p<sup>−1</sup>(U ∩ A) = ⋃<sub>α</sub> (V<sub>α</sub> ∩ E<sub>A</sub>)

4. چون p|<sub>Vα</sub> : V<sub>α</sub> ≅ U یک هومئومورفیسم است، محدودیت آن به زیرمجموعه‌های متناظر یعنی V<sub>α</sub> ∩ E<sub>A</sub> به U ∩ A نیز همچنان یک هومئومورفیسم باقی می‌ماند.

بنابراین، U ∩ A یک همسایگیِ به‌خوبی پوشیده شده برای نقطهٔ a در فضای A است.

۳. قضایای مرتبط و نتایج

• ثبات ویژگی‌های موضعی: اگر فضای X ویژگی‌هایی مانند همبندی موضعی داشته باشد، پوشش القایی روی زیرفضا نیز این ویژگی‌ها را از زیرفضای A به ارث می‌برد.

• عدم نیاز به همبندی: برخلاف بسیاری از قضایای پوشش که همبندیِ مسیر‌ی را فرض می‌کنند، برای پوششی بودنِ q، نیازی نیست که زیرفضای A یا پیش‌تصویر آن همبند باشند.

• رابطه با زیرگروه‌های گروه بنیادی: اگر i : A ↪ X نگاشت شمول باشد، همریختی القایی i<sub>*</sub> : π<sub>1</sub>(A) → π<sub>1</sub>(X) ارتباط نزدیکی با چگونگیِ لایه‌بندیِ پوشش روی A دارد. اگر A یک نگهدار پس‌کش (Retract) برای X باشد، ساختار پوششی A مستقیماً از ساختار X استخراج می‌شود.

۴. مثال شهودی

فرض کنید p : R → S<sup>1</sup> پوشش دایره توسط خط حقیقی باشد. اگر زیرفضای A را یک کمان باز از دایره در نظر بگیریم، پیش‌تصویر آن در R مجموعه‌ای از بازه‌های بازِ جدا از هم خواهد بود. محدودیت نگاشت p به این بازه‌ها، یک پوشش برای آن کمان می‌سازد که در آن هر ورقه دقیقاً با کمان اصلی هومئومورف است.

جمع‌بندی: هر نگاشت پوششی در مقیاس وسیع، وقتی به یک زیرفضا محدود شود، همچنان خاصیت ورقه‌ورقه بودن خود را حفظ می‌کند و یک ساختار پوششی محلی برای آن زیرفضا فراهم می‌آورد.

```