فضای متریک سیگما-فشرده (Sigma-Compact Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک سیگما-فشرده (Sigma-Compact Metric Space) :
تعریف: یک فضای متریک
\[ (X, d) \]سیگما-فشرده (
\[ \sigma \]-Compact) نامیده می شود اگر بتوان آن را به صورت اجتماع شمارش پذیری از زیرمجموعه های فشرده نوشت:
\[ X = \bigcup_{n=1}^{\infty} K_n, \quad \text{هر } K_n \text{ فشرده} \]توضیح مفهومی: سیگما-فشردگی یک مفهوم میانی بین فشردگی و فشردگی موضعی است. فضاهای سیگما-فشرده را می توان به عنوان اجتماع شمارش پذیری از قطعات فشرده در نظر گرفت. این خاصیت در بسیاری از قضایای آنالیز و توپولوژی ظاهر می شود، به ویژه در زمینه هایی که نیاز به پوشش فضا با مجموعه های فشرده داریم.
ویژگی ها:
هر فضای فشرده، سیگما-فشرده است.
هر فضای فشرده موضعی با پایه شمارا (second countable)، سیگما-فشرده است.
اجتماع شمارش پذیر فضاهای سیگما-فشرده، سیگما-فشرده است.
تصویر پیوسته یک فضای سیگما-فشرده، سیگما-فشرده است.
حاصلضرب دو فضای سیگما-فشرده، لزوما سیگما-فشرده نیست (مگر با شرایط اضافی).
هر زیرمجموعه بسته از یک فضای سیگما-فشرده، سیگما-فشرده است.
مثال های مهم فضاهای سیگما-فشرده:
\[ \mathbb{R}^n \]
: به صورت
\[ \bigcup_{m=1}^{\infty} [-m, m]^n \]که هر کدام فشرده هستند.
هر فضای فشرده موضعی با پایه شمارا: مانند خمینه های فشرده موضعی.
فضاهای اقلیدسی با هر بعد:
\[ \mathbb{R}^\infty \](با توپولوژی مناسب) نیز سیگما-فشرده است.
مجموعه کانتور: خود فشرده است، بنابراین سیگما-فشرده است.
فضای توابع پیوسته روی یک مجموعه فشرده با متر یکنواخت: مانند
\[ C[0,1] \]، سیگما-فشرده نیست (چون فشرده موضعی نیست و بعد نامتناهی دارد).
مثال های غیرسیگما-فشرده:
فضاهای با بعد نامتناهی: مانند
\[ l^2 \](فضای هیلبرت جداپذیر) سیگما-فشرده نیستند، زیرا نمی توان آنها را با اجتماع شمارش پذیر مجموعه های فشرده پوشاند. اگر می شد، چون فشرده ها در فضاهای متریک بسته و کراندارند و در فضاهای با بعد نامتناهی گوی های بسته فشرده نیستند، این امکان وجود ندارد.
\[ \mathbb{Q} \]
: اعداد گویا سیگما-فشرده نیستند، زیرا هر زیرمجموعه فشرده در
\[ \mathbb{Q} \]باید در
\[ \mathbb{R} \]فشرده و بنابراین بسته و کراندار باشد، و چنین مجموعه هایی در
\[ \mathbb{Q} \]نمی توانند همه
\[ \mathbb{Q} \]را بپوشانند (چون
\[ \mathbb{Q} \]چگال است).
ارتباط با فشردگی موضعی: هر فضای سیگما-فشرده و فشرده موضعی، لزوما دارای خاصیت پاراکامپکت است. در فضاهای متریک، سیگما-فشردگی معادل با لیندلوف بودن (هر پوشش باز دارای زیرپوشش شمارا) است.
قضیه: در فضاهای متریک، مفاهیم زیر معادلند:
- سیگما-فشرده بودن
- لیندلوف بودن
- جداپذیر بودن (وجود زیرمجموعه شمارا چگال)
کاربردها: سیگما-فشردگی در نظریه اندازه (برای تعریف اندازه های رادون)، در توپولوژی جبری (برای تعریف گروه های همولوژی با پشتیبانی فشرده)، و در آنالیز تابعی (برای بررسی دوگان فضاها) کاربرد دارد.
📌 مثال ساده:
\[ X = \mathbb{R} \]سیگما-فشرده است، زیرا
\[ \mathbb{R} = \bigcup_{n=1}^\infty [-n, n] \]و هر
\[ [-n, n] \]فشرده است. اما
\[ X = \mathbb{Q} \]سیگما-فشرده نیست، زیرا اگر
\[ \mathbb{Q} = \bigcup K_n \]با
\[ K_n \]فشرده در
\[ \mathbb{Q} \]، آن گاه هر
\[ K_n \]در
\[ \mathbb{R} \]نیز فشرده و بنابراین بسته و با interior خالی است (چون
\[ \mathbb{Q} \]چگال است). پس
\[ \mathbb{Q} \]اجتماع شمارش پذیر مجموعه های نادر است که با قضیه بئر تناقض دارد.
