فضای متریک فوبینی-استادی (Fubini-Study Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک فوبینی-استادی (Fubini-Study Metric Space) :
تعریف: متریک فوبینی-استادی (Fubini-Study Metric) یک متریک ریمانی روی فضای تصویری مختلط
\[ \mathbb{C}P^n \]است. این متریک از ضرب داخلی روی فضای هیلبرت
\[ \mathbb{C}^{n+1} \]ناشی می شود و تنها متریک روی
\[ \mathbb{C}P^n \]است که تحت عمل گروه یکانی
\[ U(n+1) \]ناورداست. فرم این متریک در مختصات همگن
\[ [z_0:z_1:\cdots:z_n] \]به صورت زیر است:
\[ ds^2 = \frac{(\sum_i \bar{z}_i dz_i)(\sum_j z_j d\bar{z}_j) - (\sum_i \bar{z}_i z_i)(\sum_j dz_j d\bar{z}_j)}{(\sum_i |z_i|^2)^2} \]توضیح مفهومی: این متریک به نام دو ریاضیدان، گویدو فوبینی و ادوارد استادی، نامگذاری شده است. فضای
\[ \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 \]:
\[ \mathbb{C}P^1 \]با کره
\[ S^2 \]هم ریخت است و متریک فوبینی-استادی روی آن برابر
\[ ds^2 = \frac{4|dz|^2}{(1+|z|^2)^2} \]است (با
\[ z = x+iy \]مختصات موضعی). این همان متریک کروی با انحنای ثابت ۴ است.
ارتباط با مکانیک کوانتومی: فضای حالت های خالص یک سیستم کوانتومی با بعد
\[ n+1 \]، همان
\[ \mathbb{C}P^n \]است (با حذف فاز کلی). متریک فوبینی-استادی فاصله بین حالت های کوانتومی را اندازه می گیرد و با وفاداری کوانتومی ارتباط دارد.
کاربردها: این متریک در هندسه جبری (برای مطالعه خمینه های کیلر)، فیزیک نظری (نظریه میدان های همدیس، نظریه ریسمان)، اطلاعات کوانتومی (هندسه حالت های کوانتومی)، و هندسه دیفرانسیل کاربرد دارد.
حجم و فرم کیلر: فرم کیلر متناظر با این متریک، فرم فوبینی-استادی نام دارد و نشان دهنده کلاس همولوژی اساسی
\[ \mathbb{C}P^n \]است.
📌 مثال ساده:
در
\[ \mathbb{C}P^1 \]، دو نقطه
\[ [1:0] \]و
\[ [0:1] \](قطب های کره) فاصله شان برابر
\[ \arccos(0) = \pi/2 \]است.
\[ [1:0] \]و
\[ [1:1] \]:
\[ |\langle (1,0), (1,1) \rangle| = 1 \]،
\[ \|(1,0)\|=1 \]،
\[ \|(1,1)\|=\sqrt{2} \]، فاصله
\[ = \arccos(1/\sqrt{2}) = \pi/4 \].
