Difference between revisions of "Cardinality"
I like pie (talk | contribs) m (→Notation) |
I like pie (talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | |||
| − | |||
'''Cardinality''' is a property of [[set]]s. | '''Cardinality''' is a property of [[set]]s. | ||
| Line 15: | Line 13: | ||
== See Also == | == See Also == | ||
| − | |||
* [[Injection]] | * [[Injection]] | ||
* [[Surjection]] | * [[Surjection]] | ||
| Line 21: | Line 18: | ||
* [[Element]] | * [[Element]] | ||
| + | {{stub}} | ||
[[Category:Set theory]] | [[Category:Set theory]] | ||
Revision as of 14:54, 16 April 2008
Cardinality is a property of sets.
Contents
Definition
For finite sets, the cardinality of is the number of elements in that set. The cardinality of 
is 2; of 
is 3; and of the empty set is 0.
Notation
The cardinality of a set 
is denoted by 
. In the above example, the cardinality of 
. 
is also 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 which 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.
