ریاضیات

۶. تعمیم قضیه ون‌کامپن (برای خانواده پوشش‌ها)

آنچه تا به اینجا بررسی کردیم، حالت ساده‌شده‌ی قضیه برای دو مجموعه باز بود. اما در حالت کلی و برای یک فضای توپولوژیکی X، می‌توانیم پوششی به صورت خانواده‌ای از مجموعه‌های باز {U_λ}_λ∈Λ داشته باشیم.

طبق یادداشت‌های آکادمیک، اگر این خانواده از مجموعه‌های باز دارای شرایط زیر باشند:

• X = ∪U_λ
• اشتراک هر دو عضو U_λ ∩ U_μ هم‌بند مسیر باشد.
• وجود نقطه پایه مشترک x₀ ∈ ∩U_λ.

در این صورت، گروه بنیادی فضای کل، همان Pushoutِ نمودارِ گروه‌های بنیادی در رده گروه‌هاست. به عبارت دیگر، دیاگرام زیر برای نگاشت‌های شمول j_λ: U_λ → X جابه‌جاپذیر است:

خاصیت جهانی (Universal Property):

نکته بسیار مهمی که در تصویر دست‌نوشته شما نیز آمده، خاصیت جهانیِ گروه بنیادی است: اگر H هر گروه دیگری باشد که با نگاشت‌های ρ_λ: π₁(U_λ) → H سازگار است، آنگاه یک نگاشت یکتای φ: π₁(X) → H وجود دارد که نمودار را کامل می‌کند.

این همان تعریفی است که قضیه ون‌کامپن را از یک ابزار محاسباتی ساده، به یک اصل بنیادین در نظریه رده‌ها تبدیل می‌کند. در واقع، گروه بنیادی کل، «بهینه‌ترین» یا «کوچک‌ترین» گروهی است که تمام روابطِ اجزاء را در خود جای داده است.