Топологическое замыкание¶

Топологическое замыкание (или замыкание множества) — это фундаментальное понятие общей топологии, обозначающее наименьшее замкнутое множество, содержащее данное подмножество топологического пространства. Операция замыкания позволяет формально описать «предельные точки» множества и является одной из ключевых аксиоматических конструкций, наряду с понятием внутренности и границы множества. Интуитивно, замыкание множества включает все его точки, а также все точки, которые можно «приблизить» элементами этого множества.

¶Определение

Пусть \(X\) — топологическое пространство с заданной топологией \(\tau\), а \(A \subseteq X\) — произвольное подмножество. Замыканием множества \(A\) (обозначается \(\overline{A}\), \(\mathrm{cl}(A)\) или \(A^{-}\)) называется пересечение всех замкнутых множеств, содержащих \(A\):

\[ \overline{A} = \bigcap \{ F \subseteq X \mid F \text{ замкнуто в } X, \; A \subseteq F \}. \]

Поскольку пересечение любого семейства замкнутых множеств замкнуто, \(\overline{A}\) является замкнутым множеством. Это наименьшее замкнутое множество, содержащее \(A\): если \(F\) — замкнутое множество и \(A \subseteq F\), то \(\overline{A} \subseteq F\).

Эквивалентное определение использует понятие точки прикосновения: точка \(x \in X\) называется точкой прикосновения множества \(A\), если любая окрестность \(U\) точки \(x\) пересекается с \(A\) (то есть \(U \cap A \neq \varnothing\)). Тогда \(\overline{A}\) — это множество всех точек прикосновения \(A\).

¶Свойства

Операция замыкания удовлетворяет аксиомам Куратовского (для любого \(A, B \subseteq X\)):

1. \(\overline{\varnothing} = \varnothing\).
2. \(A \subseteq \overline{A}\) (экстенсивность).
3. \(\overline{\overline{A}} = \overline{A}\) (идемпотентность).
4. \(\overline{A \cup B} = \overline{A} \cup \overline{B}\) (аддитивность).

Эти аксиомы позволяют задать топологию на \(X\) через оператор замыкания, что является альтернативным способом определения топологического пространства.

Дополнительные свойства:

• \(\overline{A}\) — замкнутое множество.
• \(A\) замкнуто тогда и только тогда, когда \(A = \overline{A}\).
• \(\overline{A} = A \cup A'\), где \(A'\) — множество предельных точек \(A\).
• Если \(A \subseteq B\), то \(\overline{A} \subseteq \overline{B}\) (монотонность).
• \(\overline{A \cap B} \subseteq \overline{A} \cap \overline{B}\) (равенство не всегда выполняется).
• \(\overline{X \setminus A} = X \setminus \mathrm{int}(A)\), где \(\mathrm{int}(A)\) — внутренность \(A\).
• \(\overline{A} = (X \setminus \mathrm{int}(X \setminus A))\).

¶Связь с другими топологическими понятиями

¶Внутренность и граница

Внутренность множества \(A\) (обозначается \(\mathrm{int}(A)\)) — это наибольшее открытое множество, содержащееся в \(A\). Замыкание и внутренность связаны двойственностью: \(\overline{A} = X \setminus \mathrm{int}(X \setminus A)\).

Граница множества \(A\) (обозначается \(\partial A\)) определяется как \(\partial A = \overline{A} \cap \overline{X \setminus A}\). Таким образом, граница состоит из точек, которые одновременно являются точками прикосновения как \(A\), так и его дополнения.

¶Предельные точки

Предельная точка (или точка накопления) множества \(A\) — это точка \(x \in X\), любая окрестность которой содержит хотя бы одну точку из \(A\), отличную от \(x\). Множество всех предельных точек \(A\) обозначается \(A'\). Тогда \(\overline{A} = A \cup A'\). Если \(x \in \overline{A}\), но \(x \notin A\), то \(x\) обязательно является предельной точкой \(A\). Однако точка из \(A\) может быть как предельной, так и изолированной (если у неё есть окрестность, не содержащая других точек из \(A\)).

¶Плотные множества

