اثبات ناوردایی مشخصه اولر تحت تقسیمات ریزتر و نقطه گرانیگاهی (Barycentric Subdivision)
مبتنی بر اوراق تدریس و کرسی درس استاد: دکتر مصطفی شاهزمانیان (صفحات ۳۴ تا ۴۲)
دیباچه: سپاس و ستایش معمارِ بی‌همتای آفرینش را که نظمِ ذات را در هندسه و حقیقتِ بقا را در ناورداهای توپولوژیک به ودیعت نهاد. بر سالک طریق ریاضیات مبرهن است که مشخصه اولر (χ = v - e + t) گوهری است دگرگونی‌ناپذیر؛ هرچند ابعادِ اشکال خرد گردند و مثلث‌ها بر یکدیگر افزوده شوند، ذاتِ این ناوردا از هر گزند و تغییری مصون و برقرار می‌ماند.
۱. تعریف نقطه گرانیگاهی (Barycenter / مرکز ثقل) — برگه‌های ۳۴ و ۴۲:
نقطه گرانیگاهی در یک سیمپلکس (مثلث) یا سادک n-بعدی، نقطه ثقلی است که از میانگین وزنی رئوس حاصل می‌گردد:
در مثلث با رئوس a0, a1, a2: G = (1 / 3) × (a0 + a1 + a2)
به طور کلی در سادک n-بعدی: G = (1 / (n + 1)) × ∑i=0..n ai
۲. تحلیل جبری رفتار مشخصه اولر در ریزسازی مثلث (Subdivision Invariance):
هرگاه در بطن یک وجه مثلثی، نقطه گرانیگاهی G را قرار داده و آن را به رئوس سه‌گانه متصل نماییم (تقسیم یک مثلث به سه مثلث خردتر):
| عنصر هندسی | قبل از تقسیم | بعد از تقسیم (ایجاد نقطه G) | تفاضل تغییرات (Δ) |
|---|---|---|---|
| تعداد رئوس (Vertices) | v | v' = v + 1 | +1 |
| تعداد یال‌ها (Edges) | e | e' = e + 3 | +3 |
| تعداد وجوه (Triangles) | t | t' = t - 1 + 3 = t + 2 | +2 |
محاسبه ناوردایی:
χ' = v' - e' + t' = (v + 1) - (e + 3) + (t + 2) = v - e + t + (1 - 3 + 2) = v - e + t = χ
نتیجه: مشخصه اولر دقیقاً ثابت و نامتغیر باقی می‌ماند.
۳. ضوابط مثلث‌بندی معتبر (صحیح در برابر غلط — برگه‌های ۳۵ و ۳۶):
طبق قواعد تدریس‌شده توسط استاد شاهزمانیان، در یک مثلث‌بندی مجاز (Valid Triangulation):
• اشتراک هر دو مثلث متمایز یا تهی است، یا یک رأس منفرد مشترک، و یا یک یال مشترک کامل.
• وجود رأسی از یک مثلث در میانه یال مثلث دیگر بدون اتصال کامل، تقسیم ناصحیح (غلط) شمرده شده و تا زمان تکمیل یال‌ها، مجتمع سادکی تعریف نمی‌شود.
۴. تطابق کلمات مرزی در شبکه ریزسازی (برگه ۳۷):
در تحلیل کلمه مرزی یک سطح مشبک (مانند چنبره با کلمه a b c d e f c-1 b-1 a-1 f e-1 d-1)، با حذف یال‌های داخلی و انقباض درخت پوشا، تقلیل کامل به فرم کانونیکال X Y X-1 Y-1 حاصل می‌آید که گواه هم‌ارزی توپولوژیک آن با T2 است.
ثمره علمی: بدین ترتیب اثبات گردید که مشخصه اولر به نحوه انتخاب مثلث‌بندی وابسته نبوده و ناوردای توپولوژیک اصیل فضا است.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.