Skip to main content

Section The Boundary of a Set

In addition to limit points, we also defined boundary points in metric spaces. Recall that a boundary point of a set \(A\) in a metric space \(X\) could be considered to be any point in \(\overline{A} \cap \overline{X \setminus A}\text{.}\) We make the same definition in a topological space.

Definition 13.10.

Let \((X, \tau)\) be a topological space, and let \(A\) be a subset of \(X\text{.}\) A boundary point of \(A\) is a point \(x \in X\) such that every neighborhood of \(x\) contains a point in \(A\) and a point in \(X \setminus A\text{.}\) The boundary of \(A\) is the set
\begin{equation*} \Bdry(A) = \{x \in X \mid x \text{ is a boundary point of } A\}\text{.} \end{equation*}
As with metric spaces, the boundary points of a set \(A\) are those points that are “between” \(A\) and its complement.

Activity 13.6.

Find the boundaries of the following sets

(a)

\(\{c,d\}\) in \((X, \tau)\) with \(X= \{a,b,c,d\}\) and \(\tau = \{\emptyset, \{a\}, \{b\}, \{a,b\}, X \}\text{.}\)

(b)

\(\{a,b\}\) in the set \(X= \{a,b,c,d,e,f\}\) with topology
\begin{equation*} \tau= \{\emptyset,\{b\}, \{a,b,c\},\{d,e,f\},\{b,d,e,f\}, X\}\text{.} \end{equation*}

(c)

\(\{a,b\} \subset X\) where \(X = \{a,b,c\}\) in the discrete topology.

(d)

\(\Z\) in \(\R\) with the finite complement topology \(\tau_{FC}\text{.}\)
Just as with metric spaces, we can characterize the closed sets as the sets that contain their boundary.
The proof of Theorem 13.11 is left to Exercise 10.