ریاضیات

محدود کردن پوشش به یک زیرفضا

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

صورت قضیه

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

و نگاشت q : E_A → A را به‌صورت محدودیت p بر مجموعهٔ E_A تعریف می‌کنیم:

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

تحلیل شهودی

نگاشت پوششی بودن، خاصیتی موضعی است؛ یعنی در نزدیکی هر نقطه باید رفتار منظمی (ورقه‌ورقه) داشته باشد. اگر فضای X دارای همسایگی‌های ورقه‌ورقه (Evenly Covered) باشد، فضای زیرمجموعه A نیز با اشتراک گرفتنِ آن همسایگی‌ها با A، دارای همسایگی‌های ورقه‌ورقه خواهد بود.

اثبات به زبان ساده

1. هر نقطه مانند a ∈ A را در نظر بگیرید. چون p یک پوشش است، همسایگیِ باز U در X وجود دارد که p⁻¹(U) به اجتماع مجزای ورقه‌ها (مثلاً V_α) تجزیه می‌شود.
2. همسایگی جدید W = U ∩ A را در A تشکیل می‌دهیم.
3. پیش‌تصویر W تحت نگاشت محدود شده، برابر است با:

   q⁻¹(W) = p⁻¹(U ∩ A) = ⋃_α (V_α ∩ E_A)

4. محدودیت نگاشت p بر هر یک از این بخش‌ها، یک هومئومورفیسم از V_α ∩ E_A بر روی U ∩ A است.

در نتیجه، هر نقطه در A دارای همسایگیِ ورقه‌ورقه‌ای است و q یک پوشش است.

نکات مهم

• عدم نیاز به همبندی: برای پوششی بودن محدودیت، نیازی نیست که زیرفضای A همبند باشد. پوششِ محدود شده به هر زیرفضایی، حتی اگر آن زیرفضا ناهمبند یا پراکنده باشد، همچنان یک پوشش است.
• ارتباط با زیرگروه‌ها: در نظریهٔ گروه بنیادی، اگر i : A ↪ X نگاشت شمول باشد، این محدودیت پوشش مستقیماً با همریختی القایی i_* : π₁(A) → π₁(X) در ارتباط است.
• مثال کاربردی: فرض کنید پوشش p : ℝ → S¹ (خط حقیقی روی دایره) را داریم. اگر A یک کمانِ باز از دایره باشد، محدودیت پوشش به این کمان، مجموعه‌ای از بازه‌های باز در ℝ است که هر کدام با آن کمان هومئومورف هستند.

خلاصه

هر نگاشت پوششی p : E → X در مقیاس وسیع، وقتی به یک زیرفضا A محدود شود، خاصیت ورقه‌ورقه بودنِ خود را حفظ می‌کند و یک ساختار پوششیِ محلی برای آن زیرفضا فراهم می‌آورد. به عبارت دیگر: پوششِ محدود شده، باز هم پوشش است.