فضای متریک کامل (Complete Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک کامل (Complete Metric Space) :
تعریف: یک فضای متریک
\[ (X, d) \]کامل (Complete) نامیده می شود اگر هر دنباله کوشی (Cauchy) در
\[ X \]به نقطه ای در
\[ X \]همگرا باشد. به عبارت دیگر، هیچ نقطه ای از فضا "جا نیفتاده" باشد.
یک دنباله
\[ \{x_n\} \]کوشی است اگر:
\[ \forall \epsilon > 0, \exists N: \forall m, n \geq N, d(x_m, x_n) < \epsilon \]فضای کامل: هر دنباله کوشی در
\[ X \]به عضوی از
\[ X \]همگراست.
توضیح مفهومی: دنباله های کوشی دنباله هایی هستند که اعضایشان به هم نزدیک می شوند. در یک فضای کامل، این دنباله ها لزوما به یک حد در همان فضا می رسند. برای مثال، در
\[ \mathbb{Q} \](اعداد گویا)، دنباله ای از اعداد گویا که به
\[ \sqrt{2} \]نزدیک می شوند، کوشی است اما حد آن (
\[ \sqrt{2} \]) در
\[ \mathbb{Q} \]نیست، بنابراین
\[ \mathbb{Q} \]کامل نیست. اما
\[ \mathbb{R} \]کامل است.
اهمیت فضاهای کامل: بسیاری از قضایای مهم آنالیز نیاز به کامل بودن فضا دارند:
قضیه نقطه ثابت باناخ: هر انقباض روی یک فضای متریک کامل دارای یک نقطه ثابت یکتاست.
قضیه بئر: در فضاهای کامل، اشتراک شمارش پذیر از مجموعه های باز و چگال، چگال است.
قضیه باناخ-اشتاینهوس: در فضاهای کامل، کراندار بودن نقطه ای عملگرها نتیجه کراندار بودن یکنواخت آنهاست.
قضیه نگاشت باز: هر عملگر خطی کراندار پوشا بین فضاهای باناخ، یک نگاشت باز است.
مثال های مهم فضاهای کامل:
اعداد حقیقی:
\[ \mathbb{R} \]با متر معمولی کامل است.
فضاهای اقلیدسی:
\[ \mathbb{R}^n \]با هر متر ناشی از نرم کامل است.
فضاهای باناخ: هر فضای باناخ (فضای برداری نرم دار کامل) مانند
\[ L^p \]،
\[ C[a,b] \].
فضاهای هیلبرت: فضاهای ضرب داخلی کامل مانند
\[ l^2 \].
مجموعه کانتور: با متر القایی از
\[ \mathbb{R} \]کامل است (چون بسته است).
مثال های ناکامل:
\[ \mathbb{Q} \]،
\[ (0,1) \](چون دنباله
\[ 1/n \]به ۰ میل می کند که در مجموعه نیست)، فضای توابع پیوسته روی
\[ [0,1] \]با متر
\[ L^1 \](چون می توان به توابع ناپیوسته همگرا شد).
تکمیل فضا: برای هر فضای متریک ناکامل، می توان یک فضای کامل به نام تکمیل (completion) آن ساخت. برای مثال، تکمیل
\[ \mathbb{Q} \]،
\[ \mathbb{R} \]است، و تکمیل
\[ (0,1) \]،
\[ [0,1] \]است. تکمیل یک فضای متریک یکتا (تا حد یکریختی) است.
فشردگی و کامل بودن: هر فضای متریک فشرده کامل است، اما عکس آن درست نیست (مثلا
\[ \mathbb{R} \]کامل است اما فشرده نیست). فضاهای کامل و کاملا کراندار معادل فشرده هستند.
📌 مثال ساده:
\[ X = [0,1] \]با متر معمولی یک فضای متریک کامل است. هر دنباله کوشی در
\[ [0,1] \]به عددی در
\[ [0,1] \]همگراست. اما
\[ X = (0,1) \]کامل نیست، زیرا دنباله
\[ 1/2, 1/3, 1/4, ... \]کوشی است ولی به ۰ همگراست که در
\[ (0,1) \]نیست.
