فضای متریک همبند مسیری (Path-Connected Metric Space)، در ریاضیات (Mathematics)

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

فضای متریک همبند مسیری (Path-Connected Metric Space) :

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

\[ (X, d) \]

همبند مسیری (Path-Connected) نامیده می شود اگر برای هر دو نقطه

\[ x, y \in X \]

، یک تابع پیوسته

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

وجود داشته باشد به طوری که

\[ \gamma(0) = x \]

و

\[ \gamma(1) = y \]

. به این تابع، یک مسیر (path) از

\[ x \]

به

\[ y \]

می گوییم.

\[ \forall x, y \in X, \exists \gamma: [0,1] \to X \text{ پیوسته}, \gamma(0)=x, \gamma(1)=y \]

توضیح مفهومی: همبندی مسیری مفهوم قوی تری از همبندی است. در یک فضای همبند مسیری، می توان با یک مسیر پیوسته (بدون ایجاد بریدگی) از هر نقطه به هر نقطه دیگر رفت. این شهودی ترین مفهوم "یکپارچگی" است. اگر فضایی همبند مسیری باشد، قطعا همبند است، اما عکس آن همیشه درست نیست (مثال کلاسیک: منحنی سینوسی توپولوژیست ها).

ویژگی ها:

تصویر پیوسته یک فضای همبند مسیری، همبند مسیری است.

حاصلضرب فضاهای همبند مسیری، همبند مسیری است.

اگر

\[ X \]

همبند مسیری باشد و

\[ f: X \to Y \]

پیوسته، آن گاه

\[ f(X) \]

همبند مسیری است.

در فضاهای همبند مسیری، مؤلفه های همبندی مسیری همان مؤلفه های همبندی هستند.

فضاهای محدب در

\[ \mathbb{R}^n \]

(مانند گوی ها، مکعب ها) همبند مسیری هستند (می توان از خط راست استفاده کرد).

مثال های مهم فضاهای همبند مسیری:

\[ \mathbb{R}^n \]

: با مسیر خطی

\[ \gamma(t) = (1-t)x + ty \]

.

کره

\[ S^n \]

برای

\[ n \geq 1 \]

: با مسیرهای روی کره.

گوی ها و مکعب ها در

\[ \mathbb{R}^n \]

: چون محدب هستند.

چنبره

\[ T^n \]

: حاصلضرب دایره ها.

فضاهای ستاره وار: مجموعه هایی که نقطه مرکزی دارند و هر نقطه را می توان با خط راست به مرکز وصل کرد.

مثال معروف فضاهای همبند اما غیرهمبند مسیری:

منحنی سینوسی توپولوژیست ها:

\[ S = \{(x, \sin(1/x)) : 0 < x \leq 1\} \cup \{(0,0)\} \]

در

\[ \mathbb{R}^2 \]

با متر القایی. این فضا همبند است (چون نقطه

\[ (0,0) \]

به بقیه نقاط چسبیده است) اما همبند مسیری نیست، زیرا هیچ مسیر پیوسته ای از

\[ (0,0) \]

به نقاط دیگر وجود ندارد (به دلیل نوسان شدید).

شانه دار: فضای شانه دار (comb space) نیز مثال دیگری است.

ارتباط با مفاهیم دیگر:

همبندی ساده: اگر فضا همبند مسیری باشد و حلقه های آن قابل انقباض باشند، همبند ساده (simply connected) است.

قابلیت انقباض: اگر فضایی همبند مسیری باشد و بتوان آن را به یک نقطه انقباض داد، انقباض‌پذیر (contractible) است.

گروه بنیادین: در فضاهای همبند مسیری، گروه بنیادین مستقل از نقطه پایه است.

کاربردها: همبندی مسیری در توپولوژی جبری (برای تعریف گروه بنیادین)، آنالیز مختلط (برای تعریف انتگرال های روی مسیر)، فیزیک (برای بررسی فضاهای پیکربندی)، و رباتیک (برای برنامه ریزی مسیر) اهمیت دارد.

همبندی مسیری موضعی: مفهوم ضعیف تری نیز وجود دارد: فضایی موضعا همبند مسیری است اگر هر نقطه دارای یک همسایگی همبند مسیری باشد. این مفهوم برای ارتباط بین همبندی و همبندی مسیری مهم است.

قضیه: اگر فضایی همبند و موضعا همبند مسیری باشد، آن گاه همبند مسیری است. این قضیه ارتباط بین دو مفهوم را روشن می کند.

📌 مثال ساده:

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

(صفحه با یک نقطه حذف شده) همبند مسیری است. برای هر دو نقطه می توان یک مسیر کشید که از مبدأ عبور نکند. اما

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

همبند نیست، چه برسد به همبند مسیری!

مثال همبند مسیری:

\[ X = [0,1] \]

با مسیر خطی

\[ \gamma(t) = (1-t)a + tb \]

.