Search results
Results from the WOW.Com Content Network
The oldest definition of the cardinality of a set X (implicit in Cantor and explicit in Frege and Principia Mathematica) is as the set of all sets that are equinumerous with X: this does not work in ZFC or other related systems of axiomatic set theory because this collection is too large to be a set, but it does work in type theory and in New ...
There are two ways to define the "cardinality of a set": The cardinality of a set A is defined as its equivalence class under equinumerosity. A representative set is designated for each equivalence class. The most common choice is the initial ordinal in that class. This is usually taken as the definition of cardinal number in axiomatic set theory.
A bijective function, f: X → Y, from set X to set Y demonstrates that the sets have the same cardinality, in this case equal to the cardinal number 4. Aleph-null , the smallest infinite cardinal In mathematics , a cardinal number , or cardinal for short, is what is commonly called the number of elements of a set .
As a consequence, the cardinality of the real numbers, which is the same as that of the power set of the integers, is strictly larger than the cardinality of the integers; see Cardinality of the continuum for details. The theorem is named for Georg Cantor, who first stated and proved it at the end of the 19th century.
He also proved that is equal to , the cardinality of the power set of the natural numbers. The cardinality of the continuum is the size of the set of real numbers. The continuum hypothesis is sometimes stated by saying that no cardinality lies between that of the continuum and that of the natural numbers , ℵ 0 {\displaystyle \aleph _{0}} , or ...
The cardinality of the natural numbers is ℵ 0 (read aleph-nought, aleph-zero, or aleph-null), the next larger cardinality of a well-ordered set is aleph-one ℵ 1, then ℵ 2 and so on. Continuing in this manner, it is possible to define a cardinal number ℵ α for every ordinal number α , as described below.
Although this work has become a thoroughly standard fixture of classical set theory, it has been criticized in several areas by mathematicians and philosophers. Cantor's theorem implies that there are sets having cardinality greater than the infinite cardinality of the set of natural numbers. Cantor's argument for this theorem is presented with ...
so that the second beth number is equal to , the cardinality of the continuum (the cardinality of the set of the real numbers), and the third beth number is the cardinality of the power set of the continuum.