فضای متریک روی خمینه ها (Manifolds Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک روی خمینه ها (Manifolds 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) مانند
\[ \mathbb{C}P^n \].
کاربردها: خمینه های ریمانی در نسبیت عام (برای مدل سازی فضا-زمان)، فیزیک نظری (نظریه ریسمان)، بینایی کامپیوتر (برای آنالیز اشکال)، یادگیری ماشین (یادگیری روی خمینه ها)، و آنالیز هندسی کاربرد دارند.
📌 مثال ساده:
\[ S^2 \]با متریک کروی: فاصله بین دو نقطه برابر طول کمان دایره بزرگ (ژئودزیک) بین آنهاست. مثلا فاصله قطب شمال و جنوب برابر
\[ \pi \]است.
