فضای متریک با متر مثبت (Positive Curvature Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک با متر مثبت (Positive Curvature Metric Space) :
تعریف: یک فضای متریک با انحنای مثبت، معمولا به خمینه های ریمانی با انحنای مقطعی مثبت (یا نامثبت) اشاره دارد. مهم ترین مثال، کره
\[ S^n \]با انحنای ثابت مثبت است. همچنین فضاهای با انحنای مثبت در مفهوم الکساندرف (CBB(k) با k>0) نیز تعریف می شوند.
فضای با انحنای مقطعی > ۰
مثال: کره
\[ S^n \]، فضای تصویری
\[ \mathbb{R}P^n \]با متریک کروی
توضیح مفهومی: فضاهای با انحنای مثبت (به معنای الکساندرف: "چاق بودن" مثلثها) خواص هندسی متفاوتی با فضاهای تخت یا منفی دارند. در این فضاها، ژئودزیک ها به هم نزدیک می شوند، حجم گوی ها کندتر از اقلیدس رشد می کند، و قضایای مقایسه ای (مانند مقایسه توپونوگف) برقرار است.
ویژگی های اصلی:
در فضاهای با انحنای مثبت، مجموع زاویه های مثلث بیشتر از ۱۸۰ درجه است.
قضیه سینیتس: اگر یک خمینه ریمانی فشرده و ساده همبند با انحنای مثبت باشد، آن گاه هومئومورف با کره است؟ خیر، مثال های نقض وجود دارد (مانند فضای تصویری مختلط).
قضیه بوننه-میرز: اگر انحنای ریچی یک خمینه ریمانی کامل از یک ثابت مثبت بزرگتر باشد، آن گاه خمینه فشرده است و قطر آن محدود است.
فضاهای با انحنای مثبت می توانند گروه بنیادین متناهی داشته باشند (برخلاف فضاهای با انحنای منفی که گروه بنیادین می تواند بزرگ باشد).
مثال های مهم: کره ها، فضاهای تصویری (حقیقی، مختلط، کواترنیونی)، صفحه کیلی (Cayley plane).
قضیه مقایسه توپونوگف: در فضاهای با انحنای مثبت (CBB(k))، زاویه ها از زاویه های متناظر در فضای مدل
\[ M_k \](کره) بزرگتر هستند.
قضیه لا: هیچ متریک با انحنای مقطعی مثبت روی چنبره
\[ T^n \]وجود ندارد.
کاربردها: فضاهای با انحنای مثبت در هندسه دیفرانسیل، توپولوژی (برای مطالعه خمینه های با انحنای مثبت)، نسبیت عام (در نظریه تکینگی ها)، و فیزیک نظری کاربرد دارند.
مثال های دیگر: حاصلضرب واربول (warped product) کره ها می تواند انحنای مثبت داشته باشد. همچنین برخی از فضاهای همگن مانند
\[ SU(3)/T^2 \]انحنای مثبت دارند.
📌 مثال ساده:
کره
\[ S^2 \]با انحنای ثابت ۱. مثلثی با رئوس روی استوا و قطب شمال: جمع زاویه ها = ۹۰+۹۰+۹۰ = ۲۷۰ درجه > ۱۸۰.
