A For finite dimension vector spaces, all norms are equivalent

1. Sep 29, 2016

ShayanJ

I searched for a proof of the statement in the title and found this document. But it just proves that for two norms $\rho(x)$ and $||x||$, we have $m\rho(x)\leq ||x|| \leq M \rho(x)$ for some m and M. But how does it imply that the two norms are equivalent?

Thanks

2. Sep 29, 2016

Staff: Mentor

What do you mean by equivalence of norms? $mρ(x)≤||x||≤Mρ(x)$ implies $M^{-1} ||x|| \leq ρ(x) \leq m^{-1} ||x||$.

3. Sep 29, 2016

ShayanJ

I assume it means all of them give the same number for the same vector.

4. Sep 29, 2016

Stephen Tashi

I notice the current Wikipedia article https://en.wikipedia.org/wiki/Norm_(mathematics) simply defines "equivalent" to mean the existence of that bound.

To me, it would be nicer to define "equivalent" to mean something like "A sequence converges in one of the norms if and only if it converges in the other norm. It that an obvious consequence of the bound ?

5. Sep 29, 2016

Staff: Mentor

This cannot be since e.g. $||(v_1,v_2)||_2 = \sqrt{v_1^2+v_2^2} \neq \max\{|v_1|,|v_2|\} = ||(v_1,v_2)||_\infty$.
It only means the two (four) relations above, i.e. it is qualitatively the same, not quantitatively.

6. Sep 29, 2016

ShayanJ

Yeah, It makes sense to me.
But isn't there a standard definition of equivalent norms?
What do you mean by qualitatively the same?

7. Sep 29, 2016

Staff: Mentor

What Stephen has said. Switching between equivalent norms doesn't change the general behavior of convergence, boundedness and so on, it only changes numbers: the quantity, not the quality.

8. Sep 29, 2016

Krylov

Indeed. Two norms are equivalent if, by definition, the estimate given in the OP holds.

As you can easily show, this implies that for every $x \in X$ every open $\rho$-ball centered at $x$ contains an open $\|\cdot\|$-ball centered at $x$ and vice versa. Since these balls form bases for the norm topologies generated by $\rho$ and $\|\cdot\|$, respectively, we conclude that the two norm topologies are identical.

In this sense equivalent norms are "qualitatively the same".