Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

Why do we generally require that a differentiable manifold be Hausdorff and second countable? Is this universally accepted in the definition? My Professor only required the Hausdorff condition for example, but most book I have read require both. Thanks

share|cite|improve this question
I don't have a good answer, but have you heard about the long line? It is the canonical example of a “manifold” which is not second countable. If you look at the wikipedia article you will see some odd behaviour when you try to put a differentiable structure on it. – Harald Hanche-Olsen Mar 25 '13 at 21:40
Very interesting, thank you for the response. – mike Mar 25 '13 at 21:44
No, it’s not universal: some people study non-metrizable manifolds. This question and its answers, and the accepted answer to this question should go a long way towards answering your question. – Brian M. Scott Mar 25 '13 at 21:45
It is fairly common to require paracompactness instead of second-countability (it can be shown that a manifold is paracompact iff each connected component is second-countable). – Eric Wofsey Jan 14 at 7:09

Your Answer


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

Browse other questions tagged or ask your own question.