Transfinite number

Transfinite number

Transfinite numbers are cardinal numbers or ordinal numbers that 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 workers 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.

* Aleph-null, {aleph_0}, is defined as the first transfinite cardinal number and is the cardinality of the infinite set of the natural numbers. If the axiom of choice holds, the next higher cardinal number is aleph-one, {aleph_1}. If not, there may be other cardinals which are incomparable with aleph-one and larger than aleph-zero. But in any case, there are no cardinals between aleph-zero and aleph-one.

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 ZFC is consistent, then neither the continuum hypothesis nor its negation can be proven from ZFC.)

Some authors, for example Suppes, 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:
* "m" is a transfinite cardinal. That is, there is a Dedekind infinite set "A" such that the cardinality of "A" is "m".
* "m" + 1 = "m".
* {aleph_0}"m".
* there is a cardinal "n" such that {aleph_0} + "n" = "m".

ee also

*Absolutely infinite
*Aleph number
*Beth number
*Georg Cantor
*Cardinal number
*Inaccessible cardinal
*Infinitesimal
*Large cardinal
*Large countable ordinal
* Limit ordinal
*Mahlo cardinal
*Measurable cardinal
* Ordinal arithmetic
*Ordinal number

References

*Levy, Azriel, 2002 (1979) "Basic Set Theory". Dover Publications. ISBN 0-486-42079-5
*O'Connor, J. J. and E. F. Robertson (1998) " [http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Cantor.html Georg Ferdinand Ludwig Philipp Cantor,] " MacTutor History of Mathematics archive.
*Rubin, Jean E., 1967. "Set Theory for the Mathematician". San Francisco: Holden-Day. Grounded in Morse-Kelley set theory.
*Rudy Rucker, 2005 (1982) "Infinity and the Mind". Princeton Univ. Press. Primarily an exploration of the philosophical implications of Cantor's paradise.
*Patrick Suppes, 1972 (1960) "Axiomatic Set Theory". Dover. ISBN 0-486-61630-4. Grounded in ZFC.


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • transfinite number — noun any of several numbers which are infinite, but which are not equal to each other. They are represented by the Hebrew letter aleph (ℵ, א) with subscripts 0, 1, etc. At the beginning of Xanadus second decade of development, Nelson was pleased… …   Wiktionary

  • transfinite number — Math. an infinite cardinal or ordinal number. [1900 05] * * * ▪ mathematics       denotation of the size of an infinite collection of objects. Comparison of certain infinite collections suggests that they have different sizes even though they are …   Universalium

  • transfinite number — Math. an infinite cardinal or ordinal number. [1900 05] …   Useful english dictionary

  • number — The natural numbers are 0, 1, 2, 3… The integers are…–3, –2, –1, 0, 1, 2, 3…The rationals, as their name implies, measure ratios: any number that can be written as a/b, where a and b are integers, and b ? 0 (in other words, values of x that give… …   Philosophy dictionary

  • Transfinite arithmetic — In mathematics, transfinite arithmetic is the generalization of elementary arithmetic to infinite quantities like infinite sets. It was originally invented by the German mathematician Georg Cantor. See also * transfinite number * cardinal… …   Wikipedia

  • transfinite — /trans fuy nuyt/, adj. 1. going beyond or surpassing the finite. n. 2. See transfinite number. [1900 05; TRANS + FINITE] * * * …   Universalium

  • Transfinite induction — is an extension of mathematical induction to well ordered sets, for instance to sets of ordinals or cardinals. Transfinite induction Let P(α) be a property defined for all ordinals α. Suppose that whenever P(β) is true for all β < α, then P(α) is …   Wikipedia

  • transfinite — [transfī′nīt] adj. 1. extending beyond or surpassing the finite 2. Math. designating or of a cardinal or ordinal number that is larger than any positive integer …   English World dictionary

  • Number — For other uses, see Numbers (disambiguation). A number is a mathematical object used to count and measure. In mathematics, the definition of number has been extended over the years to include such numbers as zero, negative numbers, rational… …   Wikipedia

  • number game — Introduction       any of various puzzles and games that involve aspects of mathematics.       Mathematical recreations comprise puzzles and games that vary from naive amusements to sophisticated problems, some of which have never been solved.… …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”