فضای متریک القاشده از متر فوبینی-استادی روی فضای تصویری (Fubini-Study Metric on Projective Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک القاشده از متر فوبینی-استادی روی فضای تصویری (Fubini-Study Metric on Projective Space) :
تعریف: متریک فوبینی-استادی (Fubini-Study metric) متریک طبیعی روی فضای تصویری مختلط
\[ \mathbb{C}P^n \]است. این متریک از ضرب داخلی روی فضای هیلبرت
\[ \mathbb{C}^{n+1} \]ناشی می شود و تنها متریک روی
\[ \mathbb{C}P^n \]است که تحت عمل گروه یکانی
\[ U(n+1) \]ناورداست.
\[ ds^2 = \frac{(1+|z|^2)|dz|^2 - |\bar{z} dz|^2}{(1+|z|^2)^2} \]در مختصات موضعی.
فاصله:
\[ d([x], [y]) = \arccos \frac{|\langle x, y \rangle|}{\|x\|\|y\|} \].
توضیح مفهونی: این متریک به نام دو ریاضیدان، گویدو فوبینی و ادوارد استادی، نامگذاری شده است. فضای
\[ \mathbb{C}P^n \]با این متریک یک خمینه کیلر (Kähler manifold) با انحنای مقطعی مثبت است. این فضا نقش اساسی در هندسه جبری، فیزیک نظری (خصوصا نظریه ریسمان)، و هندسه مختلط دارد.
ویژگی های اصلی:
ناوردایی یکانی: متریک تحت عمل گروه
\[ U(n+1) \]روی
\[ \mathbb{C}P^n \]ناورداست.
خمینه کیلر: این متریک با ساختار مختلط
\[ \mathbb{C}P^n \]سازگار است و یک فرم سیمپلکتیک نیز القا می کند.
انحنای مقطعی: انحنای مقطعی این فضا بین
\[ 1 \]و
\[ 4 \]قرار دارد (برای
\[ n=1 \]،
\[ \mathbb{C}P^1 \cong S^2 \]با انحنای ثابت ۴).
ژئودزیک ها: ژئودزیک ها در این فضا تصویر خطوط مختلط در
\[ \mathbb{C}^{n+1} \]هستند.
فاصله: فاصله بین دو نقطه
\[ [z] \]و
\[ [w] \]در
\[ \mathbb{C}P^n \]برابر
\[ \arccos \frac{|\langle z, w \rangle|}{\|z\|\|w\|} \]است.
کاربردها: این متریک در هندسه جبری (برای مطالعه خمینه های کیلر)، فیزیک نظری (نظریه میدان های همدیس، نظریه ریسمان)، اطلاعات کوانتومی (هندسه حالت های کوانتومی)، و هندسه دیفرانسیل کاربرد دارد.
📌 مثال ساده:
در
\[ \mathbb{C}P^1 \]، دو نقطه
\[ [1:0] \]و
\[ [0:1] \](قطب های کره) فاصله شان برابر
\[ \arccos(0) = \pi/2 \]است.
