Physics Forums

## Triangle inequality with countably infinite terms

In lecture in my real analysis course the other day we were proving that absolute convergence of a series implies convergence. Our professor started off by showing us the wrong way to prove it:

$$\left| \sum_{k=1}^\infty a_k \right| \leq \sum_{k=1}^\infty \left| a_k \right| < \epsilon$$

Then he demonstrated the correct proof, by showing that the sequence of partial sums is Cauchy convergent and then using the triangle inequality.

But this got me thinking: why is the first proof wrong? I definitely agree that the second proof is more solid, but if the triangle inequality is proved by induction, meaning it's true for all natural numbers, isn't that, well, infinite? I was wondering if someone could supply a counterargument or proof by contradiction illustrating why this conclusion is incorrect. Thanks as always.

PhysOrg.com  science news on PhysOrg.com  >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug

Blog Entries: 1 				 				 				 				         Recognitions:      Homework  Help  It's true for any natural number.  Infinity isn't a natural number.  That about sums it up.  Obviously the conclusion that the triangle inequality holds for an infinite series holds, since you proved it did.  But that doesn't mean the logic that you used to make that conclusion is necessarily correct.  Here's an example that might elucidate the problem:  Every sequence has an element of greatest magnitude.  This is obviously true for finite sequences $$a_1, a_2,..., a_n$$ and is $$max_{i=1,...n}(| a_i |)$$  Hence, by your logic, if we have an infinite sequence $$a_1, a_2,...$$ then $$max_{i=1,2,...}( |a_i| )$$ exists and is in the sequence.  Obvious counterexample: $$a_i = 1-\frac{1}{i}$$

Thread Tools

|                                                                        |                                            |         |
|------------------------------------------------------------------------|--------------------------------------------|---------|
| Similar Threads for: Triangle inequality with countably infinite terms |                                            |         |
| Thread                                                                 | Forum                                      | Replies |
|                                                                        | Calculus & Beyond Homework                 | 3       |
|                                                                        | Beyond the Standard Model                  | 3       |
|                                                                        | Beyond the Standard Model                  | 1       |
|                                                                        | Linear & Abstract Algebra                  | 6       |
|                                                                        | Set Theory, Logic, Probability, Statistics | 1       |
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 6, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9334055781364441, "perplexity_flag": "middle"}