فضای متریک ریمان (Riemannian Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک ریمان (Riemannian Metric Space) :
تعریف: یک خمینه ریمانی (Riemannian manifold) یک خمینه هموار
\[ M \]همراه با یک متریک ریمانی
\[ g \]است که در هر نقطه
\[ p \in M \]یک ضرب داخلی روی فضای مماس
\[ T_pM \]تعریف می کند. این متریک یک ساختار هندسی موضعا اقلیدسی (با انحنا) روی خمینه ایجاد می کند. فاصله بین دو نقطه روی خمینه به صورت اینفیموم طول منحنی های هموار بین آنها تعریف می شود:
\[ d(p, q) = \inf\{ L(\gamma) : \gamma(0)=p, \gamma(1)=q \} \] \[ L(\gamma) = \int_0^1 \sqrt{g_{\gamma(t)}(\dot{\gamma}(t), \dot{\gamma}(t))} dt \]توضیح مفهومی: هندسه ریمانی که توسط برنهارت ریمان در قرن نوزدهم بنیان گذاری شد، تعمیم طبیعی هندسه اقلیدسی و هندسه های نااقلیدسی (هذلولوی و بیضوی) به فضاهای با انحنای متغیر است. این فضاها نقش اساسی در نسبیت عام اینشتین، هندسه دیفرانسیل، و آنالیز هندسی دارند.
ویژگی های اصلی:
خمینه های ریمانی فضاهای طولی (length spaces) و ژئودزیکی (تحت شرایط کامل بودن) هستند.
اگر خمینه کامل باشد (قضیه هوپف-رینوف)، بین هر دو نقطه یک ژئودزیک مینیمال کننده وجود دارد.
انحنای مقطعی (sectional curvature) اطلاعاتی درباره هندسه موضعی فضا می دهد.
متریک ریمانی یک ساختار حجم (فرم حجم ریمانی) نیز القا می کند.
خمینه های ریمانی با انحنای ثابت (اقلیدسی، کروی، هذلولوی) مهم ترین مثال ها هستند.
مثال های مهم:
فضای اقلیدسی
\[ \mathbb{R}^n \]: با متریک
\[ g_{ij} = \delta_{ij} \].
کره
\[ S^n \]: با متریک القایی از
\[ \mathbb{R}^{n+1} \].
فضای هذلولوی
\[ \mathbb{H}^n \]: با متریک
\[ ds^2 = \frac{dx_1^2 + \cdots + dx_n^2}{x_n^2} \](مدل نیم فضای بالایی).
چنبره
\[ T^n \]: با متریک تخت.
خمینه های کیلر (Kähler): خمینه های مختلط با متریک سازگار با ساختار مختلط.
قضایای مهم:
قضیه هوپف-رینوف: برای یک خمینه ریمانی همبند، کامل بودن متریک معادل با این است که هر دنباله کوشی همگرا باشد و همچنین معادل با این است که هر گوی بسته فشرده باشد.
قضیه گاوس-بونه: ارتباط بین انحنای گاوسی و ویژگی های توپولوژیک خمینه.
قضیه نمیر (Nash embedding theorem): هر خمینه ریمانی را می توان به طور ایزومتریک در یک فضای اقلیدسی با بعد کافی بالا نشاند.
کاربردها: خمینه های ریمانی در نسبیت عام (برای مدل سازی فضا-زمان)، فیزیک نظری (نظریه ریسمان)، بینایی کامپیوتر (برای آنالیز اشکال)، یادگیری ماشین (یادگیری روی خمینه ها)، و آنالیز هندسی کاربرد دارند.
📌 مثال ساده:
کره
\[ S^2 \]با متریک القایی. فاصله بین دو نقطه برابر طول کمان دایره بزرگ (ژئودزیک) بین آنهاست. مثلا فاصله قطب شمال و جنوب برابر
\[ \pi \]است.
