فضای متریک متقارن (Symmetric Metric Space)، در ریاضیات (Mathematics)

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

فضای متریک متقارن (Symmetric Metric Space) :

تعریف: یک فضای متریک متقارن (Symmetric space) یک خمینه ریمانی همگن است که در آن برای هر نقطه

\[ p \in M \]

، یک ایزومتری

\[ s_p: M \to M \]

(به نام تقارن در

\[ p \]

) وجود دارد به طوری که

\[ s_p(p) = p \]

و

\[ ds_p|_p = -\text{Id} \]

(یعنی مشتق در

\[ p \]

برابر منفی همانی است). به عبارت دیگر، فضا نسبت به هر نقطه تقارن مرکزی دارد.

\[ \exists s_p \in \operatorname{Isom}(M): s_p(p) = p, (ds_p)_p = -\text{Id} \]

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

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

فضاهای متقارن به طور کامل توسط گروه ایزومتری و زیرگروه پایدارساز مشخص می شوند:

\[ M \cong G/H \]

.

آنها همیشه همگن و به طور خودکار کامل هستند.

تانسور انحنای ریمانی در فضاهای متقارن موازی است (

\[ \nabla R = 0 \]

).

فضاهای متقارن به دو نوع تقسیم می شوند: نوع فشرده (مانند کره ها) و نوع نافشرده (مانند فضاهای هذلولوی).

طبقه بندی کارتان: فضاهای متقارن ساده (irreducible) به چند خانواده تقسیم می شوند (مانند

\[ SO(n)/SO(n-1) \]

که

\[ S^{n-1} \]

است).

طبقه بندی: فضاهای متقارن ساده (از نوع غیرفشرده) با گروه های لی ساده و زوج های متقارن آنها متناظرند. مثال ها:

\[ SO(n)/SO(n-1) \cong S^{n-1} \]

(کره)

\[ SO(n,1)/SO(n) \cong \mathbb{H}^n \]

(فضای هذلولوی)

\[ SU(n)/S(U(n-1) \times U(1)) \cong \mathbb{C}P^{n-1} \]

\[ Sp(n)/Sp(n-1) \cong \mathbb{H}P^{n-1} \]

(فضای تصویری کواترنیونی)

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

📌 مثال ساده:

\[ S^2 \]

یک فضای متقارن است: تقارن در قطب شمال، نگاشتی است که نقطه

\[ (\theta, \phi) \]

را به

\[ (\pi - \theta, \phi) \]

می برد (بازتاب نسبت به قطب).

\[ \mathbb{R}^n \]

نیز متقارن است: تقارن در نقطه

\[ x_0 \]

، نگاشت

\[ x \mapsto 2x_0 - x \]

است.