فضای متریک هذلولوی (Hyperbolic Metric Space)، در ریاضیات (Mathematics)

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

فضای متریک هذلولوی (Hyperbolic Metric Space) :

تعریف: فضای هذلولوی

\[ \mathbb{H}^n \]

یک خمینه ریمانی با انحنای مقطعی ثابت منفی (معمولا

\[ -1 \]

) است. مدل های مختلفی برای آن وجود دارد: مدل نیم فضای بالایی (upper half-space) با متریک

\[ ds^2 = \frac{dx_1^2 + \cdots + dx_n^2}{x_n^2} \]

، مدل دیسک پوانکاره با متریک

\[ ds^2 = \frac{4|dx|^2}{(1-|x|^2)^2} \]

، و مدل هذلولوی (hyperboloid) در فضای مینکوفسکی.

مدل نیم فضای بالایی:

\[ ds^2 = \frac{dx^2 + dy^2}{y^2} \]

(برای

\[ \mathbb{H}^2 \]

)

توضیح مفهومی: هندسه هذلولوی یکی از سه هندسه کلاسیک (با اقلیدسی و کروی) است که در قرن نوزدهم توسط بولیا، لوباچفسکی و گاوس کشف شد. در این هندسه، از هر نقطه خارج از یک خط، بی نهایت خط موازی می گذرد و مجموع زاویه های مثلث کمتر از ۱۸۰ درجه است. این فضا نقش اساسی در نظریه گروه های هندسی و نظریه تایش مولر دارد.

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

انحنای ثابت منفی:

\[ K = -1 \]

.

نامتناهی بودن: فضای هذلولوی نافشرده و کامل است.

ژئودزیک ها: در مدل نیم فضا، نیم دایره های عمود بر مرز یا خطوط عمودی.

مرز در بینهایت:

\[ \partial \mathbb{H}^n \cong S^{n-1} \]

.

حجم گوی ها: حجم گوی های شعاع

\[ R \]

به طور نمایی با

\[ R \]

رشد می کند.

گروه ایزومتری:

\[ SO(n,1) \]

(گروه لورنتسی).

مدل های فضای هذلولوی:

مدل نیم فضا:

\[ \mathbb{H}^n = \{(x_1, ..., x_{n-1}, y) : y > 0\} \]

.

مدل دیسک پوانکاره:

\[ \mathbb{H}^n = \{x \in \mathbb{R}^n : \|x\| < 1\} \]

.

مدل هذلولوی:

\[ \mathbb{H}^n = \{x \in \mathbb{R}^{n,1} : \langle x, x \rangle = -1, x_0 > 0\} \]

(در فضای مینکوفسکی).

قضایای مهم:

قضیه موستو: استحکام موستو برای خمینه های هذلولوی فشرده.

قضیه مارگولیس: لم مارگولیس در مورد زیرگروه های گسسته

\[ SO(n,1) \]

.

قضیه تایش مولر: فضای تایش مولر سطوح هذلولوی یک فضای CAT(0) است.

کاربردها: فضای هذلولوی در نظریه گروه های هندسی (گروه های هذلولوی گروماف)، نظریه تایش مولر، نسبیت عام (هذلولوی بودن در کیهان شناسی)، و نظریه اعداد (اشکال اتومورفیک) کاربرد دارد.

📌 مثال ساده:

در مدل نیم فضای بالایی

\[ \mathbb{H}^2 \]

، فاصله بین دو نقطه

\[ i \]

و

\[ 2i \]

برابر

\[ \log 2 \]

است (چرا؟).

مثلثی با رئوس

\[ i \]

,

\[ 1+i \]

,

\[ 2+i \]

: مجموع زاویه ها کمتر از ۱۸۰ درجه.