فضای متریک ناهمبند (Totally Disconnected Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک ناهمبند (Totally Disconnected Metric Space) :
تعریف: یک فضای متریک
\[ (X, d) \]ناهمبند کلی یا کاملا ناهمبند (Totally Disconnected) نامیده می شود اگر بزرگ ترین زیرمجموعه همبند آن، نقاط تکی باشند. به عبارت دیگر، مؤلفه های همبندی (Connected Components) فضا، فقط مجموعه های تک عضوی هستند.
∀x ∈ X, مؤلفه همبندی شامل x برابر {x} است.
یعنی هیچ زیرمجموعه همبندی با بیش از یک نقطه وجود ندارد.
توضیح مفهومی: در یک فضای کاملا ناهمبند، فضا آنقدر "شکننده" و "گسسته" است که نمی توان دو نقطه متمایز را با یک مجموعه همبند به هم متصل کرد. برخلاف فضاهای همبند که یکپارچه هستند، این فضاها کاملا از هم گسیخته اند. مهم ترین مثال این فضاها، مجموعه اعداد گویا و مجموعه کانتور هستند.
ویژگی های اصلی:
در فضاهای کاملا ناهمبند، هر نقطه یک مؤلفه همبندی جداگانه دارد.
این فضاها لزوما گسسته نیستند. در فضای گسسته، هر نقطه یک مجموعه باز است، اما در فضای کاملا ناهمبند ممکن است نقاط تکی باز نباشند (مثل اعداد گویا).
هر زیرفضا از یک فضای کاملا ناهمبند، کاملا ناهمبند است.
حاصلضرب فضاهای کاملا ناهمبند، کاملا ناهمبند است.
فضاهای کاملا ناهمبند معمولا دارای پایگاهی از مجموعه های باز-بسته (clopen) هستند.
مثال های مهم:
اعداد گویا
\mathbb{Q}: با متر معمولی کاملا ناهمبند است. بین هر دو عدد گویا، یک عدد گنگ وجود دارد که فضا را قطع می کند.
اعداد گنگ
\mathbb{P}: همچنین کاملا ناهمبند است.
مجموعه کانتور (Cantor Set): یک فضای فشرده، کامل و کاملا ناهمبند است.
فضاهای گسسته: هر فضای متریک گسسته (با متر گسسته) کاملا ناهمبند است.
اعداد p-ادیک
\mathbb{Q}_p: با متر p-ادیک کاملا ناهمبند هستند.
ارتباط با مفاهیم دیگر:
فضای صفر-بعدی: فضاهای کاملا ناهمبند معمولا صفر-بعدی هستند (دارای پایگاهی از مجموعه های باز-بسته).
فضای کانتور: مجموعه کانتور یک فضای کاملا ناهمبند و فشرده است که در آن هر نقطه یک مؤلفه همبندی مجزا دارد.
فضای بی نهایت بعدی: برخی فضاهای کاملا ناهمبند می توانند بعد پوششی صفر داشته باشند.
خواص توپولوژیکی: در فضاهای کاملا ناهمبند، هیچ مسیر پیوسته ای بین دو نقطه متمایز وجود ندارد (مگر اینکه مسیر ثابت باشد). بنابراین این فضاها همبند مسیری نیستند، مگر در حالت بی معنی (یک نقطه).
مثال تحلیلی: در
\[ \mathbb{Q} \]، مجموعه
\[ \{q \in \mathbb{Q} : q < \sqrt{2}\} \]هم باز و هم بسته است. این نشان می دهد که
\[ \mathbb{Q} \]به بخش های جدا از هم تقسیم می شود و بنابراین کاملا ناهمبند است.
قضیه: هر فضای متریک فشرده و کاملا ناهمبند، هومئومورف با زیرمجموعه ای از مجموعه کانتور است.
📌 مثال ساده:
\[ X = \{0\} \cup \{1/n : n \in \mathbb{N}\} \]با متر معمولی از
\[ \mathbb{R} \]یک فضای کاملا ناهمبند است. هر نقطه به جز ۰، جدا از بقیه است، و نقطه ۰ نیز مؤلفه همبندی اش فقط خودش است، زیرا می توان مجموعه های باز-بسته ای پیدا کرد که ۰ را از بقیه جدا کند.
