TheoremBase

Decomposition of a Topological Space by the Boundary of a Subset

Statement

Let (X,T)(X,\mathcal{T}) be a topological space, and let A⊆XA\subseteq X. Write X∖SX\setminus S for the complement relative to XX of a subset S⊆XS\subseteq X, let int⁡X\operatorname{int}_X and cl⁡X\operatorname{cl}_X denote the interior and the closure in XX, and let ∂X\partial_X denote the boundary in XX.

Then the following hold.

1. ∂XA=cl⁡X(A)∩cl⁡X(X∖A)\partial_X A=\operatorname{cl}_X(A)\cap\operatorname{cl}_X(X\setminus A).

2. ∂XA\partial_X A is closed in (X,T)(X,\mathcal{T}).

3. ∂XA=∂X(X∖A)\partial_X A=\partial_X(X\setminus A).

4. The three sets int⁡X(A)\operatorname{int}_X(A), ∂XA\partial_X A and int⁡X(X∖A)\operatorname{int}_X(X\setminus A) are pairwise disjoint, and their union is XX.

5. The two sets int⁡X(A)\operatorname{int}_X(A) and ∂XA\partial_X A are disjoint, and their union is cl⁡X(A)\operatorname{cl}_X(A).

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…