Ultraconnected implies 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., ultraconnected space) must also satisfy the second topological space property (i.e., normal space)
View all topological space property implications | View all topological space property non-implications
Get more facts about ultraconnected space|Get more facts about normal space
|ultraconnected space||A space is ultraconnected if any two non-empty closed subsets have non-empty intersection.|
|normal space||A space is normal if, given any two disjoint closed subsets of , there exist disjoint open subsets of such that .|
The proof is immediate from the observation that in an ultraconnected space, it is not possible to have disjoint non-empty closed subsets. Hence, given disjoint closed subsets, one of them must be empty, and we can use the empty space and whole space as the corresponding open subsets.