Definition:Aleph Number
 | This article needs to be linked to other articles. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{MissingLinks}} from the code. |
Definition
The aleph numbers are a sequence of numbers used to represent the cardinality (or size) of infinite sets that can be well-ordered.
The cardinality of the natural numbers is $\aleph_0$.
The next larger cardinality is $\aleph_1$.
Then $\aleph_2$ and so on.
Also see
 | This page or section has statements made on it that ought to be extracted and proved in a Theorem page. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by creating any appropriate Theorem pages that may be needed. To discuss this page in more detail, feel free to use the talk page. |
A set has cardinality $\aleph_0$ if and only if it is countably infinite.
It is possible to define a cardinal number $\aleph_\alpha$ for every ordinal number $\alpha$.
The aleph numbers are best known for their relevance to the Continuum Hypothesis.
This hypothesis states that the cardinality of the set of real numbers (cardinality of the continuum) is $2^{\aleph_0}$.
See Continuum Hypothesis for more details.
Historical Note
The concept and notation of aleph numbers are due to Georg Cantor.
He defined the notion of cardinality.
He was the first to realize that infinite sets can have different cardinalities.
Sources
- 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): aleph
- 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): aleph