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.
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 power set of the set of natural numbers can be put in a one-to-one correspondence with the set of real numbers (see Cardinality of the continuum). The power set of a set S, together with the operations of union, intersection and complement, is a Σ-algebra over S and can be viewed as the prototypical example of a Boolean algebra.
A set of polygons in an Euler diagram This set equals the one depicted above since both have the very same elements.. In mathematics, a set is a collection of different [1] things; [2] [3] [4] these things are called elements or members of the set and are typically mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other ...
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
A derangement of a set A is a bijection from A into itself that has no fixed points. Via the inclusion–exclusion principle one can show that if the cardinality of A is n, then the number of derangements is [n! / e] where [x] denotes the nearest integer to x; a detailed proof is available here and also see the examples section above.
Cardinal functions are widely used in topology as a tool for describing various topological properties. [2] [3] Below are some examples.(Note: some authors, arguing that "there are no finite cardinal numbers in general topology", [4] prefer to define the cardinal functions listed below so that they never taken on finite cardinal numbers as values; this requires modifying some of the ...