Understanding Galileo's Paradox
In his final work, Two New Sciences, Galileo identified a troubling asymmetry. Consider the natural numbers: {0, 1, 2, 3, 4, ...} and the perfect squares: {0, 1, 4, 9, 16, ...}. Intuitively, there should be more natural numbers than perfect squares—after all, every perfect square is a natural number, but not every natural number is a perfect square.
Yet each natural number produces exactly one perfect square through squaring: 1 → 1, 2 → 4, 3 → 9, and so on. This one-to-one pairing suggests the sets are equal in size. Galileo recognised this contradiction and concluded that comparisons of infinite set magnitudes were impossible—a view that stood unchallenged until the 19th century.
What Is Cardinality?
Cardinality measures a set's magnitude by counting its elements. For finite sets, this is straightforward: the set {apple, banana, cherry} has cardinality 3. We denote cardinality using vertical bars: |{apple, banana, cherry}| = 3.
For infinite sets, direct counting fails. Instead, mathematicians use a more sophisticated approach: two sets possess equal cardinality if you can establish a bijection between them—a one-to-one pairing where every element in set A matches exactly one element in set B, and vice versa. This elegant definition sidesteps the impossibility Galileo identified and opens the door to meaningful comparisons of infinite magnitudes.
Computing Perfect Squares from Natural Numbers
The relationship between a natural number and its corresponding perfect square is governed by a simple rule. If n represents a natural number, squaring it yields the perfect square in our set. This establishes the bijection Cantor used to prove both sets share the same cardinality.
Perfect Square = (Natural Number)²
Natural Root = √(Perfect Square)
Natural Number— Any non-negative integer in the sequence 0, 1, 2, 3, ...Perfect Square— The result of squaring a natural number; always a whole number whose square root is an integerNatural Root— The original natural number obtained by taking the square root of a perfect square
One-to-One Correspondence and Bijection
Georg Cantor revolutionised the study of infinity by proposing that infinite sets can be meaningfully compared through bijections. A bijection is a perfect pairing: every element in set A corresponds to exactly one element in set B, and every element in B corresponds to exactly one element in A.
For Galileo's paradox, the mapping is straightforward:
- 0 ↔ 0
- 1 ↔ 1
- 2 ↔ 4
- 3 ↔ 9
- 4 ↔ 16
Because such a complete pairing exists between natural numbers and perfect squares, the two sets are equinumerous—they possess identical cardinality, despite appearances. This insight resolved Galileo's centuries-old dilemma and established the foundation for modern set theory.
Key Insights and Common Pitfalls
Understanding infinite sets requires abandoning intuition built on finite mathematics.
- Infinite sets can equal their proper subsets — The perfect squares form a proper subset of the natural numbers (every perfect square is a natural number, but not vice versa). Yet they share the same cardinality. This is a defining feature of infinite sets and contradicts all finite set logic.
- Cardinality differs from density — Although perfect squares become sparser as numbers grow larger, their cardinality remains equal to that of natural numbers. Cardinality measures one-to-one pairing, not distribution density.
- Not all infinite sets are equally large — While natural numbers and perfect squares have the same cardinality, sets like real numbers have a strictly greater cardinality. Cantor proved this through his diagonal argument—infinities themselves come in different sizes.
- The bijection must be complete and reversible — For two sets to have equal cardinality, the pairing must work both directions without exception. A partial or one-directional mapping is insufficient to establish equinumerosity.