Локально компактное пространство
Локально компактное пространство — топологическое пространство, у каждой точки которого существует открытая окрестность, замыкание которой компактно[1][2][3]. Иногда используется более слабое определение: достаточно чтобы каждая точка имела компактную окрестность (открытость окрестности здесь не предполагается)[4][5]. В случае хаусдорфова пространства эти определения эквивалентны.
Примеры
править- Любое компактное пространство локально компактно.
- Любое евклидово пространство локально компактно. Это следует из леммы Гейне — Бореля, а также из того факта, что произведение конечного числа компактных пространств компактно.
- Однако никакое бесконечномерное нормированное пространство не является локально компактным.
- Любое топологическое многообразие локально компактно.
- Дискретные пространства локально компактны (иногда их называют многообразиями размерности 0), при этом бесконечные дискретные пространства не являются компактными.
- Любое замкнутое подмножество локально компактного пространства локально компактно.
Свойства
правитьЛокально компактное хаусдорфово пространство является вполне регулярным пространством.
Одноточечная компактификация топологического пространства хаусдорфова тогда и только тогда, когда локально компактно и хаусдорфово.
Подпространство X локально компактного хаусдорфова пространства локально компактно тогда и только тогда, когда существуют замкнутые подмножества A и B, такие что . Из этого следует, что плотное подмножество локально компактного хаусдорфова пространства локально компактно тогда и только тогда, когда оно открыто. Более того, если подпространство произвольного хаусдорфова пространства локально компактно, то его можно записать в виде разности двух замкнутых подмножеств; обратное утверждение в этом случае уже неверно.
Произведение семейства топологических пространств локально компактно тогда и только тогда, когда все пространства из семейства локально компактны и все они, возможно за исключением конечного числа, компактны.
Образ локально компактного пространства при непрерывном открытом отображении на хаусдорфово пространство локально компактен.
Факторпространства локально компактных хаусдорфовых пространств являются компактно порождёнными. Обратно, любое компактно порождённое хаусдорфово пространство является факторпространством некоторого локально компактного хаусдорфова пространства.
Локально компактные группы
правитьОпределение локальной компактности особенно важно при изучении топологических групп, так как на любой хаусдорфовой локально компактной группе можно ввести меру Хаара, позволяющую интегрировать функции на этой группе. Мера Лебега на является частным случаем меры Хаара.
Группа, двойственная по Понтрягину к абелевой топологической группе A, локально компактна тогда и только тогда, когда A локально компактна. Более точно, категория локально компактных абелевых групп является самодвойственной относительно двойственности Понтрягина. Локально компактные абелевы группы применяются в гармоническом анализе, один из современных разделов которого основывается на их изучении.
Примечания
править- ↑ О. Я. Виро, О. А. Иванов, Н. Ю. Нецветаев, В. М. Харламов. Элементарная топология. — М.: МЦНМО, 2012. — ISBN 978-5-94057-894-9.
- ↑ П. С. Александров. Введение в теорию множеств и общую топологию. — М.: ГИИТЛ, 1948.
- ↑ Ю. Г. Борисович, Н. М. Близняков, Т. М. Фоменко. Введение в топологию. 2-е изд., доп. — М.: Наука. Физматлит., 1995. ISBN 5-02-014118-6.
- ↑ Дж. Л. Келли. Общая топология. — М.: Наука, 1968.
- ↑ Munkres, James (1999). Topology (2nd ed.). Prentice Hall. ISBN 0-13-181629-2.
Литература
править- Энгелькинг Р.[англ.]. Общая топология. — М.: Мир, 1986. — 752 с.