Компактифіка́ція — операція в загальній топології, яка перетворює довільні топологічні простори на компактні.
1924 року Павло Сергійович Александров довів теорему, що локально компактний простір може бути доповнений єдиною («нескінченно віддаленою») точкою до компактного простору.
Визначення Редагувати
Нехай — топологічний простір, точка і . Визначимо топологію на , оголошуючи множину в відкритою тоді і тільки тоді, коли вона належить або є доповненням до замкненої компактної множини простору .
Властивості Редагувати
- є компактним, оскільки будь-яке відкрите покриття простору містить відкриту множину, яка містить точку , і доповнення до цієї відкритої множини покривається скінченним набором множин з .
- є T1-простором тоді й лише тоді, коли є T1-простором.
- є T2-простором тоді й лише тоді, коли є локально компактним T2-простором.
- Якщо — множина раціональних чисел з топологією, індукованою евклідовою топологією на множині дійсних чисел, то не хаусдорфів, оскільки не є локально компактним простором. Наприклад візьмемо точки Припустимо, що існують відкриті околи у для яких Відкрита множина має містити відкритий окіл виду де a, b є дійсними числами і . Також множина за означенням одноточкової компактифікації є компактною підмножиною раціональних чисел і Оскільки включення є неперервним відображенням у стандартних топологіях, то також є компакною підмножиною дійсних чисел, тобто обмеженою замкнутою підмножиною. Зокрема замикання у множині дійсних чисел є підмножиною . Але це неможливо оскільки є підмножиною раціональних чисел. Тобто не може бути підмножиною , а тому має перетинатися із
- тотально незв’язний.
- є бізв’язним та секвенціально компактним.
- є KC-простором, тобто кожна його компактна підмножина є замкнутою. Якщо є компактною підмножиною, що не містить то вона є замкнутою за означенням одноточкової компактифікації. Якщо і не є відкритою підмножиною то також не є відкритою множиною раціональних чисел і тому не є замкнутою підмножиною раціональних чисел. Оскільки є секвенційним простором, то існує точка і послідовність , що збігається до Тоді є компактною підмножиною у і за означенням є відкритою множиною. Також можна вибрати такі околи елементів послідовності, що для . Тоді відкриті множини утворюють покриття із якого не можна вибрати скінченне підпокриття. Це протирічить тому, що є компактною підмножиною. Тому має бути замкнутою.
Література Редагувати
- Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978]. Counterexamples in Topology (вид. Dover reprint of 1978). Berlin, New York: Springer-Verlag. ISBN 978-0-486-68735-3. MR 507446. (приклади 34, 35)