Меню Главная Случайная статья Настройки Локально компактное пространство Материал из https://ru.wikipedia.org Локально компактное пространство — топологическое пространство, у каждой точки которого существует открытая окрестность, замыкание которой компактно[1][2][3]. Иногда используется более слабое определение: достаточно чтобы каждая точка имела компактную окрестность (открытость окрестности здесь не предполагается)[4][5]. В случае хаусдорфова пространства эти определения эквивалентны. Содержание 1 Примеры 2 Свойства 3 Локально компактные группы 4 Примечания 5 Литература Примеры Любое компактное пространство локально компактно. Любое евклидово пространство ${\displaystyle \mathbb {R} ^{n}}$ локально компактно. Это следует из леммы Гейне — Бореля, а также из того факта, что произведение конечного числа компактных пространств компактно. Однако никакое бесконечномерное нормированное пространство не является локально компактным. Любое топологическое многообразие локально компактно. Дискретные пространства локально компактны (иногда их называют многообразиями размерности 0), при этом бесконечные дискретные пространства не являются компактными. Любое замкнутое подмножество локально компактного пространства локально компактно. Свойства Локально компактное хаусдорфово пространство является вполне регулярным пространством. Одноточечная компактификация топологического пространства ${\displaystyle X}$ хаусдорфова тогда и только тогда, когда ${\displaystyle X}$ локально компактно и хаусдорфово. Подпространство X локально компактного хаусдорфова пространства локально компактно тогда и только тогда, когда существуют замкнутые подмножества Произведение семейства топологических пространств локально компактно тогда и только тогда, когда все пространства из семейства локально компактны и все они, возможно за исключением конечного числа, компактны. Образ локально компактного пространства при непрерывном открытом отображении на хаусдорфово пространство локально компактен. Факторпространства локально компактных хаусдорфовых пространств являются компактно порождёнными. Обратно, любое компактно порождённое хаусдорфово пространство является факторпространством некоторого локально компактного хаусдорфова пространства. Локально компактные группы Определение локальной компактности особенно важно при изучении топологических групп, так как на любой хаусдорфовой локально компактной группе можно ввести меру Хаара, позволяющую интегрировать функции на этой группе. Мера Лебега на ${\displaystyle \mathbb {R} }$ является частным случаем меры Хаара. Группа, двойственная по Понтрягину к абелевой топологической группе Примечания О. Я. Виро, О. А. Иванов, Н. Ю. Нецветаев, В. М. Харламов. Элементарная топология. — М.: МЦНМО, 2012. — ISBN 978-5-94057-894-9. П. С. Александров. Введение в теорию множеств и общую топологию. — М.: ГИИТЛ, 1948. Ю. Г. Борисович, Н. М. Близняков, Т. М. Фоменко. Введение в топологию. 2-е изд., доп. — М.: Наука. Физматлит., 1995. ISBN 5-02-014118-6. Munkres, James (1999). Topology (2nd ed.). Prentice Hall. ISBN 0-13-181629-2. Литература