So when metric satisfies the conditions we can define the norm the following way: . Hence
Norms on finite dimensional vector space are equivalent. So the metric puts the same topology as euclidian metric (which is generated by euclidian norm).
So the point is really to prove that all norms are equivalent (on finite dimensional space). To do that we can prove that every norm is equivalent to maximum norm defined: .
You can easily show that: (for every x). Hence convergence in implies convergence in .
So let's assume is not equivalent with . That means that for every natural number we can find such that:
Let's define the sequence: . From the above inequality we see that ,
What is more: hence the sequence lies on the unit sphere. In finite dimensional space unit sphere is compact. Hence has convergent subsequence .
We can see that because . But convergence in implies convergence in . Hence . It's a contradiction.
Thus all norms in finite-dimensional space are equivalent.