Normal space

Separation Axioms in
Topological SpacesKolmogorov (T_{0}) version T_{0}  T_{1}  T_{2}  T_{2½}  completely T_{2}
T_{3}  T_{3½}  T_{4}  T_{5}  T_{6}In topology and related branches of mathematics, a normal space is a topological space X that satisfies Axiom T_{4}: every two disjoint closed sets of X have disjoint open neighborhoods. A normal Hausdorff space is also called a T_{4} space. These conditions are examples of separation axioms and their further strengthenings define completely normal Hausdorff spaces, or T_{5} spaces, and perfectly normal Hausdorff spaces, or T_{6} spaces.
Contents
Definitions
A topological space X is a normal space if, given any disjoint closed sets E and F, there are open neighbourhoods U of E and V of F that are also disjoint. More intuitively, this condition says that E and F can be separated by neighbourhoods.
A T_{4} space is a T_{1} space X that is normal; this is equivalent to X being Hausdorff and normal.
A completely normal space or a hereditarily normal space is a topological space X such that every subspace of X with subspace topology is a normal space. It turns out that X is completely normal if and only if every two separated sets can be separated by neighbourhoods.
A completely T_{4} space, or T_{5} space is a completely normal Hausdorff topological space X; equivalently, every subspace of X must be a T_{4} space.
A perfectly normal space is a topological space X in which every two disjoint nonempty closed sets E and F can be precisely separated by a continuous function f from X to the real line R: the preimages of {0} and {1} under f are, respectively, E and F. (In this definition, the real line can be replaced with the unit interval [0,1].)
It turns out that X is perfectly normal if and only if X is normal and every closed set is a G_{δ} set. Equivalently, X is perfectly normal if and only if every closed set is a zero set. Every perfectly normal space is automatically completely normal.^{[citation needed]}
A Hausdorff perfectly normal space X is a T_{6} space, or perfectly T_{4} space.
Note that the terms "normal space" and "T_{4}" and derived concepts occasionally have a different meaning. (Nonetheless, "T_{5}" always means the same as "completely T_{4}", whatever that may be.) The definitions given here are the ones usually used today, and the ones used in Wikipedia articles on separation axioms. For more on this issue, see History of the separation axioms.
Terms like "normal regular space" and "normal Hausdorff space" also turn up in the literature — they simply mean that the space both is normal and satisfies the other condition mentioned. In particular, a normal Hausdorff space is the same thing as a T_{4} space. Given the historical confusion of the meaning of the terms, we prefer verbal descriptions when applicable, that is, "normal Hausdorff" instead of "T_{4}", or "completely normal Hausdorff" instead of "T_{5}".
Fully normal spaces and fully T_{4} spaces are discussed elsewhere; they are related to paracompactness.
A locally normal space is a topological space where every point has an open neighbourhood that is normal. Every normal space is locally normal, but the converse is not true. A classical example of a completely regular locally normal space that is not normal is the Nemytskii plane.
Examples of normal spaces
Most spaces encountered in mathematical analysis are normal Hausdorff spaces, or at least normal regular spaces:
 All metric spaces (and hence all metrizable spaces) are perfectly normal Hausdorff;
 All pseudometric spaces (and hence all pseudometrisable spaces) are perfectly normal regular, although not in general Hausdorff;
 All compact Hausdorff spaces are normal;
 In particular, the StoneCech compactification of a Tychonoff space is normal Hausdorff;
 Generalizing the above examples, all paracompact Hausdorff spaces are normal, and all paracompact regular spaces are normal;
 All paracompact topological manifolds are perfectly normal Hausdorff. However, there exist nonparacompact manifolds which are not even normal.
 All order topologies on totally ordered sets are hereditarily normal and Hausdorff.
 Every regular secondcountable space is completely normal, and every regular Lindelöf space is normal.
