فضای متریک با متر انیشتین (Einstein Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک با متر انیشتین (Einstein Metric Space) :
تعریف: یک خمینه ریمانی
\[ (M, g) \]اینشتین (Einstein) نامیده می شود اگر تانسور ریچی آن متناسب با متریک باشد:
\[ \operatorname{Ric} = \lambda g \]برای یک ثابت
\[ \lambda \in \mathbb{R} \]. این معادله، معادله میدان اینشتین در خلأ (با ثابت کیهان شناسی) است.
\[ \operatorname{Ric} = \lambda g \]توضیح مفهومی: متریک های اینشتین در نسبیت عام (برای مدل سازی فضا-زمان) و در هندسه دیفرانسیل (به عنوان جواب های یک معادله وردشی) اهمیت دارند. آنها حالت خاصی از متریک های با انحنای ریچی ثابت هستند. فضاهای با انحنای ثابت (مانند کره، فضای هذلولوی) اینشتین هستند. همچنین خمینه های کالابی-یائو (با
\[ \lambda = 0 \]) اینشتین هستند.
ویژگی های اصلی:
اگر
\[ M \]فشرده و
\[ \lambda > 0 \]باشد، گروه بنیادین
\[ M \]متناهی است (قضیه بوننه-میرز).
اگر
\[ \lambda = 0 \]، متریک ریچی-تخت (Ricci-flat) نامیده می شود.
اگر
\[ \lambda < 0 \]، فضا می تواند گروه بنیادین بزرگ داشته باشد.
متریک های اینشتین نقاط بحرانی تابع
\[ E(g) = \int_M R_g dV_g \](تابع اینشتین-هیلبرت) روی فضاهای متریک با حجم ثابت هستند.
وجود متریک اینشتین روی یک خمینه یک مسئله عمیق در هندسه است.
مثال های مهم:
فضاهای با انحنای ثابت: کره (
\[ \lambda > 0 \])، فضای اقلیدسی (
\[ \lambda = 0 \])، فضای هذلولوی (
\[ \lambda < 0 \]).
خمینه های کالابی-یائو:
\[ \lambda = 0 \](مانند سطوح K3).
فضاهای تصویری مختلط
\[ \mathbb{C}P^n \]: با متریک فوبینی-استادی (
\[ \lambda > 0 \]).
خمینه های اینشتین فشرده با
\[ \lambda < 0 \]: مانند برخی از خمینه های هذلولوی فشرده.
قضایای مهم:
قضیه اوبن (Aubin) و یائو: وجود متریک اینشتین با
\[ \lambda < 0 \]روی خمینه های کیلر با کلاس کان شنال منفی.
حدس کالابی (یائو): وجود متریک کیلر با
\[ \lambda = 0 \]روی خمینه های کیلر با کلاس کان شنال صفر.
قضیه برگر: طبقه بندی خمینه های اینشتین فشرده با هولونومی خاص.
کاربردها: متریک های اینشتین در نسبیت عام (برای مدل سازی جهان)، نظریه ریسمان (به عنوان پس زمینه)، هندسه دیفرانسیل (به عنوان جواب های معادلات وردشی)، و کیهان شناسی کاربرد دارند.
📌 مثال ساده:
کره
\[ S^2 \]با متریک کروی:
\[ \operatorname{Ric} = g \](چون انحنای ثابت ۱ است، تانسور ریچی برابر
\[ g \]است).
