Register to reply

Does every Hausdorff space admit a metric?

by Stevo
Tags: admit, hausdorff, metric, space
Share this thread:
HallsofIvy
#2
Apr8-04, 12:37 PM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,568
Every metric space is Hausdorff but not every Hausdorff space is metrizable!

Googling on "Hausdorff" and "metrizable", I found
"Metrizable requires, in addition to Hausdorf, separability and existance of at least one countable locally finite cover. Those three are independent requirements; if you could do without any one of them you would have a much stronger theorem, and be famous among topologists (nobody else would notice or care)." attributed to a "DickT" on

http://superstringtheory.com/forum/g...ages3/143.html

apparently a "string theory" message board.
selfAdjoint
#3
Apr8-04, 01:32 PM
Emeritus
PF Gold
P: 8,147
That was me, and I stand behind it. I should, because I got it straight out of one of my old textbooks!

Stevo
#4
Apr8-04, 10:42 PM
P: 112
Does every Hausdorff space admit a metric?

Quote Quote by HallsofIvy
Every metric space is Hausdorff but not every Hausdorff space is metrizable!

Googling on "Hausdorff" and "metrizable", I found
"Metrizable requires, in addition to Hausdorf, separability and existance of at least one countable locally finite cover. Those three are independent requirements; if you could do without any one of them you would have a much stronger theorem, and be famous among topologists (nobody else would notice or care)." attributed to a "DickT" on

http://superstringtheory.com/forum/g...ages3/143.html

apparently a "string theory" message board.
Yeah, it's pretty easy to show that every metric space is Hausdorff... I wasn't sure if the converse was true. Thanks for that.

Does anybody have a proof, a link to a proof, or a reference to a proof that metrisation requires Hausdorff, separability, and existence of a countable locally finite cover?
maddy
#5
Apr9-04, 06:09 AM
P: 33
Quote Quote by Stevo
Does anybody have a proof, a link to a proof, or a reference to a proof that metrisation requires Hausdorff, separability, and existence of a countable locally finite cover?
Try these:-
1) Manifolds at and beyond the limit of metrisability at arXiv:math.GT/9911249
2) Metrisability of manifolds - paper in preparation (the file is labelled metrisability.pdf)
both by David Gauld at University of Auckland Department of Mathematics.

A mathematical physics prof taught me that paracompactness must also be one of the criteria of metrisability.
Can there really be a proof that doesn't include this criteria?
selfAdjoint
#6
Apr9-04, 09:56 AM
Emeritus
PF Gold
P: 8,147
Paracompactness is a generalization from the countable locally finite cover. If a space is paracompact then every open cover of it has a countable locally finite refinement. So you get a little narrower theorem by specifying the CLF cover specifically, but in many instances, you would use the given paracompactness of the space to prove the CLF cover exists.

The theorem is called Urysohn's theorem. here is a sketch of the proof.


Register to reply

Related Discussions
Compact Hausdorff space with continuous function Calculus & Beyond Homework 5
Hausdorff Space Calculus & Beyond Homework 1
Metric space and subsets of Euclidean space Calculus & Beyond Homework 18
Non-Hausdorff Space Introductory Physics Homework 9