MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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!

share|cite|improve this question
Related question:… – Joel David Hamkins Aug 19 '10 at 15:17
The counterpart question deals with "maximal compact" topologies. Must they be Hausdorff? (no) – Gerald Edgar Aug 19 '10 at 20:58
Katetov, 1940.. – Gerald Edgar Aug 19 '10 at 21:02
Can I ask that you try to find a way to ask (a shortened version of) your question in the title? It will help other users know what question you want to ask, making it more likely they follow the link, and it will also help Google index your question and raise it to the top of the search page, making it more likely to help future mathematicias. Remember that you get 240 characters for the title --- more than a tweet and a half. Even "Is every minimal Hausdorff space compact, and does every Hausdorff topology contain a minimal one?" fits with room to spare. – Theo Johnson-Freyd Aug 19 '10 at 21:36
up vote 11 down vote accepted

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.

share|cite|improve this answer

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.

share|cite|improve this answer

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.

share|cite|improve this answer
I don't think $\mathbb R$ works. There's a coarser Hausdorff topology obtained by making everything that used to diverge to $+\infty$ converge to 0 instead. (Pictorially, take the $+\infty$ end of $\mathbb R$ and bend it back to approach 0.) – Andreas Blass Nov 21 '10 at 23:32

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.