فضای متریک با متر منفی (Negative Curvature Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک با متر منفی (Negative Curvature Metric Space) :
تعریف: یک فضای متریک با انحنای منفی، معمولا به خمینه های ریمانی با انحنای مقطعی منفی (یا نامثبت) اشاره دارد. مهم ترین مثال، فضای هذلولوی
\[ \mathbb{H}^n \]با انحنای ثابت منفی است. همچنین فضاهای با انحنای منفی در مفهوم الکساندرف (CAT(k) با k<0) نیز تعریف می شوند که شامل فضاهای هذلولوی گروماف نیز می شود.
فضای با انحنای مقطعی < ۰
مثال: فضای هذلولوی
\[ \mathbb{H}^n \]، سطوح با انحنای منفی
توضیح مفهومی: فضاهای با انحنای منفی (به معنای الکساندرف: "لاغر بودن" مثلثها) خواص هندسی بسیار جالبی دارند. در این فضاها، ژئودزیک ها از هم دور می شوند، حجم گوی ها سریع تر از اقلیدس رشد می کند، و قضایای مقایسه ای (مانند مقایسه رائوچ) برقرار است. این فضاها در نظریه گروه های هندسی (گروه های هذلولوی) و آنالیز هندسی اهمیت دارند.
ویژگی های اصلی:
در فضاهای با انحنای منفی، مجموع زاویه های مثلث کمتر از ۱۸۰ درجه است.
قضیه هادامار: اگر یک خمینه ریمانی کامل و ساده همبند با انحنای منفی باشد، آن گاه با
\[ \mathbb{R}^n \]دیفئومورف است (اما متریک متفاوت است).
در فضاهای با انحنای منفی، گروه بنیادین می تواند بسیار بزرگ باشد (برخلاف فضاهای با انحنای مثبت).
ژئودزیک ها در این فضاها به طور نمایی واگرا می شوند (خاصیت هذلولوی).
مثال های مهم: سطوح ریمانی با انحنای منفی (مانند سطوح از جنس > ۱)، خمینه های هذلولوی، درخت ها (به عنوان حالت حدی
\[ 0 \]-هذلولوی).
قضیه مقایسه رائوچ: در فضاهای با انحنای منفی، میدان های ژاکوبی (Jacobi fields) سریع تر رشد می کنند و ژئودزیک ها واگرا هستند.
قضیه موستو: خمینه های هذلولوی فشرده با بعد حداقل ۳، توسط گروه بنیادینشان تعیین می شوند (قضیه استحکام موستو).
کاربردها: فضاهای با انحنای منفی در هندسه دیفرانسیل، نظریه گروه های هندسی (گروه های هذلولوی گروماف)، دینامیک (روی فضاهای پیمانه)، و نسبیت عام (در نظریه تکینگی ها) کاربرد دارند.
فضاهای CAT(0): فضاهایی با انحنای نامثبت (≤0) که شامل فضاهای هادامار (Hadamard) نیز می شود. این فضاها در نظریه گروه های CAT(0) اهمیت دارند.
📌 مثال ساده:
صفحه هذلولوی (مدل دیسک پوانکاره) با متریک
\[ ds^2 = \frac{4|dz|^2}{(1-|z|^2)^2} \]. مثلثی با رئوس نزدیک به مرز: جمع زاویه ها می تواند به ۰ نزدیک شود.
یک سطح از جنس ۲ (چنبره دو سوراخ) با متریک هذلولوی.
