Hereditarily normal space¶
In topology and related branches of mathematics, a normal space is a topological space in which any two disjoint closed sets have disjoint open neighborhoods.
Core Idea¶
Hereditarily normal space is treated here as the recurring mathematicslogicstatistics identity summarized by this source-grounded definition: In topology and related branches of mathematics, a normal space is a topological space in which any two disjoint closed sets have disjoint open neighborhoods. In topology and related branches of mathematics, a normal space is a topological space in which any two disjoint closed sets have disjoint open neighborhoods. Such spaces need not be Hausdorff in general. A normal Hausdorff space is called a T 4 space.
Scope of Application¶
-
Related definitions. Equivalently, X is perfectly normal if and only if every closed set is the zero set of a continuous function.
-
Related definitions. (Nonetheless, "T 5 " always means the same as "completely T 4 ", whatever the meaning of T 4 may be.) The definitions given here are the ones usually used today.
-
Examples of non-normal spaces. An important example of a non-normal topology is given by the Zariski topology on an algebraic variety or on the spectrum of a ring, which is used in algebraic geometry.
-
Examples of non-normal spaces. A non-normal 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.
-
Properties. The main significance of normal spaces lies in the fact that they admit "enough" continuous real-valued functions, as expressed by the following theorems valid for any normal space X.
Clarity¶
A clear use of Hereditarily normal space names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In topology and related branches of mathematics, a normal space is a topological space in which any two disjoint closed sets have disjoint open neighborhoods.
Manages Complexity¶
Hereditarily normal space compresses multiple mathematicslogicstatistics details into a stable diagnostic relation. The source shows both the central mechanism—it turns out that X is completely normal if and only if every two separated sets can be separated by neighbourhoods.—and the practical consequence—a perfectly normal space is a topological space X in which every two disjoint closed sets E and F can be precisely separated by a function.
Abstract Reasoning¶
- Type the carrier. Identify the mathematicslogicstatistics entities to which the claim applies.
- State the relation. Use the source-grounded identity: In topology and related branches of mathematics, a normal space is a topological space in which any two disjoint closed sets have disjoint open neighborhoods.
- Check operation and conditions. An important example of a non-normal topology is given by the Zariski topology on an algebraic variety or on the spectrum of a ring, which is used in algebraic geometry.
- Demand recognition evidence.
Knowledge Transfer¶
Within the home domain. Knowledge about Hereditarily normal space transfers literally when a new case preserves the same carrier type, relation, and recognition test. Equivalently, X is perfectly normal if and only if every closed set is the zero set of a continuous function. (Nonetheless, "T 5 " always means the same as "completely T 4 ", whatever the meaning of T 4 may be.) The definitions given here are the ones usually used today. Beyond the home domain. No canonical parent.
Relationships to Other Abstractions¶
Current abstraction Hereditarily normal space Domain-specific
Parents (1) — more general patterns this builds on
-
Hereditarily normal space is a kind of Normal space Domain-specific
A hereditarily normal space is a normal space with the stable additional condition that every subspace is normal.
Hierarchy path (1) — routes to 1 parentless root
- Hereditarily normal space → Normal space → Constraint
Neighborhood in Abstraction Space¶
Hereditarily normal space sits in a crowded region of the domain-specific corpus (32nd percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Topological & Functional-Analytic Spaces (13 abstractions)
Nearest neighbors
- T4 Space — 1.00
- Metrizable topological vector space — 0.88
- Character variety — 0.88
- Completely regular space — 0.88
- Urysohn's lemma — 0.87
Computed from structural-signature embeddings · 2026-10-08