Metrizable implies hereditarily normal
This article gives the statement and possibly, proof, of an implication relation between two topological space properties. That is, it states that every topological space satisfying the first topological space property (i.e., metrizable space) must also satisfy the second topological space property (i.e., hereditarily normal space)
View all topological space property implications | View all topological space property non-implications
Get more facts about metrizable space|Get more facts about hereditarily normal space
Statement
Any metrizable space (i.e., any topological space that arises from a metric space) is a hereditarily normal space -- every subspace of it is a normal space.
Facts used
- Metrizable implies normal
- Metrizability is hereditary
- Metrizable implies monotonically normal
- Monotonically normal implies hereditarily normal
- Metrizable implies perfectly normal
- Perfectly normal implies hereditarily normal
Proof
Proof from facts (1) and (2)
By fact (2), every subspace of a metrizable space is metrizable, and thus, by fact (1), every subspace of a metrizable space is normal.
Proof by facts (3) and (4)
By fact (3), any metrizable space is monotonically normal, hence by fact (4), it is hereditarily normal.
Proof by facts (5) and (6)
By fact (5), any metrizable space is perfectly normal, hence by fact (6), it is hereditarily normal.