فضای متریک با متر ثابت (Metric Space with Constant Curvature)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک با متر ثابت (Metric Space with Constant Curvature) :
تعریف: یک فضای متریک با انحنای مقطعی ثابت (در چارچوب خمینه های ریمانی) فضایی است که در آن انحنای مقطعی در همه جهات و همه نقاط یک مقدار ثابت
\[ K \]دارد. این فضاها شامل سه مدل اصلی هستند: فضای اقلیدسی (
\[ K=0 \])، کره (
\[ K > 0 \])، و فضای هذلولوی (
\[ K < 0 \]).
انحنای مقطعی ثابت
\[ K \]:
\[ K=0 \]: فضای اقلیدسی
\[ \mathbb{R}^n \] \[ K > 0 \]: کره
\[ S^n \]با شعاع
\[ 1/\sqrt{K} \] \[ K < 0 \]: فضای هذلولوی
\[ \mathbb{H}^n \]با انحنای
\[ K \]توضیح مفهومی: فضاهای با انحنای ثابت، ساده ترین و متقارن ترین فضاهای هندسی هستند. آنها نقش اساسی در هندسه، توپولوژی، و فیزیک دارند. هر یک از این فضاها یک گروه ایزومتری بزرگ دارد (گروه اقلیدسی، گروه متعامد، گروه لورنتسی).
ویژگی های اصلی:
این فضاها همگن (homogeneous) و همسانگرد (isotropic) هستند: از دید هر نقطه، فضا یکسان به نظر می رسد.
آنها فضاهای متقارن (symmetric spaces) از نوع رتبه ۱ هستند.
ژئودزیک ها در این فضاها به سادگی قابل توصیف هستند (خطوط راست، کمان های دایره بزرگ، و ...).
قضیه طبقه بندی: هر خمینه ریمانی همبند و کامل با انحنای ثابت، به صورت موضعی با یکی از این سه مدل یکریخت است.
اگر خمینه علاوه بر این، به طور ساده همبند باشد، با مدل جهانی (کره، صفحه، یا فضای هذلولوی) یکریخت است.
فضای اقلیدسی
\[ \mathbb{R}^n \](
\[ K=0 \]): هندسه آشنای خطوط موازی، جمع زاویه مثلث ۱۸۰ درجه.
کره
\[ S^n \](
\[ K>0 \]): هندسه بسته، خطوط موازی وجود ندارند (ژئودزیک ها به هم می رسند)، جمع زاویه مثلث > ۱۸۰ درجه.
فضای هذلولوی
\[ \mathbb{H}^n \](
\[ K<0 \]): هندسه باز، از هر نقطه خارج از یک خط بی نهایت خط موازی می گذرد، جمع زاویه مثلث < ۱۸۰ درجه.
کاربردها: این فضاها در هندسه دیفرانسیل، توپولوژی (برای ساخت خمینه های پوششی)، نظریه گروه ها (به عنوان فضاهای متقارن)، نسبیت عام (فضاهای با انحنای ثابت به عنوان جواب های معادلات اینشتین)، و کیهان شناسی (مدل های جهان با انحنای ثابت) کاربرد دارند.
خمینه های فضایی (Space forms): خمینه های ریمانی با انحنای ثابت را خمینه های فضایی (space forms) می نامند.
📌 مثال ساده:
کره
\[ S^2 \]با انحنای ثابت ۱. مثلثی روی کره با رئوس روی استوا و قطب شمال: جمع زاویه ها بیشتر از ۱۸۰ درجه است.
صفحه
\[ \mathbb{R}^2 \]با انحنای صفر.
