الگوریتم جمع همبند در جبر توپولوژی سطوح و مثال‌های کاربردی — طراح: دکتر مصطفی شاهزمانیان
بسم‌الله الرّحمن الرّحیم. در نگرش ساختاری استاد ارجمند، دکتر مصطفی شاهزمانیان، عملگر جمع همبند (Connected Sum: #) ابزار بنیادین پیوند و ترکیب منیفلدهاست. این الگوریتم، امکان اتصال دو سطح دوبعدی فاقد مرز و بسته (M1 و M2) را از طریق حذف یک قرص باز از هر کدام و دوختن مرزهای کرویِ پدیدارشده با یک سیلندر اتصالی فراهم می‌آورد.
مراحل چهارگانه الگوریتم جمع همبند (Step-by-Step Algorithm)
گام ۱: سوراخ‌کاری و ایجاد مرز (Disc Removal):
از هر منیفلد M1 و M2 یک همسایگی دیسکی باز (D2) حذف می‌گردد تا دو سطح با مرز دایره‌ای S1 حاصل شوند:
M1° = M1 \ D12 , M2° = M2 \ D22
گام ۲: دوختن مرزها / اتصال کلمات چندضلعی (Boundary Gluing):
در نمایش جبری چندضلعی‌ها، اگر واژه سطح اول W1 و سطح دوم W2 باشد، کلمه حاصل از جمع همبند به سادگی از زنجیر کردن مستقیم دو واژه کانونیکال حاصل می‌شود:
W(M1 # M2) = W1 · W2
گام ۳: محاسبه ناوردای اولر-پوانکاره (Euler Characteristic Update):
مشخصه اولر سطح پیوندی با کسر عدد ۲ (به دلیل از دست رفتن دو دیسک با χ=1 و چسبیدن مرزهای S1 با χ=0) به دست می‌آید:
χ(M1 # M2) = χ(M1) + χ(M2) - 2
گام ۴: پایستگی یا تبدیل جهت‌پذیری (Orientability Rule):
اگر حتی یکی از دو سطح جهت‌ناپذیر باشد (دارای کلاهک تصویری)، کل فضای M1 # M2 جهت‌ناپذیر شده و طبق قضیه دایک، تمام مؤلفه‌های چنبره‌ای به کلاهک تصویری بدل می‌گردند.
مثال‌های مشروح و محاسباتی الگوریتم
مثال ۱: جمع همبند دو چنبره (Torus # Torus → Double Torus T2 # T2)
واژه‌های کانونیکال: W1 = a1 b1 a1-1 b1-1 و W2 = a2 b2 a2-1 b2-1
ترکیب الگوریتمی:
W(T2 # T2) = a1 b1 a1-1 b1-1 a2 b2 a2-1 b2-1 (8-ضلعی مسطح)
محاسبه مشخصه اولر: χ(T2 # T2) = 0 + 0 - 2 = -2.
تحلیل جنس: چون سطح جهت‌پذیر است، χ = 2 - 2g ⇒ -2 = 2 - 2g ⇒ g = 2 (چنبره دوحفره‌ای).
مثال ۲: جمع همبند دو صفحه تصویری (RP2 # RP2 → بطری کلاین K2)
واژه‌های کانونیکال: W1 = a a و W2 = b b
ترکیب الگوریتمی:
W(RP2 # RP2) = a a b b (4-ضلعی غیرجهت‌پذیر کلاین)
محاسبه مشخصه اولر: χ(RP2 # RP2) = 1 + 1 - 2 = 0.
تحلیل جنس: چون سطح جهت‌ناپذیر است، χ = 2 - k ⇒ 0 = 2 - k ⇒ k = 2 (بطری کلاین با ۲ کلاهک تصویری).
مثال ۳: ترکیب چنبره و صفحه تصویری و اثر قضیه دایک (T2 # RP2)
ترکیب کلمات: W = (a b a-1 b-1)(c c)
محاسبه اولر: χ = χ(T2) + χ(RP2) - 2 = 0 + 1 - 2 = -1.
تبدیل کانونیکال دایک: طبق برهان برش-الحاق دکتر شاهزمانیان، وجود مؤلفه c c ساختار توروس را به دو کلاهک تصویری تبدیل می‌کند:
T2 # RP2 ≅ RP2 # RP2 # RP2 = N3 (با واژه c1 c1 c2 c2 c3 c3)
| عملگر جمع همبند | کلمه مرزی منتج | مشخصه اولر (χ) | سطح نهایی معادل |
|---|---|---|---|
| S2 # M | W(M) | χ(M) | M (کره عضو خنثی است) |
| g T2 | ∏ (ai bi ai-1 bi-1) | 2 - 2g | سطح جهت‌پذیر با جنس g |
| k RP2 | ∏ (cj cj) | 2 - k | سطح جهت‌ناپذیر با جنس k |
اصل وحدت در جمع همبند (آموزه دکتر مصطفی شاهزمانیان):
«کره دوبعدی (S2) به منزله عضو همانی در جبر جمع همبند عمل می‌کند (S2 # M ≅ M)؛ و هر سطح فشرده دوبعدی بدون مرز را می‌توان به صورت جمع همبند تعدادی متناهی از کره‌های دسته‌دار (T2) یا صفحات تصویری (RP2) بازنمایی نمود.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.