Infinity: mathematical concept, history, and uses

Basic distinctions

Two principal ways to think about infinity are:

• Potential infinity — an unending process. Examples include incrementing a counter without end or forming longer and longer sequences. This is a dynamical notion: there is always one more step, but not a completed infinite total.
• Actual infinity — a completed infinite object accepted as a whole. Modern set theory treats infinite sets such as the set of all natural numbers as actual infinities and studies their properties.

Mathematical development and notation

Historically, ancient thinkers grappled with the infinite in geometry and cosmology. In modern mathematics, the treatment of infinity became systematic with the work of Cantor in the late 19th century, who introduced transfinite numbers to compare sizes of infinite sets and proved that there are different sizes of infinity. The symbol ∞ for an endless quantity was popularized in the 17th century by John Wallis. For etymology and language history, see Latin roots of the word.

Types and examples

Mathematics distinguishes several formal notions:

• Countable infinity — sets that can be put into one-to-one correspondence with the natural numbers, such as the integers; see examples about integers at integers.
• Uncountable infinity — larger infinities exemplified by the real numbers; Cantor's diagonal argument shows the real numbers cannot be listed in a sequence indexed by the naturals.
• Cardinal and ordinal infinities — cardinals measure the size of sets (Aleph numbers) while ordinals extend the notion of order type beyond finite sequences; these ideas are part of the theory of transfinite numbers, discussed further at transfinite numbers.

Uses and consequences

Infinity plays central roles in many areas: calculus and analysis use limits that may approach infinity; topology includes one-point compactifications that add an abstract point at infinity; number theory and combinatorics study infinite sequences and structures. Thought experiments such as Hilbert's Hotel illustrate counterintuitive consequences of actual infinities.

Cautions and philosophical notes

Operations with infinity are not the same as ordinary arithmetic: expressions like ∞ − ∞ or 0·∞ are indeterminate without additional context. Some mathematical frameworks avoid treating infinity as a completed object and prefer constructive or finitist approaches, while classical set theory accepts actual infinite sets. For distinctions between an endless process and a completed infinite total, see discussions of potential infinity.

Notable facts

1. There is no largest natural number, illustrating a simple form of endlessness.
2. Not all infinities are equal: the set of real numbers is strictly larger than the set of integers.
3. Infinity is indispensable in modern mathematics but its interpretation varies across fields and philosophies.