To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Transfinite number

From Wikipedia, the free encyclopedia

In mathematics, transfinite numbers are numbers that are "infinite" in the sense that they are larger than all finite numbers, yet not necessarily absolutely infinite. These include the transfinite cardinals, which are cardinal numbers used to quantify the size of infinite sets, and the transfinite ordinals, which are ordinal numbers used to provide an ordering of infinite sets.[1][2][3] The term transfinite was coined by Georg Cantor in 1895,[4][5][6][7] who wished to avoid some of the implications of the word infinite in connection with these objects, which were, nevertheless, not finite.[citation needed] Few contemporary writers share these qualms; it is now accepted usage to refer to transfinite cardinals and ordinals as "infinite". Nevertheless, the term "transfinite" also remains in use.

Definition

Any finite natural number can be used in at least two ways: as an ordinal and as a cardinal. Cardinal numbers specify the size of sets (e.g., a bag of five marbles), whereas ordinal numbers specify the order of a member within an ordered set[8] (e.g., "the third man from the left" or "the twenty-seventh day of January"). When extended to transfinite numbers, these two concepts become distinct. A transfinite cardinal number is used to describe the size of an infinitely large set,[3] while a transfinite ordinal is used to describe the location within an infinitely large set that is ordered.[8][failed verification] The most notable ordinal and cardinal numbers are, respectively:

  • (Omega): the lowest transfinite ordinal number. It is also the order type of the natural numbers under their usual linear ordering.
  • (Aleph-null): the first transfinite cardinal number. It is also the cardinality of the natural numbers. If the axiom of choice holds, the next higher cardinal number is aleph-one, If not, there may be other cardinals which are incomparable with aleph-one and larger than aleph-null. Either way, there are no cardinals between aleph-null and aleph-one.

The continuum hypothesis is the proposition that there are no intermediate cardinal numbers between and the cardinality of the continuum (the cardinality of the set of real numbers):[3] or equivalently that is the cardinality of the set of real numbers. In Zermelo–Fraenkel set theory, neither the continuum hypothesis nor its negation can be proven.

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:

  • is a transfinite cardinal. That is, there is a Dedekind infinite set such that the cardinality of is
  • There is a cardinal such that

Although transfinite ordinals and cardinals both generalize only the natural numbers, other systems of numbers, including the hyperreal numbers and surreal numbers, provide generalizations of the real numbers.[9]

Examples

In Cantor's theory of ordinal numbers, every integer number must have a successor.[10] The next integer after all the regular ones, that is the first infinite integer, is named . In this context, is larger than , and , and are larger still. Arithmetic expressions containing specify an ordinal number, and can be thought of as the set of all integers up to that number. A given number generally has multiple expressions that represent it, however, there is a unique Cantor normal form that represents it,[10] essentially a finite sequence of digits that give coefficients of descending powers of .

Not all infinite integers can be represented by a Cantor normal form however, and the first one that cannot is given by the limit and is termed .[10] is the smallest solution to , and the following solutions give larger ordinals still, and can be followed until one reaches the limit , which is the first solution to . This means that in order to be able to specify all transfinite integers, one must think up an infinite sequence of names: because if one were to specify a single largest integer, one would then always be able to mention its larger successor. But as noted by Cantor,[citation needed] even this only allows one to reach the lowest class of transfinite numbers: those whose size of sets correspond to the cardinal number .

See also

References

  1. ^ "The Definitive Glossary of Higher Mathematical Jargon — Infinite". Math Vault. 2019-08-01. Retrieved 2019-12-04.
  2. ^ "Definition of transfinite number | Dictionary.com". www.dictionary.com. Retrieved 2019-12-04.
  3. ^ a b c "Transfinite Numbers and Set Theory". www.math.utah.edu. Retrieved 2019-12-04.
  4. ^ "Georg Cantor | Biography, Contributions, Books, & Facts". Encyclopedia Britannica. Retrieved 2019-12-04.
  5. ^ Georg Cantor (Nov 1895). "Beiträge zur Begründung der transfiniten Mengenlehre (1)". Mathematische Annalen. 46 (4): 481–512.
  6. ^ Georg Cantor (Jul 1897). "Beiträge zur Begründung der transfiniten Mengenlehre (2)". Mathematische Annalen. 49 (2): 207–246.
  7. ^ Georg Cantor (1915). Philip E.B. Jourdain (ed.). Contributions to the Founding of the Theory of Transfinite Numbers (PDF). New York: Dover Publications, Inc. English translation of Cantor (1895,1897).
  8. ^ a b Weisstein, Eric W. "Ordinal Number". mathworld.wolfram.com. Retrieved 2019-12-04.
  9. ^ Beyer, W. A.; Louck, J. D. (1997), "Transfinite function iteration and surreal numbers", Advances in Applied Mathematics, 18 (3): 333–350, doi:10.1006/aama.1996.0513, MR 1436485
  10. ^ a b c John Horton Conway, (1976) On Numbers and Games. Academic Press, ISBN 0-12-186350-6. (See Chapter 3.)

Bibliography

This page was last edited on 28 May 2021, at 08:11
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.