Search results
Results from the WOW.Com Content Network
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.
The most frequently used cardinal function is the function that assigns to a set A its cardinality, denoted by |A|. Aleph numbers and beth numbers can both be seen as cardinal functions defined on ordinal numbers. Cardinal arithmetic operations are examples of functions from cardinal numbers (or pairs of them) to cardinal numbers.
The cardinality of any infinite ordinal number is an aleph number. Every aleph is the cardinality of some ordinal. The least of these is its initial ordinal. Any set whose cardinality is an aleph is equinumerous with an ordinal and is thus well-orderable. Each finite set is well-orderable, but does not have an aleph as its cardinality.
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.
In set theory, a regular cardinal is a cardinal number that is equal to its own cofinality. More explicitly, this means that κ {\displaystyle \kappa } is a regular cardinal if and only if every unbounded subset C ⊆ κ {\displaystyle C\subseteq \kappa } has cardinality κ {\displaystyle \kappa } .
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 alternatively, that c = ℵ 1 {\displaystyle {\mathfrak {c}}=\aleph _{1}} .
Existence of a cardinal number κ of a given type implies the existence of cardinals of most of the types listed above that type, and for most listed cardinal descriptions φ of lesser consistency strength, V κ satisfies "there is an unbounded class of cardinals satisfying φ".