فضای متریک هایپربیضوی (Hyperbolic Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک هایپربیضوی (Hyperbolic Metric Space) :
تعریف: فضای هایپربیضوی (Hyperbolic metric space) معمولا به فضای هذلولوی
\[ \mathbb{H}^n \]با متریک هذلولوی اشاره دارد. اما در نظریه گروماف، یک فضای متریک هذلولوی (Gromov hyperbolic space) به فضایی گفته می شود که در آن مثلثها "لاغر" (thin) هستند. این مفهوم برای مطالعه گروه های هذلولوی در نظریه گروه های هندسی اهمیت دارد.
فضای هذلولوی گروماف:
\[ \delta \]-هذلولوی، هر ضلع مثلث در
\[ \delta \]-همسایگی دو ضلع دیگر است.
توضیح مفهونی: هندسه هذلولوی یکی از سه هندسه کلاسیک با انحنای ثابت است. در این هندسه، از هر نقطه خارج از یک خط، بی نهایت خط موازی می گذرد و مجموع زاویه های مثلث کمتر از ۱۸۰ درجه است. این فضا نقش اساسی در نظریه گروه های هندسی و نظریه تایش مولر دارد.
ویژگی های اصلی:
انحنای ثابت منفی:
\[ K = -1 \](در حالت کلاسیک).
نامتناهی بودن: فضای هذلولوی نافشرده و کامل است.
ژئودزیک ها: در مدل نیم فضا، نیم دایره های عمود بر مرز یا خطوط عمودی.
مرز در بینهایت:
\[ \partial \mathbb{H}^n \cong S^{n-1} \].
حجم گوی ها: حجم گوی های شعاع
\[ R \]به طور نمایی با
\[ R \]رشد می کند.
گروه ایزومتری:
\[ SO(n,1) \](گروه لورنتسی).
هذلولوی گروماف: یک فضای متریک
\[ \delta \]-هذلولوی است اگر برای هر چهار نقطه
\[ x, y, z, w \]،
\[ (x, y)_w \geq \min\{(x, z)_w, (y, z)_w\} - \delta \]، که
\[ (x, y)_w \]حاصلضرب گروماف است. این تعریف درخت ها (
\[ \delta=0 \]) و فضای هذلولوی کلاسیک را شامل می شود.
کاربردها: فضای هذلولوی در نظریه گروه های هندسی (گروه های هذلولوی گروماف)، نظریه تایش مولر، نسبیت عام (هذلولوی بودن در کیهان شناسی)، و نظریه اعداد (اشکال اتومورفیک) کاربرد دارد.
📌 مثال ساده:
مدل نیم فضای بالایی
\[ \mathbb{H}^2 \]:
\[ ds^2 = \frac{dx^2 + dy^2}{y^2} \]. فاصله بین
\[ i \]و
\[ 2i \]برابر
\[ \log 2 \]است.
هر درخت یک فضای
\[ 0 \]-هذلولوی گروماف است.
