Difference between revisions of "Triangle inequality"

From Maths
Jump to: navigation, search
m
m
Line 31: Line 31:
 
It follows from the properties of [[Absolute value|absolute value]], I don't like this form, I prefer just "swapping" the order of things in the abs value and applying the same result
 
It follows from the properties of [[Absolute value|absolute value]], I don't like this form, I prefer just "swapping" the order of things in the abs value and applying the same result
  
{{Theorem|Real Analysis}}
+
{{Theorem Of|Real Analysis}}

Revision as of 07:21, 27 April 2015

The triangle inequality takes a few common forms, for example: d(x,z)d(x,y)+d(y,z)

(see metric space) of which |xz||xy|+|yz|
is a special case.

Another common way of writing it is |a+b||a|+|b|

, notice if we set a=xy and b=yz then we get |xy+yz||xy|+|yz|
which is just |xz||xy|+|yz|

Definition

The triangle inequality is as follows:

  • |a+b||a|+|b|

Proof

Style: case analysis



TODO: Take time to write it out



Reverse Triangle Inequality

This is |a||b||ab|

Proof

Take |a|=|(ab)+b|

then by the triangle inequality above:
|(ab)+b||ab|+|b|
then |a||ab|+|b|
clearly |a||b||ab|
as promised

Note

However we see |b||a||ba|

but |ba|=|(1)(ab)|=|1||ab|=|ab|
thus |b||a||ab|
also.

That is both:

  • |a||b||ab|
  • |b||a||ab|

Full form

There is a "full form" of the reverse triangle inequality, it combines the above and looks like: |ab|| |a||b| |

It follows from the properties of absolute value, I don't like this form, I prefer just "swapping" the order of things in the abs value and applying the same result