فضای متریک خاص (Proper Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک خاص (Proper Metric Space) :
تعریف: یک فضای متریک
\[ (X, d) \]خاص (Proper) نامیده می شود اگر هر گوی بسته (با شعاع متناهی) در آن فشرده باشد. به عبارت دیگر، برای هر
\[ x \in X \]و هر
\[ r > 0 \]، مجموعه
\[ \overline{B}(x, r) = \{y \in X : d(x, y) \leq r\} \]فشرده است.
\[ \forall x \in X, \forall r > 0: \overline{B}(x, r) \text{ فشرده است} \]توضیح مفهومی: خاص بودن یک شرط فشردگی موضعی قوی است. در فضاهای خاص، هر گوی بسته فشرده است، که نتیجه می دهد فضا کامل و فشرده موضعی است. این خاصیت در بسیاری از قضایای آنالیز و هندسه ظاهر می شود. برای مثال،
\[ \mathbb{R}^n \]خاص است، اما یک فضای هیلبرت با بعد نامتناهی خاص نیست، زیرا گوی های بسته در آن فشرده نیستند.
ویژگی های اصلی:
هر فضای خاص، کامل و فشرده موضعی است.
عکس آن در فضاهای متریک درست است: اگر فضا کامل و فشرده موضعی باشد، آیا خاص است؟ خیر، مثال نقض وجود دارد (اما اگر فضا به طور موضعی فشرده باشد و خاصیت هینه-بورل داشته باشد، می توان نتیجه گرفت). در فضاهای با ساختار خطی، مفاهیم نزدیک تر هستند.
در فضاهای خاص، قضیه هاینه-بورل برقرار است: یک مجموعه فشرده است اگر و فقط اگر بسته و کراندار باشد.
زیرفضاهای بسته از فضاهای خاص، خاص هستند.
حاصلضرب متناهی فضاهای خاص (با متر مناسب) خاص است.
مثال های مهم:
\[ \mathbb{R}^n \]
و
\[ \mathbb{C}^n \]: با هر متر ناشی از نرم، خاص هستند.
خمینه های ریمانی کامل با انحنای کراندار: معمولا خاص هستند اگر فشرده موضعی باشند.
گراف های موضعا متناهی: اگر هر رأس دارای درجه متناهی باشد و گراف همبند باشد، با متر کوتاه ترین مسیر خاص است.
فضاهای فشرده: هر فضای فشرده خاص است (چون گوی های بسته زیرمجموعه های بسته از یک فضای فشرده اند).
مثال های غیرخاص:
فضاهای هیلبرت با بعد نامتناهی: مانند
\[ l^2 \]، گوی واحد بسته فشرده نیست، بنابراین خاص نیست.
\[ \mathbb{Q} \]
(اعداد گویا): با متر معمولی خاص نیست، زیرا گوی های بسته در
\[ \mathbb{Q} \]فشرده نیستند (کامل نیستند).
فضاهای گسسته نامتناهی با متر گسسته: گوی بسته به شعاع ۱ برابر کل فضاست که اگر فضا نامتناهی باشد، فشرده نیست (چون پوشش باز از تک نقطه ها زیرپوشش متناهی ندارد).
ارتباط با قضیه هاینه-بورل: در فضاهای خاص، قضیه هاینه-بورل (فشردگی معادل بسته و کراندار بودن) برقرار است. این یک ویژگی بسیار مفید در آنالیز است.
قضیه: در فضاهای خاص، مفاهیم فشردگی دنباله ای و فشردگی برابرند.
کاربردها: فضاهای خاص در آنالیز تابعی (برای مطالعه فضاهای باناخ با خاصیت رادون-نیکودیم)، در نظریه پتانسیل، در هندسه متریک (برای مطالعه ژئودزیک ها و همگرایی)، و در معادلات دیفرانسیل با مشتقات جزئی (برای فشردگی embeddingها) کاربرد دارند.
نکته: اصطلاح "Proper" در منابع مختلف ممکن است معانی متفاوتی داشته باشد. در نظریه گروه های هندسی، "proper metric space" گاهی به فضایی گفته می شود که در آن گوی های بسته فشرده هستند. در نظریه عملگرها، ممکن است معانی دیگری داشته باشد.
📌 مثال ساده:
\[ \mathbb{R} \]با متر
\[ d(x, y) = |x - y| \]یک فضای خاص است. گوی بسته
\[ \overline{B}(0, r) = [-r, r] \]در
\[ \mathbb{R} \]فشرده است (بسته و کراندار). اما
\[ \mathbb{Q} \]با همین متر خاص نیست، زیرا گوی بسته در
\[ \mathbb{Q} \]، مثلا
\[ \overline{B}(0, 1) \cap \mathbb{Q} = [-1, 1] \cap \mathbb{Q} \]، فشرده نیست (چون کامل نیست و دنباله هایی مانند تقریب های
\[ \sqrt{2} \]حد در
\[ \mathbb{Q} \]ندارند).
