Finite set

From Citizendium
Revision as of 16:36, 4 January 2013 by imported>Richard Pinch (Definition formalised in terms of functions)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In mathematics, a finite set simply is set which has finitely many elements, i.e., its cardinality (the number of its elements) is a natural number. A set which is not finite is an infinite set and has at least as many elements as there are natural numbers.

A characteristic property of finite sets (which, in set theory is used to define finite sets) is the following:

A set is finite if and only if every proper subset has fewer elements than the set.

In other words, if — from a given set with n elements (n a natural number) — one or more elements are removed, then the remaining set has less (at most n-1) elements. (Note that the empty set also has this property, even though it has no proper subset.)

On the other hand, removing an element from an infinite set does not change its size. Simple examples, such as Galileo's paradox and Hilbert's hotel, show that even infinitely many elements — if they are chosen accordingly — can be removed without changing its size.

The definition can be formalised in terms of functions. A set X is finite if and only if, for any function f from X to itself, f is surjective if and only if f is injective.