1
$\begingroup$

For sure, $\ell^2$ is larger than $\ell^1$, because for $|x|<1$, $|x|^2<|x|,$ that is, $||x||_2\leq||x||_1.$

But using Cauchy-Schwarz inequality, I get a "wrong" comparison:

$||x||_1=\sum_i|x_i|\leq\left(\sum_i|x_i|^2\right)^{\frac{1}{2}}\left(\sum_i 1\right)^{\frac{1}{2}}=\left(\sum_i|x_i|^2\right)^{\frac{1}{2}}=||x||_2.$

What is going wrong here? Thanks.

  • 0
    @JackWitt Where do you take the sum?2012-10-06

2 Answers 2

3

What is wrong is that you are saying that $\sum_i 1 =1$, which is only true when $i$ runs over a set of exactly one element.

  • 0
    Yes. The Cauchy-Schwarz inequality applies to two sequences in $\ell^2$. The sequence $(1,1,\ldots)$ is not in $\ell^2$. If you try it with $n$-tuples instead of sequences, you get the estimate in the first sentence of Davide's answer.2012-10-06
3

Cauchy-Schwarz inequality gives $\sum_{i=1}^n|x_i|\leq \sqrt n\sum_{i=1}^n|x_i|^2$. Actually, taking the sequence $x^{(n)}=(\underbrace{1,\dots,1}_{n\mbox{ times}},0,\dots)$, we get $\lVert x^{(n)}\rVert_1=n$ and $\lVert x^{(n)}\rVert_2=\sqrt n$.

But we indeed have $\lVert x\rVert_2\leq \lVert x\rVert_1$ as $\lVert x\rVert_2^2=\sum_{j=0}^{+\infty}|x_j|^2\leq\left(\sum_{j=0}^{+\infty}|x_j|\right)^2.$