1. ## triangle inequality

Hey guys.
How can I prove the triangle inequality for this norm.
I marked in green what I did but then I got stuck.

2. This is Minkowski's inequality. You can find proofs online if you Google for them.

\begin{aligned}\|x+y\|_p^p = \sum|x_i+y_i|^p &\leqslant \sum\bigl(|x_i|+|y_i|\bigr)|x_i+y_i|^{p-1} \\ &= \sum\bigl|x_i||x_i+y_i|^{p-1} + \sum|y_i||x_i+y_i|^{p-1},\end{aligned}
and then use Hölder's inequality on each of those two sums.

3. Hello,
Originally Posted by asi123
Hey guys.
How can I prove the triangle inequality for this norm.
I marked in green what I did but then I got stuck.

Consider $\|x+y\|_p^p=\sum_{i=1}^\infty |x_i+y_i|^p$
And then you know that $|m+n| \leqslant |m|+|n|$
So $\forall i \geqslant 1,~ |x_i+y_i|\leqslant |x_i|+|y_i|$, which implies $|x_i+y_i|^p \leqslant (|x_i|+|y_i|)^p$

And hence $\|x+y\|_p^p=\sum_{i=1}^\infty |x_i+y_i|^p \leqslant \sum_{i=1}^\infty (|x_i|+|y_i|)^p$

Now take the p-th root and you're done.

4. Originally Posted by Moo
take the p-th root and you're done.
Do what?

Thanks a lot.

5. Originally Posted by asi123
Do what?

Thanks a lot.
Nah >< I'm really sorry, I thought you wanted to prove the green stuff

(p-th root of x is $x^{1/p}$)