Every metric space is Hausdorff

  • Thread starter Dead Boss
  • Start date
  • #1
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
22,129
3,297
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
150
1
Thanks. :smile:
 

Related Threads on Every metric space is Hausdorff

  • Last Post
Replies
1
Views
708
Replies
4
Views
7K
Replies
1
Views
2K
  • Last Post
Replies
2
Views
2K
Replies
5
Views
2K
Replies
5
Views
5K
Replies
6
Views
10K
Replies
2
Views
4K
Replies
20
Views
3K
  • Last Post
Replies
1
Views
2K
Top