Every metric space is Hausdorff

  • Thread starter Dead Boss
  • Start date
  • #1
Dead Boss
150
1
The usual proof of this theorem seems to assume that the topology of the metric space is the one generated by the metric. But if I use another topology, for example the trivial, the space need not be Hausdorff but the metric stays the same. Am I missing something or is the statement of the theorem just sloppy?
 

Answers and Replies

  • #2
micromass
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
22,178
3,305
If you say that you have a metric space [itex](X,d)[/itex], then it is always assumed that we take the topology generated by the metric. If we happen to take another topology, then we always state this explicitely.

It's the same as saying that you work with [itex]\mathbb{R}^n[/itex]. The topology is always assumed to be Euclidean unless otherwise stated.
 
  • #3
Dead Boss
150
1
Thanks. :smile:
 

Suggested for: Every metric space is Hausdorff

  • Last Post
Replies
9
Views
546
  • Last Post
Replies
1
Views
918
Replies
3
Views
511
Replies
7
Views
624
  • Last Post
Replies
8
Views
811
Replies
2
Views
518
Replies
2
Views
702
Replies
1
Views
2K
Replies
2
Views
686
Top