3

Additionally, it's required that neither of them induces the discrete topology.

1 Answers1

8

The following metric is not topologically equivalent to the standard Euclidean metric:

$$d ( x , y ) = \begin{cases} \min \{ | x - y |,1\}, &\text{if }x,y\text{ are either both rational or both irrational} \\ 1, &\text{otherwise} \end{cases}$$

(The underlying idea can be used to generate lots of inequivalent metrics on $\mathbb{R}$.)

user642796
  • 52,188