Граница множества

Граница подмножества \( A \) в топологическом пространстве \( X \) - это совокупность точек, которые принадлежат замыканию множества \( A \), но не входят в его внутренность:

\[ \partial A = \text{Cl}(A) - \text{Int}(A) \]

Интуитивно граница отделяет множество от его дополнения. Это точки, около которых «смешиваются» элементы \( A \) и точки, не принадлежащие \( A \).

\( \text{Cl}(A) \), замыкание множества, представляет собой наименьшее замкнутое множество, содержащее \( A \). Оно включает само множество и все его предельные точки.

\( \text{Int}(A) \), внутренность множества, состоит из точек, для которых можно выбрать окрестность, полностью лежащую в \( A \).

Важно помнить, что граница зависит от топологии пространства. Одно и то же множество в разных топологиях может иметь разную границу.

Иначе говоря, \( \partial A \) - это множество точек, сколь угодно близких как к \( A \), так и к \( X \setminus A \).

Пример на вещественной прямой

Рассмотрим интервал \( A = (0, 1) \subset \mathbb{R} \) в стандартной топологии.

Замыкание

Интервал \((0,1)\) не содержит свои концы, однако точки 0 и 1 являются предельными. Поэтому

$$ \text{Cl}(A) = [0,1] $$

Внутренность

Каждая точка внутри интервала имеет окрестность, целиком лежащую в \( A \). Следовательно

$$ \text{Int}(A) = (0,1) $$

Граница

$$ \partial A = [0,1] - (0,1) = \{0,1\} $$

Граничные точки интервала - это именно 0 и 1.

Теорема о границе

Точка \( x \in X \) принадлежит границе множества \( A \) тогда и только тогда, когда любая окрестность точки \( x \) пересекается и с \( A \), и с дополнением \( X \setminus A \).

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

Проверка на примере \( A = (0,1) \)

Точка 0

Любая окрестность нуля содержит точки больше 0 и меньше 0. Значит, она пересекается и с \( A \), и с дополнением.

Следовательно, \( 0 \in \partial A \).

Точка 1

Аналогично, любая окрестность единицы содержит точки из интервала и точки вне его.

Следовательно, \( 1 \in \partial A \).

Внутренняя точка 0.5

Можно выбрать достаточно малую окрестность, полностью лежащую в \( A \).

Следовательно, \( 0.5 \notin \partial A \).

Итак, граница интервала действительно равна \( \{0,1\} \).

Полезные свойства

• \( \partial A \subseteq A \) тогда и только тогда, когда \( A \) замкнуто
  \[ \partial A \subseteq A \Leftrightarrow A \text{ замкнуто} \]
• \( \partial A \cap A = \emptyset \) тогда и только тогда, когда \( A \) открыто
  \[ \partial A \cap A = \emptyset \Leftrightarrow A \text{ открыто} \]
• \( \partial A = \emptyset \) тогда и только тогда, когда \( A \) одновременно открыто и замкнуто
  \[ \partial A = \emptyset \Leftrightarrow A \text{ открыто и замкнуто} \]
• Граница выражается через замыкания
  \[ \partial A = \text{Cl}(A) \cap \text{Cl}(X - A) \]
• Граница всегда замкнута

  Так как \(\partial A\) является пересечением двух замкнутых множеств, она сама замкнута.

• Граница не пересекается с внутренностью
  \[ \partial A \cap \text{Int}(A) = \emptyset \]
• Объединение границы и внутренности даёт замыкание
  \[ \partial A \cup \text{Int}(A) = \text{Cl}(A) \]

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