0

Define $( \mathbb R^n, m) $ as a metric space such that $ m=\max \{ | x_i - y_i |: i=1...n \} .$

And also $(\mathbb R^2, d) $ as another metric space such that $d= \sum_{i=0}^n | x_i - y_i | .$

Question asks: are these metrics equivalent?

I know l should show the equivalent of induced topologies or $\tau_m $ = $ \tau_d $.

So l should pick an open ball from $ \tau_m$ and show that this open ball is open in $\tau_d $. But doesn't look like these basis balls are equivalent, as one of them is in $\mathbb R^2$ and the other is in $\mathbb R^n$ . Could you please evaluate my approach?

The second question is , what if l change the second metric to ( $\mathbb R^n$, d)?

Then $\mathcal B_\epsilon ^m (x) $ should be open in $\tau_d $.

In this case, what can l do to show these basis balls are open in both topologies?

1 Answers1

1

For the first question: $(\mathbb R^n, m)$ and $(\mathbb R^2, d)$ are only be equivalent metric spaces iff $n=2$ because the underlying vector space need to be the same. For $n=2$ see the following paragraph...

For the second question: Your metrics are defined by p-norms and because your vector space is real-valued and finite the metrics are equivalent. See Any two norms equivalent on a finite dimensional norm linear space. why this is the case.