فضای متریک هذلولوی (Hyperbolic Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک هذلولوی (Hyperbolic Metric Space) :
تعریف: فضای متریک هذلولوی یک فضای متریک با انحنای منفی است. دو تعریف مهم وجود دارد: یکی در هندسه ریمانی (فضاهایی با انحنای مقطعی منفی) و دیگری در نظریه گروه های هذلولوی گروماف (Gromov hyperbolic spaces). تعریف گروماف: یک فضای متریک
\[ (X, d) \]هذلولوی (از نوع گروماف) است اگر یک عدد
\[ \delta \geq 0 \]وجود داشته باشد به طوری که برای هر چهار نقطه
\[ x, y, z, w \in X \]، نامساوی زیر برقرار باشد:
\[ (x, y)_w \geq \min\{(x, z)_w, (y, z)_w\} - \delta \]که
\[ (x, y)_w = \frac{1}{2}(d(x, w) + d(y, w) - d(x, y)) \]حاصلضرب گروموف است.
توضیح مفهومی: فضاهای هذلولوی فضاهایی هستند که مانند هندسه هذلولوی رفتار می کنند: مثلثها در آنها "لاغر" هستند، یعنی هر ضلع مثلث در فاصله محدودی از دو ضلع دیگر قرار دارد. این فضاها تعمیمی از درخت ها (که
\[ 0 \]-هذلولوی هستند) و فضای هذلولوی کلاسیک هستند. نظریه گروماف این مفهوم را به فضاهای متریک عمومی تعمیم داد.
ویژگی های اصلی:
درخت ها (گراف های بدون دور)
\[ 0 \]-هذلولوی هستند (یعنی
\[ \delta = 0 \]).
فضای هذلولوی کلاسیک
\[ \mathbb{H}^n \]یک فضای هذلولوی گروماف است.
هر فضای متریک کراندار، هذلولوی است (با
\[ \delta \]برابر قطر فضا).
گروه های بنیادین خمینه های هذلولوی فشرده، گروه های هذلولوی (به عنوان فضاهای متریک با متر کلمه) هستند.
در فضاهای هذلولوی، ژئودزیک ها رفتار مشابهی با درخت ها دارند.
مثال های مهم فضاهای هذلولوی:
فضای هذلولوی
\[ \mathbb{H}^n \]: مدل های مختلف آن (صفحه پوانکاره، نیم صفحه بالایی) با متر هذلولوی.
درخت ها: هر درخت (با متر طبیعی) یک فضای
\[ 0 \]-هذلولوی است.
گروه های آزاد: با متر کلمه روی گراف کیلی خود، هذلولوی هستند.
گروه های بنیادین سطوح با انحنای منفی: مانند گروه های سطح.
فضاهای متریک با انحنای منفی (CAT(-1)): این فضاها هذلولوی گروماف هستند.
انحنای منفی در هندسه ریمانی: در هندسه ریمانی، یک خمینه ریمانی هذلولوی است اگر انحنای مقطعی آن ثابت و منفی باشد (مانند
\[ \mathbb{H}^n \]) یا حداقل انحنای آن منفی باشد. این فضاها دارای ویژگی هایی مانند: ژئودزیک ها واگرا می شوند، مساحت مثلثها با محیط متناسب است، و گروه ایزومتری آنها بزرگ است.
نظریه گروماف: گروماف در دهه ۱۹۸۰ مفهوم هذلولوی بودن را به فضاهای متریک عمومی تعمیم داد. این نظریه تأثیر عمیقی در نظریه گروه های هندسی داشت. گروه های هذلولوی گروماف، گروه هایی هستند که گراف کیلی آنها (با متر کلمه) یک فضای هذلولوی است.
مرز در فضاهای هذلولوی: فضاهای هذلولوی دارای یک مرز در بینهایت (boundary at infinity) هستند که رفتار ژئودزیک ها را در بینهایت توصیف می کند. برای
\[ \mathbb{H}^n \]، این مرز یک کره
\[ S^{n-1} \]است. برای درخت ها، مرز یک مجموعه کانتور است.
کاربردها: فضاهای هذلولوی در نظریه گروه های هندسی، دینامیک (روی فضاهای پیمانه)، توپولوژی جبری (گروه های بنیادین)، و فیزیک (نسبیت عام، نظریه ریسمان) کاربرد دارند.
📌 مثال ساده:
صفحه پوانکاره (دیسک واحد با متر
\[ ds^2 = \frac{4|dz|^2}{(1-|z|^2)^2} \]) یک فضای هذلولوی کلاسیک است. در این فضا، مثلثها "لاغر" هستند: مجموع زوایای یک مثلث کمتر از ۱۸۰ درجه است.
یک درخت با یال های به طول ۱: این یک فضای
\[ 0 \]-هذلولوی است، زیرا هر مثلث در درخت در واقع یک سه راه (tripod) است و شرط گروماف با
\[ \delta = 0 \]برقرار است.