Also, all fully normal spaces are normal (even if not regular). Sierpinski space is an example of a normal space that is not regular.
Examples of nonnormal spaces
An important example of a nonnormal topology is given by the Zariski topology on an algebraic variety or on the spectrum of a ring, which is used in algebraic geometry.
A nonnormal space of some relevance to analysis is the topological vector space of all functions from the real line R to itself, with the topology of pointwise convergence. More generally, a theorem of A. H. Stone states that the product of uncountably many noncompact Hausdorff spaces is never normal.
Properties
The main significance of normal spaces lies in the fact that they admit "enough" continuous realvalued functions, as expressed by the following theorems valid for any normal space X.
Urysohn's lemma: If A and B are two disjoint closed subsets of X, then there exists a continuous function f from X to the real line R such that f(x) = 0 for all x in A and f(x) = 1 for all x in B. In fact, we can take the values of f to be entirely within the unit interval [0,1]. (In fancier terms, disjoint closed sets are not only separated by neighbourhoods, but also separated by a function.)
More generally, the Tietze extension theorem: If A is a closed subset of X and f is a continuous function from A to R, then there exists a continuous function F: X → R which extends f in the sense that F(x) = f(x) for all x in A.
If U is a locally finite open cover of a normal space X, then there is a partition of unity precisely subordinate to U. (This shows the relationship of normal spaces to paracompactness.)
In fact, any space that satisfies any one of these conditions must be normal.
A product of normal spaces is not necessarily normal. This fact was first proved by Robert Sorgenfrey. An example of this phenomenon is the Sorgenfrey plane. Also, a subset of a normal space need not be normal (i.e. not every normal Hausdorff space is a completely normal Hausdorff space), since every Tychonoff space is a subset of its StoneCech compactification (which is normal Hausdorff). A more explicit example is the Tychonoff plank.
Relationships to other separation axioms
If a normal space is R_{0}, then it is in fact completely regular. Thus, anything from "normal R_{0}" to "normal completely regular" is the same as what we normally call normal regular. Taking Kolmogorov quotients, we see that all normal T_{1} spaces are Tychonoff. These are what we normally call normal Hausdorff spaces.
Counterexamples to some variations on these statements can be found in the lists above. Specifically, Sierpinski space is normal but not regular, while the space of functions from R to itself is Tychonoff but not normal.
References
Categories: Topology
 Separation axioms
 Properties of topological spaces
Wikimedia Foundation. 2010.
Look at other dictionaries:
normal space — noun A regular space with the additional property that for every disjoint pair of closed sets in that space, there is a disjoint pair of open sets which contain the closed sets, respectively … Wiktionary
Locally normal space — In mathematics, particularly topology, a topological space X is locally normal if intuitively it looks locally like a normal space. More precisely, a locally normal space satisfies the property that each point of the space belongs to a… … Wikipedia
Monotonically normal space — In mathematics, a monotonically normal space is a particular kind of normal space, with some special characteristics, and is such that it is hereditarily normal, and any two separated subsets are strongly separated. They are defined in terms of a … Wikipedia
Collectionwise normal space — In mathematics, a topological space X is called collectionwise normal if for every discrete family Fi (i ∈ I) of closed subsets of X there exists a pairwise disjoint family of open sets Ui (i ∈ I), such that Fi ⊂ Ui. A family of subsets of… … Wikipedia
completely normal space — Math. a normal topological space in which every subspace is normal. * * * … Universalium
completely normal space — Math. a normal topological space in which every subspace is normal … Useful english dictionary
Normal bundle — In differential geometry, a field of mathematics, a normal bundle is a particular kind of vector bundle, complementary to the tangent bundle, and coming from an embedding (or immersion). Contents 1 Definition 1.1 Riemannian manifold 1.2 … Wikipedia
Space (punctuation) — In writing, a space ( ) is a blank area that is devoid of content, which separates words, letters, numbers, and punctuation. Conventions for interword and intersentence spaces vary among languages, and in some cases the spacing rules are quite… … Wikipedia
Normal (mathematics) — In mathematics, normal can have several meanings:* Surface normal, a vector (or line) that is perpendicular to a surface. * Normal component, the component of a vector that is perpendicular to a surface. ** Normal curvature, of a curve on a… … Wikipedia
space — 1. noun /speɪs/ a) The intervening contents of a volume. If it be only a Single Letter or two that drops, he thruſts the end of his Bodkin between every Letter of that Word, till he comes to a Space: and then perhaps by forcing thoſe Letters… … Wiktionary