Множество \(A\) называется всюду плотным (или просто плотным) в \(X\), если \(\overline{A} = X\). Например, множество рациональных чисел \(\mathbb{Q}\) плотно в \(\mathbb{R}\) с обычной топологией. Понятие плотности играет важную роль в анализе и теории приближений.

¶Примеры

¶В метрических пространствах

В метрическом пространстве \((X, d)\) замыкание множества \(A\) можно описать через последовательности: точка \(x\) принадлежит \(\overline{A}\) тогда и только тогда, когда существует последовательность \(\{a_n\} \subset A\), сходящаяся к \(x\). Это свойство не выполняется в произвольных топологических пространствах (необходимо понятие сетей или фильтров).

• В \(\mathbb{R}\) с обычной топологией: \(\overline{(0, 1)} = [0, 1]\), \(\overline{\mathbb{Q}} = \mathbb{R}\), \(\overline{\mathbb{Z}} = \mathbb{Z}\) (целые числа замкнуты).
• В \(\mathbb{R}^n\) с евклидовой метрикой: замыкание открытого шара радиуса \(r\) с центром в \(x_0\) — это замкнутый шар того же радиуса: \(\overline{B(x_0, r)} = \overline{B}(x_0, r)\).

¶В дискретной топологии

Если топология на \(X\) дискретна (все подмножества открыты), то любое множество замкнуто, и \(\overline{A} = A\).

¶В антидискретной топологии

Если топология антидискретна (только \(\varnothing\) и \(X\) открыты), то \(\overline{A} = X\) для любого непустого \(A\), и \(\overline{\varnothing} = \varnothing\).

¶В порядковой топологии

На множестве действительных чисел с порядковой топологией (совпадающей с обычной) замыкание интервала \((a, b)\) — отрезок \([a, b]\). Для множества \(\{1/n \mid n \in \mathbb{N}\}\) замыкание — это \(\{0\} \cup \{1/n \mid n \in \mathbb{N}\}\), так как 0 — единственная предельная точка.

¶Применение

¶В математическом анализе

Замыкание используется при определении непрерывности функций: функция \(f: X \to Y\) непрерывна тогда и только тогда, когда для любого \(A \subseteq X\) выполняется \(f(\overline{A}) \subseteq \overline{f(A)}\). Это свойство часто применяется в функциональном анализе и теории меры.

¶В общей топологии

Оператор замыкания лежит в основе аксиоматического определения топологии (аксиомы Куратовского). Понятия компактности, связности, сепарабельности формулируются через замыкание. Например, пространство называется сепарабельным, если в нём существует счётное всюду плотное множество.

¶В теории приближений

В функциональном анализе замыкание линейного подпространства в нормированном пространстве даёт замкнутое подпространство, которое является банаховым, если исходное пространство полно. Это используется в теории аппроксимации: например, аппроксимация непрерывных функций многочленами (теорема Вейерштрасса) эквивалентна тому, что замыкание множества многочленов в пространстве непрерывных функций на отрезке совпадает со всем пространством.

¶В топологической динамике

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

¶Интересные факты

• В произвольном топологическом пространстве замыкание может не совпадать с множеством пределов последовательностей. Например, в пространстве с топологией, порождённой счётным дополнением, точка может быть в замыкании, но не быть пределом никакой последовательности.
• Аксиомы Куратовского были введены польским математиком Казимежем Куратовским в 1922 году и являются одним из стандартных способов введения топологии.
• В теории категорий оператор замыкания является идемпотентным монадом на категории топологических пространств.
• Существуют обобщения понятия замыкания: замыкание в топологических группах, замыкание в топологических векторных пространствах, а также замыкание в смысле теории порядков (замыкание по Галуа).

¶Источники

• Куратовский К. Топология. — М.: Мир, 1966. — Т. 1.
• Энгелькинг Р. Общая топология. — М.: Мир, 1986.
• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — М.: Наука, 1976.
• Бурбаки Н. Общая топология. Основные структуры. — М.: Наука, 1968.
• Келли Дж. Л. Общая топология. — М.: Наука, 1981.