فضای متریک ژئودزیکی (Geodesic Metric Space)، در ریاضیات (Mathematics)

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

فضای متریک ژئودزیکی (Geodesic Metric Space) :

تعریف: یک فضای متریک

\[ (X, d) \]

ژئودزیکی (Geodesic) نامیده می شود اگر برای هر دو نقطه

\[ x, y \in X \]

، یک ژئودزیک (کوتاه ترین مسیر) بین آنها وجود داشته باشد. به عبارت دیگر، یک نگاشت

\[ \gamma: [0, L] \to X \]

(با

\[ L = d(x, y) \]

) وجود دارد به طوری که

\[ \gamma(0) = x \]

،

\[ \gamma(L) = y \]

و

\[ d(\gamma(s), \gamma(t)) = |s - t| \]

برای همه

\[ s, t \in [0, L] \]

.

\[ \forall x, y \in X, \exists \gamma: [0, d(x, y)] \to X, \gamma(0)=x, \gamma(d)=y, d(\gamma(s),\gamma(t))=|s-t| \]

توضیح مفهومی: فضاهای ژئودزیکی فضاهایی هستند که در آنها کوتاه ترین مسیر بین هر دو نقطه وجود دارد. این یک مفهوم بسیار مهم در هندسه متریک است. خمینه های ریمانی کامل و همبند، فضاهای CAT(0)، و درخت ها نمونه هایی از فضاهای ژئودزیکی هستند.

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

هر فضای ژئودزیکی، طولی (مسیری) است.

فضاهای ژئودزیکی تحت شرایط خاصی (مانند کامل بودن و فشردگی موضعی) رفتار خوبی دارند.

در فضاهای ژئودزیکی، می توان مفاهیمی مانند زاویه، مثلث‌های مقایسه، و انحنا را تعریف کرد.

اگر یک فضای طولی و کامل باشد و موضعا فشرده باشد، آن گاه ژئودزیکی است (قضیه هوپف-رینوف).

مثال های مهم:

خمینه های ریمانی کامل: مانند

\[ \mathbb{R}^n \]

، کره

\[ S^n \]

، فضای هذلولوی

\[ \mathbb{H}^n \]

.

درخت ها: هر درخت (با یال های به طول دلخواه) یک فضای ژئودزیکی است.

فضاهای CAT(0): مانند فضاهای اقلیدسی، درخت ها، و برخی فضاهای دیگر.

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

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

فضاهای منحصر به فرد ژئودزیکی: برخی فضاها مانند فضاهای CAT(0) خاصیت منحصر به فرد بودن ژئودزیک را دارند: بین هر دو نقطه دقیقا یک ژئودزیک وجود دارد. این خاصیت در آنالیز و بهینه سازی مفید است.

قضیه هوپف-رینوف: در فضاهای متریک طولی، اگر فضا کامل و موضعا فشرده باشد، آن گاه ژئودزیکی است و گوی های بسته فشرده هستند. این قضیه شرط کافی برای ژئودزیکی بودن را فراهم می کند.

کاربردها: فضاهای ژئودزیکی در هندسه متریک، آنالیز محدب (در فضاهای CAT(0))، نظریه گروه های هندسی (برای مطالعه گروه های هذلولوی)، و فیزیک (در نسبیت عام برای مطالعه فضا-زمان) کاربرد دارند.

📌 مثال ساده:

\[ X = \mathbb{R}^2 \]

با متر اقلیدسی ژئودزیکی است: بین هر دو نقطه، پاره خط مستقیم یک ژئودزیک است.

\[ X = S^2 \]

(کره) با متر طول کمان نیز ژئودزیکی است: ژئودزیک ها کمان های دایره های بزرگ هستند. اما

\[ X = \mathbb{R}^2 \setminus \{0\} \]

ژئودزیکی نیست، زیرا بین

\[ (1,0) \]

و

\[ (-1,0) \]

ژئودزیک (خط مستقیم) از مبدأ عبور می کند که در فضا نیست.