Triangle Inequality: What Have I Missed?

In summary: The terminology varies depending on the context.In summary, the Triangle Inequality states that the length of one side of a triangle is no greater than the sum of the lengths of the other two.
  • #1
theperthvan
184
0
What's so special about the Triangle Inequality?

[tex] abs(x + y) <= abs(x) + abs(y) [/tex]

I have learned it in two or three units, but it seems too obvious to be given a special name.

What have I missed?

EDIT: I screwed up the tex here... if someone can fix it that would be cool
 
Physics news on Phys.org
  • #2
It's more interesting when you apply it to vectors.

i.e.

[tex]|a + b| \le |a| + |b|[/tex]

where a and b are vectors.
 
  • #3
It's not so much that it's special, but that it's useful.


Algebraically, it's hard to manipulate an equation where addition happens inside an absolute value, but it's easy to manipulate an equation where the additions are outside.

Geometrically, it's says that a straight line is the shortest distance between two points.
 
  • #4
Alright, thanks.

And James, how did you do the tex?
 
  • #5
It is, in fact, one of the defining properties of a distance, i.e. metric function:
1) [itex]d(x,y)\ge 0[/itex]
2) d(x,y)= 0 if and only if x= y
3) d(x,y)= d(y,x)
4) [itex]d(x,y)\le d(x,z)+ d(z,y)[/itex] for any point z.

To see the code for any LaTex, just click on it.
 
  • #6
Halls, is positive definiteness a property of any metric or only when the metric is given by an inner product (as in a Hilbert space)?
 
Last edited:
  • #7
If I remember correctly, "positive definiteness", that d(x,y)> 0 except in the case x= y, is a requirement for a metric. Allowing d(x,y)= 0 for x not equal to y, gives what is called a "pseudo-metric". For example, in measure theory, we may define
[tex]d(f,g)= \int_C |f(x)-g(x)|dx[/itex]
where C is some base set. In that case the two d(f,g)= 0 if f and g are equal "almost everywhere" but not necessarily equal. Of course, given any psuedo-metric, we can say that two points are "equivalent" if and only if d(x,y)= 0. Then we can treat the equivalence classes as a metric space with a true metric.
 
  • #8
Hurkyl, could you demonstrate how the Triangle Inequality, geometrically, shows the shortest distance between 2 points is a straight line? Thanks
 
  • #9
|x+y| <= |x| + |y|

is the base case. If x and y are the vectors describing two sides of a triangle, then x+y describes the third side, and this inequalty states the fact that the length of one side is no greater than the sum of the lengths of the other two. Thus the name.

You can repeat it iteratively, and you get the triangle inequality for finite sums. For example, with 5 terms

|a+b+c+d+e| <= |a| + |b| + |c| + |d| + |e|

when you take the limit, you get the triangle inequality for infinite sums and for integrals. In particular, if P and Q are two points and c is a curve of length L between them, then:

[tex]
\vec{Q} - \vec{P} = \int_c d\vec{s}
[/tex]

applying the triangle inequality for integrals gives

[tex]
\left|\vec{Q} - \vec{P}\right| = \left|\int_c d\vec{s}\right|
\leq \int_c |d\vec{s}| = L
[/tex]


If you're not comfortable with ds then, if t is the parameter for the curve c, this is what those integrals mean:

[tex]\int_c d\vec{s} := \int_0^1 \frac{dc(t)}{dt} \, dt[/tex]

[tex]\int_c \left|d\vec{s}\right| := \int_0^1 \left|\frac{dc(t)}{dt}\right| \, dt [/tex]
 
Last edited:
  • #10
O thanks, clearly explained. Ty
 
  • #11
HallsofIvy said:
If I remember correctly, "positive definiteness", that d(x,y)> 0 except in the case x= y, is a requirement for a metric.
Hmmm...in non-relativistic QM, one of the postulates states that (roughly) the system is described by a state vector that resides in a space with a positive definite metric (which is why I asked the question). This is needed so we can make the probabilistic interpretation.

Mathworld doesn't seem to require this as a property of a metric.
 
  • #12
Gokul43201 said:
Mathworld doesn't seem to require this as a property of a metric.
Metric: A nonnegative function g(x, y) ... A metric also satisfies ... the condition that g(x, y) = 0 implies x = y.
 
  • #13
Hurkyl said:
Metric: A nonnegative function g(x, y) ... A metric also satisfies ... the condition that g(x, y) = 0 implies x = y.
Ouch! For some reason, I start reading only from the third word of each sentence.

So I guess the term "positive definite metric" is either a misnomer, or more likely, a concoction of my tired imagination(?)
 
  • #14
'When I use a word,' Humpty Dumpty said, in a rather scornful tone,' it means just what I choose it to mean, neither more nor less.' -- Through the Looking-Glass

Physicsts frequently study pseudometrics, generally arising in some way from an inner product. So, it is reasonable that in their language, the word "metric" means what a mathematician would refer to as "pseudometric" or "inner product". The physicist would then have to add the qualification "positive definite" to denote what the mathematician simply calls "metric".


It's actually like that in a lot of fields, even purely within mathematics. For example, if I'm thinking about category theory, I might call something a "graph". But if I was thinking about discrete math, I would call the exact same object a "directed multigraph with loops".
 
Last edited:
  • #15
theperthvan said:
What's so special about the Triangle Inequality?

[tex] abs(x + y) <= abs(x) + abs(y) [/tex]

I have learned it in two or three units, but it seems too obvious to be given a special name.
It is obvious until one realizes that it does not hold in all spaces.

The Minkowski space-time, frequently associated with the theory of relativity, violates this inequality. For instance in a Minkowski space-time not the shortest but the longest distance between two points is a straight line. And the distance between two points can be zero.
 
Last edited:

What is the Triangle Inequality Theorem?

The Triangle Inequality Theorem states that the sum of any two sides of a triangle must be greater than the third side. In mathematical notation, this can be written as: a + b > c, b + c > a, and a + c > b.

Why is the Triangle Inequality Theorem important?

The Triangle Inequality Theorem is important because it helps us determine if a set of three given lengths can form a triangle. If the theorem is not satisfied, then the three lengths cannot form a triangle.

What are some real-life applications of the Triangle Inequality Theorem?

The Triangle Inequality Theorem is used in various fields such as engineering, architecture, and navigation. For example, when building bridges or designing airplane wings, engineers use the theorem to ensure the structure is stable and can withstand the forces acting on it.

What happens if the Triangle Inequality Theorem is not satisfied?

If the Triangle Inequality Theorem is not satisfied, then the three given lengths cannot form a triangle. This means that the three points do not lie on the same plane and cannot be connected to form a closed shape.

How can I prove the Triangle Inequality Theorem?

The Triangle Inequality Theorem can be proved using the Law of Cosines or by using the concept of vectors. Additionally, there are several geometric proofs that can be used to show the validity of the theorem.

Similar threads

  • Calculus and Beyond Homework Help
Replies
2
Views
784
  • Quantum Physics
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
9
Views
2K
  • Calculus and Beyond Homework Help
Replies
5
Views
3K
  • Precalculus Mathematics Homework Help
Replies
7
Views
1K
  • Precalculus Mathematics Homework Help
Replies
6
Views
537
  • Linear and Abstract Algebra
Replies
8
Views
1K
  • Calculus
Replies
1
Views
4K
  • Precalculus Mathematics Homework Help
Replies
11
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
1K
Back
Top