فضای فشرده: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
بدون خلاصۀ ویرایش |
جز روبات: اِعمال دستور خط فارسی و فرهنگ املایی |
||
خط ۱:
{{منبع}}
در آنالیز ریاضی مجموعهای که هر پوشش آن یک زیر پوشش متناهی داشته باشد مجموعهای فشرده (=جمع و جور) خوانده میشود. از تبعات آن این است که [[زیر مجموعه]]ای از [[فضای اقلیدسی]] <math>\mathbb{R}</math><sup>n</sup> که [[مجموعهی بسته|بسته]] و [[مجموعه کراندار|کراندار]] باشد، فشرده است.
یک روش جدیدتر این است که یک [[فضای توپولوژیکی]] را فشرده بنامیم اگر که هر [[پوشش باز]] آن یک زیر پوشش متناهی داشته باشد. قضیهی هاینه-بورل نشان می دهد این تعریف معادل است با زیر «بسته و کراندار» برای زیر مجموعههای فضای اقلیدسی.
== تاریخچه و ایجاد انگیزه ==
اصطلاح ''فشرده'' در سال 1906
از دیرباز تشخیص داده شده که ویژگیهاdی نظیر فشردگی برای اثبات بسیاری از قضایا لازم و ضروریست.«فشرده» به معنی «متوالیا فشرده» میبوده است (هر دنباله یک زیر دنبالهی همگرا دارد). این زمانی بود که [[فضاهای متریک]] مورد بررسی قرار گرفت. تعریف «پوشش فشرده» کاربرد گسترده تری پیدا کرد، زیرا به ما امکان ارزیابی کلی فضاهای توپولوژیکی را می دهد، و بسیاری از نتایج قدیمی در مورد فضاهای متریک با این زمینه کلیت پیدا می کند. این کلیت بخشی به طور خاص در بررسی و تحقیق پیرامون [[فضای تابعی|فضاهای تابعی]] مفید و سودمند است.
یکی از
== تعاریف ==
=== فشردگی زیر مجموعههای <math>\mathbb{R}</math><sup>n</sup> ===
خط ۱۳:
* هر [[دنباله]] در مجموعه دارای یک زیر دنبالهی همگراست، نقطه حدیای که به مجموعه تعلق دارد.
* هر زیر مجموعهی نامتناهی از مجموعه یک [[نقطهی تجمع]] در مجموعه دارد.
* مجموعه بسته یا کراندار است. این شرطی است که به راحتی میتوان بررسی کرد
در فضاهای دیگر ممکن است این شرایط با توجه به خواص فضا معدل باشند یا نباشند.
== مثالهایی از فضاهای فشرده ==
خط ۲۳:
* قضیهی مقدار نهایی: یک تابع پیوستهی حقیقی روی یک فضای فشرده کراندار است و مقدار ماکزیمم خود را میگیرد.
* یک زیرمجموعهی بسته از یک فضای فشرده، فشرده است.
* یک مجموعهی فشردهی ناتهی از [[عدد حقیقی|اعداد حقیقی]]
* یک زیرمجموعه از فضای اقلیدسی n-بعدی فشرده است اگر و تنها اگر بسته و کراندار باشد.([[قضیهی هاینه-بورل]])
== همچنینی نگاه کنید به ==
|