ریاضیات

درس‌نامه بیستم: حل ساختاریافته رده‌بندی رویه‌ها در ۱۰ پله برهانی

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

صورت مسئله: کلمه مرزی هشت‌ضلعی زیر را در نظر بگیرید:

مطلوب است تحلیل کامل توپولوژیک، اثبات تک‌رأسی بودن، محاسبه مشخصه اولر، تعیین جنس، احراز همئومورفیسم، گروه بنیادین و نخستین گروه هومولوژی این رویه.

سیر ۱۰ پله‌ای حل تحلیلی و توپولوژیک

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

2. پله دوم (آزمون قطعی جهت‌پذیری): تمام یال‌های کلمه به صورت جفت‌های معکوس (x ... x-1) ظاهر شده‌اند و هیچ حَرفی هم‌توان با خود (نظیر x ... x) پدیدار نگشته است؛ پس سطح قطعاً جهت‌پذیر (Orientable) است.

3. پله سوم (اثبات تجمیع و یگانگی رأس): با ردیابی ابتدا و انتهای جهت‌دار یال‌ها، هر ۸ رأس چندضلعی پس از چسباندن مرزها در یک رده هم‌ارزی یگانه به یکدیگر می‌پیوندند؛ از این رو v = 1 است.

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

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

   
   χ = v - e + f = 1 - 4 + 1 = -2.

6. پله ششم (استخراج جنس رویه g): برای رویه‌های بسته و جهت‌پذیر رابطه χ = 2 - 2g برقرار است:

   
   -2 = 2 - 2g ⇒ 2g = 4 ⇒ g = 2؛ یعنی سطح دارای دو سوراخ (دسته) است.

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

   
   Wcanon = [a1, b1][a2, b2] = a1 b1 a1-1 b1-1 a2 b2 a2-1 b2-1.

8. پله هشتم (شناسایی دقیق ماهیت هندسی): سطح یادشده دقیقاً همئومورف با چنبره دوحفره‌ای (Double Torus: T² # T² = M₂) است.

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

   
   π1(M2) = ⟨ a1, b1, a2, b2 | [a1, b1][a2, b2] = 1 ⟩.

10. پله دهم (محاسبه هومولوژی اول و نتیجه‌گیری): با آبلی‌سازی گروه بنیادین، جابه‌جاگرها در جبر آبلی صفر گشته و هیچ عنصر پیچشی باقی نمی‌ماند:

    
    H1(M2, Z) ≅ Z ⊕ Z ⊕ Z ⊕ Z = Z4.

    
    همچنین این سطح بر خلاف رویه‌های جهت‌ناپذیر، بدون هیچ‌گونه خودتقاطعی در فضای اقلیدسی سه بعدی (R³) فرورونده (Embeddable) است.

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

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

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

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

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

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) است.

درس‌نامه هجدهم: پوشش‌های ۲-برگی، آبلی‌سازی (π₁)^Ab و گروه اول هومولوژی

مسائل عمیق تدریس‌شده توسط استاد: دکتر مصطفی شاهزمانیان

مسئله ۱: اثبات این‌که چنبره (T²) پوشش دوبرگیِ جهت‌پذیرِ بطری کلاین (K²) است.

تحلیل ساختاری استاد شاهزمانیان:

اگر کلمه بطری کلاین را به صورت a b a-1 b در نظر گیریم، می‌توان با دو برابر کردن دامنه در جهت یال معکوس‌کننده جهت (b)، فضایی با دو مستطیل به هم چسبیده پدید آورد.

• رابطه درجات پوشش و مشخصه اولر: اگر p: X~ → X یک نگاشت پوششی n-برگی باشد، آنگاه:

  
  χ(X~) = n · χ(X)

• برای پوشش ۲-برگی بطری کلاین: χ(T2) = 2 × χ(K2) = 2 × 0 = 0 که کاملاً منطبق بر مشخصه چنبره است.

• تفسیر زیرگروهی: گروه بنیادین بطری کلاین دارای زیرگروهی با شاخص ۲ است که ایزومورف با Z × Z ≅ π1(T2) می‌باشد.

مسئله ۲: محاسبه گروه اول هومولوژی H₁(M) از طریق قضیه هورویچ (Hurewicz Theorem)

بر طبق قضیه هورویچ، نخستین گروه هومولوژی با ضرایب صحیح، همانا آبلی‌سازی (Abelianization) گروه بنیادین است:

H1(M, Z) ≅ π1(M) / [π1(M), π1(M)]

درس‌نامه هفدهم: تقسیم باری‌سنتریک و اثبات تغییرناپذیری مشخصه اولر

برگرفته از مباحث بنیادین و تحلیلی استاد: دکتر مصطفی شاهزمانیان

۱. کالبدشکافی تقسیم باری‌سنتریک مرتبه اول (First Barycentric Subdivision - Sd K)

هرگاه یک سیمپلکس ۲-بعدی (مثلث Δ) را در نظر گیریم:

• مرکز ثقل وجه (رأس ثقلی ۲-بعدی) تعیین شده و به ۳ رأس اصلی و میانه‌های اضلاع متصل می‌شود.

• در نتیجه، ۱ مثلثِ منفرد دقیقاً به ۶ مثلث کهتر (Sub-triangles) تقسیم می‌گردد.

• ۱ رأسِ داخلی جدید و ۳ رأس بر میانه‌ی یال‌ها افزوده شده و یال‌ها از ۳ به ۱۲ یال تکثیر می‌یابند.

۲. برهان حسابی ناوردایی مشخصه اولر بر روی سطح کامل (K)

فرض کنید مجتمع سیمپلیسیال K دارای v رأس، e یال، و t مثلث باشد. پس از یک مرحله تقسیم باری‌سنتریک:

