Difference between revisions of "Cardinality"

m
m
Line 2: Line 2:
  
 
==Notation==
 
==Notation==
The cardinality of a set <math>A</math> is denoted by <math>|A|</math>.  In the above example, the cardinality of <math>\{3, 4\}</math> is <math>|\{3, 4\}| = 2</math>. Sometimes the notations <math>n(A)</math> and <math>\# (A)</math> are also used.
+
The cardinality of a set <math>A</math> is denoted by <math>|A|</math>.  In the above example, the cardinality of <math>\{3, 4\}</math> is <math>|\{3, 4\}| = 2</math>. Sometimes the notations <math>n(A)</math> and <math>\# (A)</math> are used.
  
 
==Infinite==
 
==Infinite==

Revision as of 12:50, 17 April 2008

Cardinality is a property of sets. For finite sets, the cardinality of is the number of elements in that set, i.e. the size of the set. The cardinality of $\{3, 4\}$ is 2, the cardinality of $\{1, \{2, 3\}, \{1, 2, 3\}\}$ is 3, and the cardinality of the empty set is 0.

Notation

The cardinality of a set $A$ is denoted by $|A|$. In the above example, the cardinality of $\{3, 4\}$ is $|\{3, 4\}| = 2$. Sometimes the notations $n(A)$ and $\# (A)$ are used.

Infinite

For infinite sets, cardinality also measures (in some sense) the "size" of the set, but an explicit formulation is more complicated: the cardinality of a set $S$ is the least cardinal that can be put in bijection with $S$.

The notion of cardinalities for infinite sets is due to Georg Cantor and is one aspect of the field of set theory. Most significantly, Cantor showed that there are multiple infinite cardinalities. In other words, not all infinite sets are the same size.

See Also

This article is a stub. Help us out by expanding it.