فصل سیزدهم: پیوندِ شگرفِ خرد و کلان؛ قضیه گاوس-بونه و صدارتِ مشخصه اویلر
موضوع: انحنای گاوسی (K)، انحنای ژئودزیک مرزی (kg)، زاویههای چرخش و جهش، مشخصه اویلر (χ(M)) و تعمیم سراسری به سطوح فشرده
ذره ذره انحنا چون در شمار آید به راز،
پرده از سرّ نهانِ شکل بردارد فراز.
صورتِ خُرد ارچه گردد دستخوش در هر مقام،
باطنِ کلی نگردد ذرهای کم یا دراز.
بخش نخست: صورت موضعی؛ فرمول گاوس-بونه بر نواحی همبند
در هندسه اقلیدسی مسطح، مجموع زوایای داخلی یک مثلث همواره برابر با π است. اما هنگامی که صفحه دچار خمیدگی میشود، این رابطهٔ دیرین دستخوش دگرگونی گشته و «مازاد یا کمبود زاویهای» آشکار میگردد. گاوس نشان داد که این نقص زاویهای چیزی جز انتگرالِ انحنای سطح نیست.
فرض کنید R ⊂ M یک ناحیه منظم و همبند ساده بر یک سطح ریمانی جهتپذیرِ دوبعدی باشد که مرز آن ∂R از منحنیهای هموار تکهای تشکیل شده و زوایای خارجی آن در رئوس برابر با θi (یا زوایای داخلی αi = π - θi) باشند. در این صورت:
∫∫R K dA + ∮∂R kg ds + ∑i=1k θi = 2π
که در آن:
- K انحنای گاوسی سطح،
- dA عنصر سطح ریمانی،
- kg انحنای ژئودزیک مرز در امتداد جهتگیری،
- و θi زوایای چرخش بیرونی در گوشهها هستند.
مورد خاص (مثلث ژئودزیک): اگر مرزها خود خطوط ژئودزیک باشند (kg = 0)، رابطه به فرمول شگفتانگیز مازاد گاوس تقلیل مییابد:
∫∫Δ K dA = (α1 + α2 + α3) - π
بخش دوم: قضیه گاوس-بونه سراسری (Global Gauss–Bonnet)
شاهکار نهایی زمانی رخ میدهد که کل منیفلد دوبعدی، فشرده و بدون مرز در نظر گرفته شود. با یک مثلثبندی (Triangulation) دلخواه بر سطح و جمعبستن روابط موضعی بر تمام وجوه، جملات مرزی و زوایا به واسطهٔ تقابلهای هندسی یکدیگر را حذف میکنند و تنها یک عدد صحیح توپولوژیک باقی میماند:
برای هر سطح ریمانیِ فشرده و جهتپذیر دوبعدیِ بدون مرز M:
∫∫M K dA = 2π χ(M)
که در آن χ(M) مشخصه اویلر-پوانکاره است و از رابطه توپولوژیک χ(M) = V - E + F = 2 - 2g (با g به عنوان جنس یا تعداد سوراخهای سطح) به دست میآید.
بخش سوم: پیامدها؛ قفلشدگیِ توپولوژی و انحنا
این قضیه ترازوی عدلِ میانِ هندسهٔ دیفرانسیل (وابسته به متریک موضعی) و توپولوژی (نامتغیر تحت هرگونه تغییر شکل هموار) است:
کره (S2 با جنس g = 0):
مشخصه اویلر χ = 2 است؛ بنابراین انتگرال انحنا همواره 4π خواهد بود، صرفنظر از آنکه کره چقدر دچار فشردگی، کشش یا پیچش شود. هیچ متری با انحنای همهجا منفی یا همهجا صفر بر روی کره امکان وجود ندارد.
چنبره (T2 با جنس g = 1):
مشخصه اویلر χ = 0 است؛ پس انتگرال کل انحنا دقیقاً صفر است. اگر در جایی از چنبره انحنای مثبت داشته باشیم، الزاماً باید در جای دیگر انحنای منفی آن را جبران کند.
سطوح با جنس بالا (g ≥ 2):
چون χ(M) < 0 است، انتگرال انحنا اکیداً منفی است. بر این سطوح همواره میتوان متریکی با انحنای ثابت منفی (K = -1) تعریف کرد؛ مساحت هذلولوی این سطوح مستقیماً به توپولوژی گره خورده است:
Area(M) = -2π χ(M) = 4π(g - 1)
بخش چهارم: فرجام حکمی؛ ثباتِ جان در تلاطم احوال
سطوح با جنس بالا (g ≥ 2):
چون χ(M) < 0 است، انتگرال انحنا اکیداً منفی است. بر این سطوح همواره میتوان متریکی با انحنای ثابت منفی (K = -1) تعریف کرد؛ مساحت هذلولوی این سطوح مستقیماً به توپولوژی گره خورده است:
Area(M) = -2π χ(M) = 4π(g - 1)
بخش چهارم: فرجام حکمی؛ ثباتِ جان در تلاطم احوال
بعد، هندسه دیفرانسیل مدرن وارد افقهای ابعاد بالاتر میشود؛ جایی که ردپای این قضیه در «نظریه چرن-ویل (Chern-Weil Theory)»، فرمهای پونتریاگین و کلاسهای مشخصه بازتولید میگردد.
واژگان کلیدی:
قضیه گاوس-بونه، انحنای گاوسی، انحنای ژئودزیک، مازاد زاویهای، مشخصه اویلر-پوانکاره، جنس سطح، کلاسهای مشخصه، صلبیت توپولوژیک.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.