Can I Simplify Summation Notation in Proving the Triangle Inequality?

  • Thread starter Thread starter tylerc1991
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the simplification of summation notation in the context of proving the triangle inequality. The user questions whether they can eliminate the summation signs when the start and end values are identical for all sums. The consensus is that if the summation is from 0 to N, it is permissible to simplify the notation, but caution is advised for infinite summations. The user is specifically working with the taxicab metric in R^n, and it is confirmed that setting n = 1 can suffice for their proof.

PREREQUISITES
  • Understanding of summation notation and its properties
  • Familiarity with the triangle inequality theorem
  • Basic knowledge of metric spaces, particularly the taxicab metric
  • Proficiency in algebraic manipulation of inequalities
NEXT STEPS
  • Study the properties of summation notation in mathematical proofs
  • Explore the triangle inequality in various metric spaces
  • Learn about the taxicab metric and its applications in R^n
  • Practice algebraic manipulation techniques for inequalities
USEFUL FOR

Students and educators in mathematics, particularly those studying analysis, metric spaces, and algebra. This discussion is beneficial for anyone looking to deepen their understanding of summation notation and its implications in proofs.

tylerc1991
Messages
158
Reaction score
0

Homework Statement



My first post on PF and just a quick question about summation notation usage: given the same start and end values for all sums used, can I just 'remove', so to speak, the sum signs? For example, I'm trying to prove the triangle inequality and have the equation narrowed down to:

\sum|x-z| <= \sum|x-y|+|y-z|

now can I simply remove the sigma's to yield:

|x-z| <= |x-y|+|y-z| ?

I know this seems like an odd question but I know I've seen this operation somewhere in the past and was unsure of it's correct usage. Thanks a ton!

Homework Equations





The Attempt at a Solution

 
Physics news on Phys.org
LaTeX Code: \\sum |x-z| <= LaTeX Code: \\sum |x-y|+|y-z|

This is ambiguous.

where do the summations start and where they end? what are the indexes?
As a rule: if they are from 0 to N (any integer N) they you can just pick N to be 1 and what you are doing is correct. if the summation is from 0 to infinity on the other hand this is not always true.

for your particular question it might be true, you need to do some algebraic manipulation to prove it is so, it is very similar to the triangle inequality...
 
OK that makes sense. See I am trying to prove that a function is a metric (the taxicab metric to be precise). As I said, the start and end values are all the same for each sum (1 to n for R^n). I didn't know how to put the indexes in so I just stated them in words. So for my purpose, I could just set n = 1 and the proof would be done?
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 38 ·
2
Replies
38
Views
10K