Previously, I made two threads discussing two subjects in mathematics that may be counterintuitive to some people:
Stumbling Intuition #1: The Monty Hall Problem
Stumbling Intuition #2: 0.999999 (Ad Infinitum)
For the third thread in the same series (no pun intended), I have decided to discuss the sum of a series to infinity. A related but not equivalent concept is one of Zeno's paradoxes of motion, simplified (arguably overly so) thus:
Zeno's Paradoxes -- from Wolfram MathWorld
A more detailed version can be found here:
Zeno’s Paradoxes (Stanford Encyclopedia of Philosophy)
To visualize the above (ostensible) paradox, here's an image depicting the infinite halving of distance that occurs when a person or object travels a distance d:
Per the above wording, the intuition behind the "paradox" is that an infinitely divisible distance d can never be covered within a finite amount of time. This is where two concepts come in: convergence of series and the sum of a geometric series to infinity.
To start with, a series is typically defined in mathematics as the addition of the terms of a given sequence of numbers. So, for example, the sequence we have above is d, d/2, d/4, d/8, d/16, ..., d/n, where n may be an infinitesimally small number. When we add these distances together, we have a geometric series.
A geometric series is one where there's a constant ratio between each term and the next. On the other hand, an arithmetic series is one where the difference between the consecutive terms is constant, as in 1 + 2 + 3 + 4 + ... + n, where the difference between each term and the one following it is 1.
In this case, common ratio of the geometric series is 1/2: each term is half the one preceding it. And since this common ratio lies between -1 and 1—so that its absolute value can never exceed 1—the series converges: we know that it will keep getting smaller ad infinitum. Each term is smaller than the preceding one, not greater.
This leaves us with the second concept, which is the sum of a series to infinity, in this case a geometric series. Zeno's paradox, as worded above (again, arguably in an oversimplified manner), assumes that an infinitely divisible distance can never be covered within a finite amount of time.
However, because the series converges, the terms become negligibly small as the number of terms approaches infinity. That is, as n approaches infinity in 1/2 raised to the power of n, the sum of Zeno's series can be calculated using the mathematical concepts of limits and series, and it comes out to a finite value:
So, while it may be intuitive to think that infinitely divisible quantities can never sum to a finite value, this is incorrect, because some of them can. Think of how you can theoretically divide a pie in half, and then in quarter, and then in an eighth, continuing ad infinitum until you have infinitesimally small pieces of pie. This division, assuming you have a sufficiently tiny knife, can continue infinitely, but the pie is still a finite quantity and indeed sums to one.
The last thing I want to note is that Zeno's paradoxes, including the one I used here, have been misrepresented and worded incorrectly in a lot of sources, so I don't claim that the version I cited here covers all the nuances of his dichotomy paradox or necessarily reflects the exact way he formulated it. I just used a popular formulation in order to demonstrate the concepts of series and infinite sums.
Stumbling Intuition #1: The Monty Hall Problem
Stumbling Intuition #2: 0.999999 (Ad Infinitum)
For the third thread in the same series (no pun intended), I have decided to discuss the sum of a series to infinity. A related but not equivalent concept is one of Zeno's paradoxes of motion, simplified (arguably overly so) thus:
1. Dichotomy paradox: Before an object can travel a given distance d, it must travel a distance d/2. In order to travel d/2, it must travel d/4, etc. Since this sequence goes on forever, it therefore appears that the distance d cannot be traveled.
Zeno's Paradoxes -- from Wolfram MathWorld
A more detailed version can be found here:
Zeno’s Paradoxes (Stanford Encyclopedia of Philosophy)
To visualize the above (ostensible) paradox, here's an image depicting the infinite halving of distance that occurs when a person or object travels a distance d:
Per the above wording, the intuition behind the "paradox" is that an infinitely divisible distance d can never be covered within a finite amount of time. This is where two concepts come in: convergence of series and the sum of a geometric series to infinity.
To start with, a series is typically defined in mathematics as the addition of the terms of a given sequence of numbers. So, for example, the sequence we have above is d, d/2, d/4, d/8, d/16, ..., d/n, where n may be an infinitesimally small number. When we add these distances together, we have a geometric series.
A geometric series is one where there's a constant ratio between each term and the next. On the other hand, an arithmetic series is one where the difference between the consecutive terms is constant, as in 1 + 2 + 3 + 4 + ... + n, where the difference between each term and the one following it is 1.
In this case, common ratio of the geometric series is 1/2: each term is half the one preceding it. And since this common ratio lies between -1 and 1—so that its absolute value can never exceed 1—the series converges: we know that it will keep getting smaller ad infinitum. Each term is smaller than the preceding one, not greater.
This leaves us with the second concept, which is the sum of a series to infinity, in this case a geometric series. Zeno's paradox, as worded above (again, arguably in an oversimplified manner), assumes that an infinitely divisible distance can never be covered within a finite amount of time.
However, because the series converges, the terms become negligibly small as the number of terms approaches infinity. That is, as n approaches infinity in 1/2 raised to the power of n, the sum of Zeno's series can be calculated using the mathematical concepts of limits and series, and it comes out to a finite value:
So, while it may be intuitive to think that infinitely divisible quantities can never sum to a finite value, this is incorrect, because some of them can. Think of how you can theoretically divide a pie in half, and then in quarter, and then in an eighth, continuing ad infinitum until you have infinitesimally small pieces of pie. This division, assuming you have a sufficiently tiny knife, can continue infinitely, but the pie is still a finite quantity and indeed sums to one.
The last thing I want to note is that Zeno's paradoxes, including the one I used here, have been misrepresented and worded incorrectly in a lot of sources, so I don't claim that the version I cited here covers all the nuances of his dichotomy paradox or necessarily reflects the exact way he formulated it. I just used a popular formulation in order to demonstrate the concepts of series and infinite sums.