Компакт

- метризуемое бикомпактное пространство. Примеры К.: отрезок, окружность, n-мерные куб, шар, сфера, канторово множество, гильбертов кирпич;"-мерное евклидово пространство не является К., а подмножество такого пространства будет. К. тогда н только тогда, когда оно замкнуто и ограничено. Замкнутое подмножество К. есть К., и всякий К. гомеоморфен замкнутому подмножеству гильбертова кирпича (теорема Урысона). Для существования гомеоморфизма К. в евклидово пространство необходимо и достаточно, чтобы он был конечномерен (теорема Понтрягина - Небелинга). Непрерывный образ К., являющийся T2 -пространством, есть К., и всякий К. есть непрерывный образ канторова множества (теорема Александрова). Произведение конечного или счетного множества К. есть К. Любой К. сепарабелен; среди всех бикомпактов. К. характеризуются тем, что обладают конечной или счетной базой. К. характеризуется также тем, что он вполне ограничен относительно какой-нибудь метрики, совместимой его топологией (теорема Xаус-дорфа). К.- один из важнейших классов топологич. пространств. Свойство метризуемого пространства быть К. равносильно каждому из следующих свойств. 1) Из любого счетного открытого покрытия пространства Xможно выделить конечное подпокрытие (аналог леммы Гейне - Бореля - Лебега о покрытии отрезка интервалами). 2) Любая счетная система таких замкнутых в Xнепустых множеств Fi, что [img: http://localhost:8080/file/021230-17.jpg] i=l, 2,..., имеет непустое пересечение (обобщение принципа вложенных отрезков Кантора). 3) Из любой последовательности точек пространства Xможно выделить сходящуюся в Xподпоследовательность (обобщенная теорема Больцано - Вейерштрасса). 4) Любое бесконечное подмножество пространства Xимеет в Xхотя бы одну предельную точку (обобщенная теорема Больцано - Вейерштрасса). 5) Любая непрерывная на Xфункция ограничена (обобщенная теорема Вейерштрасса). 6) Любая непрерывная на Xфункция принимает в нек-рой точке максимальное (минимальное) значение (обобщенная теорема Вейерштрасса). 7) Любая непрерывная на Xфункция равномерно непрерывна на Xотносительно какой-либо метрики, совместимой с топологией пространства X(обобщенная теорема Гейне - Кантора).