Minimal Hausdorff A Hausdorff space $(X,\tau)$ is said to be minimal Hausdorff if for each topology $\tau' \subseteq \tau$ with $\tau' \neq \tau$ the space $(X,\tau')$ is not Hausdorff.
Every compact Hausdorff space is minimal Hausdorff.
I would like to know:
1) Is every minimal Hausdorff space compact?
2) Does every Hausdorff topology contain a minimal Hausdorff topology?
Many thanks!
 A: The answer to this MO question, provided by François G. Dorais, shows that there is a minimal Hausdorff topology on a countable space that is not compact.
See Steen & Seebach 100.
A: My instinct (need to sit down with a piece of paper to confirm it) is No and No.  For the first, I'm pretty sure that any compactly generated non-compact Hausdorff space will provide a counter-example: thus, in particular, $\mathbb{R}$ with its usual topology.
For the second, I'd start looking at spaces where there are two places where there's redundancy but where you can't remove both lots of redundancy at the same time.
A: The answer to both questions is no - see 7.5 in Porter and Woods book, "Extensions and Absolutes of Hausdorff Spaces", Springer-Verlag, 1988.  The space of rational numbers with the usual topology has no coarser minimal Hausdorff topology.  Every Hausdorff space can be embedded in a minimal Hausdorff space; in particular, if you start with a Hausdorff space X that is not Tychonoff and embed it in a minimal Hausdorff space Y, then Y can not be compact Hausdorff.
