Transfinite number

From formulasearchengine
Jump to navigation Jump to search

Transfinite numbers are numbers that are "infinite" in the sense that they are larger than all finite numbers, yet not necessarily absolutely infinite. The term transfinite was coined by Georg Cantor, who wished to avoid some of the implications of the word infinite in connection with these objects, which were nevertheless not finite. Few contemporary writers share these qualms; it is now accepted usage to refer to transfinite cardinals and ordinals as "infinite". However, the term "transfinite" also remains in use.

Definition

As with finite numbers, there are two ways of thinking of transfinite numbers, as ordinal and cardinal numbers. Unlike the finite ordinals and cardinals, the transfinite ordinals and cardinals define different classes of numbers.

  • ω (omega) is defined as the lowest transfinite ordinal number and is the order type of the natural numbers under their usual linear ordering.

The continuum hypothesis states that there are no intermediate cardinal numbers between aleph-null and the cardinality of the continuum (the set of real numbers): that is to say, aleph-one is the cardinality of the set of real numbers. (If Zermelo–Fraenkel set theory (ZFC) is consistent, then neither the continuum hypothesis nor its negation can be proven from ZFC.)

Some authors, including P. Suppes and J. Rubin, use the term transfinite cardinal to refer to the cardinality of a Dedekind-infinite set, in contexts where this may not be equivalent to "infinite cardinal"; that is, in contexts where the axiom of countable choice is not assumed or is not known to hold. Given this definition, the following are all equivalent:

See also

Template:Col-begin Template:Col-break

Template:Col-break Template:Sister

Template:Col-end

References

Template:Large numbers Template:Infinity