فضای متریک کانتور (Cantor Space)، در ریاضیات (Mathematics)

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

فضای متریک کانتور (Cantor Space) :

تعریف: فضای کانتور (یا مجموعه کانتور) یک فضای متریک فشرده، کامل، و کاملا ناهمبند است که با حذف بازه های میانی از بازه

\[ [0,1] \]

به دست می آید. تعریف دقیق تر:

\[ C = \{ \sum_{n=1}^\infty \frac{a_n}{3^n} : a_n \in \{0, 2\} \} \]

. متریک روی آن معمولا متر القایی از

\[ \mathbb{R} \]

است. همچنین می توان آن را به عنوان حاصلضرب شمارا از فضای دو نقطه ای

\[ \{0, 1\} \]

با توپولوژی ضریبی در نظر گرفت:

\[ C \cong \{0, 1\}^{\mathbb{N}} \quad \text{با متر } d(x, y) = \sum_{n=1}^\infty \frac{|x_n - y_n|}{2^n} \]

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

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

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

\[ [0,1] \]

فشرده است.

کامل بودن: به عنوان زیرمجموعه بسته از

\[ \mathbb{R} \]

، کامل است.

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

بدون نقطه انزوا: هیچ نقطه ای در آن جدا نیست (هر نقطه یک نقطه حدی است).

ناشمارایی: توان آن برابر

\[ 2^{\aleph_0} \]

است.

اندازه لوبگ صفر: مجموع طول بازه های حذف شده برابر ۱ است.

هم ریختی با حاصلضرب:

\[ C \cong \{0, 1\}^{\mathbb{N}} \]

با توپولوژی ضربی.

ساختار: مجموعه کانتور از بازه

\[ [0,1] \]

با حذف بازه

\[ (1/3, 2/3) \]

، سپس حذف بازه های

\[ (1/9, 2/9) \]

و

\[ (7/9, 8/9) \]

از بازه های باقی مانده، و ادامه این فرایند تا بینهایت به دست می آید.

خودتشابهی: مجموعه کانتور یک فرکتال است:

\[ C = (C/3) \cup (2/3 + C/3) \]

. این خاصیت خودتشابهی آن را به یک فرکتال تبدیل کرده است.

قضایای مهم:

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

هر فضای متریک فشرده، تصویر پیوسته مجموعه کانتور است (قضیه الکساندرف-هاسدورف).

مجموعه کانتور یک فضای هادامار (CAT(0)) است.

کاربردها: مجموعه کانتور در توپولوژی (به عنوان مثال اصلی فضای فشرده)، نظریه اندازه (مثال مجموعه ناشمارا با اندازه صفر)، آنالیز فوریه (سری های کانتور)، دینامیک (سیستم های دینامیکی نمادین)، و فرکتال ها کاربرد دارد.

توابع کانتور: تابع کانتور (نردبان شیطان) یک تابع پیوسته و صعودی از

\[ [0,1] \]

به

\[ [0,1] \]

است که روی مکمل مجموعه کانتور مشتق آن صفر است و مجموعه کانتور را به بازه

\[ [0,1] \]

می نگارد.

📌 مثال ساده:

نمایش سه گانه اعداد در

\[ [0,1] \]

:

\[ x = 0.2020202..._3 \]

(یعنی ارقام ۰ و ۲) در مجموعه کانتور است. عدد

\[ 0.1_3 = 1/3 \]

نیز در کانتور است (چون

\[ 1/3 = 0.02222..._3 \]

).

در نمایش حاصلضربی، هر دنباله از ۰ و ۱ متناظر با یک نقطه از کانتور است: مثلا

\[ (0,1,0,1,...) \]

.