I need some direction on how to start on showing that $| x+y|\leq|x|+|y|$ in $\mathbb R^n$. Note that $ |x|=\left(\sum\limits_{j=0}^n x_i^2\right)^{1/2} $ Thank you, Klara
Proving $|x|$ is a norm in $\mathbb {R}^n$
-
0@wj32 Euclidean norm – 2012-11-03
3 Answers
It seems from some comments you made on the other answers that you're getting confused by the notation. Let me try to show you the idea in an easy case. Lets concentrate on the case in which $n = 1$, so we're working with $\mathbb{R}$.
So for real numbers $x, y \in \mathbb{R}$, you want to show that $|x + y| \leq |x| + |y|$ where $|x|$ is just the usual absolute value now since $\sqrt{x^2} = |x|$ in this case.
Now, observe that it suffices to prove that $|x + y|^2 \leq (|x| + |y|)^2$. So lets try to work backwards from here. We have the following.
$ \begin{eqnarray} |x + y|^2 \leq \color{red}{(|x| + |y|)^2} \iff (x + y)^2 \leq \color{red}{|x|^2 + 2 |x||y| + |y|^2} \\ \iff x^2 + 2xy + y^2 \leq |x|^2 + 2 |x||y| + |y|^2\\ \iff 2xy \leq 2|x||y|\\ \iff xy \leq |x||y| \end{eqnarray} $
Now, this last inequality is the key step in the proof, because all the other steps were just squaring things out and using the fact that $x^2 = |x|^2$ to cancel some terms out.
In the general case, for any $n$, the idea of the proof is exactly the same, as you can see from the other answers. But now the key step, or the key inequality, becomes what is called the Cauchy-Schwarz inequality as already indicated in another answer.
Start with $\Vert x+y \Vert^2=(x+y)\cdot(x+y)=\Vert x \Vert^2 + 2(x \cdot y) + \Vert y \Vert^2$ where $\cdot$ is the dot product, and apply an inequality you know relating $x \cdot y$, $\Vert x \Vert$ and $\Vert y \Vert$.
-
0@Klara: I'm not interested in starting a discussion about my emotional state. This is clearly going nowhere, so please see Adrián Barquero's answer for a different explanation. – 2012-11-03
It is suffice to use the cauchy schwarz inequality. more precisely
$\|x+y\|^2=\langle x+y, x+y\rangle=\langle x, x\rangle+2\langle x, y\rangle+\langle y, y\rangle,$ now using the cauchy-schwarz inequality, that is $|\langle x, y\rangle|\leq \langle x,x\rangle^{1/2}\langle y, y\rangle^{1/2}$ we have
$\|x+y\|^2\leq \langle x, x\rangle +2\langle x,x\rangle^{1/2}\langle y, y\rangle^{1/2}+\langle y,y\rangle= (\|x\|+\|y\|)^2,$ now take the square root to both side and you got it.