Normal Hausdorff space

This article defines a property of topological space that is pivotal (viz important) among currently studied properties of topological spaces

In the T family (properties of topological spaces related to separation axioms), this is called: T4

This article is about a basic definition in topology.
VIEW: Definitions built on this | Facts about this | Survey articles about this
View a complete list of basic definitions in topology

Definition

Symbol-free definition

A topological space is said to be normal if it satisfies the following equivalent conditions:

• All points in it are closed sets, and given any two disjoint closed subsets in the topological space, there are disjoint open sets containing them.
• All points in it are closed sets, and given any two disjoint closed subsets, there is a continuous function taking the value 0 at one closed set and 1 at the other
• All points are closed, and every point-finite open cover possesses a shrinking

Definition with symbols

Fill this in later

Relation with other properties

This property is a pivotal (important) member of its property space. Its variations, opposites, and other properties related to it and defined using it are often studied

• Category:Variations of normality

Stronger properties

• Compact Hausdorff space
• Hereditarily normal space
• Paracompact Hausdorff space
• Regular Lindelof space
• Perfectly normal space
• Metrizable space
• CW-space
• Linearly orderable space
• Collectionwise normal space

Weaker properties

• Completely regular space: For proof of the implication, refer normal implies completely regular and for proof of its strictness (i.e. the reverse implication being false) refer completely regular not implies normal
• Regular space: For proof of the implication, refer normal implies regular and for proof of its strictness (i.e. the reverse implication being false) refer regular not implies normal
• Hausdorff space
• T1 space
• Kolmogorov space

Metaproperties

Products

NO: This property of topological spaces is not a product-closed property of topological spaces: a product of topological spaces, each satisfying the property, when equipped with the product topology, does not necessarily satisfy the property.
View other properties that are not product-closed

A direct product of normal spaces need not be normal. For full proof, refer: Normality is not product-closed

Weak hereditariness

This property of topological spaces is weakly hereditary or closed subspace-closed; in other words, any closed subset (equipped with the subspace topology) of a space with the property, also has the property.
View all weakly hereditary properties of topological spaces | View all subspace-hereditary properties of topological spaces

Any subspace of a normal space need not be normal. However, any closed subset of a normal space is normal, under the subspace topology.

Facts

• Any connected normal space having at least two points (and more generally, any connected Urysohn space having at least two points) is uncountable. For full proof, refer: connected Urysohn implies uncountable

Effect of property operators

The subspace operator

Applying the subspace operator to this property gives: completely regular space

A topological space can be realized as a subspace of a normal space iff it is completely regular. Necessity follows from the fact that normal spaces are completely regular, and any subspace of a completely regular space is completely regular. Sufficiency follows from the Stone-Cech compactification.

The hereditarily operator

Applying the hereditarily operator to this property gives: hereditarily normal space

A topological space in which every subspace is normal is termed hereditarily normal (some people call it completely normal). Note that metrizable spaces are hereditarily normal.

The locally operator

Applying the locally operator to this property gives: locally normal space