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 definition of implies (in ZF, Zermelo–Fraenkel set theory without the axiom of choice) that no cardinal number is between and . If the axiom of choice is used, it can be further proved that the class of cardinal numbers is totally ordered , and thus ℵ 1 {\displaystyle \aleph _{1}} is the second-smallest infinite cardinal number.
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 ...
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.
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}} .
This allows the definition of greater and greater infinite sets starting from a single infinite set. If the axiom of choice holds, then the cardinal number of a set may be regarded as the least ordinal number of that cardinality (see initial ordinal).