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|$.

$\endgroup$
  • $\begingroup$ Is this homework? $\endgroup$ – davidlowryduda Jun 10 '11 at 7:52
  • 1
    $\begingroup$ @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. $\endgroup$ – confused Jun 10 '11 at 7:52
  • 1
    $\begingroup$ I would still probably prefer hints over a complete answer though, given the nature of the problem... $\endgroup$ – confused Jun 10 '11 at 7:53
  • $\begingroup$ No problem! ${}{}{}{}$ $\endgroup$ – davidlowryduda Jun 10 '11 at 7:54
  • $\begingroup$ See also the related question math.stackexchange.com/q/193938/11994. $\endgroup$ – Marnix Klooster Jan 25 '14 at 21:04
4
$\begingroup$

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

$\endgroup$
  • $\begingroup$ Actually, I suppose that $|x| \geq |y|$. ;p $\endgroup$ – davidlowryduda Jun 10 '11 at 7:56
  • $\begingroup$ 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? $\endgroup$ – confused Jun 10 '11 at 8:13
  • $\begingroup$ @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. $\endgroup$ – davidlowryduda Jun 10 '11 at 8:17
  • $\begingroup$ 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. $\endgroup$ – confused Jun 10 '11 at 18:45
  • $\begingroup$ @confused: Yes, that's about right. $\endgroup$ – davidlowryduda Jun 10 '11 at 19:20
6
$\begingroup$

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.

$\endgroup$
  • $\begingroup$ never mind, got it. :) $\endgroup$ – confused Jun 10 '11 at 8:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.