فضای فشرده

بازه $A=(-\infty ,-2]$ به دلیل کراندار نبودن فشرده نیست. بازه $C=(2,4)$ به دلیل بسته نبودن فشرده نیست. بازه $B=[0,1]$ فشرده است چون هم بسته و هم کراندار می باشد.

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

یکی از این تعمیم ها این است که یک فضای توپولوژی به طور دنباله ای فشرده است اگر هر دنباله نامتناهی از نقاط فضا دارای زیر دنباله ای نامتناهی باشد که به نقاطی از فضا همگرا گردد. قضیه بولزانو-وایرشتراس بیان می دارد که زیرمجموعه ای از فضای اقلیدسی از جنبه دنباله ای (که ذکر شد) فشرده است اگر و تنها اگر بسته و کراندار باشد. لذا، اگر نامتناهی نقطه از بازه واحد بسته $[0,1]$ انتخاب کنیم، برخی از آن نقاط به میزان دلخواهی به برخی اعداد حقیقی در آن فضا نزدیک خواهند شد. به عنوان مثال، برخی از اعدادی چون ${\frac {1}{2}}$، ${\frac {4}{5}}$، ${\frac {1}{3}}$، ${\frac {5}{6}}$، ${\frac {1}{4}}$، ${\frac {6}{7}}$، ... حول ۰ (و برخی دیگر حول ۱) انباشته می شوند. همین اعداد در بازه $(0,1)$ حول هیچ نقطه ای انباشته نمی شوند؛ لذا بازه باز فشرده نیست. خود فضای اقلیدسی فشرده نیست، چرا که کراندار نیست. به طور خاص، دنباله نقاط ۰، ۱، ۲، ۳، .... هیچ زیر دنباله همگرا به عددی حقیقی ندارد.

در مورد فضاهای توپولوژیکی کلی تر، تعاریف مختلف فشردگی لزوماً معادل نیستند. کاربردی ترین تعریف، که تعریف استانداردی برای مفهوم فشردگی است، بر حسب وجود خانواده متناهی از مجموعه های باز است که فضا را "پوشش" می دهند، یعنی هر نقطه از فضا در یکی از اعضای آن خانواده قرار می گیرد. این تعریف توسط پاول الکساندروف و پاول یوریسون در ۱۹۲۹ معرفی گشت و فضاهای فشرده را به صورت تعمیمی از مجموعه های متناهی نمایان می سازد. در فضاهایی که از دیدگاه این تعریف فشرده هستند، اغلب امکان الصاق کردن اطلاعات موضعی، یعنی اطلاعات مربوط به همسایگی هر نقطه، به احکام متناظر سرتاسری، یعنی مربوط به کل فضا، فراهم می گردد. خیلی از قضایا ویژگی اخیر را مورد بهره برداری قرار می دهند.

برخی مواقع عبارت مجموعه فشرده معادل با فضاهای فشرده در نظر گرفته می شود، اما اغلب منظور از آن یک زیرفضای فشرده از یک فضای توپولوژیست.

تاریخچه پیشرفت

در قرن نوزدهم، چندین خاصیت ریاضیاتی پراکنده و ناهمخوان شناخته شده بودند که بعدها مشخص شد پیامدهای فشردگی اند. از سوی دیگر، برنارد بولزانو (۱۸۱۷) می دانست که هر دنباله کراندار از نقاط (به عنوان مثال درون خط یا صفحه) زیر دنباله ای دارد که باید در نهایت به میزان دلخواهی به نقطه ای دیگر که به آن نقطه حدی می گویند میل کند. اثبات بولزانو وابسته به روش دو نیم کردن بود: دنباله مورد نظر درون بازه ای قرار می گرفت که آن بازه به دو بخش مساوی تقسیم می شد، سپس بخشی که شامل بی نهایت عضو از دنبال بود انتخاب می گشت. آنگاه فرایند مذکور دوباره با تقسیم کردن بازه کوچکتر حاصل که از مرحله قبل انتخاب شده بود تکرار می گشت. اهمیت واقعی قضیه بولزانو و روش اثبات آن تا حدود ۵۰ سال بعد، زمانی که مجدداً توسط کارل وایرشتراس کشف شد مشخص نگردید.

تعاریف

بسته به سطح تعمیم مورد نظر، تعاریف متعددی را می توان برای فشردگی ارائه داد. به طور خاص یک زیر مجموعه از فضای اقلیدسی را فشرده گویند اگر بسته و کراندار باشد. این تعریف بر اساس قضیه بولزانو-وایرشتراس نتیجه می دهد که هر دنباله نامتناهی از مجموعه مذکور زیردنباله ای دارد که به نقطه ای در آن مجموعه همگرا می شود. مفاهیم معادل مختلف دیگری برای فشردگی را می توان در فضای متری در حالت کلی ایجاد کرد، مثل فشردگی دنباله ای و فشردگی نقطه حدی.

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

