TheoremBase

Complements, Unions and Intersections of Closed Sets in a Topological Space

Statement

Let (X,T)(X,\mathcal{T}) be a topological space. For a subset S⊆XS\subseteq X write X∖SX\setminus S for the complement of SS relative to XX, so that SS is closed in XX exactly when X∖S∈TX\setminus S\in\mathcal{T}. Let N\mathbb{N} denote the natural numbers.

Then the following hold.

1. The empty set ∅\varnothing and the whole set XX are closed in XX.

2. For every n∈Nn\in\mathbb{N} and all subsets C1,…,Cn⊆XC_1,\dots,C_n\subseteq X that are closed in XX, 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\} is closed in XX.

3. For every set II and every family of subsets of XX (Ca)a∈I(C_a)_{a\in I} such that CaC_a is closed in XX for every a∈Ia\in I, the set of all x∈Xx\in X such that x∈Cax\in C_a for every a∈Ia\in I is closed in XX.

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…