فضای متریک گروماف (Gromov Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک گروماف (Gromov Metric Space) :
تعریف: فضای متریک گروماف معمولا به فضای مجهز به متر گروماف-هاسدورف اشاره دارد، یا گاهی به مفهوم "گروه های هذلولوی گروماف" که فضاهای متریک با انحنای منفی تعمیم یافته هستند. در اینجا منظور همان متر گروماف-هاسدورف است که در مورد قبل توضیح داده شد. اما گاهی "فضای متریک گروماف" به فضاهایی گفته می شود که در آنها مفهوم انحنای گروماف (هذلولوی بودن) تعریف شده است.
متر گروماف-هاسدورف:
\[ d_{GH}(X, Y) = \inf_{Z, f, g} d_H(f(X), g(Y)) \]توضیح مفهومی: میخائیل گروماف، ریاضیدان فرانسوی-روسی تبار، انقلاب عظیمی در هندسه قرن بیستم ایجاد کرد. مفاهیم متعددی به نام او ثبت شده است: متر گروماف-هاسدورف، گروه های هذلولوی گروماف، قضیه فشردگی گروماف، و غیره. "فضای متریک گروماف" می تواند به هر یک از این مفاهیم اشاره داشته باشد، اما رایج ترین آن همان فضای مجهز به متر گروماف-هاسدورف است.
گروه های هذلولوی گروماف: یک گروه متناهی مولد وقتی هذلولوی گروماف نامیده می شود که گراف کیلی آن (با متر کلمه) یک فضای متریک هذلولوی (به معنای گروماف) باشد. این گروه ها تعمیم طبیعی گروه های بنیادین خمینه های با انحنای منفی هستند.
ویژگی های گروه های هذلولوی گروماف:
آنها دارای مسئله کلمه حل شدنی (solvable word problem) هستند.
مرز در بینهایت دارند که یک فضای متریک فشرده است.
دارای تعداد متناهی از انواع conjugacy از عناصر با دوره تناوبی هستند.
آنالیز هارمونیک روی آنها رفتار خاصی دارد.
متر گروماف-هاسدورف در عمل: این متریک برای مقایسه فضاهای متریک فشرده استفاده می شود. برای مثال، می توان همگرایی یک دنباله از خمینه ها را به یک فضای حدی (مثلا یک فضای الکساندرف) مطالعه کرد. این همگرایی در متر گروماف-هاسدورف تعریف می شود.
قضیه همگرایی گروماف: هر دنباله از فضاهای متریک فشرده با قطر یکسان و با تعداد نقاط محدود (یا با خواص هندسی یکنواخت مانند انحنای کراندار و قطر ثابت) دارای زیردنباله همگرا در متر گروماف-هاسدورف است.
کاربردها در هندسه ریمانی: در هندسه ریمانی، از متر گروماف-هاسدورف برای مطالعه حدود خمینه های با انحنای ریچی کراندار استفاده می شود. قضیه فشردگی گروماف-پرلمان می گوید که مجموعه خمینه های با انحنای ریچی ≥ K و قطر ≤ D و بعد ≤ n، در متر گروماف-هاسدورف پیش فشرده است.
نرم افزارهای محاسباتی: در سال های اخیر، الگوریتم هایی برای محاسبه تقریبی متر گروماف-هاسدورف بین مجموعه های متناهی از نقاط (فضاهای متریک متناهی) توسعه یافته است که در یادگیری ماشین و تحلیل داده های هندسی کاربرد دارند.
📌 مثال ساده:
فرض کنید
\[ X_n \]یک دایره به شعاع
\[ 1/n \]باشد. دنباله
\[ X_n \]در متر گروماف-هاسدورف به یک نقطه همگراست. زیرا با افزایش n، دایره ها کوچک تر شده و به یک نقطه نزدیک می شوند. فاصله
\[ d_{GH}(X_n, \{pt\}) = 1/(2n) \].
مثال دیگر: دنباله کره های
\[ S^n \]با شعاع ثابت، در متر گروماف-هاسدورف به یک نقطه همگرا نیستند، زیرا بعد آنها افزایش می یابد.
