The complement of the boundary is the union of the complement of the closure and the interior, two open sets.
The complement of the boundary. By Closure and Interior in a Metric Space: Containments, the Closure is Closed, the Interior is Open (i), , and . We claim
Let . If , then , and lies in both sides. If , then holds exactly when , so again lies in the left side exactly when it lies in the right side. Both sides are contained in , since , which proves the claim.
Both pieces are open. The closure is closed in by Closure and Interior in a Metric Space: Containments, the Closure is Closed, the Interior is Open (ii), that is, (Closed Subset of a Topological Space (i)). The interior is open in by Closure and Interior in a Metric Space: Containments, the Closure is Closed, the Interior is Open (iii), so .
Conclusion. By The Open Subsets of a Metric Space Form a Topology (i), is a topology on , so it contains the union of any two of its members (Topological Space (iii)). Hence , and since this says that is closed in . Finally by Borel Sets of a Metric Space: Open and Closed Sets, Points, Open Sets of Subspaces, and Subspaces (ii).
Loadingβ¦