Difference between revisions of "Reverse triangle inequality"

From Maths
Jump to: navigation, search
(Created page with "==Statement== Given a normed space {{M|(X,\Vert\cdot\Vert)}} other than the defining properties of a norm we also have: * {{MM|\Big\vert \Vert a\Vert - \Vert b\Vert\Bi...")
 
(No difference)

Latest revision as of 09:28, 13 March 2016

Statement

Given a normed space (X,) other than the defining properties of a norm we also have:

  • |ab|ab

Proof

Notice that a=(ab)+b and:

  • (ab)+bab+b by the "triangle inequality" property of a norm
  • Now we have a=(ab)+bab+b so:
    • aab+b
  • Thus abab
  • If we were to instead define b as a and a as b we would obtain:
    • baba,
      • But! ba=ab
    • Thus baab
      • Which is (ab)ab
        • Or more usefully abab
  • So we have:
    1. abab
    2. abab
  • If |x|y then we have:
    • yxy or the two statements yx and xy, so we see:
  • |ab|abababab

Which is exactly what we have.

This completes the proof.

References