فصل یازدهم: فضای گشودگی و عدمِ تقید؛ منیفلدهای هادامارد و قضیه کارتان-هادامارد
موضوع: انحنای مقطعی نامثبت (K ≤ 0)، رفتار میدانهای ژاکوبیِ واگرا، قضیه Cartan–Hadamard و فضاهای منقبضپذیر (Contractible)
چو انحنا به سویِ نفی رهسپار شود،
حصارِ تنگیِ صورت ز تن فرار شود.
روان به ساحتِ بیانتهایِ هادامارد،
که هر خطوطِ موازی از آن غبار شود.
بخش نخست: تعریف فضای هادامارد (Hadamard Manifold)
اگر در فضای با انحنای مثبت، همهچیز میل به بسته شدن و رسیدن به نقطهٔ کمالِ کروی داشت، در فضای با انحنای نامثبت، فضا از هرگونه تکینگیِ بازتابی و نقطهٔ مزدوج پاک میشود.
یک منیفلدِ ریمانیِ (M, g) را منیفلد هادامارد (یا فضای کارتان-هادامارد) مینامند، هرگاه سه شرط زیر برقرار باشد:
- کامل باشد (از منظر متریک، تمام ژئودزیکها برای تمام زمانهای
چو انحنا به سویِ نفی رهسپار شود،
حصارِ تنگیِ صورت ز تن فرار شود.
روان به ساحتِ بیانتهایِ هادامارد،
که هر خطوطِ موازی از آن غبار شود.
بخش نخست: تعریف فضای هادامارد (Hadamard Manifold)
اگر در فضای با انحنای مثبت، همهچیز میل به بسته شدن و رسیدن به نقطهٔ کمالِ کروی داشت، در فضای با انحنای نامثبت، فضا از هرگونه تکینگیِ بازتابی و نقطهٔ مزدوج پاک میشود.
یک منیفلدِ ریمانیِ (M, g) را منیفلد هادامارد (یا فضای کارتان-هادامارد) مینامند، هرگاه سه شرط زیر برقرار باشد:
- کامل باشد (از منظر متریک، تمام ژئودزیکها برای تمام زمانهای t ∈ ℝ تعریف شده باشند).
- سادههمبند باشد (π1(M) =="ltr" style="text-align: center; font-family: Georgia, 'Times New Roman', serif; font-size: 18px; margin: 10px 0;">
expp : TpM → M
یک دیفئومورفیسم سراسری (Global Diffeomorphism) است.
نتیجه توپولوژیک: چون فضای مماس TpM همارز با فضای اقلیدسی ℝn است، پس هر منیفلد هادامارد لزوماً دیفئومورف با ℝn خواهد بود. در نتیجه:
- منیفلد هادامارد منقبضپذیر (Contractible) است.
- تمام گروههای هموتوپی بالاتر آن صفر هستند: πk(M) = 0 برای هر k ≥ 1.
- هیچ زیرمنیفلد فشردهٔ بسته بدون مرز در آن نمیتواند ژئودزیک باشد.
بخش سوم: واگرایی ژئودزیکها و تحدب فاصله
نمونهٔ بارز و اعلای منیفلدهای هادامارد، فضای هذلولوی (Hyperbolic Space, ℍn) با انحنای ثابت منفی K = -1 است.
در این فضاها، فاصله میان دو ژئودزیک با سرعت نمایی رشد میکند:
d(γ1(t), γ2(t)) ≥ c · e√|K| t
این واگرایی نمایی، پایه و اساس نظریه «سیستمهای دینامیکی آشوبناک»، جریانهای ژئودزیک با ویژگی آنوسوف (Anosov Flow) و آنتروپی توپولوژیک مثبت است.
بخش چهارم: فرجام حکمی؛ سلوک در ساحت بیکرانگی
«انحنای منفی، شرحِ تجرید و فراغت از تنگیِ تعینات است.»
اگر انحنای مثبت تمثیل «حضور و تجمیع در نقطهٔ وحدت» بود، انحنای منفی جلوهگر «بسط و تجرد از قیدِ تعینات» است. در فضای هادامارد، هیچ دو سالکی بر یک مدار بسته تکرار نمیشوند؛ هر ژئودزیک، آغازی است بر هجرتی ابدی بدون بازگشت به نقطهٔ پیشین.
اینجا ساحتِ اطلاق است؛ نگاشت نمایی همهٔ فضای مماس را بیهیچ شکستی در بر میگیرد و منیفلد به گسترهٔ بیمرزِ ℝn بدل میشود، تا نشان دهد رهایی از تنگی، با نفیِ خودبینی (انحنای منفی) آغاز میگردد.
نتیجه و گام پسین
با بررسی قضایای هادامارد، دو سرِ طیفِ انحنا (مثبتِ فشرده و منفیِ گسترده) روشن شد. اکنون برای تکمیل ساختار ریمانی، میتوانیم به بررسی «قضیه مشهور گاوس-بونه (Gauss–Bonnet Theorem)» و تعمیمهای ابعادی آن در منیفلدهای بسته بپردازیم تا پیوند نهایی تانسور انحنا با مشخصه اویلر را به تماشا بنشینیم.
واژگان کلیدی:
منیفلد هادامارد، قضیه کارتان-هادامارد، انحنای مقطعی منفی، نگاشت نمایی، عدم وجود نقاط مزدوج، منقبضپذیر (Contractible)، فضای هذلولوی.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.