A topological space satisfying the axiom (see Separation axiom), that is, one in which one-point sets are closed and any two disjoint closed sets can be separated by neighbourhoods (that is, are contained in disjoint open sets). Normal spaces form a special case of completely-regular spaces (Tikhonov spaces, cf. Completely-regular space) and are particularly important in dimension theory. Every closed subspace of a normal space is normal (normality is hereditary over closed sets). Spaces all subspaces of which are normal are said to be hereditarily normal. For hereditary normality of a space it is sufficient that all its open subspaces are normal, and it is necessary and sufficient that any two sets none of which contains an adherence point of the other are separable by neighbourhoods. A normal space is called perfectly normal if every closed set in it is the intersection of countably many open sets. Every perfectly-normal space is a hereditarily-normal space.

The product of two normal spaces need not be normal, and even the product of a normal space and a segment may be non-normal.

There are important classes of spaces that are more general than normal and less general than completely regular. First among such spaces close to normal were the so-called quasi-normal, or -normal, ones [2]. These are Tikhonov spaces in which any two disjoint -sets can be separated by neighbourhoods. -sets are intersections of finitely many closed canonical sets (cf. Canonical set). Tikhonov spaces in which any two disjoint closed canonical sets can be separated by neighbourhoods are called -normal [3]; -normal spaces in which every closed canonical set is the intersection of countably many open canonical sets are called perfectly -normal. The classes of Tikhonov -normal, quasi-normal and perfectly -normal spaces are successively contained in each other and no two of them are equal.

References

Normal spaces are also characterized by the following two statements:

1) Urysohn's lemma: If are closed and disjoint, then there is a continuous function such that and . In other words, any two closed sets can be separated by a continuous function.

2) The Tietze–Urysohn extension theorem: If is closed and is continuous, then can be extended to a continuous .

A normal space such that is not normal, a so-called Dowker space, was constructed by M.E. Rudin [a3].

A space is called collection-wise normal if for every discrete family of subsets there exists a discrete family of open sets in such that for all . Here a family of subsets is called a discrete family if for every there is an open neighbourhood such that intersects at most one .

References

[a1]	A.V. Arkhangel'skii,   V.I. Ponomarev,   "Fundamentals of general topology: problems and exercises" , Reidel  (1984)  (Translated from Russian)
[a2]	R. Engelking,   "General topology" , PWN  (1977)  (Translated from Polish)  (Revised and extended version of [3] above)
[a3]	M.E. Rudin,   "A normal space for which is not normal"  Fund. Math. , 73  (1971)  pp. 179–186
[a4]	R.A. Alò,   H.L. Shapiro,   "Normal topological spaces" , Cambridge Univ. Press  (1974)