ریاضیات

تحلیل ساختاری کاربرد قضیه ون‌کامپن در فضاهای انقباض‌پذیر و اشتراک‌های بدیهی

در بررسی عمیق‌تر هندسی و توپولوژیکی قضیه ون‌کامپن (Seifert-van Kampen)، با حالت‌های خاصی روبرو می‌شویم که محاسبات گروه بنیادی را به شدت ساده و در عین حال شهودی می‌سازند. این حالت‌ها به طور مستقیم به ساختار اتصال فضاها و انقباض‌پذیری (Contractibility) آن‌ها مربوط می‌شوند.

۱. انقباض‌پذیری و همبندی ساده

فرض کنید X یک فضای توپولوژیکی باشد که به یک نقطه تغییرشکل‌پذیر (Homotopy Equivalvent to a Point) یا انقباض‌پذیر است. در این صورت، تمام مسیرهای بسته روی این فضا را می‌توان به طور پیوسته به مسیر ثابت در نقطه پایه منقبض کرد. به بیان جبری:

چنین فضایی را همبند ساده (Simply Connected) می‌نامیم. نمونه بارز این فضاها، فضای اقلیدسی Rⁿ یا یک گوی باز توپولوژیک است.

۲. نتیجه مستقیم قضیه ون‌کامپن در حالت اشتراک تک‌نقطه‌ای

اگر فضای X را بتوان به صورت اجتماع دو زیرفضای باز و هم‌بند مسیر U و V نوشت (X = U ∪ V) به طوری که اشتراک آن‌ها تنها دارای گروه بنیادی بدیهی باشد:

در این حالت، نگاشت‌های القایی حاصل از شمول یعنی i_1* : π₁(U ∩ V) → π₁(U) و i_2* : π₁(U ∩ V) → π₁(V) همگی بدیهی خواهند بود. بر اساس خاصیت جهانی، جابه‌جایی دیاگرام زیر بدون تحمیل هیچ رابطه محدودکننده‌ای تضمین می‌شود:

از آنجا که دامنه نگاشت‌های شمول گروه بدیهی است، هر دو نگاشت تمام اعضا را به عضو همانی گروه هدف H می‌نگارند. بنابراین هیچ قید یا رابطه جبری ناخواسته‌ای به وجود نمی‌آید. این انتخاب همواره سازگار و جابه‌جاست.

۳. تحلیل همومورفیسم یکتا در دیاگرام نهایی

با توجه به ساختار بالا، گروه بنیادی کل فضا یعنی π₁(X) دقیقاً نقش حاصل‌ضرب آزاد را ایفا می‌کند. به این معنی که برای هر جفت همریختی اختیاری ρ₁ و ρ₂ به گروه H، همومورفیسم یکتایی مانند Φ : π₁(X) → H پدید می‌آید که روابط تصویر زیر را برقرار می‌سازد:

این آزادی کامل در انتخاب نگاشت‌ها به این دلیل است که هیچ‌گونه رابطه‌ی کاهنده‌ای از اشتراک فضاها به سیستم مولدها تحمیل نشده است. در نتیجه در قضيه ون‌کامپن، گروه حاصل، تجلی تام و بی‌نقص حاصل‌ضرب آزاد محض (Free Product) خواهد بود:

این دستاورد پایه و اساس محاسبه گروه بنیادی بسیاری از ساختارهای پیچیده مانند فضاهای چندبعدی گل‌دسته (Wedge Sum of Spheres) و گراف‌های توپولوژیکی است.