Welcome to MathOverflow

Question

1

This question may be a little too easy for this site, but I'll ask it anyway: when is a Hausdorff topological space metrisable?

edited Nov 20 2009 at 18:14

S. Carnahan♦
25.6k●41●90

asked Nov 20 2009 at 15:05

Aston Smythe
19●1

2

I think this site is a little too hung up about avoiding easy questions. I understand they don't want the site to degrade into a homework Q&A, but I think questions like yours are fine. – John D. Cook Nov 20 2009 at 16:00

One word.. "Nagata" – Jose Capco Nov 21 2009 at 1:04

HW · Answer 1 · 2009-11-20 15:43:51Z UTC

3

I think it's also worth pointing out the Wikipedia page on Moore spaces. It turns out that the full answer to your question (if you don't allow conditions like "locally metrizable") has something to do with the Continuum Hypothesis.

answered Nov 20 2009 at 15:43

HW
10.1k●1●23●66

	Whatever is a "full" answer? Isn't the "full" answer "A top space is metrisable iff there exists a metric inducing the topology"? What did you have in mind Henry? Probably not that! – Kevin Buzzard Nov 20 2009 at 20:05
	Fair point. I suppose by a full answer I meant an equivalent condition to metrisability that doesn't use the notion of metrisability anywhere (eg in locally metrisable). I think that the condition provided by Jones' Theorem is necessary and sufficient (subject to some assumption about the Continuum Hypothesis). – HW Nov 20 2009 at 21:24

Ho Chung Siu · Answer 2 · 2009-11-20 15:23:27Z UTC

7

The wikipedia page here is probably of interest. It contains links to a few metrization theorems, including results of Nagata-Smirnov's and Bing's. There is also the Smirnov metrization theorem that appears in Munkres' topology: it states that A space X is metrizable if and only if it is paracompact, Hausdorff, and locally metrizable.

answered Nov 20 2009 at 15:23

Ho Chung Siu
1,730●1●11●20

2

This Wikipedia page is an excellent answer to the question. Urysohn's theorem (second-countable, regular, Hausdorff is metrizable) and Smirnov's theorem (locally metrizable, Hausdorff, paracompact is metrizable) really are what people use all the time. – Greg Kuperberg Nov 20 2009 at 15:32

When is a Hausdorff space metrisable?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.