فضای فشرده: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
جزبدون خلاصۀ ویرایش |
|||
خط ۱۴:
== تعاریف ==
بسته به سطح تعمیم مورد نظر، تعاریف متعددی را می توان برای فشردگی ارائه داد. به طور خاص یک زیر مجموعه از فضای اقلیدسی را فشرده گویند اگر بسته و کراندار باشد. این تعریف بر اساس قضیه بولزانو-وایرشتراس نتیجه می دهد که هر دنباله نامتناهی از مجموعه مذکور زیردنباله ای دارد که به نقطه ای در آن مجموعه همگرا می شود. مفاهیم معادل مختلف دیگری برای فشردگی را می توان در فضای متری در حالت کلی ایجاد کرد، مثل فشردگی دنباله ای و فشردگی نقطه حدی.
در مقایسه، مفاهیم متفاوت فشردگی در فضاهای توپولوژی عام با یک دیگر معادل نیستند، فلذا مفید ترین مفهوم فشردگی، که ابتدا به آن دوفشردگی {{به انگلیسی|bicompactness}} می گفتند را با کمک پوشش های باز تعریف کردند (این تعریف در ادامه می آید). این فرم از فشردگی برای زیر مجموعه های بسته و کراندار فضای اقلیدسی بر اساس قضیه هاینه-بورل برقرار است. فشردگی، زمانی که بدین طریق تعریف گردد، اغلب امکان می دهد تا اطلاعات موضعی (یعنی اطلاعات مربوط به همسایگی هر نقطه) به سرتاسر فضا تعمیم پیدا کند. مثالی از این پدیده قضیه دیریکله است، که ابتداءً توسط هاینه به کار گرفته شد، در این قضیه نشان داده می شود که تابع پیوسته روی یک بازه فشرده به طور یک نواخت پیوسته است؛ در اینجا، پیوستگی یک خاصیت موضعی تابع است در حالی که پیوستگی یک نواخت خاصیتی سرتاسریست.
== مثالهایی از فضاهای فشرده ==
| |||