فضای متریک گروماف-هاسدورف (Gromov-Hausdorff Space)، در ریاضیات (Mathematics)

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

فضای متریک گروماف-هاسدورف (Gromov-Hausdorff Space) :

تعریف: فضای متریک گروماف-هاسدورف در واقع یک فضای متریک نیست، بلکه یک مفهوم است: متریک گروماف-هاسدورف یک متریک روی فضای همه فضاهای متریک فشرده (تا حد ایزومتری) است. این متریک فاصله بین دو فضای متریک فشرده را اندازه می گیرد و توسط میخائیل گروماف در دهه ۱۹۸۰ معرفی شد.

\[ d_{GH}(X, Y) = \inf\{d_H(f(X), g(Y)) : f: X \to Z, g: Y \to Z \text{ غوطه وری های ایزومتریک در فضای متریک } Z\} \]

که

\[ d_H \]

متر هاسدورف بین زیرمجموعه ها در

\[ Z \]

است.

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

تعریف دقیق تر: اگر

\[ X \]

و

\[ Y \]

دو فضای متریک فشرده باشند، فاصله گروماف-هاسدورف بین آنها برابر است با اینفیموم همه

\[ r > 0 \]

به طوری که یک فضای متریک

\[ Z \]

و غوطه وری های ایزومتریک

\[ f: X \to Z \]

و

\[ g: Y \to Z \]

وجود داشته باشند با

\[ d_H(f(X), g(Y)) < r \]

.

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

\[ d_{GH}(X, Y) = 0 \]

اگر و فقط اگر

\[ X \]

و

\[ Y \]

ایزومتریک باشند.

متر گروماف-هاسدورف روی فضای ایزومتری کلاس های فضاهای متریک فشرده یک متریک است.

این فضا با این متر کامل نیست، اما می توان آن را تکمیل کرد.

همگرایی در این متر معادل با همگرایی گروماف-هاسدورف است.

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

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

کاربردها: متر گروماف-هاسدورف در زمینه های زیر کاربرد دارد:

مطالعه همگرایی خمینه های ریمانی (هندسه دیفرانسیل)

نظریه گروه های هندسی (برای مطالعه گروه های هذلولوی)

حدود فضاهای متریک و فضاهای الکساندرف

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

آنالیز روی فضاهای متریک (برای تعریف همگرایی اندازه ها)

تاریخچه: این مفهوم توسط گروماف در کتاب معروف خود "Structures métriques pour les variétés riemanniennes" معرفی شد و بعدها توسط محققان دیگر توسعه یافت. امروزه یکی از ابزارهای اصلی در هندسه متریک مدرن است.

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

📌 مثال ساده:

فرض کنید

\[ X \]

یک دایره به شعاع ۱ و

\[ Y \]

یک دایره به شعاع ۱+ε باشد. فاصله گروماف-هاسدورف بین آنها تقریبا ε/2 است. برای دیدن این، می توانیم هر دو را در

\[ \mathbb{R}^3 \]

با مرکز یکسان قرار دهیم، آن گاه فاصله هاسدورف بین آنها ε است. با مقیاس دهی مناسب می توان به ε/2 رسید.

مثال دیگر: فاصله بین یک نقطه و یک پاره خط به طول ۱ برابر ۰.۵ است.