How to prove $\lvert \lVert x \rVert - \lVert y \rVert \rvert \overset{\heartsuit}{\leq} \lVert x-y \rVert$?

linear-algebra inequality normed-spaces vector-spaces

Observe that

$\lVert x \rVert = \lVert (x -y) +y \rVert \leq \lVert (x -y) \rVert + \lVert y \rVert$

which gives

$\lVert x \rVert - \lVert y \rVert \leq \lVert x -y \rVert$ ... $(1)$

Further,

$-(\lVert x \rVert - \lVert y \rVert ) \leq \lVert (y -x) \rVert = \lVert (x -y) \rVert $... $(2)$

From $(1)$ and $(2)$ result follows.


Use triangle inequality and norm properties to show that $$\lVert x\rVert-\lVert y\rVert\le\lVert x-y\rVert$$ and $$\lVert y\rVert-\lVert x\rVert\le\lVert x-y\rVert$$


How about applying the triangle inequality to $\parallel x - y + y \parallel$?

Related

Winding number (demonstration)
A characterisation of quadratic extensions contained in cyclic extensions of degree 4
Evaluate a limit (probably involving L'Hôpital rule) [duplicate]
Prove the positive definiteness of Hilbert matrix
Proof by induction that $\sum_{i=1}^n \frac{i}{(i+1)!}=1- \frac{1}{(n+1)!}$
Orthogonality for Binomial Coefficients
Find the values of $p$ for which $\sum_{n=2}^\infty \frac{1}{n(\ln n)^p}$ is convergent
Notation for repeated composition of functions
Borel hierarchy doesn't "collapse" before $\omega_1$
The existence of a polynomial of degree $n$ with $m$ real roots when $m\equiv n \pmod 2$.
Very simple question, but what is the proof that x.y mod m == ((x mod m).y) mod m?
Prove that $(a+b)(b+c)(c+a) \ge8$