الگوریتم روش حذف در جبر توپولوژی سطوح — تدوین و تبیین: دکتر مصطفی شاهزمانیان
بسم‌الله الرحمن الرحیم. در نگرش ساختارگرای استاد عالی‌مقام، دکتر مصطفی شاهزمانیان، «روش حذف» (Elimination Method) شاه‌کلیدِ تقلیل چندضلعی‌های مرزی به سطوح کانونیکال است. این الگوریتم، کلمات طولانی را که حاصل از باز کردن پوسته چندوجهی‌ها یا الحاق‌های متوالی هستند، طی مراحلی جبری و هندسی به خلاصه‌ترین فرم ناوردا تبدیل می‌نماید.
مراحل سه‌گانه الگوریتم روش حذف (Step-by-Step Elimination Algorithm)
گام اول: حذف مستقیم جفت‌های نوع اول مجاور (Immediate Type-I Cancellation)
هرگاه دو حرف یکسان با توان‌های متضاد بی‌هیچ واسطه‌ای در کنار یکدیگر واقع شوند:
W = α · (a a-1) · β &implies; W' = α · β
اثر هندسی: دو ضلع a و a-1 از روی مرز بیرونی جمع شده و روی یکدیگر زیپ می‌شوند؛ تعداد اضلاع چندضلعی ۲ واحد کاهش یافته و محیط تقلیل می‌یابد.
گام دوم: حذف جفت‌های نوع اول نامجاور از طریق برش قطری (Non-Adjacent Elimination)
اگر دو حرف متضاد به وسیله زیرکلمات γ و δ از هم جدا شده باشند (فرم W = a γ a-1 δ):
- یک برش قطری با یال جدید c میان رئوس متناظر ایجاد می‌شود تا چندضلعی به دو زیرچندضلعی تفکیک گردد.
- دو بخش حاصله را از طریق انطباق یال‌های a و a-1 به یکدیگر می‌چسبانیم (Paste on a).
- یال کمکی c به عنوان مرز جدید جایگزین گشته و یال متضاد a برای همیشه از کلمه مرزی حذف می‌شود.
گام سوم: ادغام و حذف حلقه‌های پوچ (Trivial Loop Elimination)
اگر پس از حذف‌های متوالی، تمام جفت‌حروف به صورت زوج‌های حذف‌شونده مستهلک شوند و کلمه نهایی به رابطه تکینِ w = x x-1 برسد، کل محیط بسته شده و فضای منتج، کره دو‌بعدی (S2) تشخیص داده می‌شود.
| ساختار اولیه | فرآیند اعمال روش حذف | فرم خروجی پس از حذف | شناسه توپولوژیک |
|---|---|---|---|
| شبکه بازشده مکعب (14 ضلعی) | حذف متوالی ۷ جفت ضلع هم‌نام متضاد | x x-1 → 1 | کره (S2) |
| کلمه a b a-1 c c-1 b-1 | حذف c c-1 سپس ترکیب a و b | a b a-1 b-1 | چنبره (Torus T2) |
| استوانه دوخته‌شده با کلاهک معکوس | حذف اضلاع متقاطع بدون جفت دوم | a a | صفحه تصویری (RP2) |
قاعده پایستگی مشخصه اولر در روش حذف (شاه‌اصل دکتر شاهزمانیان):
«در تمامی مراحل حذف مستقیم یا برش-الحاق، چون به ازای حذف هر جفت ضلع (e → e - 1)، دقیقاً یک رأس از مرز کاسته یا ادغام می‌گردد (v → v - 1) و وجه پیوسته می‌ماند، کمیت اولر-پوانکاره (χ = v - e + t) تا واپسین گام اکیداً ناوردا باقی می‌ماند.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.