Namespaces
Variants
Actions

Countable set

From Encyclopedia of Mathematics
Revision as of 19:43, 10 January 2015 by Richard Pinch (talk | contribs) (reword definition, some properties, cite Halmos (1960))
Jump to: navigation, search

2020 Mathematics Subject Classification: Primary: 03E20 [MSN][ZBL]

A set equipotent to the set of natural numbers and hence of the same cardinality. For example, the set of integers, the set of rational numbers or the set of algebraic numbers.

An uncountable set is one which is not countable: for example, the set of real numbers is uncountable, by Cantor's theorem.

The union and Cartesian product of two countable sets is again countable; the union of a countable family of countable sets is also countable.

Comments

In some texts, this definition is that of a "countably infinite" or "denumerable" set, and a "countable" set refers to one which is finite or countably infinite: that is, a set of the same cardinality as some subset of the natural numbers.

References

  • P. R. Halmos, "Naive Set Theory", Springer (1960) ISBN 0-387-90092-6
How to Cite This Entry:
Countable set. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Countable_set&oldid=33653
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article