فضای متریک روی فضای تصویری حقیقی (Real Projective Space Metric)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک روی فضای تصویری حقیقی (Real Projective Space Metric) :
تعریف: فضای تصویری حقیقی
\[ \mathbb{R}P^n \]از شناسایی نقاط متقابل روی کره
\[ S^n \]به دست می آید:
\[ \mathbb{R}P^n = S^n / \{ \pm 1\} \]. متریک روی آن از متریک کروی القا می شود و به صورت
\[ d([x], [y]) = \min(\arccos|\langle x, y \rangle|, \pi - \arccos|\langle x, y \rangle|) \]تعریف می گردد.
\[ \mathbb{R}P^n = S^n / \{ \pm 1\} \] \[ d([x], [y]) = \min(\arccos|\langle x, y \rangle|, \pi - \arccos|\langle x, y \rangle|) \]توضیح مفهونی: فضای تصویری حقیقی یک خمینه فشرده از ابعاد
\[ n \]است. برای
\[ n=1 \]،
\[ \mathbb{R}P^1 \]با
\[ S^1 \]یکریخت است. برای
\[ n=2 \]،
\[ \mathbb{R}P^2 \]صفحه تصویری حقیقی است که یک خمینه فشرده غیرجهت پذیر است. این فضاها در هندسه، توپولوژی جبری، و فیزیک (نظریه میدان های پیمانه ای) اهمیت دارند.
ویژگی های اصلی:
فشردگی:
\[ \mathbb{R}P^n \]یک فضای متریک فشرده است.
گروه بنیادین: برای
\[ n \geq 2 \]،
\[ \pi_1(\mathbb{R}P^n) = \mathbb{Z}_2 \].
جهت پذیری:
\[ \mathbb{R}P^n \]برای
\[ n \]فرد جهت پذیر و برای
\[ n \]زوج غیرجهت پذیر است.
متریک: متریک القایی از کره دارای انحنای مقطعی بین
\[ 1 \]و
\[ 4 \]است.
ژئودزیک ها: تصویر ژئودزیک های کره هستند. اگر طول ژئودزیک کمتر از
\[ \pi/2 \]باشد، یکتا است.
قطر:
\[ \pi/2 \].
کاربردها: فضای تصویری حقیقی در هندسه (به عنوان مثال فضای با انحنای مثبت)، توپولوژی جبری (برای مطالعه گروه های کوهمولوژی)، فیزیک (نظریه میدان های پیمانه ای، نسبیت عام)، و بینایی کامپیوتر (برای نمایش جهت ها) کاربرد دارد.
📌 مثال ساده:
\[ \mathbb{R}P^1 \]با
\[ S^1 \]یکریخت است.
\[ \mathbb{R}P^2 \]صفحه تصویری است که با چسباندن یک دیسک به یک نوار موبیوس ساخته می شود.
