What is Galileo's Paradox of Infinity?
Galileo's Paradox of Infinity, first described by Galileo Galilei in his 1638 work "Two New Sciences," presents a seemingly contradictory situation about infinite sets. Galileo observed that the natural numbers {1, 2, 3, 4, 5, ...} and the perfect squares {1, 4, 9, 16, 25, ...} can be placed in a one-to-one correspondence (bijection), which suggests they have the "same number" of elements.
Yet intuitively, the perfect squares are a proper subset of the natural numbers -- there are clearly "more" natural numbers than perfect squares. After all, many natural numbers (like 2, 3, 5, 6, 7, 8, ...) are not perfect squares. This tension between two seemingly valid arguments is the essence of the paradox.
Key Concepts
The Bijection
The mapping f(n) = n squared provides a perfect one-to-one correspondence between natural numbers and perfect squares.
Same Cardinality
Two sets have the same cardinality if and only if a bijection exists between them. Both sets are countably infinite.
Decreasing Density
As N grows, the proportion of perfect squares among 1..N decreases toward zero: approximately 1/sqrt(N).
Resolution
Galileo concluded that concepts like "greater," "less," or "equal" simply do not apply to infinite quantities the same way they do to finite ones.
Historical Significance
Galileo's paradox predates the formal theory of infinite sets by over 200 years. It was Georg Cantor in the late 19th century who resolved the paradox by defining cardinality rigorously: two sets have the same cardinality if and only if there exists a bijection between them. Under this definition, it is perfectly consistent for an infinite set to be "the same size" as one of its proper subsets -- in fact, this property (known as Dedekind-infiniteness) is a defining characteristic of infinite sets.
The Density Argument
While both sets are the same "size" in terms of cardinality, the natural density (or asymptotic density) of the perfect squares within the natural numbers is zero. Among the first N natural numbers, approximately sqrt(N) are perfect squares, giving a density of sqrt(N)/N = 1/sqrt(N), which approaches 0 as N grows. This shows that "size" and "density" capture different mathematical properties.
Other Examples of Galileo-Type Paradoxes
- Even numbers: The set of even numbers {2, 4, 6, ...} can be put in bijection with all natural numbers via f(n) = 2n, despite being a proper subset.
- Integers: The set of all integers (..., -2, -1, 0, 1, 2, ...) has the same cardinality as the natural numbers.
- Rational numbers: Even the rationals (which are "dense" on the number line) have the same cardinality as the naturals.
- Real numbers: In contrast, Cantor proved that the real numbers are NOT countable -- they have a strictly larger cardinality (uncountable).
Why This Matters
- It shows that our finite intuitions about "bigger" and "smaller" break down for infinite sets.
- It laid the groundwork for Cantor's revolutionary theory of transfinite numbers.
- It is foundational in set theory, logic, and theoretical computer science.
- It illustrates the importance of precise definitions in mathematics.