7

I have to show that:

for all vectors $v\in \Bbb R^n$: $\lim_{p\to \infty}||v||_p = \max_{1\le i \le n}|v_i|$

with the $||\cdot ||_p$ norm defined as $$ ||\cdot ||_p: (v_1, \dots ,v_n) \to (\sum^n_{i=i} |v_i|^p)^{1/p} $$

I think I once read something about mixing the root and the same power with the power going to infinity but i can't really remember anything concrete. Any Ideas?

Thanks in advance

Sebastiano
  • 7,649
  • 2
    http://math.stackexchange.com/questions/242779/limit-of-lp-norm – Ningxin Apr 17 '16 at 13:35
  • 1
    @QiyuWen I agree with your link, but that answer is likely beyond the scope of the question here (even using the case of a discrete measure space). – Michael Burr Apr 17 '16 at 13:47

2 Answers2

31

Hint: For the upper bound, observe that

$$ \left(\sum_{i=1}^n |v_i|^p\right)^{1/p}\leq\left(\sum_{i=1}^n \max|v_i|^p\right)^{1/p}=n^{1/p}\max|v_i|. $$

For the lower bound, observe that

$$ \left(\sum_{i=1}^n |v_i|^p\right)^{1/p}\geq\left( \max|v_i|^p\right)^{1/p}=\max|v_i|. $$

Now, take limits.

Michael Burr
  • 32,867
  • 1
    I've been looking on several "duplicate" type questions hoping for a nice clean simple proof. Thanks! – Serafina Aug 15 '23 at 02:46
6

As a norm is completely described by its unit ball, let us see the way unit balls of $||.||_p$ converge.

See (classical) pictures below of the unit balls of $||.||_1 (square), ||.||_2 (circle), ||.||_3$ and $||.||_9$ in $\mathbb{R}^2$. These balls are getting more and more "square" as $p$ increases, the limit square being described by equation $\max(|x|,|y|)=1$, providing a geometric intuition about the way the limit is obtained.

enter image description here

see https://en.wikipedia.org/wiki/Lp_space.

Jean Marie
  • 81,803
  • 2
    for a 1000 dimensional unit sphere the distance from every point on the sphere is 1 from the origin, while for the 1000 dimensional unit box, the corner of the box is 1000 units from the origin. In higher dimensions the unit box gets very pointy, in that sense. – EngrStudent Jun 30 '22 at 02:50