ریاضیات

درس‌نامه نوزدهم: حل جامع و الگوریتمی مسئله رده‌بندی رویه‌ها در ۱۵ پله تحلیلی

بر مبنای کرسی تدریس و دست‌نوشته‌های استاد: دکتر مصطفی شاهزمانیان

صورت مسئله: کلمه مرزی ده‌ضلعی زیر مفروض است:

مطلوب است تحلیل کامل توپولوژیک، رده‌بندی، تقلیل کانونیکال، مشخصه اولر، گروه بنیادین، نخستین گروه هومولوژی، و فضای پوششی جهت‌پذیر این فضا.

سلسله‌مراتب حل گام‌به‌گام (۱۵ پله استدلالی)

1. پله اول (شمارش و تحلیل یال‌ها): کلمه دارای ۱۰ حرف است؛ لذا ۲n = ۱۰ و تعداد کل یال‌های متناظر چندضلعی برابر با ۵ جفت یال متمایز (a, b, c, d, e) می‌باشد.

2. پله دوم (آزمون اولویت جهت‌پذیری): جفت یال‌های a ... a و c ... c با علامت توان یکسان ظاهر شده‌اند. وجود حداقل یک جفت هم‌توان کافی است تا حکم کنیم سطح قطعاً جهت‌ناپذیر (Non-orientable) است.

3. پله سوم (بررسی رده‌های هم‌ارزی رئوس): با دنبال کردن چرخش در امتداد جهت یال‌ها در چندضلعی، مشخص می‌شود که تمام ۱۰ رأس چندضلعی پس از چسباندن، در یک رده هم‌ارزی یگانه قرار می‌گیرند و بنابراین v = 1 (تک‌رأسی) است.

4. پله چهارم (شمارش مؤلفه‌های سلولی): تعداد رئوس v = 1، تعداد یال‌های چسبانده‌شده e = 5، و تعداد وجه ۲-بعدی f = 1 است.

5. پله پنجم (محاسبه عددی مشخصه اولر): مشخصه اولر سطح بر اساس فرمول عمومی سلولی محاسبه می‌گردد:

   
   χ = v - e + f = 1 - 5 + 1 = -3.

6. پله ششم (تعیین جنس جهت‌ناپذیر k): طبق قضیه رده‌بندی برای سطوح بسته جهت‌ناپذیر (N_k):

   
   χ(Nk) = 2 - k ⇒ -3 = 2 - k ⇒ k = 5.

7. پله هفتم (استخراج برش گام اول الگوریتم): برای مجاور ساختن جفت a ... a، برشی قطری از رأس متصل‌کننده زده و قطعه منتزع چرخیده و چسبانده می‌شود تا بلوک a12 در ابتدای کلمه متولد گردد.

8. پله هشتم (استخراج جفت دوم هم‌توان): همین فرایند برشی بر روی جفت c ... c اعمال می‌گردد که بلوک مستقل c12 را تولید می‌کند.

9. پله نهم (اعمال قضیه دیک بر جفت‌های متقاطع): مابقی یال‌های متقاطع b, d, e که ساختار شبه‌جابه‌جاگر دارند، به علت مجاورت با کراس‌کپ‌ها بر طبق قضیه دیک (Dyck's Theorem) ساختار توروسی خود را از دست داده و به ۳ کراس‌کپ دیگر تقلیل می‌یابند.

10. پله دهم (تحویل به فرم کانونیکال نهایی): کلمه نهایی به حاصل‌ضرب پنج مربع متوالی تبدیل می‌شود:

    
    Wcanon = x12 · x22 · x33 · x42 · x52.

11. پله یازدهم (بیان همئومورفیسم هندسی): این فضا همئومورف با مجموع متصل ۵ صفحه تصویری حقیقی است:

    
    M ≅ #5 P2 = N5 ≅ 2K2 # P2 (دو بطری کلاین و یک صفحه تصویری).

12. پله دوازدهم (استخراج گروه بنیادین π₁): بر پایه قضیه زایفرت-وان کامپن، گروه بنیادین دارای نمایشی با ۵ ژنراتور و یک رابطه یگانه است:

    
    π1(M) = ⟨ x1, x2, x3, x4, x5 | x12 x22 x32 x42 x52 = 1 ⟩.

13. پله سیزدهم (محاسبه هومولوژی اول H₁): با اعمال آبلی‌سازی بر رابطه گروه بنیادین (تبدیل ضرب به جمع جبری):

    
    2(x1 + x2 + x3 + x4 + x5) = 0

    
    در نتیجه، نخستین گروه هومولوژی تجزیه می‌شود به بخش آزاد و بخش پیچش:

    
    H1(M, Z) ≅ Z4 ⊕ Z2 (دارای پیچش درجه ۲).

14. پله چهاردهم (مشخصات پوشش دوبرگی جهت‌پذیر): پوشش جهت‌پذیر متناظر با این سطح (M~)، رویه‌ای جهت‌پذیر با مشخصه اولر دوبرابر است:

    
    χ(M~) = 2 × χ(M) = 2 × (-3) = -6.

    
    با رابطه χ = 2 - 2g جنس پوشش تعیین می‌شود:

    
    2 - 2g = -6 ⇒ 2g = 8 ⇒ g = 4 (یک چنبره با ۴ حفره: M₄).

15. پله پانزدهم (حکم فرورفتگی در ابعاد فضایی): به سبب وجود مؤلفه نوار موبیوس و ماهیت N₅، این رویه در فضای R3 بدون خودتقاطعی جا نگرفته و حداقل نیازمند فضای اقلیدسی ۴-بعدی (R⁴) برای فرورفتگی هموار (Embedding) است.