Aleph number
Aleph numbers measure sizes of infinite sets.
Wikipedia / Wikimedia Commons
Aleph numbers are a sequence of numbers used in set theory to represent the cardinality (size) of infinite sets. Introduced by mathematician Georg Cantor, they are named after the Hebrew letter aleph (ℵ). The smallest aleph number, ℵ₀, denotes the cardinality of the natural numbers, while ℵ₁ is the next larger cardinality of a well-ordered set, and so on for every ordinal number α.
- field
- Mathematics, set theory
- known_for
- Representing cardinalities of infinite sets
- introduced_by
- Georg Cantor
Lore & Background
The concept and notation of aleph numbers are due to Georg Cantor, who defined the notion of cardinality and realized that infinite sets can have different cardinalities. The smallest aleph number, ℵ₀ (aleph-nought, aleph-zero, or aleph-null), is the cardinality of the set of all natural numbers and is an infinite cardinal. A set has cardinality ℵ₀ if and only if it is countably infinite, meaning there is a bijection between it and the natural numbers. Examples include the set of integers, rational numbers, algebraic numbers, and all finite subsets of any countably infinite set.
Reader's Guide
Aleph numbers differ from the infinity (∞) commonly found in algebra and calculus. While infinity often denotes an extreme limit of the real number line or an extreme point of the extended real number line, alephs measure the sizes of sets. ℵ₁ is the cardinality of the set of all countable ordinal numbers, denoted ω₁, and is the smallest cardinality larger than ℵ₀. Under the axiom of choice, the class of cardinal numbers is totally ordered, making ℵ₁ the second-smallest infinite cardinal. A key property of ω₁ is that any countable subset of it has an upper bound within ω₁, analogous to finite sets of natural numbers having a maximum. This property is used in contexts like closing under countable-arity operations, such as generating a σ-algebra via transfinite induction over ω₁.
Did You Know?
- ℵ₀ is the cardinality of the set of natural numbers and is an infinite cardinal.
- ℵ₁ is the cardinality of the set of all countable ordinal numbers, denoted ω₁.
- If the axiom of countable choice holds, ℵ₀ is smaller than any other infinite cardinal.
- The set ω₁ is itself an ordinal number larger than all countable ones, making it uncountable.
Frequently Asked Questions
Who came up with Aleph numbers?
Georg Cantor introduced the concept in the late 19th century as part of his broader work on infinite sets. He chose the Hebrew letter aleph (ℵ) as the symbol to distinguish these new cardinalities from ordinary finite numbers.
What exactly do Aleph numbers measure?
They assign a precise size label to infinite sets, telling you how many elements a given infinite collection contains. Each aleph corresponds to a distinct level of infinity, with no aleph sitting between any two consecutive ones.
What does ℵ₀ represent?
ℵ₀ is the smallest aleph number and captures the cardinality of the natural numbers (1, 2, 3, …). Any set that can be put into one-to-one correspondence with the counting numbers has this size.
How does ℵ₁ relate to ℵ₀?
ℵ₁ is the next aleph after ℵ₀, representing the smallest uncountable well-ordered cardinality. It is strictly larger than ℵ₀, meaning no bijection can map the natural numbers onto a set of size ℵ₁.
Why are Aleph numbers important in set theory?
They give mathematicians a clean, ordered vocabulary for talking about different levels of infinity rather than just saying 'infinite.' This framework underpins much of modern cardinal arithmetic, the continuum hypothesis, and the study of well-orderings.
More in Set Theory And Foundations 1-20
Spotted an error? Know more?
This is a living reference — every entry is fact-audited, and reader corrections feed straight into our audit queue. Suggest an edit · See this site's audit record