Компакт
Компа́кт, метризуемое компактное пространство. Примеры компакта: отрезок, окружность, -мерные куб, шар, сфера, канторово множество, гильбертов кирпич; -мерное евклидово пространство не является компактом, а подмножество такого пространства будет компактом тогда и только тогда, когда оно замкнуто и ограничено. Замкнутое подмножество компакта есть компакт, и всякий компакт гомеоморфен замкнутому подмножеству гильбертова кирпича (теорема Урысона). Для существования гомеоморфизма компакта в евклидово пространство необходимо и достаточно, чтобы он был конечномерен (теорема Понтрягина – Нёбелинга). Непрерывный образ компакта, являющийся -пространством, есть компакт, и всякий компакт есть непрерывный образ канторова множества (теорема Александрова). Произведение конечного или счётного множества компактов есть компакт. Любой компакт сепарабелен, компакты характеризуются тем, что обладают конечной или счётной базой. Компакт характеризуется также тем, что он вполне ограничен относительно какой-нибудь метрики, совместимой с его топологией (теорема Хаусдорфа).
Компакт – один из важнейших классов топологических пространств. Свойство метризуемого пространства быть компактом равносильно каждому из следующих свойств.
Из любого счётного открытого покрытия пространства можно выделить конечное подпокрытие (аналог леммы Гейне – Бореля – Лебега о покрытии отрезка интервалами).
Любая счётная система таких замкнутых в непустых множеств , что , , имеет непустое пересечение (обобщение принципа вложенных отрезков Кантора).
Из любой последовательности точек пространства можно выделить сходящуюся в подпоследовательность (обобщённая теорема Больцано – Вейерштрасса).
Любое бесконечное подмножество пространства имеет в хотя бы одну предельную точку (обобщённая теорема Больцано – Вейерштрасса).
Любая непрерывная на функция ограничена (обобщённая теорема Вейерштрасса).
Любая непрерывная на функция принимает в некоторой точке максимальное (минимальное) значение (обобщённая теорема Вейерштрасса).
Любая непрерывная на функция равномерно непрерывна на относительно какой-либо метрики, совместимой с топологией пространства (обобщённая теорема Гейне – Кантора).