قضیه اصلی رده‌بندی سطوح فشرده دوبعدی (Fundamental Classification Theorem)
تدوین‌شده از کرسی درس و دست‌نوشته‌های استاد: دکتر مصطفی شاهزمانیان
دیباچه: بدان ای طالبِ حکمتِ هندسی و سالکِ طریقتِ توپولوژی، که هر رویه فشرده، همبند و بدون مرز در عالم امکان، فارغ از پیچیدگی‌های ظاهری و اعوجاج‌های صوری، به یکی از دو خانواده‌ی اصیل و بنیادین بازمی‌گردد؛ یا در حریمِ نظم و اعتدالِ «جهت‌پذیری» سکنی می‌گزیند، و یا در وادیِ شگفتِ «ناجهت‌پذیری» و کلاه‌های متقاطع قرار می‌یابد.
صورت قضیه اصلی (Main Theorem):
هر منیفلد ۲-بعدیِ فشرده، همبند و بسته (بدون مرز) M، دقیقاً با یکی از سطوح زیر همئومورف (هم‌ارزِ توپولوژیک) است:
کره دوبعدی استاندارد:
S2با مشخصه اولرχ = 2.جمع همبند g تا چنبره (سطوح جهت‌پذیر با سرده g ≥ 1):
Mg = T2 # T2 # ... # T2 (g بار)
با مشخصه اولر:χ(Mg) = 2 - 2g.جمع همبند k تا صفحه تصویری حقیقی (سطوح غیرجهت‌پذیر با سرده k ≥ 1):
Nk = RP2 # RP2 # ... # RP2 (k بار)
با مشخصه اولر:χ(Nk) = 2 - k.
ارکان و لم‌های چهارگانه برهان (Axiomatic Lemmas):
لم ۱ (مثلث‌بندی و نمایش چندضلعی):
هر رویه فشرده متناهی قابل مثلث‌بندی است و می‌توان با گستردن مثلث‌ها بر صفحه، آن را به شکل یک چندضلعی مسطح 2n-ضلعی با کلمه مرزی بسته نشان داد به گونه‌ای که هر حرف دقیقاً دو بار در کلمه ظاهر گردد.
لم ۲ (ادغام رئوس به کلاس واحد):
اگر چندضلعی دارای بیش از یک کلاس رأس باشد (v > 1)، به وسیله «روش برش و اتصال» (برگه ۲۹ جزوه)، تمام رئوس چندضلعی بدون تغییر توپولوژی فضا به یک رأس منفرد واحد (v = 1) ادغام می‌شوند.
لم ۳ (مجاورسازی جفت‌های نوع دوم):
چنانچه در کلمه مرزی دو حرف با جهت موافق ... a ... a ... وجود داشته باشد، با برش قطری و دوران قطعه، به جفت چسبیده a a (کلاهک متقاطع RP2) تبدیل می‌گردد.
لم ۴ (گروه‌بندی جفت‌های متقاطع نوع اول به جابه‌جاگر):
هرگاه جفت‌های نوع اول به صورت درهم‌تنیده ... a ... b ... a-1 ... b-1 ... ظاهر شوند، از طریق برش دومرحله‌ای، به بلوک استاندارد توروس a b a-1 b-1 تبدیل می‌شوند.
نتیجه نهایی و فرمول رده‌بندی:
با اعمال لم‌های فوق، هر کلمه مرزی دلخواه پس از طی مراحل الگوریتم، الزاماً به یکی از سه حالت استاندارد کانونیکال زیر درمی‌آید:
| تیپ فرم کانونیکال | نمایش صریح کلمه مرزی | مشخصه اولر (χ) | رده سطح |
|---|---|---|---|
| حالت اول (کره) | a a-1 | 2 | جهت‌پذیر (g=0) |
| حالت دوم (توروس‌ها) | ∏i=1..g (ai bi ai-1 bi-1) | 2 - 2g | جهت‌پذیر (g ≥ 1) |
| حالت سوم (صفحات تصویری) | ∏j=1..k (cj cj) | 2 - k | غیرجهت‌پذیر (k ≥ 1) |
حُسن ختام: بدین برهانِ متقن و استوار، بنای رده‌بندی سطوح در مکتب درس دکتر شاهزمانیان تمام و کمال به کمال می‌رسد؛ تا گواهی باشد بر آنکه توپولوژی، هنرِ نگریستن به ماهیتِ اشیاء فراتر از قیدِ فواصل و اعوجاج‌هاست.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.