Search results
Results from the WOW.Com Content Network
Georg Cantor published this proof in 1891, [1] [2]: 20– [3] but it was not his first proof of the uncountability of the real numbers, which appeared in 1874. [ 4 ] [ 5 ] However, it demonstrates a general technique that has since been used in a wide range of proofs, [ 6 ] including the first of Gödel's incompleteness theorems [ 2 ] and ...
Formally, assuming the axiom of choice, the cardinality of a set X is the least ordinal α such that there is a bijection between X and α. This definition is known as the von Neumann cardinal assignment. If the axiom of choice is not assumed we need to do something different.
The best known example of an uncountable set is the set of all real numbers; Cantor's diagonal argument shows that this set is uncountable. The diagonalization proof technique can also be used to show that several other sets are uncountable, such as the set of all infinite sequences of natural numbers (see: (sequence A102288 in the OEIS)), and the set of all subsets of the set ...
In fact, the cardinality of ℘ (), by definition , is equal to . This can be shown by providing one-to-one mappings in both directions between subsets of a countably infinite set and real numbers, and applying the Cantor–Bernstein–Schroeder theorem according to which two sets with one-to-one mappings in both directions have the same ...
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.
As is standard in set theory, we denote by the least infinite ordinal, which has cardinality ; it may be identified with the set of natural numbers.. A number of cardinal characteristics naturally arise as cardinal invariants for ideals which are closely connected with the structure of the reals, such as the ideal of Lebesgue null sets and the ideal of meagre sets.
By defining the notion of the size of a set in terms of its cardinality, the issue can be settled. Since there is a bijection between the two sets involved, this follows in fact directly from the definition of the cardinality of a set. Hilbert's paradox of the Grand Hotel illustrates more paradoxes of enumeration.
Then (in the von Neumann formulation of cardinality) C is a set and therefore has a power set 2 C which, by Cantor's theorem, has cardinality strictly larger than C. Demonstrating a cardinality (namely that of 2 C) larger than C, which was assumed to be the greatest cardinal number, falsifies the definition of C. This contradiction establishes ...