Difference between revisions of "Normal topological space"

Latest revision as of 00:14, 4 May 2016

Definition

A topological space, $(X,\mathcal{ J })$, is said to be normal if^[1]:

• $\forall E,F\in C(\mathcal{J})\ \exists U,V\in\mathcal{J}[E\cap F=\emptyset\implies(U\cap V=\emptyset\wedge E\subseteq U\wedge F\subseteq V)]$ - (here $C(\mathcal{J})$ denotes the collection of closed sets of the topology, $\mathcal{J}$)

Equivalent statements

• A topological space is normal if and only if for each closed set, E, and each open set, W, containing E there exists an open set U containing E such that the closure of U is strictly a subset of W

TODO: Make that sentence easier to read

See also

• Topological separation axioms
• Regular topological space
• Urysohn's lemma
• Tietze extension theorem

References

1. Jump up ↑ Introduction to Topology - Theodore W. Gamelin & Robert Everist Greene