در آنالیز ریاضی مجموعه‌ای که هر پوشش آن یک زیر پوشش متناهی داشته باشد مجموعه‌ای فشرده (=جمع و جور) خوانده می‌شود. از تبعات آن این است که زیر مجموعه‌ای از فضای اقلیدسی ‎\mathbb{R}n که بسته و کراندار باشد، فشرده است. مثلاً در \mathbb{R} فاصله‌ی یکه‌ی بسته‌ی [0,1] فشرده است، اما مجموعه‌ی اعداد صحیح \mathbb{Z} این طور نیست (زیرا کراندار نیست) و بازه‌ی نیمه باز [0, 1) نیز همینطور (زیرا بسته نیست). یک روش جدیدتر این است که یک فضای توپولوژیکی را فشرده بنامیم اگر که هر پوشش باز آن یک زیر پوشش متناهی داشته باشد. قضیه‌ی هاینه-بورل نشان می دهد این تعریف معادل است با زیر «بسته و کراندار» برای زیر مجموعه‌های فضای اقلیدسی.

فهرست مندرجات

تاریخچه و ایجاد انگیزه

اصطلاح فشرده در سال 1906 به‌وسیله Frechet معرفی گردیده است. از دیرباز تشخیص داده شده که ویژگیهاdی نظیر فشردگی برای اثبات بسیاری از قضایا لازم و ضروریست.«فشرده» به معنی «متوالیا فشرده» می‌بوده است (هر دنباله یک زیر دنباله‌ی همگرا دارد). این زمانی بود که فضاهای متریک مورد بررسی قرار گرفت. تعریف «پوشش فشرده» کاربرد گسترده تری پیدا کرد، زیرا به ما امکان ارزیابی کلی فضاهای توپولوژیکی را می دهد، و بسیاری از نتایج قدیمی در مورد فضاهای متریک با این زمینه کلیت پیدا می کند. این کلیت بخشی به طور خاص در بررسی و تحقیق پیرامون فضاهای تابعی مفید و سودمند است. یکی از مهم‌ترین دلایل تحقیق پیرامون فضاهای فشرده آنستکه در بسیاری موارد شبیه مجموعه‌های متناهی می‌باشند. بعبارت دیگر نتایج بسیاری وجود دارند که به راحتی برای مجموعه‌های متناهی نشان داده می‌شوند، و اثبات بسیاری از آنها با انجام حداقل تغییرات برای فضاهای فشرده به کار برده می‌شوند.

تعاریف

 فشردگی زیر مجموعه‌های ‎\mathbb{R}n

برای هر زیر مجموعه از فضای اقلیدسی ‎\mathbb{R}n چهار شرط زیر معادلند :

  • هر پوشش باز دارای یک زیرپوشش متناهی است. این معمولترین تعریفی است که استفاده می‌شود.
  • هر دنباله در مجموعه دارای یک زیر دنباله‌ی همگراست، نقطه حدی‌ای که به مجموعه تعلق دارد.
  • هر زیر مجموعه‌ی نامتناهی از مجموعه یک نقطه‌ی تجمع در مجموعه دارد.
  • مجموعه بسته یا کراندار است. این شرطی است که به راحتی می‌توان بررسی کرد ،به‌عنوان مثال بازه‌ی بسته.

در فضاهای دیگر ممکن است این شرایط با توجه به خواص فضا معدل باشند یا نباشند.

مثالهایی از فضاهای فشرده

  • مجموعه‌ی تهی
  • بازه‌ی یکه‌ی بسته‌ی [0, 1] فشرده است (ولی بازه‌ی نیمه باز [0, 1) نه)

 قضایا

برخی قضایای مرتبط با فشردگی:

  • یک تصویر پیوسته از یک فضای فشرده، فشرده است.
  • قضیه‌ی مقدار نهایی: یک تابع پیوسته‌ی حقیقی روی یک فضای فشرده کراندار است و مقدار ماکزیمم خود را می‌گیرد.
  • یک زیرمجموعه‌ی بسته از یک فضای فشرده، فشرده است.
  • یک مجموعه‌ی فشرده‌ی ناتهی از اعداد حقیقی بزرگ‌ترین عضو و کوچک‌ترین عضو دارد.
  • یک زیرمجموعه از فضای اقلیدسی n-بعدی فشرده است اگر و تنها اگر بسته و کراندار باشد.(قضیه‌ی هاینه-بورل)