Definition:Cardinality/Finite

From ProofWiki
Jump to: navigation, search

Definition

Let $S$ be a finite set.

The cardinality $\card S$ of $S$ is the number of elements in $S$.

That is, if:

$S \sim \N_{< n}$

where:

$\sim$ denotes set equivalence
$\N_{<n}$ is the set of all natural numbers less than $n$

then we define:

$\card S = n$


Also note that from the definition of finite:

$\exists n \in \N: \card S = n \iff S$ is finite.


Also denoted as

Some sources indicate that $S$ is finite by writing:

$\card S < \infty$


Also defined as

Some authors, working to a particular mathematical agenda, do not discuss the cardinality of an infinite set, and instead limit their definition of this concept to the finite case.

Some others gloss over the definition for the cardinality of a finite set, perhaps on the understanding that the definition is trivial, and instead raise the concept only in the infinite case.


Also known as

Some authors prefer the term order instead of cardinality, particularly in the context of finite sets.

Georg Cantor used the term power and equated it with the term cardinal number, using the notation $\overline {\overline M}$ for the cardinality of $M$.

Some sources cut through all the complicated language and call it the size.


Some sources use $\map {\#} S$ (or a variant) to denote set cardinality. This notation has its advantages in certain contexts, and is used on occasion on this website.

Others use $\map C S$, but this is easy to confuse with other uses of the same or similar notation.

A clear but relatively verbose variant is $\Card \paren S$ or $\operatorname{card} \paren S$.

1968: A.N. Kolmogorov and S.V. Fomin‎: Introductory Real Analysis use $\map m A$ for the power of the set $A$.


Also see


Sources