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

محتوای حذف‌شده محتوای افزوده‌شده
SilvonenBot (بحث | مشارکت‌ها)
جز ربات اصلاح: zh:紧空间
Adlerbot (بحث | مشارکت‌ها)
جز ربات: اصلاح نیم فاصله مجازی
خط ۲:
 
در آنالیز ریاضی مجموعه‌ای که هر پوشش آن یک زیر پوشش متناهی داشته باشد مجموعه‌ای فشرده (=جمع و جور) خوانده می‌شود. از تبعات آن این است که [[زیر مجموعه]]‌ای از [[فضای اقلیدسی]] ‎<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ی نظیر فشردگی برای اثبات بسیاری از قضایا لازم و ضروریست.«فشرده» به معنی «متوالیا فشرده» می‌بوده است (هر دنباله یک زیر دنباله‌ی همگرا دارد). این زمانی بود که [[فضاهای متریک]] مورد بررسی قرار گرفت. تعریف «پوشش فشرده» کاربرد گسترده تری پیدا کرد، زیرا به ما امکان ارزیابی کلی فضاهای توپولوژیکی را می دهد،می‌دهد، و بسیاری از نتایج قدیمی در مورد فضاهای متریک با این زمینه کلیت پیدا می کندمی‌کند. این کلیت بخشی به طور خاص در بررسی و تحقیق پیرامون [[فضای تابعی|فضاهای تابعی]] مفید و سودمند است.
یکی از مهم‌ترین دلایل تحقیق پیرامون فضاهای فشرده آنستکه در بسیاری موارد شبیه مجموعه‌های متناهی می‌باشند. بعبارت دیگر نتایج بسیاری وجود دارند که به راحتی برای مجموعه‌های متناهی نشان داده می‌شوند، و اثبات بسیاری از آنها با انجام حداقل تغییرات برای فضاهای فشرده به کار برده می‌شوند.
== تعاریف ==