Search results
Results from the WOW.Com Content Network
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.
The notion of cardinality, as now understood, was formulated by Georg Cantor, the originator of set theory, in 1874–1884. Cardinality can be used to compare an aspect of finite sets. For example, the sets {1,2,3} and {4,5,6} are not equal, but have the same cardinality, namely three.
The set of all finite ordinals, called ω or ω 0 (where ω is the lowercase Greek letter omega), has cardinality ℵ 0. A set has cardinality ℵ 0 if and only if it is countably infinite, that is, there is a bijection (one-to-one correspondence) between it and the natural numbers. Examples of such sets are
The cardinality of a set is the number of elements of the set. For example, defining two sets: A = {a, b} and B = {5, 6}. Both set A and set B consist of two elements each. Their Cartesian product, written as A × B, results in a new set which has the following elements: A × B = {(a,5), (a,6), (b,5), (b,6)}.
is a finite set with five elements. The number of elements of a finite set is a natural number (possibly zero) and is called the cardinality (or the cardinal number) of the set. A set that is not a finite set is called an infinite set. For example, the set of all positive integers is infinite:
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 , and the set of all subsets of the set of natural numbers.
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.
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.