Refresh | This website ru.stringtranslate.com/%D1%81%D0%B5%D0%BA%D0%B2%D0%B5%D0%BD%D1%86%D0%B8%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%20%D0%BA%D0%BE%D0%BC%D0%BF%D0%B0%D0%BA%D1%82%D0%BD%D0%BE/Sequential_compactness is currently offline. Cloudflare's Always Online™ shows a snapshot of this web page from the Internet Archive's Wayback Machine. To check for the live version, click Refresh. |
В математике топологическое пространство X называется секвенциально компактным , если каждая последовательность точек в X имеет сходящуюся подпоследовательность , сходящуюся к точке в .
Каждое метрическое пространство является естественным топологическим пространством, и для метрических пространств понятия компактности и секвенциальной компактности эквивалентны (если предположить счетный выбор ). Однако существуют секвенциально компактные топологические пространства, которые не являются компактными, и компактные топологические пространства, которые не являются секвенциально компактными.
Пространство всех действительных чисел со стандартной топологией не является последовательно компактным; последовательность, заданная для всех натуральных чисел, является последовательностью, не имеющей сходящейся подпоследовательности.
Если пространство является метрическим , то оно последовательно компактно тогда и только тогда, когда оно компактно . [1] Первый несчетный ординал с топологией порядка является примером последовательно компактного топологического пространства, которое не является компактным. Произведение копий замкнутого единичного интервала является примером компактного пространства, которое не является последовательно компактным. [2]
Топологическое пространство называется компактным по предельной точке , если каждое бесконечное подмножество имеет предельную точку в , и счетно компактным, если каждое счетное открытое покрытие имеет конечное подпокрытие. В метрическом пространстве понятия последовательной компактности, компактности по предельной точке, счетной компактности и компактности эквивалентны (если принять аксиому выбора ).
В последовательном (хаусдорфовом) пространстве последовательная компактность эквивалентна счетной компактности. [3]
Существует также понятие одноточечной последовательной компактификации — идея состоит в том, что все несходящиеся последовательности должны сходиться к дополнительной точке. [4]