• تعداد رئوس جدید (v'): بر هر یال ۱ رأس و در هر مثلث ۱ رأس اضافه می‌شود:
  v' = v + e + t
• تعداد یال‌های جدید (e'): هر یالِ قدیم نصف شده (2e) و در هر وجه ۶ نیم‌یالِ مرکزی می‌روید (6t):
  e' = 2e + 6t
• تعداد مثلث‌های جدید (t'): هر مثلث به ۶ مثلث کهتر تفکیک می‌شود:
  t' = 6t

۳. اهمیت تقسیم در قضایای تقریب سیمپلیسیال

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

درس‌نامه شانزدهم: تحلیل پیشرفته قضیه دیک و رفتار جابه‌جاگر در مجاورت کراس‌کپ

مسائل برگزیده برگه‌های ۳۵ تا ۳۸ جزوه استاد: دکتر مصطفی شاهزمانیان

مسئله ۱ (اثبات تحلیلی تبدیل توروس به دو کراس‌کپ در حضور کراس‌کپ سوم): نشان دهید چرا رویه حاصل از کلمه W همئومورف با بطری کلاین متصل به صفحه تصویری است؟

برهان و مراحل تقلیل استاد شاهزمانیان:

1. تبیین جبری پیوند: کلمه c2 نماینده P2 و جابه‌جاگر [a, b] نماینده T2 است؛ بنابراین رویه برابر است با P2 # T2.

2. حرکت برشی موضعی (Sliding the Handle): چون در مجاورت کراس‌کپ، صفحه دچار چرخش جهت موضعی می‌شود، پایه یکی از حلقه‌های دستگیره توروس با عبور از روی خط نوار موبیوس معکوس می‌گردد. در نتیجه، بلوک a b a-1 b-1 به فرم a b a b-1 یا دو جفت هم‌توانِ متوالی تغییر ماهیت می‌دهد:

   
   

   T2 # P2 ≅ (P2 # P2) # P2 = K2 # P2

3. برابری مشخصه اولر طرفین:

   
   χ(T2 # P2) = χ(T2) + χ(P2) - 2 = 0 + 1 - 2 = -1

   
   χ(K2 # P2) = χ(K2) + χ(P2) - 2 = 0 + 1 - 2 = -1

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

مسئله ۲ (تقلیل ده ضلعی ترکیبی): سطح متناظر با کلمه مرزی زیر را مشخص نمایید:

پاسخ تحلیلی گام‌به‌گام:

• شمارش یال‌های متناظر: کلمه ۱۰ حرفی است؛ پس 2n = 10 ⇒ n = 5 جفت یال داریم: (a, a-1)، (b, b-1)، (c, c)، (d, d-1) و (e, e).

• تشخیص جهت‌ناپذیری: حضور c ... c و e ... e قطعیتاً فضا را در رده جهت‌ناپذیر (N_k) قرار می‌دهد.

• محاسبه مشخصه اولر و جنس سطح:

  
  با توجه به تک‌رأسی بودن چندضلعی پس از تقلیل: v = 1، تعداد یال‌ها e = 5 و تعداد وجه‌ها f = 1 است:

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

• استخراج فرم نهایی:

  
  با توجه به رابطه χ(Nk) = 2 - k داریم:

  
  2 - k = -3 ⇒ k = 5

  
  بنابراین این چندضلعی همئومورف با مجموع متصل ۵ صفحه تصویری (N₅) یا به تعبیری دیگر دو بطری کلاین و یک صفحه تصویری (2K² # P²) است.

درس‌نامه پانزدهم: تبیین دقیق چهار گام الگوریتم تقلیل در رده‌بندی رویه‌ها

برگرفته از مباحث هندسه ترکیبیاتی استاد: دکتر مصطفی شاهزمانیان

گام اول: حذف جفت‌های مجاور متضاد (Adjacent Inverse Pair Elimination)

اگر در کلمه مرزی، دو حرف با جهت معکوس در مجاورت هم قرار گیرند به هیئت:

... a · a-1 ...

این دو یال با چسبیدن به یکدیگر محو گشته و گویی سطح را در آن لبه چین می‌زنیم. اگر کل کلمه منحصر در a a-1 باشد، فضا معادل با کره ۲-بعدی (S²) است؛ در غیر این صورت، این جفت حذف شده و طول چندضلعی دو واحد کاهش می‌یابد بدون آنکه رده همئومورفیسمی دستخوش تغییر گردد.

گام دوم: یکی‌سازی تمامی رئوس چندضلعی به یک رأس واحد (Vertex Identification)

چنانچه کلمه حاوی بیش از یک رده هم‌ارزی برای رئوس باشد (یعنی رأس P و رأس Q متمایز باشند)، برشی قطری موسوم به c میان P و Q در بطن چندضلعی افکنده می‌شود. با برش از امتداد c و چسباندن مجدد از روی یالی دیگر که دو رأس نایکسان را پیوند می‌داد، تعداد رده‌های هم‌ارزی رأس‌ها یک واحد کاسته می‌شود. این مانور تا جایی استمرار می‌یابد که تمامی رئوس ۲n-ضلعی به یک رأس متمرکز (Single Vertex) بدل گردند.

گام سوم: مجاور ساختن جفت‌های هم‌جهت (Cross-cap Consolidation)

اگر یالی هم‌جهت با قرینه خود دیده شود:

W = a · U · a · V

این نشانه آشکار جهت‌ناپذیری است. با ایجاد برش قطری و دوران دادن قطعه منتزع‌شده، کلمه با تبدیل تحلیلی به فرم زیر بازآرایی می‌گردد:

W' = a · a · U · V-1 = a2 · W''

بدین‌ترتیب، هر جفت هم‌جهت به صورت یک کلاهک متقاطع (Cross-cap یا P²) در آغاز یا ساختار کلمه تثبیت می‌شود.

گام چهارم: درهم‌تنیدگی جفت‌های متضاد و استخراج جابه‌جاگرها (Commutator Pairing)

چنانچه کلمه فاقد جفت‌های هم‌توان باشد، ناگزیر یال‌ها به صورت متقاطع ظاهر می‌شوند: ... a ... b ... a-1 ... b-1 ....

با برش‌های متوالی قطری و جابه‌جایی مثلث‌های داخلی بر روی لایه‌های مرزی، این چهار یال متفرقه به بلوک مجاور [a, b] = a b a-1 b-1 مبدل می‌شوند که تجلی صریح دستگیره توروس (Handle) است.

حل تحلیلی مسائل متن درس‌نامه توپولوژی رویه‌ها (به ترتیب توالی جزوه)

مسائل و پاسخ‌های تشریحی بر اساس کرسی تدریس استاد: دکتر مصطفی شاهزمانیان

مسئله ۱ (تشخیص سطح از روی کلمه متقاطع): نوع رویه بسته متناظر با کلمه مرزی زیر را مشخص نموده و گروه بنیادین آن را بیابید.

حل تشریحی گام‌به‌گام:

1. تحلیل ساختار کلمه: کلمه از دو بلوک مستقلِ جابه‌جاگر تشکیل شده است:

   
   بلوک نخست: [a, b] = a b a-1 b-1 که متناظر با یک چنبره (Torus: T²) است.

   
   بلوک دوم: [c, d] = c d c-1 d-1 که متناظر با چنبره دوم است.

2. اتصال توپولوژیک: قرار گرفتن این دو بلوک در امتداد یکدیگر، نشان‌دهنده مجموع متصل (Connected Sum) دو رویه است:

   
   M ≅ T2 # T2 = M2  (چنبره دوحفره‌ای یا رویه با جنس ۲)

3. محاسبه مشخصه اولر:

   
   χ(M2) = 2 - 2(2) = 2 - 4 = -2

4. استخراج گروه بنیادین:

   
   π1(M2) = ⟨ a, b, c, d | a b a-1 b-1 c d c-1 d-1 = 1 ⟩

مسئله ۲ (تقلیل یال‌های هم‌توان غیرمجاوز - برگه ۳۴): سطح متناظر با کلمه زیر را رده‌بندی کنید.

حل تشریحی طبق الگوریتم برش و چسباندن استاد شاهزمانیان:

1. شناسایی یال‌های هم‌توان: یال‌های a ... a و c ... c با توان مثبت یکسان ظاهر شده‌اند که دلالت بر جهت‌ناپذیری (Non-orientable) سطح دارد.

2. مجاورسازی جفت‌های هم‌توان (Lemma Cross-cap): با اعمال برش قطری بین جفت‌های a و چسباندن مجدد، کلمه به فرم استاندارد مجموع نوارهای موبیوس تبدیل می‌گردد:

   
   هر جفت هم‌توان معادل یک Cross-cap (صفحه تصویری P²) می‌باشد. تعداد کل یال‌های متناظر برابر با ۳ جفت است.

3. فرم کانونیکال نهایی:

   
   W2 ≡ x2 y2 z2 ≅ P2 # P2 # P2 = N3 ≅ K2 # P2

4. مشخصه اولر و جنس سطح: جنس جهت‌ناپذیر k = 3 است؛ بنابراین:

   
   χ(N3) = 2 - k = 2 - 3 = -1

مسئله ۳ (مثلث‌بندی و سطوح دارای مرز - برگه ۳۹): اگر یک شبکه مثلث‌بندی دارای ۱۰ رأس، ۲۱ یال و ۱۱ وجه مثلثی باشد، اولا مشخصه اولر را بیابید و ثانیاً نشان دهید این فضا چه نوع رویه‌ای با چند مولفه مرزی است؟

حل تشریحی و محاسبات توپولوژیک:

1. محاسبه مشخصه اولر موضعی:

   
   χ = v - e + f = 10 - 21 + 11 = 0

2. تحلیل شرط سطوح بدون مرز در برابر مرزدار:

   
   اگر سطح بسته و بدون مرز می‌بود، می‌بایست 3f = 2e باشد. در اینجا 3 × 11 = 33 در حالی که 2 × 21 = 42 است.

   
   تفاضل 42 - 33 = 9 یال نشان می‌دهد که این شبکه دارای یال‌های آزاد مرزی است.

3. رده‌بندی بر اساس رابطه تعمیم‌یافته: با فرض جهت‌پذیری (جنس g = 0 یعنی بر پایه کره):

   
   χ = 2 - 2g - b ⇒ 0 = 2 - 0 - b ⇒ b = 2

4. نتیجه‌گیری هندسی: این فضا همئومورف با استوانه (Cylinder) یا نوار حلقوی (Annulus) با دو دایره مرزی (b = 2) می‌باشد.

مسئله ۴ (اثبات تقلیل شبکه توروس - برگه ۳۷): نشان دهید چگونه کلمه ۱۲-حرفی زیر که از پیمایش محیطی یک شبکه ۶×۲ استخراج شده، دقیقاً به کانونیکال T² تقلیل می‌یابد.

حل استدلالی:

با تعریف دگرگونی متغیرهای کلان:

• قرار می‌دهیم: X = a · b · c که معکوس آن برابر با X-1 = c-1 · b-1 · a-1 است.

• قرار می‌دهیم: Y = d · e · f که معکوس آن برابر با Y-1 = f-1 · e-1 · d-1 است.

با جایگذاری در کلمه اصلی:

W = X · Y · X-1 · Y-1 = [X, Y] ≅ T2

بدین‌ترتیب بدون نیاز به دستکاری رئوس داخلی، ثابت می‌شود که تمام شبکه مستطیلی مثلث‌بندی شده، مدلی متناهی از چنبره دو-بعدی (Torus) است.

پرسش و پاسخ‌های تخصصی در توپولوژی جبری رویه‌ها (دفتر سوم)

پاسخ‌های تحلیلی برگرفته از درس‌نامه‌های استاد: دکتر مصطفی شاهزمانیان

پرسش اول: چگونه با استفاده از قضیه زايفِرت-وان کامپن (Seifert-van Kampen)، گروه بنیادین (π₁) یک منیفلد ۲-بعدی بسته مستقیماً از روی کلمه کانونیکال آن استخراج می‌گردد؟

پاسخ تحلیلی استاد شاهزمانیان: چون یک رویه بسته از چسباندن مرزهای یک ۲n-ضلعی تک‌رأسی حاصل می‌شود، گروه بنیادین آن دارای نمایشی با ژنراتورهای متناظر با اضلاعِ کلمه و دقیقاً یک رابطه‌ی یگانه (Relator) است که همانا کلّ کلمه دور چندضلعی می‌باشد:

• برای چنبره با جنس g (رویه M_g): ژنراتورها جفت‌های جابه‌جاگر ai, bi هستند و رابطه بنیادین برابر است با:

  
  π1(Mg) = ⟨ a1, b1, ..., ag, bg | [a1, b1] ... [ag, bg] = 1 ⟩

• برای رویه جهت‌ناپذیر با جنس k (رویه N_k): ژنراتورها یال‌های غیرجهت‌پذیر ai هستند و رابطه بنیادین برابر با حاصل‌ضرب مربعات است:

  
  π1(Nk) = ⟨ a1, ..., ak | a12 a22 ... ak2 = 1 ⟩

پرسش دوم: برهان هندسی این قضیه که بطری کلاین (K²) حاصل چسباندن دو نوار موبیوس در امتداد لبه‌های مرزی آن‌هاست چگونه تبیین می‌گردد؟

پاسخ تحلیلی استاد شاهزمانیان: کلمه مستطیلی بطری کلاین به صورت a b a-1 b نوشته می‌شود. اگر خط برشی در میانه‌ی مستطیل موازی با یال b رسم کرده و آن را با حرف c نام‌گذاری کنیم، مستطیل به دو نوار باریک با کلمات a c1 a-1 و b c2 b تفکیک می‌شود. با چسباندن اضلاع متناظر، هر یک از این دو قطعه دقیقاً ساختار توپولوژیک یک نوار موبیوس را پدید می‌آورند که مرز آزاد آن‌ها c است. حال با یکی کردن و دوختن این دو مرز دایره‌ای، بطری کلاین متولد می‌گردد:

پرسش سوم: چرا صفحه تصویری (P²) و بطری کلاین (K²) قابلیت فرورفتگی هموار (Embedding) بدون خودتقاطعی در فضای سه‌بعدی اقلیدسی (R³) را ندارند؟

پاسخ تحلیلی استاد شاهزمانیان: بر طبق قضیه تعمیم‌یافته جُردَن-براور (Jordan-Brouwer Separation Theorem)، هر منیفلد ۲-بعدی فشرده و بسته که بدون خودتقاطعی در R3 فرورود (Embed شود)، الزماً فضا را به دو بخش متمایز «درون» و «برون» تقسیم می‌کند؛ این تفکیک فضایی مستلزم آن است که سطح دارای میدان بردار نرمال پیوسته در سراسر خود بوده و لذا جهت‌پذیر (Orientable) باشد.

از آنجا که P2 و K2 هر دو دارای مسیرهای معکوس‌کننده جهت (نظیر حلقه مرکزی نوار موبیوس) می‌باشند، فاقد دو رویه مستقل بوده و تحقق فیزیکی آن‌ها در R3 ناگزیر مستلزم قطع کردنِ خودِ سطح (Self-intersection) است. بنابراین این سطوح برای فرورفتگی کامل و بدون تکینگی نیازمند حداقل فضای چهاربعدی (R⁴) می‌باشند.

پرسش و پاسخ‌های عمیق در قضایای تقلیل و رده‌بندی (دفتر دوم)

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

پرسش اول: چرا در الگوریتم کانونیکال‌سازی، تک‌رأسی نمودن چندضلعی (تقلیل رئوس به ۱) یک ضرورت اساسی است؟

پاسخ تحلیلی استاد: اگر چندضلعی دارای بیش از یک رأس ناهم‌ارز باشد، یال‌های پیرامونی به نقاط متفاوتی در سطح نهایی نگاشته می‌شوند؛ در این حالت نمی‌توان یال‌ها را به سادگی به عنوان جابه‌جاگرهای جبریِ گروه بنیادین (π₁) تفسیر نمود.

استاد شاهزمانیان در الگوریتم تقلیل اثبات می‌کنند که با برش دادن از یک رأس ناهم‌ارز به رأس دیگر و چسباندن روی یالِ مشترک، تعداد رده‌های هم‌ارزی رئوس گام‌به‌گام کاهش می‌یابد تا سرانجام تمام گوشه‌های چندضلعی در فضای خارج‌قسمتی بر یک تک‌نقطه منطبق گردند. تنها در این صورت است که مشخصه اولر مستقیماً به فرم χ = 1 - e + 1 = 2 - e درآمده و پیوند میان تعداد اضلاع و جنس سطح پدیدار می‌گردد.

پرسش دوم: قضیه مَسّی (Massey's Theorem) در خصوص مجموع متصل یک سطح جهت‌پذیر با یک سطح جهت‌ناپذیر چه حکمی صادر می‌کند؟

پاسخ تحلیلی استاد: یکی از شگفت‌انگیزترین نتایج در توپولوژی سطوح، جذب جهت‌پذیری توسط جهت‌ناپذیری است:

به فرمول فوق قضیه جذب مسی گویند. اگر یک چنبره جهت‌پذیر T2 را با یک صفحه تصویری P2 جمع متصل زنیم، حضور حتی یک نوار موبیوس در دل P2 موجب می‌گردد که تمام رویه خاصیت جهت‌پذیری خود را از دست بدهد و کل سیستم توپولوژیک به مجموع متصل سه صفحه تصویری (یا بطری کلاین به علاوه یک صفحه تصویری: K2 # P2) تبدیل گردد.

پرسش سوم: چرا رده‌بندی در ۲-منیفلدها با یک فرمول بسته پایان می‌پذیرد، اما برای ۴-منیفلدها حل‌ناپذیر است؟

پاسخ تحلیلی استاد: در ۲-بعد، گروه بنیادین π1 سطح مستقیماً در مرز چندضلعی منعکس است و رده‌بندی منیفلدهای دوبعدی فشرده دارای مرز با تعداد b با فرمول قطعی زیر مشخص می‌شود:

χ = 2 - 2g - b   (برای سطوح جهت‌پذیر)

اما در ۴-منیفلدها (4-Manifolds)، طبق قضیه مارکوف (Markov Theorem, 1958)، رده‌بندی توپولوژیک به مسئله‌ی تشخیص هم‌ارزیِ گروه‌های متناهیاً ارائه‌شده (The Word Problem for Groups) گره می‌خورد که بر طبق مبانی منطق ریاضی تورینگ و چرچ، از لحاظ الگوریتمی حل‌ناپذیر (Algorithmic Undecidable) است؛ لذا هیچ ماشین یا فرمولی نمی‌تواند همه‌ی منیفلدهای ۴-بعدی را رده‌بندی نماید.

پرسش و پاسخ‌های بنیادین در توپولوژی رویه‌ها (دفتر نخست)

پاسخ‌های تحلیلی برگرفته از کرسی درس استاد: دکتر مصطفی شاهزمانیان

پرسش اول: تمایز میان چسباندن موازی و معکوس در مستطیل (استوانه در برابر نوار موبیوس) از دیدگاه جهت‌پذیری چیست؟

پاسخ تحلیلی استاد: اگر مستطیلی با اضلاع a, b, a, c در نظر گیریم:

• چنانچه دو ضلع متقابل را با جهت یکسان بچسبانیم (کلمه مرزی: a b a-1 c)، رویه حاصل استوانه (Cylinder) خواهد بود که یک سطح ۲-بعدی هموار، جهت‌پذیر (Orientable) و دارای دو مولفه مرزی مجزا است.

• اما اگر دو ضلع با چرخش ۱۸۰ درجه و در جهت معکوس به یکدیگر متصل شوند (کلمه مرزی: a b a c)، نوار موبیوس (Möbius Strip) خلق می‌گردد. این فضا سطحی است یک‌رویه و جهت‌ناپذیر که تنها یک لبه‌ی پیوسته دارد؛ یعنی بردار نرمال با یک دور گردش کامل بر روی مدار مرکزی، معکوس گشته و به مبدا خویش بازمی‌گردد.

پرسش دوم: چه شرطی بر یک کلمه چندضلعی (Polygonal Word) لازم است تا تضمین کند فضا یک منیفلد بسته (Closed Surface) است؟

پاسخ تحلیلی استاد: برای آنکه یک کلمه نمادین رویه‌ای بسته و بدون مرز بسازد، باید دو قاعده ترکیبیاتی برقرار باشد:

1. قاعده زوجیت کامل حروف: هر حرف الفبا (نظیر a, b, c, ...) باید دقیقاً دو بار در سراسر کلمه تکرار شود (یا به صورت هم‌توان مانند a ... a یا با توان معکوس a ... a-1). اگر حرفی تنها یک بار ظاهر شود، آن حرف بخشی از مرز آزاد (Boundary) رویه خواهد بود.

2. قاعده همبندی یال‌ها: کلمه نباید قابل تفکیک به دو مجموعه مجزای بدون اشتراک حرفی باشد، تا فضا یکپارچه و همبند بماند.

پرسش سوم: چرا با وجود اختلاف هندسی آشکار میان سطح مکعب و کره دوبعدی، مشخصه اولر هر دو برابر با ۲ است؟

پاسخ تحلیلی استاد: هندسه به فواصل، زاویه‌ها و انحناها می‌نگرد، اما توپولوژی ذات پیوستگی فضا را می‌کاود. سطح مکعب دارای ۸ رأس، ۱۲ یال و ۶ وجه است:

χ = v - e + f = 8 - 12 + 6 = 2

چون می‌توان سطح مکعب را با یک تغییر شکل پیوسته و بدون پاره کردن به سطح کره S2 منطبق ساخت، این دو فضا همئومورف بوده و مشخصه اولر که یک ناوردای توپولوژیک است، برای هر دو مقدار نامتغیر ۲ را نشان می‌دهد.

ضوابط توپولوژیک مثلث‌بندی معتبر (Valid Triangulation) و قضیه همسایگی ستاره‌ای

از افاضات کرسی درس استاد: دکتر مصطفی شاهزمانیان (تحلیل برگه ۳۶ جزوه)

۱. تعریف اصل موضعی منیفلد در زبان مجتمع‌های سادکی:

یک مجتمع سادکی دوبعدی K یک ۲-منیفلد توپولوژیک است اگر و تنها اگر در سه شرط بنیادین زیر صدق نماید:

شرط اول (تطابق یال‌ها): هر ۱-سادک (یال)، مرزِ مشترکِ دقیقاً دو مثلث (۲-سادک) متمایز باشد (در سطوح بدون مرز).

شرط دوم (همسایگی ستاره‌ای و قرص موضعی): برای هر رأس v، اجتماع تمام مثلث‌های حاوی v (که به آن Star(v) گویند) همئومورف با یک قرص دوبعدی باز باشد؛ بدین معنا که مثلث‌های حول v یک چرخه‌ی بسته و پیوسته تشکیل دهند.

شرط سوم (همبندی قوّی): بتوان از هر مثلث به مثلث دیگر از طریق گذر از یال‌های مشترک متوالی عبور نمود.

۳. رابطه بنیادین یال‌ها و مثلث‌ها (The Handshaking Lemma of Surfaces):

از آنجا که هر مثلث دارای ۳ یال است و هر یال دقیقاً بین ۲ مثلث به اشتراک گذاشته می‌شود، در هر مثلث‌بندی معتبر از یک سطح بسته همواره تساوی زیر برقرار است:

با جایگذاری این رابطه در رابطه اولر:

χ = v - e + t = v - (3/2)t + t = v - (1/2)t  ⇒  t = 2 × (v - χ)

این فرمول اثبات می‌کند که در هر رویه مشخص، تعداد مثلث‌ها و یال‌ها کاملاً توسط تعداد رئوس و مشخصه اولر مقید و کنترل می‌شوند.

گذار از شبکه مثلث‌بندی به کلمه مرزی و فرم کانونیکال چنبره

تحلیل ساختاری برگه‌های ۳۵ و ۳۷ جزوه هندسه و توپولوژی — تدریس استاد: دکتر مصطفی شاهزمانیان

۱. جدول وقوع مثلث‌ها و بازسازی سطح (تحلیل برگه ۳۵ جزوه):

در رویه، هر مثلث توسط یک سه‌تایی مرتب از رئوس (vi, vj, vk) مشخص می‌شود. در یک منیفلد ۲-بعدی بسته:

• هر یال (vi, vj) دقیقاً در مرز دو مثلث مجاور با جهت مخالف ظاهر می‌گردد تا مرزهای درونی یکدیگر را خنثی سازند.

• نمونه فهرست سه‌تایی‌های استخراج‌شده در برگه ۳۵:

نکته هندسی: انطباق زوج‌های یالی با جهت‌های معکوس، شرط لازم و کافی برای تشکیل یک ۲-منیفلد بسته و بدون مرز در صفحه است.

کلمه اولیه حاصل از مثلث‌بندی:

W = a · b · c · d · e · f · c-1 · b-1 · a-1 · f · e-1 · d-1

۳. تقلیل چهارضلعی و دایره به فرم کانونیکال کره (S²):

در بخش پایینی برگه ۳۷، مسئله تقلیل مثلث به کلمه مرزی a a-1 b b-1 بررسی شده است.

چنانچه جفت‌های متوالی حذف گردند: a a-1 → 1 و b b-1 → 1، فرم کانونیکال حاصل همئومورف با کره دوبعدی (S²) با مشخصه اولر χ = 2 می‌باشد.

اثبات ناوردایی مشخصه اولر تحت تقسیمات ریزتر و نقطه گرانیگاهی (Barycentric Subdivision)

مبتنی بر اوراق تدریس و کرسی درس استاد: دکتر مصطفی شاهزمانیان (صفحات ۳۴ تا ۴۲)

۱. تعریف نقطه گرانیگاهی (Barycenter / مرکز ثقل) — برگه‌های ۳۴ و ۴۲:

نقطه گرانیگاهی در یک سیمپلکس (مثلث) یا سادک n-بعدی، نقطه ثقلی است که از میانگین وزنی رئوس حاصل می‌گردد:

۳. ضوابط مثلث‌بندی معتبر (صحیح در برابر غلط — برگه‌های ۳۵ و ۳۶):

طبق قواعد تدریس‌شده توسط استاد شاهزمانیان، در یک مثلث‌بندی مجاز (Valid Triangulation):

• اشتراک هر دو مثلث متمایز یا تهی است، یا یک رأس منفرد مشترک، و یا یک یال مشترک کامل.

• وجود رأسی از یک مثلث در میانه یال مثلث دیگر بدون اتصال کامل، تقسیم ناصحیح (غلط) شمرده شده و تا زمان تکمیل یال‌ها، مجتمع سادکی تعریف نمی‌شود.

۴. تطابق کلمات مرزی در شبکه ریزسازی (برگه ۳۷):

در تحلیل کلمه مرزی یک سطح مشبک (مانند چنبره با کلمه a b c d e f c-1 b-1 a-1 f e-1 d-1)، با حذف یال‌های داخلی و انقباض درخت پوشا، تقلیل کامل به فرم کانونیکال X Y X-1 Y-1 حاصل می‌آید که گواه هم‌ارزی توپولوژیک آن با T2 است.

تعمیم دوم: رده‌بندی سطوح نامتناهی (Non-Compact) و افق ابعاد بالاتر — مکتب دکتر شاهزمانیان

نگاهی به قضیه کرک‌یارتو-ریچاردز (Kerékjártó-Richards) و چالش ابعاد ۳ و ۴

۱. تعمیم به سطوح غیرفشرده (فضای پایانه‌ها - Space of Ends):

چنانچه قیدِ فشردگی (Compactness) برداشته شود، سطح ممکن است به سمت بی‌نهایت میل کند (مانند صفحه مسطح R² یا نردبان یعقوب / Jacob's Ladder). در این ساحت، مشخصه اولر به تنهایی کفایت نمی‌کند.

قضیه کرک‌یارتو و ریچاردز: هر رویه همبند بدون مرزِ غیرفشرده، توسط چهار مولفه رده‌بندی می‌شود:

۱. جهت‌پذیری.

۲. سرده (که می‌تواند متناهی یا نامتناهی باشد).

۳. فضای پایانه‌ها (Ends Space, E(M)): فضای توپولوژیک نقاط مرزی در بی‌نهایت (همواره فشرده، کاملاً ناهمبند و متری‌پذیر، شبیه مجموعه کانتور).

۴. زیرفضای پایانه‌هایی که سرده نامتناهی در جوار آن‌ها انباشته شده است.

۲. چرا تعمیم رده‌بندی به ابعاد بالاتر (Dimension ≥ 3) ناممکن یا دشوار است؟

عظمت و یگانگی قضیه رده‌بندی سطوح ۲-بعدی در تدریس استاد شاهزمانیان از آن روست که در ابعاد بالاتر، موانع بنیادین جبری رخ می‌نماید:

• در بعد ۳: گروه بنیادین می‌تواند بی‌نهایت پیچیده باشد و قضیه رده‌بندی جای خود را به «فرضیه هندسی‌سازی ترستن» (Thurston's Geometrization Conjecture) می‌دهد که توسط گریگوری پرلمان با جریان ریچی اثبات شد.

• در بعد ۴ و بالاتر (قضیه مارکوف - Markov's Theorem): ثابت شده است که رده‌بندی الگوریتمی منیفلدهای ۴-بعدی فشرده از نظر محاسباتی «تصمیم‌ناپذیر» (Undecidable) است؛ زیرا مسئله تشخیص پوچ بودن گروه بنیادین دلخواه، متناظر با مسئله توقف تورینگ غیرقابل حل است!

فرجام سخن:

بدین‌سان محرز می‌گردد که بعدِ ۲، «بهشتِ موعود توپولوژی» است؛ فضایی بی‌بدیل که در آن جبر و هندسه دست در دست یکدیگر، رده‌بندی کامل، الگوریتمیک و متناهی را به زیباترین وجه ممکن میسر ساخته‌اند.

تعمیم نخست: قضیه جامع رده‌بندی سطوح فشرده همبند با مرز (Surfaces with Boundary)

از سلسله درس‌نامه‌های پیشرفته توپولوژی جبری — تدریس استاد: دکتر مصطفی شاهزمانیان

صورت قضیه تعمیم‌یافته (Generalization to Surfaces with b Boundary Components):

هر منیفلد ۲-بعدی فشرده، همبند با b مؤلفه مرزی متمایز (که هر یک همئومورف با دایره S¹ هستند)، به طور یکتا توسط سه ناوردا معین و رده‌بندی می‌گردد:

۱. وضعیت جهت‌پذیری (جهت‌پذیر یا غیرجهت‌پذیر).

۲. تعداد مؤلفه‌های مرزی (b ≥ 1).

۳. سرده سطح (g برای جهت‌پذیر و k برای غیرجهت‌پذیر)، یا مشخصه اولر (χ).

رابطه عام مشخصه اولر رویه‌های مرزدار:

اگر رویه‌ای از برداشتن b قرص از رویه بسته حاصل شود، مشخصه اولر آن به اندازه b واحد کاهش می‌یابد:

• برای سطوح جهت‌پذیر با سرده g و b مرز:

  
  χ(Mg, b) = 2 - 2g - b

• برای سطوح غیرجهت‌پذیر با سرده k و b مرز:

  
  χ(Nk, b) = 2 - k - b

تطابق اشکال کلاسیک در این تعمیم:

• استوانه (Cylinder): کره با ۲ سوراخ (g=0, b=2) ← χ = 2 - 0 - 2 = 0.

• نوار موبیوس (Möbius Strip): صفحه تصویری با ۱ سوراخ (k=1, b=1) ← χ = 2 - 1 - 1 = 0.

• جلیقه شلوار (Pair of Pants): کره با ۳ سوراخ (g=0, b=3) ← χ = 2 - 0 - 3 = -1.

قضیه اصلی رده‌بندی سطوح فشرده دوبعدی (Fundamental Classification Theorem)

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

صورت قضیه اصلی (Main Theorem):

هر منیفلد ۲-بعدیِ فشرده، همبند و بسته (بدون مرز) M، دقیقاً با یکی از سطوح زیر همئومورف (هم‌ارزِ توپولوژیک) است:

1. کره دوبعدی استاندارد: S2 با مشخصه اولر χ = 2.

2. جمع همبند g تا چنبره (سطوح جهت‌پذیر با سرده g ≥ 1):

   
   Mg = T2 # T2 # ... # T2 (g بار)

   
   با مشخصه اولر: χ(Mg) = 2 - 2g.

3. جمع همبند k تا صفحه تصویری حقیقی (سطوح غیرجهت‌پذیر با سرده k ≥ 1):

   
   Nk = RP2 # RP2 # ... # RP2 (k بار)

   
   با مشخصه اولر: χ(Nk) = 2 - k.

قضیه ۱ (قضیه دایک - Dyck's Theorem):

در ساختار ترکیبی جمع همبند رویه‌ها، افزودن یک چنبره به یک صفحه تصویری معادل با افزودن دو صفحه تصویری است:

T2 # RP2 ≅ RP2 # RP2 # RP2 ≅ K2 # RP2

نتیجه: هر ترکیب مختلط از توروس‌ها و صفحات تصویری، فوراً به خانواده سطوح غیرجهت‌پذیر تنزل می‌یابد.

قضیه ۲ (فرمول مشخصه اولر در جمع همبند):

مشخصه اولر جمع همبند دو منیفلد فشرده ۲-بعدی بسته، از رابطه صریح زیر محاسبه می‌گردد:

χ(M1 # M2) = χ(M1) + χ(M2) - 2

این رابطه نشان می‌دهد که در هر عمل الحاق، به دلیل ادغام دو مرز استوانه‌ای، ۲ واحد از مجموع مشخصه‌های اولر اولیه کاسته می‌شود.

قضیه ۳ (ناوردایی توپولوژیک مشخصه اولر تحت مثلث‌بندی):

اگر K1 و K2 دو مثلث‌بندی (Triangulation) دلخواه از یک رویه فشرده بسته M باشند، آنگاه عدد اولر محاسبه‌شده برای هر دو یکسان است:

χ(K1) = χ(K2) = χ(M)

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

قضیه ۴ (قضیه طبقه‌بندی جامع ماسی - Massey Classification Theorem):

هر سطح فشرده، همبند و بدون مرز دوبعدی منحصراً توسط دو کمیت تعیین و طبقه‌بندی می‌شود:

۱. وضعیت جهت‌پذیری (جهت‌پذیر یا غیرجهت‌پذیر)

۲. مشخصه اولر (χ) یا معادل آن سرده سطح (g).

۱. تعریف منیفلد ۲-بعدی (رویه فشرده):

فضای هاوسدورف با پایه شمارا M را یک منیفلد ۲-بعدی (Surface) نامند هرگاه هر نقطه از آن دارای همسایگی بازی همئومورف با قرص باز در R2 باشد. اگر هر نقطه دارای همسایگی همئومورف با نیم‌قرص بسته نیز باشد، آن را رویه با مرز (Surface with boundary) خوانند.

۲. کلمه مرزی و نمادگذاری چندضلعی (Polygonal Word Scheme):

هرگاه یک چندضلعی ۲n-ضلعی مسطح با یال‌های جهت‌دار متناظر به ترتیب پیمایشِ محیطی به صورت دنباله‌ای از نمادها نوشته شود، آن را «کلمه مرزی» نامند. در این ساختار:

• جفت نوع اول: دو ضلع متناظر با جهت مخالف در کلمه به صورت ... a ... a-1 ... که مبین حفظ جهت‌پذیری است.

• جفت نوع دوم: دو ضلع متناظر با جهت یکسان در کلمه به صورت ... a ... a ... که متضمن پیدایش پیچش موبیوس و ناجهت‌پذیری است.

۳. سرده یا جنس رویه (Genus):

بیشترین تعداد منحنی‌های بسته ساده و مجزا بر رویه که برش در امتداد آن‌ها موجب ناهمبندی سطح نگردد را سرده سطح (g) نامند. برای سطوح جهت‌پذیر، سرده برابر شمار دسته‌ها (Handles) و برای سطوح غیرجهت‌پذیر برابر شمار کلاه‌های متقاطع (Cross-caps) است.

۴. جمع همبند (Connected Sum - #):

عمل جمع همبند میان دو رویه M1 و M2 با حذف یک قرص باز ۲-بعدی از هر یک و چسباندن مرزهای کروی حاصل از طریق یک همئومورفیسم پادمحوری به صورت M1 # M2 تعریف می‌گردد.

پرسش ۱۵: تفاوت اساسی گروه بنیادین (π₁) در سطوح جهت‌پذیر و غیرجهت‌پذیر در چیست؟

پاسخ اصولی استاد شاهزمانیان: برای یک رویه فشرده بسته:

۱. در حالت جهت‌پذیر با سرده g (یعنی M_g)، گروه بنیادین دارای نمایش متناهی با 2g مولد و یک رابطه جابه‌جاگر است:

π1(Mg) = ⟨ a1, b1, ..., ag, bg | [a1, b1] ... [ag, bg] = 1 ⟩

۲. در حالت غیرجهت‌پذیر با سرده k (یعنی N_k)، نمایش گروه با k مولد و رابطه مربعی بیان می‌شود:

π1(Nk) = ⟨ c1, c2, ..., ck | c12 c22 ... ck2 = 1 ⟩

آبلی‌سازی (Abelianization) این گروه در حالت دوم همواره دارای پیچش (Torsion) از مرتبه ۲ (عنصر Z₂) است که نشانه جبریِ وجود نوار موبیوس در درون فضا می‌باشد.

پرسش ۱۶: قضیه فشردگی و ناوردایی مشخصه اولر چه نقشی در حل مسائل مکانیک و فیزیک ریاضی ایفا می‌کند؟

پاسخ اصولی استاد شاهزمانیان: مشخصه اولر (χ) به همراه گروه بنیادین، تنها اطلاعات متناهی و نامتغیری هستند که ساختار کلی میدان‌های برداری روی منیفلدها را (بنا بر قضیه پوانکاره-هاپف) مقید می‌سازند. به عنوان مثال، از آنجا که برای کره χ(S2) = 2 ≠ 0 است، هیچ میدان برداری پیوسته و غیرصفری روی کره وجود ندارد (قضیه توپ مویین)، در حالی که برای توروس چون χ(T2) = 0 است، می‌توان میدان برداری پیوسته و نامنفرد تعریف نمود.

پرسش ۱۳: چگونه می‌توان از دیدگاه توپولوژیک نشان داد که رویه یک مکعب (Cube Surface) با کره دوبعدی (S²) همئومورف است؟

پاسخ تحلیلی استاد شاهزمانیان: سطح یک مکعب صلب از ۶ وجه مربعی تشکیل یافته است. با گستردنِ این وجوه بر صفحه، یک چندضلعی مرزی با ۱۴ یال پدید می‌آید که پس از اعمال جهت‌گیری و قواعد انطباق یال‌های متناظر، کلمه مرزی کلی به فرم a a-1 تقلیل می‌یابد. از منظر ترکیبیاتی، مکعب دارای ۸ رأس، ۱۲ یال و ۶ وجه است:

• v = 8

• e = 12

• f = 6

محاسبه مشخصه اولر: χ = v - e + f = 8 - 12 + 6 = 2.

از آن‌جا که رویه مکعب فشرده، همبند، بدون مرز و جهت‌پذیر با مشخصه اولر ۲ است، بنا بر قضیه رده‌بندی، قطعاً با کره S² همئومورف می‌باشد.

پرسش ۱۴: در فرآیند «چسباندن وجوه مکعب»، رفتار یال‌های مرزی چگونه ردگیری می‌شود؟

پاسخ تحلیلی استاد شاهزمانیان: در گسترده ۲-بعدی مکعب (Cross Net)، هر یال مرزی دقیقاً با یک یال دیگر جفت می‌شود به نحوی که هیچ یالی آزاد باقی نمی‌ماند. جهت فلش‌های شناسایی (Identification) همواره پادساعت‌گرد در هر وجه لحاظ می‌گردد؛ لذا در هنگام چسباندنِ لبه‌ها، جفت‌یال‌ها همواره با جهت معکوس یکدیگر (از نوع اول: a و a^-1) ظاهر می‌شوند که ضامن جهت‌پذیری نهایی رویه بسته است.

پرسش ۱۰: برهان کتاب ماسی (Massey) در مورد سطوح آمیخته (شامل هم‌زمان چنبره و صفحه تصویری) چه حکمی صادر می‌کند؟

پاسخ اصولی استاد شاهزمانیان: طبق متن برگه ۴۱ و ۴۲ جزوه، اگر در روند فرم‌سازی چندضلعی، m جفت از نوع دوم (صفحه تصویری) و n جفت چهارتایی از نوع اول (چنبره) حاصل آید، به دلیل ناپایداری جهت‌پذیری در حضور نوار موبیوس، ترکیب T2 # RP2 همواره با 3RP2 همئومورف است. در نتیجه سطح کلی با (2n + m) صفحه تصویری حقیقی هم‌ارز می‌گردد و هرگز سطح بسته‌ای با ماهیت مختلطِ پایدار نخواهیم داشت.

پرسش ۱۱: چگونه تقسیم‌بندی رویه به ۲ مثلث، مشخصه اولر مستطیل را توجیه می‌کند (برگه ۴۲)؟

پاسخ اصولی استاد شاهزمانیان: برای یک مستطیل مسطح منفرد، ابتدا v = 4، e = 4، و t = 1 داریم که χ = 4 - 4 + 1 = 1 است. اگر قطر آن را رسم کنیم تا به دو مثلث تقسیم شود:

• تعداد رأس‌ها: v = 4

• تعداد یال‌ها: e = 4 + 1 = 5 (یک یال قطری افزوده شد)

• تعداد وجوه: t = 1 + 1 = 2 (دو مثلث پدید آمد)

محاسبه مجدد: χ = 4 - 5 + 2 = 1.

این مثال ساده هندسی، ناوردایی موضعیِ عدد اولر تحت تقسیم مثلثاتی (Triangulation) را اثبات می‌نماید.

پرسش ۱۲: جدول نهایی شناسنامه سطوح فشرده ۲-بعدی بر حسب مشخصه اولر و گروه بنیادین چیست؟

پرسش ۷: بر مبنای برگه ۲۹ جزوه، چگونه «روش برش» (Cutting Method) تعداد کلاس‌های متمایز رئوس را کاهش می‌دهد؟

پاسخ تحلیلی استاد شاهزمانیان: هرگاه در چندضلعی مرزی دو کلاس رأس متمایز مانند P و Q وجود داشته باشد، به گونه‌ای که یال مرزی a از رأس P به رأس Q امتداد یابد، کلمه به شکل X a b-1 Y a-1 خواهد بود. با ایجاد یک برش قطری درونی با یال کمکی c میان دو رأس، چندضلعی به دو پاره تقسیم می‌شود. سپس با چسباندن مجدد این دو پاره از طریق انطباق یال‌های مرزی a و a^-1، یک رأس از کلاس P کاسته شده و به کلاس Q افزوده می‌گردد (تعداد کلاس‌های رأس یک واحد کاهش می‌یابد). این فرآیند آن‌قدر تکرار می‌شود تا سرانجام تمام رئوس در یک کلاس هم‌ارزی واحد ادغام شوند.

پرسش ۸: چگونه دو ضلع از نوع دوم (... b ... b ...) را که با فاصله در کلمه قرار دارند، کنار هم می‌نشانیم؟

پاسخ تحلیلی استاد شاهزمانیان: چنانچه کلمه مرزی به صورت b X b Y باشد (که نشان‌دهنده پیچش ناجهت‌پذیر است)، با ایجاد یک برش مستقیم در راستای یال جدید a و برگرداندن (وارونه کردن جهت) قطعه میانی، کلمه مرزی به صورت a a X-1 Y درمی‌آید. با این عمل هندسیِ ظریف، دو ضلع نوع دوم که در فواصلی دور از هم قرار داشتند، به یک جفت چسبیده a a (یک کلاهک تصویری خالص / Cross-Cap) تبدیل می‌شوند.

پرسش ۹: تفاوت ساختاری در تقلیلِ جفت‌های نوع اول متقاطع با جفت‌های نامتقاطع چیست؟

پاسخ تحلیلی استاد شاهزمانیان: اگر جفت‌های نوع اول به صورت غیرمتقاطع (مانند a a-1) باشند، بلافاصله زیپ شده و از محیط چندضلعی حذف می‌شوند. اما اگر به صورت متقاطع (Interlocking) مانند a ... b ... a-1 ... b-1 ظاهر شوند، حذف‌ناپذیرند و نماینده یک حفره ذاتی در توپولوژی فضا می‌باشند. در این حالت، روش برش آنها را به بلاک بسته جابه‌جاگر a b a^-1 b^-1 (دسته توروس) مقید می‌سازد.

پرسش ۴: چرا مشخصه اولر (χ) تحت عملیاتِ زیربخش‌سازی تغییر نمی‌کند؟

پاسخ: بر اساسِ برهانِ هندسیِ استاد شاهزمانیان در برگه ۴۲، زیربخش‌سازی (مثلاً افزودنِ یک رأس در میانِ یک یال یا درون یک وجه)، به گونه‌ای انجام می‌شود که افزایشِ هم‌زمان در تعدادِ رئوس، یال‌ها و وجوه، اثرِ یکدیگر را خنثی می‌کنند. این ناوردایی به ما اطمینان می‌دهد که χ یک «شناسنامه» برای سطح است، نه یک عددِ قراردادی که وابسته به نحوه ترسیم باشد.

پرسش ۵: در جمع همبند (Connected Sum)، تکلیفِ جهت‌پذیریِ سطح چه می‌شود؟

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

پرسش ۶: نهایتاً هر سطحِ بسته را به چه چیزی می‌توان طبقه‌بندی کرد؟

پاسخ: قضیه رده‌بندی سطوح که در این سلسله درس‌نامه‌ها اثبات شد، بیان می‌دارد که هر سطح فشرده دوبعدی، دقیقاً با یکی از این دو دسته هم‌ارز است:

۱. یک کره (S²) که با تعدادی توروس (T²) جمع همبند شده باشد.

۲. یک کره (S²) که با تعدادی صفحه تصویری (RP²) جمع همبند شده باشد.

تمامیِ اشکالِ پیچیده در نهایت به همین «ساده‌ترین‌ها» قابلِ تقلیل‌اند.

پاسخ: همان‌گونه که در دروس استاد شاهزمانیان تبیین گشته، فرمِ کانونیکال، زبانِ مشترکِ سطوح است. ما با تقلیل کلمات پیچیده به ساختارهای استانداردی همچون (a b a^-1 b^-1) برای چنبره و (c c) برای صفحه تصویری، «اثرِ ظاهری» چندضلعی را زدوده و «سرشتِ ذاتی» و ناوردای آن را آشکار می‌سازیم. این عمل، طبقه‌بندی سطوح را از یک معضلِ هندسی به یک محاسبه ساده جبری بدل می‌کند.

پاسخ: الگوریتمِ حذف، زمانی به کار می‌آید که ما با کلماتِ مرزی درهم‌ریخته روبروییم. این روش در دو گامِ اصلی اجرا می‌شود: نخست حذفِ جفت‌های مجاورِ نوع اول (... a a^-1 ...) که ساده‌ترین نوعِ استحاله است، و دوم: استفاده از برش‌های قطری برای تبدیلِ جفت‌های نامجاور به مجاور. غایتِ این مسیر، رسیدن به کلمه‌ای است که تمام اضلاعِ آن در زوج‌های مشخص گروه‌بندی شده باشند.

پاسخ: در نمایشِ چندضلعی، تعداد رئوسِ متمایز (کلاس‌های هم‌ارزی) یکی از مولفه‌های اصلیِ محاسبه مشخصه اولر (χ = v - e + t) است. اگر یک چندضلعی دارای چندین کلاسِ رئوسِ مجزا باشد، سطح هنوز به فرمِ کانونیکالِ نهایی نرسیده است. روشِ برش (Cutting Method) که در برگه ۲۹ تدریس شد، راهکاری صوری برای ادغامِ این رئوس و رسیدن به v=1 (یک کلاس واحد) است.

نتیجه اخلاقی و علمی:

"مشخصه اولر در برابر هرگونه زیربخش‌سازی (Subdivision) مقاوم و ناورداست."

نکته اصولی: طبق برهانِ ارجاعی به کتاب Massey، اگر در طولِ این فرآیند، هم‌زمان با یک جفتِ توروسی، یک صفحه تصویری ظاهر شود، کلِ سطح به دلیلِ ناسازگاری جهت، به فرمِ غیرجهت‌پذیر (صفحات تصویری) تغییر ماهیت می‌دهد.

مراحل چهارگانه الگوریتم جمع همبند (Step-by-Step Algorithm)

مثال ۱: جمع همبند دو چنبره (Torus # Torus → Double Torus T² # T²)

واژه‌های کانونیکال: W₁ = a₁ b₁ a₁^-1 b₁^-1  و  W₂ = a₂ b₂ a₂^-1 b₂^-1

ترکیب الگوریتمی:

محاسبه مشخصه اولر: χ(T² # T²) = 0 + 0 - 2 = -2.

تحلیل جنس: چون سطح جهت‌پذیر است، χ = 2 - 2g ⇒ -2 = 2 - 2g ⇒ g = 2 (چنبره دوحفره‌ای).

مثال ۲: جمع همبند دو صفحه تصویری (RP² # RP² → بطری کلاین K²)

واژه‌های کانونیکال: W₁ = a a  و  W₂ = b b

ترکیب الگوریتمی:

محاسبه مشخصه اولر: χ(RP² # RP²) = 1 + 1 - 2 = 0.

تحلیل جنس: چون سطح جهت‌ناپذیر است، χ = 2 - k ⇒ 0 = 2 - k ⇒ k = 2 (بطری کلاین با ۲ کلاهک تصویری).

مثال ۳: ترکیب چنبره و صفحه تصویری و اثر قضیه دایک (T² # RP²)

ترکیب کلمات: W = (a b a^-1 b^-1)(c c)

محاسبه اولر: χ = χ(T²) + χ(RP²) - 2 = 0 + 1 - 2 = -1.

تبدیل کانونیکال دایک: طبق برهان برش-الحاق دکتر شاهزمانیان، وجود مؤلفه c c ساختار توروس را به دو کلاهک تصویری تبدیل می‌کند:

اصل وحدت در جمع همبند (آموزه دکتر مصطفی شاهزمانیان):

«کره دوبعدی (S²) به منزله عضو همانی در جبر جمع همبند عمل می‌کند (S² # M ≅ M)؛ و هر سطح فشرده دوبعدی بدون مرز را می‌توان به صورت جمع همبند تعدادی متناهی از کره‌های دسته‌دار (T²) یا صفحات تصویری (RP²) بازنمایی نمود.»

فرم کانونیکال جهت‌پذیر:   ∏_i=1^g (a_i b_i a_i^-1 b_i^-1)   |   فرم کانونیکال جهت‌ناپذیر:   ∏_j=1^k (c_j c_j)

مراحل بنیادین الگوریتم فرم‌سازی (Canonical Algorithm Steps)

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

«غایت الگوریتم فرم‌سازی، زدودن اثر شکل ظاهری چندضلعی و متجلی ساختن سرشت توپولوژیک آن است؛ به‌گونه‌ای که در پایان فرآیند، تنها با شمردن تعداد بلاک‌های چهارگانه یا جفت‌های دوگانه، جنس رویه (g) و تیپ جهت‌پذیری آن بدون کوچک‌ترین ابهامی معین گردد.»

مراحل سه‌گانه الگوریتم روش حذف (Step-by-Step Elimination Algorithm)

قاعده پایستگی مشخصه اولر در روش حذف (شاه‌اصل دکتر شاهزمانیان):

«در تمامی مراحل حذف مستقیم یا برش-الحاق، چون به ازای حذف هر جفت ضلع (e → e - 1)، دقیقاً یک رأس از مرز کاسته یا ادغام می‌گردد (v → v - 1) و وجه پیوسته می‌ماند، کمیت اولر-پوانکاره (χ = v - e + t) تا واپسین گام اکیداً ناوردا باقی می‌ماند.»

کلید تشخیصی استاد دکتر مصطفی شاهزمانیان:

• پاسخ مسئله ۱: به علت قرارگیری متناوب اضلاع، تمامی ۸ رأس در ۱ کلاس هم‌ارزی واحد ادغام می‌شوند (v = 1). چون e = 4 و t = 1 است، χ = 1 - 4 + 1 = -2؛ از آنجا که تمام اضلاع نوع اول هستند، سطح، چنبره دوحفره‌ای (Double Torus: T² # T²) با جنس g = 2 است.


• پاسخ مسئله ۳: سطح شامل دو توروس و یک کلاهک تصویری است: 2T² # RP². طبق قضیه دایک، با تبدیل هر توروس به دو صفحه تصویری، سطح نهایی برابر با ۵ صفحه تصویری (N₅) با واژه کانونیکال 10-ضلعی و مشخصه اولر χ = 2 - 5 = -3 خواهد بود.