TheoremBase

Proof

Throughout, a subset S⊆XS\subseteq X is closed in XX exactly when X∖S∈TX\setminus S\in\mathcal{T}, and we refer to the three numbered conditions in the definition of a topological space.

Claim 1. We have X∖X=∅X\setminus X=\varnothing and X∖∅=XX\setminus\varnothing=X. By condition 1, both ∅\varnothing and XX belong to T\mathcal{T}. Hence X∖X∈TX\setminus X\in\mathcal{T} and X∖∅∈TX\setminus\varnothing\in\mathcal{T}, so XX and ∅\varnothing are closed in XX.

Claim 2. Let n∈Nn\in\mathbb{N} and let C1,…,Cn⊆XC_1,\dots,C_n\subseteq X be closed in XX. Let VV denote the set of all x∈Xx\in X such that x∈Cix\in C_i for at least one i∈{1,…,n}i\in\{1,\dots,n\}. A point x∈Xx\in X fails to lie in VV precisely when x∉Cix\notin C_i for every i∈{1,…,n}i\in\{1,\dots,n\}, that is, precisely when x∈X∖Cix\in X\setminus C_i for every such ii. Therefore

X∖V=⋂i=1n(X∖Ci).X\setminus V=\bigcap_{i=1}^{n}(X\setminus C_i).

Each set X∖CiX\setminus C_i belongs to T\mathcal{T}, because CiC_i is closed in XX. By condition 3 the displayed intersection belongs to T\mathcal{T}, so VV is closed in XX.

Claim 3. Let II be a set and let (Ca)a∈I(C_a)_{a\in I} be a family of subsets of XX with CaC_a closed in XX for every a∈Ia\in I. Let WW denote the set of all x∈Xx\in X such that x∈Cax\in C_a for every a∈Ia\in I. A point x∈Xx\in X fails to lie in WW precisely when there is some a∈Ia\in I with x∉Cax\notin C_a, that is, with x∈X∖Cax\in X\setminus C_a. Therefore

X∖W=⋃a∈I(X∖Ca).X\setminus W=\bigcup_{a\in I}(X\setminus C_a).

The assignment a↦X∖Caa\mapsto X\setminus C_a is a family of subsets of XX indexed by II, and each of its members belongs to T\mathcal{T} because CaC_a is closed in XX. By condition 2 the displayed union belongs to T\mathcal{T}, so WW is closed in XX. In the degenerate case I=∅I=\varnothing this argument still applies: then W=XW=X and the displayed union is ∅\varnothing, which belongs to T\mathcal{T} by condition 1.

Citations

Loading…

Dependencies

Uses0

Loading…

Comments

Log in to comment.

Loading…