An uncountable set is an infinite collection whose elements cannot be arranged in a complete sequence indexed by the natural numbers. In other words, no matter how you attempt to list the members, some will always be omitted. This notion contrasts with a countable set, where elements can be put into a one-to-one correspondence with the integers. The idea of uncountability formalizes the intuition that some infinite sets are strictly larger than others.

Basic examples

The prototypical uncountable set is the set of real numbers, often denoted R. Any nontrivial closed interval, such as [0, 1], is also uncountable. These examples show that uncountability is not about individual numbers being large, but about the structure and density of a set: between any two different real numbers there are infinitely many others.

Key features

  • No enumeration: there is no sequence that lists every element without omission.
  • Strictly larger cardinality than the naturals: uncountable sets have a greater size measure than any countable set.
  • Stable under many operations: continuous intervals, the set of all infinite binary sequences, and the power set of the natural numbers are uncountable.

Historically, Georg Cantor demonstrated the existence of uncountable sets in the late 19th century. His method, commonly called Cantor's diagonal argument, shows how to construct an element that cannot appear in any purported complete list, proving the list incomplete. This argument is simple yet powerful and underlies many later developments in set theory and logic.

Uncountability has consequences across mathematics. It underpins the distinction between different sizes of infinity (cardinalities), motivates concepts in analysis and topology, and informs measure theory where uncountably infinite sets can nevertheless have measure zero or full measure. Questions about how many cardinalities lie between the integers and the real numbers led to the continuum hypothesis, a central problem in modern set theory that concerns possible sizes of infinite sets.

For further reading on related topics such as infinite sets, countability tests, and historical proofs, consult introductory set theory and analysis texts or follow linked resources: set theory overview, infinite sets, and specialized discussions of the real numbers and countable versus uncountable.