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

From the first two, we can say every topological vector space is completely regular, can't we?

Does a TVS need to be hausdorff in order to be completely regular?


share|cite|improve this question
I think this depends on your definitions. Some people require TVS to have the condition $T_0$, in which case they are automatically Hausdorff, so I assume you don't require this. Some people use the term completely regular to mean $T_{3\frac{1}{2}}$ in which case Hausdorff is needed. It seems if completely regular is the definition where you don't require Hausdorff, then it should be true. – Matt Feb 27 '12 at 17:32
@Matt: Thanks! (1) Could you point out what "completely regular" means in the first one and the third one? (2) Do "topological vector space" in the last two include $T_0$ in their definitions (Wiki also mentions this, but its definition doesn't assume $T_0$ in TVS definition). – Tim Feb 27 '12 at 17:59
In the first and second ones, completely regular does not include $T_0$; in the third it does (or might as well, since Hausdorff implies $T_0$). – Brian M. Scott Feb 28 '12 at 0:24

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.