Let $(X,\tau)$ be a locally compact Hausdorff [topological space](/page/Topological%20Space). If $(X,\tau)$ has a countable basis for its topology, then $(X,\tau)$ is normal.
Knowledge Status
Analysis
Discussion
Every second countable locally compact [Hausdorff space](/page/Hausdorff%20Space) is normal, using countability and local compactness to separate closed sets.
Proof
No proof available for this theorem.
Prerequisites
(0/3 completed)
Prerequisites Graph
Interactive dependency map showing how this theorem builds on foundational concepts