PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] $\lim_{p \to \infty} \lVert x \rVert_p = \lVert x \rVert_{\infty}$ (Result)

Suppose $x=(x_1,\ldots, x_n)$ is a point in $\sR^n$ , and let $\norm{x}_p$ and $\norm{x}_\infty$ be the usual $p$ -norm and $\infty$ -norm; \begin{eqnarray*} \norm{x}_p &=& \big(|x_1|^p + \cdots + |x_n|^p\big)^{1/p},\\ \norm{x}_\infty &=& \max \{|x_1|, \ldots, |x_n|\}. \end{eqnarray*} Our claim is that \begin{eqnarray} \label{claim} \lim_{p \to \infty} \norm{x}_p &=& \norm{x}_{\infty}. \end{eqnarray}In other words, for any fixed $x\in \sR^n$ , the above limit holds. This, or course, justifies the notation for the $\infty$ -norm.

Proof. Since both norms stay invariant if we exchange two components in $x$ , we can arrange things such that $\norm{x}_\infty = |x_1|$ . Then for any real $p>0$ , we have \begin{eqnarray*} \norm{x}_\infty &=&\abs{x_1} =(\abs{x_1}^p)^{1/p} \leq \norm{x}_p \end{eqnarray*}and \begin{eqnarray*} \norm{x}_p &\le & n^{1/p} |x_1| =n^{1/p} \norm{x}_\infty. \end{eqnarray*}Taking the limit of the above inequalities (see this page) we obtain \begin{eqnarray*} \norm{x}_\infty &\le& \lim_{p\to \infty} \norm{x}_p,\\ \lim_{p\to \infty} \norm{x}_p &\le & \norm{x}_\infty, \end{eqnarray*}which combined yield the result. $ \Box$




"$\lim_{p \to \infty} \lVert x \rVert_p = \lVert x \rVert_{\infty}$" is owned by Koro. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: power mean


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: inequalities, real, components, invariant, norms, proof, limit, fixed, point

This is version 9 of $\lim_{p \to \infty} \lVert x \rVert_p = \lVert x \rVert_{\infty}$, born on 2003-10-19, modified 2006-09-13.
Object id is 5399, canonical name is Lim_pToInftyX_pX_infty.
Accessed 2899 times total.

Classification:
AMS MSC46B20 (Functional analysis :: Normed linear spaces and Banach spaces; Banach lattices :: Geometry and structure of normed linear spaces)

Pending Errata and Addenda
None.
[ View all 5 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)