فضای متریک تصویری مختلط (Complex Projective Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک تصویری مختلط (Complex Projective Space) :
تعریف: فضای تصویری مختلط
\[ \mathbb{C}P^n \]، مجموعه همه خطوط مختلط (یک بعدی) در
\[ \mathbb{C}^{n+1} \]است. این فضا یک خمینه مختلط فشرده از بعد مختلط
\[ n \]است. متریک طبیعی روی آن متریک فوبینی-استادی (Fubini-Study metric) است که یک متریک کیلر (Kähler) با انحنای مقطعی مثبت است.
\[ \mathbb{C}P^n = (\mathbb{C}^{n+1} \setminus \{0\}) / \mathbb{C}^* \]متریک فوبینی-استادی:
\[ ds^2 = \frac{(1+|z|^2)|dz|^2 - |\bar{z} dz|^2}{(1+|z|^2)^2} \]در مختصات موضعی
توضیح مفهومی: فضای تصویری مختلط یکی از مهم ترین فضاها در هندسه، توپولوژی، و فیزیک ریاضی است. این فضا یک خمینه کیلر فشرده با انحنای مثبت است و نقش اساسی در هندسه جبری (چون خمینه های جبری تصویری زیرخمینه های آن هستند) و نظریه ریسمان (به عنوان مثال ساده ای از فضاهای کالابی-یائو) دارد.
ویژگی های اصلی:
فشردگی:
\[ \mathbb{C}P^n \]یک فضای فشرده است.
همبندی ساده:
\[ \pi_1(\mathbb{C}P^n) = 0 \](برای
\[ n \geq 1 \]).
گروه هوموتوپی:
\[ \pi_2(\mathbb{C}P^n) \cong \mathbb{Z} \].
متریک کیلر: متریک فوبینی-استادی یک متریک کیلر با انحنای مقطعی بین
\[ 1 \]و
\[ 4 \]است.
ژئودزیک ها: تصویر خطوط مختلط در
\[ \mathbb{C}^{n+1} \].
گروه ایزومتری:
\[ PU(n+1) \](گروه تصویری یکانی).
مختصات همگن: نقطه ای در
\[ \mathbb{C}P^n \]با مختصات همگن
\[ [z_0:z_1:\cdots:z_n] \]نمایش داده می شود که
\[ (z_0, ..., z_n) \neq (0, ..., 0) \]و با ضرب در یک اسکالر مختلط غیرصفر شناسایی می شود.
قضایای مهم:
قضیه لبگ-برگر: هر متریک کیلر روی
\[ \mathbb{C}P^n \]با انحنای مثبت، با متریک فوبینی-استادی متناسب است (تحت شرایطی).
قضیه چو-یائو: وجود متریک کیلر-اینشتین روی
\[ \mathbb{C}P^n \].
کاربردها:
\[ \mathbb{C}P^n \]در هندسه جبری (به عنوان فضای پایه برای خمینه های جبری)، توپولوژی جبری (برای محاسبه گروه های کوهمولوژی)، فیزیک (نظریه میدان های پیمانه ای، نظریه ریسمان)، و اپتیک (در مدل سازی قطبش نور) کاربرد دارد.
📌 مثال ساده:
\[ \mathbb{C}P^1 \]با کره ریمان
\[ S^2 \]یکریخت است. متریک فوبینی-استادی روی آن برابر
\[ ds^2 = \frac{4|dz|^2}{(1+|z|^2)^2} \]است که متریک کروی با انحنای ثابت ۴ را القا می کند (با شعاع
\[ 1/2 \]).
