On comparing norms in a linear space

  • Context: Graduate 
  • Thread starter Thread starter Somefantastik
  • Start date Start date
  • Tags Tags
    Linear Space
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 2K views
Somefantastik
Messages
226
Reaction score
0
a norm [tex]||\cdot||_{1}[/tex] is said to be stronger than [tex]||\cdot||_{2}[/tex] if there exists some constant k such that

[tex]||\cdot||_{1} \geq k||\cdot||_{2}[/tex]

Can someone explain the deeper meaning of this? I know that in general, a norm with smaller value will produce a larger unit ball. Is that the extent of the meaning?
 
Physics news on Phys.org
The point is in the topologies they generate: suppose you have an open set [tex]O[/tex], relative to [tex]||\cdot||_{1}[/tex]; this means that, for any [tex]a \in O[/tex], there is an [tex]r > 0[/tex], such that the ball:
[tex] B\left(a,r\right)=\left\{x:[tex]||x-a||_{1}<r\right\}\subseteq O[/tex]<br /> Now, notice that, because of the inequality [tex]||\cdot||_{1} \geq k||\cdot||_{2}[/tex], the set [tex]O[/tex] must remain open if you switch to [tex]||\cdot||_{1} \geq k||\cdot||_{2}[/tex]. Therefore, the topology generated by [tex]||\cdot||_{1}[/tex] is stronger (has at least as many open sets) as the one generated by [tex]||\cdot||_{2}[/tex].<br /> <br /> The real interesting fact is when you have <b>equivalent</b> norms, that is, when:<br /> [tex] k_2||\cdot||_{2} \geq ||\cdot||_{1} \geq k_1||\cdot||_{2} [/tex]<br /> <br /> This implies that the topologies they generate are equal, and it's a nontrivial fact that, in finite-dimensional spaces, <b>all</b> norms are equivalent.[/tex]