π-Base
Explore
Spaces
Properties
Theorems
Advanced
Contribute
Locally Hausdorff
⇒
Sober
See Proposition 3.5 of
MR MR0702721
.
Converse
References
The converse (
Sober
⇒
Locally Hausdorff
) cannot be proven or disproven from other known theorems