Локально конечное семейство подмножеств

Перейти к навигацииПерейти к поиску

В общей топологии локальная конечность является свойством семейства подмножеств топологического пространства. Это понятие является естественным обобщением понятия конечного семейства и играет ключевую роль при изучении паракомпактности и топологической размерности.

Заметим, что термин локальная конечность в других областях математики имеет отличные значения.

Определение

Семейство подмножеств топологического пространства называется локально конечным, если всякая точка обладает окрестностью , пересекающейся с не более чем конечным числом элементов из этого семейства, то есть для всех , кроме, быть может, конечного числа индексов. Если же любая точка обладает окрестностью , пересекающейся не более чем с одним из элементов этого семейства, то семейство называется дискретным.


Очевидно, что конечное семейство является локально конечным, тогда как локально конечное семейство может иметь любую мощность.

Например, рассмотрим бесконечное семейство интервалов на действительной прямой R (здесь — произвольное целое число). Каждая точка R имеет окрестность, которая пересекается не более чем с двумя интервалами семейства, то есть семейство является локально конечным.

В общем случае, счётное семейство не обязано быть локально конечным: достаточно рассмотреть семейство интервалов на действительной прямой.

Свойства

  • Для локально конечного семейства справедливо равенство:

Как известно, это свойство выполняется для конечного семейства подмножеств, но в общем случае это не так. Можно только утверждать, что . Как следствие первого свойства:

См. также

Литература

  • Александрян Р.А., Мирзаханян Э.А. Общая топология. — М.: Высшая школа, 1979