حل تحلیلی مسائل متن درسنامه توپولوژی رویهها (به ترتیب توالی جزوه)
مسائل و پاسخهای تشریحی بر اساس کرسی تدریس استاد: دکتر مصطفی شاهزمانیان
دیباچه: سالکِ راهِ دانش چون قواعد کلی و براهینِ عقلی را فراگیرد، هنگامِ آن رسد که عیارِ فهمِ خویش را در میدانِ حلّ مسائل بیازماید؛ تا معلوم گردد چگونه کلماتِ طویل و چندضلعیهای نامنظم با سِحرِ الگوریتمهای تقلیل، به گوهرِ کانونیکال خویش بازمیگردند. در این مجموعه، مسائل مطرحشده در متنِ جزوه به ترتیب چینش درسی و با حلول گامبهگام آورده شده است.
مسئله ۱ (تشخیص سطح از روی کلمه متقاطع): نوع رویه بسته متناظر با کلمه مرزی زیر را مشخص نموده و گروه بنیادین آن را بیابید.
W1 = a · b · a-1 · b-1 · c · d · c-1 · d-1
حل تشریحی گامبهگام:
تحلیل ساختار کلمه: کلمه از دو بلوک مستقلِ جابهجاگر تشکیل شده است:
بلوک نخست:[a, b] = a b a-1 b-1که متناظر با یک چنبره (Torus: T2) است.
بلوک دوم:[c, d] = c d c-1 d-1که متناظر با چنبره دوم است.اتصال توپولوژیک: قرار گرفتن این دو بلوک در امتداد یکدیگر، نشاندهنده مجموع متصل (Connected Sum) دو رویه است:
M ≅ T2 # T2 = M2 (چنبره دوحفرهای یا رویه با جنس ۲)محاسبه مشخصه اولر:
χ(M2) = 2 - 2(2) = 2 - 4 = -2استخراج گروه بنیادین:
π1(M2) = 〈 a, b, c, d | a b a-1 b-1 c d c-1 d-1 = 1 〉
مسئله ۲ (تقلیل یالهای همتوان غیرمجاوز - برگه ۳۴): سطح متناظر با کلمه زیر را ردهبندی کنید.
W2 = a · b · c · a · b-1 · c
حل تشریحی طبق الگوریتم برش و چسباندن استاد شاهزمانیان:
شناسایی یالهای همتوان: یالهای
a ... aوc ... cبا توان مثبت یکسان ظاهر شدهاند که دلالت بر جهتناپذیری (Non-orientable) سطح دارد.مجاورسازی جفتهای همتوان (Lemma Cross-cap): با اعمال برش قطری بین جفتهای
aو چسباندن مجدد، کلمه به فرم استاندارد مجموع نوارهای موبیوس تبدیل میگردد:
هر جفت همتوان معادل یک Cross-cap (صفحه تصویری P2) میباشد. تعداد کل یالهای متناظر برابر با ۳ جفت است.فرم کانونیکال نهایی:
W2 ≡ x2 y2 z2 ≅ P2 # P2 # P2 = N3 ≅ K2 # P2مشخصه اولر و جنس سطح: جنس جهتناپذیر
k = 3است؛ بنابراین:χ(N3) = 2 - k = 2 - 3 = -1
مسئله ۳ (مثلثبندی و سطوح دارای مرز - برگه ۳۹): اگر یک شبکه مثلثبندی دارای ۱۰ رأس، ۲۱ یال و ۱۱ وجه مثلثی باشد، اولا مشخصه اولر را بیابید و ثانیاً نشان دهید این فضا چه نوع رویهای با چند مولفه مرزی است؟
حل تشریحی و محاسبات توپولوژیک:
محاسبه مشخصه اولر موضعی:
χ = v - e + f = 10 - 21 + 11 = 0تحلیل شرط سطوح بدون مرز در برابر مرزدار:
اگر سطح بسته و بدون مرز میبود، میبایست3f = 2eباشد. در اینجا3 × 11 = 33در حالی که2 × 21 = 42است.
تفاضل42 - 33 = 9یال نشان میدهد که این شبکه دارای یالهای آزاد مرزی است.ردهبندی بر اساس رابطه تعمیمیافته: با فرض جهتپذیری (جنس g = 0 یعنی بر پایه کره):
χ = 2 - 2g - b ⇒ 0 = 2 - 0 - b ⇒ b = 2نتیجهگیری هندسی: این فضا همئومورف با استوانه (Cylinder) یا نوار حلقوی (Annulus) با دو دایره مرزی (
b = 2) میباشد.
مسئله ۴ (اثبات تقلیل شبکه توروس - برگه ۳۷): نشان دهید چگونه کلمه ۱۲-حرفی زیر که از پیمایش محیطی یک شبکه ۶×۲ استخراج شده، دقیقاً به کانونیکال T2 تقلیل مییابد.
W = a · b · c · d · e · f · c-1 · b-1 · a-1 · f-1 · e-1 · d-1
حل استدلالی:
با تعریف دگرگونی متغیرهای کلان:
• قرار میدهیم: 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) است.
کلام پایانی: این حلول پیوسته و روشن، گواهی است بر توانمندی روش تقلیل کانونیکال در حل پیچیدهترین مسائل هندسه ترکیبیاتی، آنگونه که در محضر پرفیض استاد دکتر مصطفی شاهزمانیان تبیین و تسجیل گردیده است.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.