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 Aβ€•βˆ©Xβˆ–A―. We make the same definition in a topological space.

Definition 13.10.

Let (X,Ο„) be a topological space, and let A be a subset of X. A boundary point of A is a point x∈X such that every neighborhood of x contains a point in A and a point in Xβˆ–A. The boundary of A is the set
Bdry(A)={x∈X∣x is a boundary point of A}.
As with metric spaces, the boundary points of a set A are those points that are β€œbetween” A and its complement.
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.