فضای متریک همگن (Homogeneous Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک همگن (Homogeneous Metric Space) :
تعریف: یک فضای متریک همگن (Homogeneous space) یک فضای متریک
\[ (X, d) \]است به طوری که گروه ایزومتری های آن به طور انتقالی روی
\[ X \]عمل کند؛ یعنی برای هر دو نقطه
\[ x, y \in X \]، یک ایزومتری
\[ f: X \to X \]وجود داشته باشد به طوری که
\[ f(x) = y \]. به عبارت دیگر، فضا از دید همه نقاط یکسان به نظر می رسد.
\[ \forall x, y \in X, \exists f \in \operatorname{Isom}(X): f(x) = y \]توضیح مفهومی: فضاهای همگن، فضاهایی با تقارن زیاد هستند. مهم ترین مثال ها عبارتند از: فضاهای اقلیدسی، کره ها، فضاهای هذلولوی، و به طور کلی فضاهای متقارن. این فضاها در هندسه دیفرانسیل، نظریه گروه های لی، و فیزیک (به عنوان فضاهای با حداکثر تقارن) اهمیت دارند.
ویژگی های اصلی:
یک فضای همگن را می توان به صورت
\[ X \cong G/H \]نمایش داد که
\[ G \]گروه ایزومتری ها و
\[ H \]زیرگروه پایدارساز یک نقطه است.
همه نقاط در یک فضای همگن دارای خواص هندسی یکسان هستند (مثلا انحنای موضعی یکسان).
اگر فضا همگن و همسانگرد (isotropic) باشد، آن گاه دارای انحنای ثابت است.
مثال ها:
\[ \mathbb{R}^n \](با گروه اقلیدسی)،
\[ S^n \](با گروه متعامد)،
\[ \mathbb{H}^n \](با گروه لورنتسی).
انواع فضاهای همگن:
فضاهای متقارن (Symmetric spaces): یک کلاس مهم از فضاهای همگن که در آن یک ایزومتری با مشتق
\[ -1 \]در هر نقطه وجود دارد.
فضاهای ردیفی (Rank-one spaces): فضاهای همگن با رتبه ۱ (مانند فضاهای با انحنای ثابت).
گروه های لی: هر گروه لی با متریک ناوردای چپ یک فضای همگن است (تحت عمل خودش).
قضایای مهم:
قضیه وانگ: طبقه بندی فضاهای همگن فشرده با انحنای مثبت.
قضیه الی�کارتان: فضاهای متقارن به طور کامل طبقه بندی شده اند.
کاربردها: فضاهای همگن در هندسه دیفرانسیل (به عنوان مثال های اساسی)، نظریه گروه های لی، فیزیک (نسبیت عام، نظریه ریسمان)، و کیهان شناسی (مدل های جهان همگن) کاربرد دارند.
📌 مثال ساده:
کره
\[ S^2 \]یک فضای همگن است: گروه چرخش
\[ SO(3) \]هر نقطه را به هر نقطه دیگر می برد.
چنبره
\[ T^2 \]با متریک تخت نیز همگن است (گروه جابجایی ها).
