Difference between revisions of "Triangle inequality"

From Maths
Jump to: navigation, search
m (Alec moved page Triangle Inequality to Triangle inequality without leaving a redirect: To keep with naming conventions)
m
Line 1: Line 1:
The triangle inequality takes a few common forms {{M||d(x,z)\le d(x,y)+d(y,z)}} of which <math>|x-z|\le|x-y|+|y-z|</math> is a special case.
+
The triangle inequality takes a few common forms, for example: <math>d(x,z)\le d(x,y)+d(y,z)</math> (see [[Metric space|metric space]]) of which <math>|x-z|\le|x-y|+|y-z|</math> is a special case.
  
Another common way of writing it is <math>|a+b|\le |a|+|b|</math>, notice if we set {{M|a=x-y}} and {{M|b=y-z}} then we get <math>|x-y+y-z|\le|x-y|+|y-z|</math> which is just <math>|x-z|\le|x-y|+|y-z|</math>
+
Another common way of writing it is <math>|a+b|\le |a|+|b|</math>, notice if we set {{M|1=a=x-y}} and {{M|1=b=y-z}} then we get <math>|x-y+y-z|\le|x-y|+|y-z|</math> which is just <math>|x-z|\le|x-y|+|y-z|</math>
 +
 
 +
==Definition==
 +
The triangle inequality is as follows:
 +
* <math>|a+b|\le |a|+|b|</math>
 +
 
 +
===Proof===
 +
'''Style: ''' case analysis
 +
 
 +
{{Todo|Take time to write it out}}
  
 
==Reverse Triangle Inequality==
 
==Reverse Triangle Inequality==

Revision as of 12:06, 14 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

[Expand]Real Analysis