Does triangle inequality hold for summations and sup?

AI Thread Summary
The triangle inequality holds for summations, specifically for the inequality Σ|xn + yn| ≤ Σ|xn| + Σ|yn|, provided the series converge. The discussion emphasizes that if the series diverge, such as when xn = 1 and yn = -1 for all n, the sums are not defined. A proof is presented showing that if the inequality were false, it would lead to a contradiction regarding limits of the sums. The conclusion confirms that the triangle inequality applies to both finite and infinite summations under the condition of convergence. Overall, the triangle inequality is validated for summations and sup under these conditions.
gravenewworld
Messages
1,128
Reaction score
27
I know that the triangle inequality is lx+y|<= |x| +|y|

Does this hold for a summation of say Sigma (|xn+yn|) <= sigma|xn| + sigma|yn| for n=0 to infinity?

would this also work for sup|x+y| ??
 
Physics news on Phys.org
gravenewworld said:
I know that the triangle inequality is lx+y|<= |x| +|y|

Does this hold for a summation of say Sigma (|xn+yn|) <= sigma|xn| + sigma|yn| for n=0 to infinity?
Yes:
\sum_{n=0}^{N}{|x_n+y_n|}
\leq |x_0| + |y_0| + \sum_{n=1}^{N}{|x_{n}+y_n|}
\leq |x_0| + |y_0| + |x_1| + |y_1| + \sum_{n=2}^{N}{|x_{n}+y_n|}
...
\leq \sum_{n=0}^{N}{|x_n|} +\sum_{n=0}^{N}{|y_n|}
 
Last edited:
LeonhardEuler, the original poster asked about infinite sums, not sums to N (which I assume you used to represent some natural number). If the sum is infinite, then if xn = 1 for all n, and yn = -1 for all n, then \sum _{n=0} ^{\infty} |x_n| and \sum _{n=0} ^{\infty} |y_n| aren't even defined.

Suppose all the series in question do in fact converge. Then suppose the desired inequality is not true, then we'd have:

\sum _{n = 0} ^{\infty} |x_n + y_n| &gt; \sum _{n=0} ^{\infty} |x_n| + \sum _{n=0} ^{\infty} |y_n|

\lim _{N \to \infty} \left ( \sum _{n = 0} ^N |x_n + y_n|\right ) &gt; \lim _{N \to \infty} \left ( \sum _{n = 0} ^N |x_n|\right ) + \lim _{N \to \infty} \left ( \sum _{n = 0} ^N |y_n|\right )

\lim _{N \to \infty} \left ( \sum _{n = 0} ^N |x_n + y_n|\right ) &gt; \lim _{N \to \infty} \left ( \sum _{n = 0} ^N |x_n| + \sum _{n = 0} ^N |y_n|\right )

thus there is some N such that:

\sum _{n = 0} ^N |x_n + y_n| &gt; \sum _{n = 0} ^N |x_n|\right + \sum _{n = 0} ^N |y_n|

which LeonhardEuler has proven false.
 
alright thanks guys!
 
I multiplied the values first without the error limit. Got 19.38. rounded it off to 2 significant figures since the given data has 2 significant figures. So = 19. For error I used the above formula. It comes out about 1.48. Now my question is. Should I write the answer as 19±1.5 (rounding 1.48 to 2 significant figures) OR should I write it as 19±1. So in short, should the error have same number of significant figures as the mean value or should it have the same number of decimal places as...
Thread 'Collision of a bullet on a rod-string system: query'
In this question, I have a question. I am NOT trying to solve it, but it is just a conceptual question. Consider the point on the rod, which connects the string and the rod. My question: just before and after the collision, is ANGULAR momentum CONSERVED about this point? Lets call the point which connects the string and rod as P. Why am I asking this? : it is clear from the scenario that the point of concern, which connects the string and the rod, moves in a circular path due to the string...
Thread 'A cylinder connected to a hanging mass'
Let's declare that for the cylinder, mass = M = 10 kg Radius = R = 4 m For the wall and the floor, Friction coeff = ##\mu## = 0.5 For the hanging mass, mass = m = 11 kg First, we divide the force according to their respective plane (x and y thing, correct me if I'm wrong) and according to which, cylinder or the hanging mass, they're working on. Force on the hanging mass $$mg - T = ma$$ Force(Cylinder) on y $$N_f + f_w - Mg = 0$$ Force(Cylinder) on x $$T + f_f - N_w = Ma$$ There's also...
Back
Top