تعریف پوشش باز

یک فضای توپولوژی $X$ را فشرده گویند اگر هر پوشش باز آن دارای زیر پوشش متناهی باشد. یعنی، $X$ فشرده است اگر برای هر گردایه $C$ از زیر مجموعه های باز $X$ به صورت:

$X=\bigcup _{x\in C}x$

وجود داشته باشد زیرمجموعه متناهی $F$ از $C$ چنان که:

$X=\bigcup _{x\in F}x.$

برخی از شاخه های ریاضیات چون هندسه جبری که اغلب از مکتب فرانسوی بورباکی تأثیر پذیرفته اند، از اصطلاح شبه-فشرده برای مفهوم کلی فشردگی استفاده می کنند و در مقابل اصطلاح فشرده را برای فضاهای توپولوژی که هم هاسدورف و هم شبه-فشرده باشند نگه داشتند.

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

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

قضایا

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

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

منابع

• Alexandrov, Pavel; Urysohn, Pavel (1929), "Mémoire sur les espaces topologiques compacts", Koninklijke Nederlandse Akademie van Wetenschappen Te Amsterdam, Proceedings of the Section of Mathematical Sciences, 14.
• Arkhangel'skii, A.V.; Fedorchuk, V.V. (1990), "The basic concepts and constructions of general topology", in Arkhangel'skii, A.V.; Pontrjagin, L.S. (eds.), General topology I, Encyclopedia of the Mathematical Sciences, vol. 17, Springer, ISBN 978-0-387-18178-3.
• Arkhangel'skii, A.V. (2001) [1994], "Compact space", Encyclopedia of Mathematics, EMS Press.
• Bolzano, Bernard (1817), Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein entgegengesetzes Resultat gewähren, wenigstens eine reele Wurzel der Gleichung liege, Wilhelm Engelmann (Purely analytic proof of the theorem that between any two values which give results of opposite sign, there lies at least one real root of the equation).
• Borel, Émile (1895), "Sur quelques points de la théorie des fonctions", Annales Scientifiques de l'École Normale Supérieure, 3, 12: 9–55, doi:10.24033/asens.406, JFM 26.0429.03
• Boyer, Carl B. (1959), The history of the calculus and its conceptual development, New York: Dover Publications, MR 0124178.
• Arzelà, Cesare (1895), "Sulle funzioni di linee", Mem. Accad. Sci. Ist. Bologna Cl. Sci. Fis. Mat., 5 (5): 55–74.
• Arzelà, Cesare (1882–1883), "Un'osservazione intorno alle serie di funzioni", Rend. Dell' Accad. R. Delle Sci. Dell'Istituto di Bologna: 142–159.
• Ascoli, G. (1883–1884), "Le curve limiti di una varietà data di curve", Atti della R. Accad. Dei Lincei Memorie della Cl. Sci. Fis. Mat. Nat., 18 (3): 521–586.
• Fréchet, Maurice (1906), "Sur quelques points du calcul fonctionnel" (PDF), Rendiconti del Circolo Matematico di Palermo, 22 (1): 1–72, doi:10.1007/BF03018603, hdl:10338.dmlcz/100655.
• Gillman, Leonard; Jerison, Meyer (1976), Rings of continuous functions, Springer-Verlag.
• Kelley, John (1955), General topology, Graduate Texts in Mathematics, vol. 27, Springer-Verlag.
• Kline, Morris (1972), Mathematical thought from ancient to modern times (3rd ed.), Oxford University Press (published 1990), ISBN 978-0-19-506136-9.
• Lebesgue, Henri (1904), Leçons sur l'intégration et la recherche des fonctions primitives, Gauthier-Villars.
• Robinson, Abraham (1996), Non-standard analysis, Princeton University Press, ISBN 978-0-691-04490-3, MR 0205854.
• Scarborough, C.T.; Stone, A.H. (1966), "Products of nearly compact spaces" (PDF), Transactions of the American Mathematical Society, Transactions of the American Mathematical Society, Vol. 124, No. 1, 124 (1): 131–147, doi:10.2307/1994440, JSTOR 1994440.
• Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples in Topology (Dover Publications reprint of 1978 ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-486-68735-3, MR 0507446
• Willard, Stephen (1970), General Topology, Dover publications, ISBN 0-486-43479-6

• مشارکت‌کنندگان ویکی‌پدیا. «Compact Space». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۳ نوامبر ۲۰۱۹.