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

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

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

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

\[ (X, d) \]

همبند (Connected) نامیده می شود اگر نتوان آن را به صورت اجتماع دو مجموعه باز، ناتهی و مجزا نوشت. به عبارت دیگر، تنها زیرمجموعه هایی از

\[ X \]

که هم باز و هم بسته هستند،

\[ X \]

خودش و مجموعه تهی است.

\[ X \]

ناهمبند است اگر

\[ \exists U, V \subset X \]

باز، ناتهی،

\[ U \cap V = \emptyset \]

و

\[ U \cup V = X \] \[ X \]

همبند است اگر چنین تجزیه ای وجود نداشته باشد.

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

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

) ناهمبند است، زیرا به دو بخش مثبت و منفی تقسیم می شود.

ویژگی ها:

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

اگر

\[ A \]

و

\[ B \]

همبند باشند و

\[ A \cap B \neq \emptyset \]

، آن گاه

\[ A \cup B \]

همبند است.

بستار یک مجموعه همبند، همبند است.

حاصلضرب فضاهای همبند (با توپولوژی ضربی) همبند است.

در

\[ \mathbb{R} \]

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

مثال های مهم:

بازه ها:

\[ [a,b] \]

،

\[ (a,b) \]

،

\[ [a,b) \]

،

\[ (a,b] \]

در

\[ \mathbb{R} \]

.

\mathbb{R}^n

: تمام فضای

\[ \mathbb{R}^n \]

همبند است.

کره ها:

\[ S^n \]

برای

\[ n \geq 1 \]

همبند است (حتی برای

\[ n \geq 2 \]

همبند ساده هم هست).

چنبره ها:

\[ T^n \]

(حاصلضرب

\[ n \]

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

گوی ها: گوی باز و بسته در

\[ \mathbb{R}^n \]

همبندند.

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

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

(دو بخش جدا)

مجموعه اعداد گویا

\[ \mathbb{Q} \]

(در هر بازه، اعداد گنگ وجود دارند که فضا را قطع می کنند)

مجموعه کانتور (کاملا ناهمبند است)

اجتماع دو دیسک جدا از هم

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

مؤلفه های همبندی: هر فضای متریک را می توان به بزرگترین زیرمجموعه های همبندش (مؤلفه های همبندی) افراز کرد. در

\[ \mathbb{Q} \]

، هر مؤلفه همبندی یک تک نقطه است.

قضیه مقدار میانی: یکی از مهم ترین کاربردهای همبندی، قضیه مقدار میانی است: اگر

\[ f: X \to \mathbb{R} \]

پیوسته و

\[ X \]

همبند باشد، آن گاه

\[ f(X) \]

یک بازه در

\[ \mathbb{R} \]

است (یعنی هر مقدار بین دو مقدار

\[ f(x_1) \]

و

\[ f(x_2) \]

را اختیار می کند).

📌 مثال ساده:

\[ X = [0,1] \cup [2,3] \]

با متر معمولی ناهمبند است، زیرا می توان آن را به

\[ U = [0,1] \]

و

\[ V = [2,3] \]

(که هر دو در

\[ X \]

باز هستند) افراز کرد. اما

\[ X = [0,1] \]

همبند است.