اثبات ناوردایی مشخصه اولر (χ) تحت عملیاتِ زیربخش‌سازی — استاد دکتر مصطفی شاهزمانیان
باسمه تعالی. یکی از پرسش‌های بنیادین در توپولوژیِ محاسباتی، چگونگیِ بقای عددِ اولر-پوانکاره است. در برگه ۴۲، استاد عالی‌قدر با استفاده از نمودارِ ترسیمیِ «اضافه کردنِ یک رأس جدید در درون یک مثلث»، این ناوردایی را به زیبایی به اثبات می‌رسانند.
تحلیل محاسباتی:
فرض کنید مثلثی با v=3 رأس، e=3 یال و t=1 وجه داریم. مقدار مشخصه اولر آن برابر است با:
χ = 3 - 3 + 1 = 1
حال اگر یک رأس جدید (v') در درون مثلث قرار دهیم و آن را به سه رأسِ مثلث متصل کنیم، چه رخ می‌دهد؟
- تعداد رئوس: v = 3 + 1 = 4
- تعداد یال‌ها: e = 3 + 3 = 6
- تعداد وجوه: t = 1 + 2 = 3
با جای‌گذاری در فرمول:
χ = 4 - 6 + 3 = 1
نتیجه اخلاقی و علمی:
"مشخصه اولر در برابر هرگونه زیربخش‌سازی (Subdivision) مقاوم و ناورداست."
این نتیجه، ستونِ فقراتِ نظریه ماست؛ چرا که به ما اطمینان می‌دهد مقدار χ که برای یک چندضلعی محاسبه می‌کنیم، وابسته به نحوه ترسیم و شبکه‌بندی آن نیست، بلکه ذاتیِ خودِ سطح است.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.