فضای متریک کاملا کراندار (Totally Bounded Metric Space)، در ریاضیات (Mathematics)

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

فضای متریک کاملا کراندار (Totally Bounded Metric Space) :

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

\[ (X, d) \]

کاملا کراندار (Totally Bounded) یا پیش فشرده (Precompact) نامیده می شود اگر برای هر

\[ \epsilon > 0 \]

، بتوان

\[ X \]

را با تعداد متناهی توپ (گوی) باز به شعاع

\[ \epsilon \]

پوشاند. به عبارت دیگر، یک شبکه ی متناهی-

\[ \epsilon \]

وجود دارد.

\[ \forall \epsilon > 0, \exists \{x_1, ..., x_n\} \subset X: X \subset \bigcup_{i=1}^n B(x_i, \epsilon) \]

یعنی X با تعداد متناهی گوی به شعاع

\[ \epsilon \]

پوشانده می شود.

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

\[ \epsilon = 1/2 \]

، هر گوی به شعاع

\[ 1/2 \]

فقط یک نقطه را پوشش می دهد و برای پوشش کل فضا به تعداد نامتناهی گوی نیاز داریم. کاملا کراندار بودن یعنی فضا به طور یکنواخت "کوچک" است.

ویژگی ها و قضایا:

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

یک فضای متریک فشرده است اگر و فقط اگر کامل و کاملا کراندار باشد.

زیرفضا و بستار یک فضای کاملا کراندار، کاملا کراندار است.

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

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

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

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

بازه های بسته

\[ [a, b] \]

: در

\[ \mathbb{R} \]

کاملا کراندار هستند.

مجموعه های فشرده در

\[ \mathbb{R}^n \]

: مانند گوی های بسته، منحنی های بسته.

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

\[ [0,1] \]

کاملا کراندار است.

فضاهای با تعداد متناهی عضو: هر فضای متناهی کاملا کراندار است.

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

گوی واحد در فضای هیلبرت با بعد نامتناهی: با متر معمولی کراندار است (قطر ۲) اما کاملا کراندار نیست، زیرا می توان دنباله ای از بردارهای متعامد یکه یافت که فاصله هر دو تا

\[ \sqrt{2} \]

است و بنابراین برای

\[ \epsilon < \sqrt{2}/2 \]

، هیچ پوشش متناهی ای با گوی های به شعاع

\[ \epsilon \]

وجود ندارد.

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

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

شبکه های متناهی: یک مجموعه

\[ N \subset X \]

یک شبکه-

\[ \epsilon \]

نامیده می شود اگر هر نقطه از

\[ X \]

در فاصله کمتر از

\[ \epsilon \]

از عضوی از

\[ N \]

باشد. کاملا کراندار بودن یعنی برای هر

\[ \epsilon \]

یک شبکه-

\[ \epsilon \]

متناهی وجود دارد.

کاربردها: کاملا کراندار بودن در اثبات فشردگی مجموعه ها در فضاهای تابعی (مانند قضیه آسکولی-آرزلا) و در آنالیز عددی برای تضمین وجود تقریب های گسسته استفاده می شود.

📌 مثال ساده:

\[ X = (0,1) \]

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

\[ \epsilon > 0 \]

، می توانیم نقاط

\[ x_i = i \cdot \epsilon/2 \]

برای

\[ i = 1, 2, ..., \lfloor 2/\epsilon \rfloor \]

را بگیریم. اما

\[ X \]

کامل نیست (زیرا دنباله

\[ 1/n \]

به ۰ میل می کند که در

\[ X \]

نیست)، بنابراین فشرده نیست. این نشان می دهد که کاملا کراندار بودن به تنهایی کافی نیست.