TheoremBase

The complement of the boundary is the union of the complement of the closure and the interior, two open sets.

Proof

The complement of the boundary. By Closure and Interior in a Metric Space: Containments, the Closure is Closed, the Interior is Open (i), int⁑AβŠ†AβŠ†S\operatorname{int}A\subseteq A\subseteq S, and βˆ‚A=cl⁑Aβˆ–int⁑AβŠ†S\partial A=\operatorname{cl}A\setminus\operatorname{int}A\subseteq S. We claim

Sβˆ–βˆ‚A=(Sβˆ–cl⁑A)βˆͺint⁑A.S\setminus\partial A=(S\setminus\operatorname{cl}A)\cup\operatorname{int}A .

Let z∈Sz\in S. If z∈int⁑Az\in\operatorname{int}A, then zβˆ‰βˆ‚Az\notin\partial A, and zz lies in both sides. If zβˆ‰int⁑Az\notin\operatorname{int}A, then zβˆ‰βˆ‚Az\notin\partial A holds exactly when zβˆ‰cl⁑Az\notin\operatorname{cl}A, so again zz lies in the left side exactly when it lies in the right side. Both sides are contained in SS, since int⁑AβŠ†S\operatorname{int}A\subseteq S, which proves the claim.

Both pieces are open. The closure cl⁑A\operatorname{cl}A is closed in (S,Td)(S,\mathcal{T}_{d}) by Closure and Interior in a Metric Space: Containments, the Closure is Closed, the Interior is Open (ii), that is, Sβˆ–cl⁑A∈TdS\setminus\operatorname{cl}A\in\mathcal{T}_{d} (Closed Subset of a Topological Space (i)). The interior int⁑A\operatorname{int}A is open in (S,d)(S,d) by Closure and Interior in a Metric Space: Containments, the Closure is Closed, the Interior is Open (iii), so int⁑A∈Td\operatorname{int}A\in\mathcal{T}_{d}.

Conclusion. By The Open Subsets of a Metric Space Form a Topology (i), Td\mathcal{T}_{d} is a topology on SS, so it contains the union of any two of its members (Topological Space (iii)). Hence Sβˆ–βˆ‚A∈TdS\setminus\partial A\in\mathcal{T}_{d}, and since βˆ‚AβŠ†S\partial A\subseteq S this says that βˆ‚A\partial A is closed in (S,Td)(S,\mathcal{T}_{d}). Finally βˆ‚A∈B(S)\partial A\in\mathcal{B}(S) by Borel Sets of a Metric Space: Open and Closed Sets, Points, Open Sets of Subspaces, and Subspaces (ii).

Citations

Loading…

Dependencies

Uses0

Loading…

Comments

Log in to comment.

Loading…