فضای فشرده: تفاوت میان نسخه‌ها

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