Paracompact Hausdorff implies binormal
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., paracompact Hausdorff space) must also satisfy the second topological space property (i.e., binormal space)
View all topological space property implications | View all topological space property non-implications
Get more facts about paracompact Hausdorff space|Get more facts about binormal space
Paracompact Hausdorff space
Further information: paracompact Hausdorff space
A topological space is termed a paracompact Hausdorff space if it satisfies the following two conditions:
- It is a paracompact space: every open cover has a locally finite open refinement.
- It is a Hausdorff space: any two points can be separated by disjoint open subsets.
Further information: binormal space
- Compact times paracompact implies paracompact
- Hausdorffness is product-closed
- Paracompact Hausdorff implies normal
Given: A paracompact Hausdorff space . is the unit interval.
To prove: The space is a normal space.
- is paracompact: This follows from being paracompact, being compact, and fact (1).
- is Hausdorff: This follows from fact (2).
- is normal: The previous two steps yield that is paracompact Hausdorff. Fact (3) now yields that is normal.