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.
In set theory, Kőnig's theorem states that if the axiom of choice holds, I is a set, and are cardinal numbers for every i in I, and < for every i in I, then <. The sum here is the cardinality of the disjoint union of the sets m i, and the product is the cardinality of the Cartesian product.
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.
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 search engine that helps you find exactly what you're looking for. Find the most relevant information, video, images, and answers from all across the Web.
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 ...
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: