Triangle inequality

Algebra ->  Algebra  -> Inequalities -> Triangle inequality      Log On

Ad: Algebrator™ solves your algebra problems and provides step-by-step explanations!
Ad: Algebra Solved!™: algebra software solves algebra homework problems with step-by-step help!

   

Triangle inequality

Jump to: navigation, search
Two examples of the triangle inequality. The top example shows the case when there is a strict inequality and the second example shows the case when there is an equality.

In mathematics, the triangle inequality states that for any triangle, the length of a given side must be less than or equal to the sum of the other two sides but greater than or equal to the difference between the two sides.

In Euclidean geometry and some other geometries this is a theorem. In the Euclidean case, in both the less than or equal to and greater than or equal to statements, equality occurs only if the triangle has a 180° angle and two 0° angles, as shown in the bottom example in the image to the right. The inequality can be viewed intuitively in either R2 or R3. The figure at the right shows two examples.

The triangle inequality is a theorem in spaces such as the real numbers, all Euclidean spaces, the Lp spaces (p ≥ 1), and any inner product space. It also appears as an axiom in the definition of many structures in mathematical analysis and functional analysis, such as normed vector spaces and metric spaces.

Contents

[ Normed vector space

In a normed vector space V, the triangle inequality is

\displaystyle \|x + y\| \leq \|x\| + \|y\| \quad \forall \, x, y \in V

that is, the norm of the sum of two vectors is at most as large as the sum of the norms of the two vectors. This is also referred to as subadditivity.

The real line is a normed vector space with the absolute value as the norm, and so the triangle inequality states that for any real numbers x and y

|x + y| \leq |x|+|y|.\,

The triangle inequality is useful in mathematical analysis for determining the best upper estimate on the size of the sum of two numbers, in terms of the sizes of the individual numbers.

There is also a lower estimate, which can be found using the inverse triangle inequality which states that for any real numbers x and y:

|x-y| \geq \bigg||x|-|y|\bigg|.

If the norm arises from an inner product (as is the case for Euclidean spaces), then the triangle inequality follows from the Cauchy–Schwarz inequality as follows: Given vectors x and y,

\|x + y\|^2 = \langle x + y, x + y \rangle
= \|x\|^2 + \langle x, y \rangle + \langle y, x \rangle + \|y\|^2
\le \|x\|^2 + 2|\langle x, y \rangle| + \|y\|^2
\le \|x\|^2 + 2\|x\|\|y\| + \|y\|^2 (by the Cauchy-Schwarz Inequality)
= \left(\|x\| + \|y\|\right)^2

Taking the square root of the final result gives the triangle inequality.

[ Metric space

In a metric space M with metric d, the triangle inequality is

d(x, z) ≤ d(x, y) + d(y, z)     for all x, y, z in M

that is, the distance from x to z is at most as large as the sum of the distance from x to y and the distance from y to z.

[ Reverse triangle inequality

The reverse triangle inequality is an elementary consequence of the triangle inequality that gives lower bounds instead of upper bounds:

\bigg|\|x\|-\|y\|\bigg| \leq \|x-y\|,

or for metric spaces, | d(x, y) − d(x, z) | ≤ d(y, z). This implies that the norm ||–|| as well as the distance function d(x, –) are Lipschitz continuous with Lipschitz constant 1, and therefore are in particular continuous.

[ Reversal in Minkowski space

In the usual Minkowski space and in Minkowski space extended to an arbitrary number of spatial dimensions, assuming null or timelike vectors in the same time direction, the triangle inequality is reversed:

 \|x+y\| \geq \|x\| + \|y\| \; \forall x, y \in V such that  \|x\|, \|y\| \geq 0 and  t_x , t_y \geq 0.

A physical example of this inequality is thee twin paradox in special relativity.

[ See also

[ References

Source: this wikipedia article, under CC-BY-SA.

Tutors Answer Your Questions about Inequalities (FREE)


Older solutions: 1..45, 46..90, 91..135, 136..180, 181..225, 226..270, 271..315, 316..360, 361..405, 406..450, 451..495, 496..540, 541..585, 586..630, 631..675, 676..720, 721..765, 766..810, 811..855, 856..900, 901..945, 946..990, 991..1035, 1036..1080, 1081..1125, 1126..1170, 1171..1215, 1216..1260, 1261..1305, 1306..1350, 1351..1395, 1396..1440, 1441..1485, 1486..1530, 1531..1575, 1576..1620, 1621..1665, 1666..1710, 1711..1755, 1756..1800, 1801..1845, 1846..1890, 1891..1935, 1936..1980, 1981..2025, 2026..2070, 2071..2115, 2116..2160, 2161..2205, 2206..2250, 2251..2295, 2296..2340, 2341..2385, 2386..2430, 2431..2475, 2476..2520, 2521..2565, 2566..2610, 2611..2655, 2656..2700, 2701..2745, 2746..2790, 2791..2835, 2836..2880, 2881..2925, 2926..2970, 2971..3015, 3016..3060, 3061..3105, 3106..3150, 3151..3195, 3196..3240, 3241..3285, 3286..3330