10
$\begingroup$

I need to use $|a+b| \leq |a|+|b|$ to show that $||a|-|b|| \leq |a-b|$ .

I have tried to represent $||a|-|b||$ as $||a|+(-|b|)|$ , and then get $||a|+(-|b|)| \leq |a|+|-|b||$ , but that isn't leading me anywhere given $|a-b| \leq |a|+|b|$.

  • 0
    Is this homework?2011-06-10
  • 1
    @mixedmath: no, I would have marked it as such if that was the case. This is me solving Abbot's Understanding Analysis for fun over the summer.2011-06-10
  • 1
    I would still probably prefer hints over a complete answer though, given the nature of the problem...2011-06-10
  • 0
    No problem! ${}{}{}{}$2011-06-10
  • 0
    See also the related question http://math.stackexchange.com/q/193938/11994.2014-01-25

2 Answers 2

5

HINT: supposing $ x \geq y$, consider that $x = x - y + y$.

  • 0
    Actually, I suppose that $|x| \geq |y|$. ;p2011-06-10
  • 0
    hm, so by triangle inequality, I get $|a-b+b| \leq |a-b|+|b|$ which simplifies into $|a|-|b| \leq |a-b|$, while I need to prove that $||a|-|b|| \leq |a-b|$ -- am I missing something?2011-06-10
  • 0
    @confused: you're absolutely right. I let x > y, and you can generalize this (what if x < y? y = y - x + x, but that's the same case with different names, so it's a WLOG thing once you see it). Does that make sense? Alternatively, the way to take the maximum of $|x| - |y|$ and $|y| - |x|$ is to take its absolute value.2011-06-10
  • 0
    so by showing both cases I can take the abs. value of the equation, since the absolute value is the max, and we have shown that even the max of the expression obeys $\leq |a-b|$? Sorry, I am still trying to develop the intuition for abs. values.2011-06-10
  • 0
    @confused: Yes, that's about right.2011-06-10
6

The answer is quite easy:

$|a-b|+|b|\geq |a|$

$|b-a|+|a|\geq |b|$

Then $|a-b| \geq \max\{|a|-|b|,|b|-|a|\}=||a|-|b||$.

This argument is quite standard and applies in proving the continuity of norms.

  • 0
    never mind, got it. :)2011-06-10