Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In most of the vector norm material, it was mentioned that the following inequalities can be proved, but no one provided the proof:
$$\lVert x\rVert_2\le\lVert x\rVert_1\le\sqrt{n}\lVert x\rVert_2;$$ $$\lVert x\rVert_\infty\le\lVert x\rVert_2\le\sqrt{n}\lVert x\rVert_\infty;$$ $$\lVert x\rVert_\infty\le\lVert x\rVert_1\le n\lVert x\rVert_\infty.$$

Is that very easy to prove this inequality?

Also wanted to know when the equality is attained?

share|cite|improve this question
Homework? What have you tried? – Jack Aug 19 '11 at 17:21
we have $|x|_1 = (\sum_{i=1}^n|x_i|)$ and $|x|_2 = (\sum_{i=1}^n|x_i|^2)^\frac{1}{2}$ . Im not sure how to relate these values to bring the mentioned inequality. Yes it is a part of my assignment. – Learner Aug 19 '11 at 17:35
As i recalled, it is rather simple and straightforward to prove.this gives one proof. – newbie Aug 19 '11 at 17:37
up vote 2 down vote accepted

For the first, one direction is Holder's and the other is pretty simple (remember that $(x+y)^2=x^2+y^2+2xy$ and what this implies when $x,y\ge 0$). The other two are pretty simple if you write out what the individual terms mean. In fact, the third follows directly from the first two.

As for equality, Holder's inequality has specific conditions for equality, and the rest only require looking at how the inequalities were shown.

share|cite|improve this answer

The most important norms are the three you mentioned. To prove the stated inequalities you have to find out how the unit sphere with respect to each of these norms looks like. All three spheres are symmetric with respect to reflections of the form $x_k\mapsto -x_k$, $1\leq k\leq n$. Therefore it is enough to look at the first "octant" where all $x_k$ are $\geq0$. In this "octant" we have $$\|x\|_1=x_1+\ldots +x_n\>,\quad \|x\|_2=\sqrt{x_1^2+\ldots+ x_n^2}\>,\quad\|x\|_\infty=\max_k\ x_k\ .$$ It follows that the unit spheres belonging to these norms are an $n$-dimensional "octahedron", a euclidean $n$-ball of radius $1$, and an $n$-dimensional cube of side-length $2$. Given this interpretation I can leave it to you to prove the stated inequalities.

share|cite|improve this answer

The first inequality is the tricky part. Considering the relation between Root-Mean Square-Arithmetic Mean, rms>= Am, you can figure it out. Other inequalities, you can find out if you write the definitions out. The following link maybe helpful:

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.