فضای متریک به طور موضعی متقارن (Locally Symmetric Metric Space)، در ریاضیات (Mathematics)

انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :

فضای متریک به طور موضعی متقارن (Locally Symmetric Metric Space) :

تعریف: یک خمینه ریمانی

\[ M \]

به طور موضعی متقارن (Locally symmetric) نامیده می شود اگر تانسور انحنای ریمانی آن موازی باشد:

\[ \nabla R = 0 \]

. این شرط معادل است با این که هر نقطه

\[ p \in M \]

دارای یک همسایگی باشد که نسبت به

\[ p \]

متقارن است (یعنی یک ایزومتری با مشتق

\[ -1 \]

در

\[ p \]

روی آن همسایگی وجود دارد).

\[ \nabla R = 0 \]

توضیح مفهومی: فضاهای موضعا متقارن تعمیم طبیعی فضاهای متقارن هستند. در یک فضای متقارن، ایزومتری های سراسری وجود دارند، اما در فضای موضعا متقارن، این ایزومتری ها فقط به صورت موضعی (در همسایگی هر نقطه) وجود دارند. این فضاها در هندسه ریمانی و نظریه هولونومی اهمیت دارند.

ویژگی های اصلی:

شرط

\[ \nabla R = 0 \]

به این معناست که انحنا در طول مسیرها ثابت است.

هر فضای متقارن، موضعا متقارن است. عکس آن درست نیست: فضاهای موضعا متقارن ممکن است پوشش جهانی یک فضای متقارن باشند.

اگر یک خمینه موضعا متقارن، ساده همبند و کامل باشد، آن گاه متقارن (سراسری) است.

مثال ها: هر خمینه با انحنای ثابت (مانند کره، فضای هذلولوی، فضای اقلیدسی)، حاصلضرب ریمانی فضاهای موضعا متقارن، و خارج قسمت های فضاهای متقارن توسط گروه های گسسته.

ارتباط با هولونومی: گروه هولونومی یک خمینه موضعا متقارن کاهش یافته (reductive) است و ارتباط نزدیکی با طبقه بندی برگر (Berger's classification) دارد.

خارج قسمت ها: اگر

\[ M \]

یک فضای متقارن ساده همبند باشد و

\[ \Gamma \]

یک گروه گسسته از ایزومتری ها که به طور آزاد عمل کند، آن گاه

\[ M/\Gamma \]

یک فضای موضعا متقارن است (اما لزوما متقارن نیست).

کاربردها: فضاهای موضعا متقارن در هندسه ریمانی (به عنوان تعمیم فضاهای متقارن)، نظریه گروه های گسسته (چون خارج قسمت های فضاهای متقارن هستند)، و نسبیت عام (در مطالعه فضا-زمان های همگن) کاربرد دارند.

📌 مثال ساده:

چنبره

\[ T^n \]

با متریک تخت یک فضای موضعا متقارن است (چون انحنای صفر دارد و

\[ \nabla R = 0 \]

) اما متقارن است (چون با متریک تخت، متقارن است). اما یک چنبره با متریک غیرتخت که انحنای ثابت ندارد، ممکن است موضعا متقارن نباشد.

یک سطح از جنس

\[ g \geq 2 \]

با متریک هذلولوی، یک فضای موضعا متقارن است (چون انحنای ثابت منفی دارد).