Det ovannämnt är summan av del som kan, vid standarda metoder, uttryckas, som en singel del; dvs. ett rationellt numrerar.

Algebraiskt numrerar

Algebraiskt numrerar är numrerar som är lösningar till polynomiallikställande med heltalkoefficienter, liksom √2, som är en lösning till x²-2 = 0. Heltal och rationellt numrerar är speciala fall av algebraiskt numrerar. Även om uppsättningen av algebraiskt numrerar inkluderar många irrationellt numrerar lik √2, det inte innehåller all irrationellt numrerar. Till exempel den konstant πen är inte ett algebraiskt numrerar. Den kallas ett transcendentalt numrerar; dvs. ett verkligt numrerar som inte är ett algebraiskt numrerar. Det finns endast några den transcendentala förtrogen vän numrerar. Basera av de naturliga logaritmerna, e=2.71828182859045…, är en annan förtrogen vän en.

Den styrkan verkar, att det finns många mer algebraisk numrerar, än transcendentalt numrerar, men det omvänt är faktiskt fallet. Det finns ett högre beställer av den mer transcendentala oändligheten numrerar, än algebraiskt numrerar. Cardinalityen av det algebraiskt numrerar är ₀, samma, som det naturligt numrerar (nonnegative heltal), heltal, och rationellt numrerar. Detta hjälpmedlet, som cardinalityen av uppsättningen av transcendentalt numrerar, är samma som det av uppsättningen av verkligt numrerar, beställa av oavbruten följd.

Att att bevisa det ovannämnda påståendet l5At oss först betrakta polynomialsna för uppsättningen allra med heltalkoefficienter. Denna är precis så generalen, som betrakta polynomials med rationellt numrera koefficienter, därför att en kan multiplicera vid nämnarna av rationella koefficienter för att få heltalkoefficienter. Polynomialsna för heltalet för uppsättningen allra de samverka är unionen av de sådan linjära likställandena för uppsättningen allra, quadratic likställande, kubiklikställande och så vidare.

Cardinalityen av likställandena för heltalet för uppsättningen de samverka linjära är allra (Z−{0}) ×Z. Det ledande samverka av en polynomial bör inte vara nolla. Cardinalityen av de linjära likställandena för uppsättningen är allra
₀×₀=₀

Jämväl cardinalityen av desamverka quadratic likställandena för uppsättningen allra är ₀×₀×₀ = ₀. På motsvarande sätt de n-th gradpolynomialsna för cardinality allra är ₀.

Någon n-th gradpolynomial har på mest distinkt n rotar. Därför cardinalityen av uppsättningen av rotar allra n-th gradpolynomials är på mest n×₀=₀. Således cardinalityen av uppsättningen av rotar till alla heltal-samverkas polynomials är på mest

₀+₀+₀+... =
₀×₀ = ₀
 

Remarkably den sådan uppsättningen allra rotar är räknebar.

Om koefficienterna är tillåtna att vara rotar av heltal-samverkas polynomials som cardinalityen av uppsättningen av rotar är stillbild ₀. Således genom att utvidga uppsättningen av koefficienter, vi får aldrig en uppsättning som har en cardinality mer stor än ₀

Den Axiomatic definitionen av verkligt numrerar

Detta att närma sig till det verkligt numrerar bruk elva axioms att definiera beställt ett färdigt sätter in, det verkligt numrerar. Låtet (S, +, *, <) var en uppsättning och två fungerar, + och *, kallat tillägget och multiplikation, respektive och ett beställaförhållande <, som är ett boolean, fungerar. Fungerar vanligt kallas funktioner och föreställs i infixbeteckningssystem, men de är ingenting mer, än specialt binärt fungerar. De första åtta axiomsna definierar en sätta in:

• Closedness av tillägget och multiplikation: Om a och b tillhörde S därefter så, gör a+b och a*b.
• Associativity:
  Om a, b och c tillhörde S därefter
  a + (b + c) = (a + b) + c
  a* (b*c) = (a*b) *c
• Commutativity av tillägget och multiplikation:
  a + b = b + a
  a*b = b*a
• Distributivity av multiplikation över tillägg:
  Om a, b och c tillhörde a* för S därefter (b + c) = a*b + a*c.
• Tillsats och Multiplicative identiteter
  Där går ut två medlemmar av S, 0 och 1 som är sådan att
  för allt höra hemma till S, a + 0 = a
  och a*1 = A.
• Tillsatsomvändningar:
  För varje höra hemma till S där finns en beståndsdel av S, något att säga b som är sådan att a + b = 0. Beståndsdelen b betecknas vanligt - a.
• Multiplicative omvändningar:
  För varje höra hemma till S annat än tillsatsidentiteten 0 finns där en beståndsdel av S, något att säga b som är sådan att a*b = 1. Beståndsdelen b är vanligt betecknad a-1.
• Trichotomy:
  Om a och b tillhörde S endera a < b eller b < a eller a=b.
• Transitivity av beställaförhållandet:
  Om a < b och b < c därefter a < C.
• Isotony av beställaförhållandet:
  Om a < b därefter för allt c som hör hemma till S.A. + c < b +c.
  Om a < b och 0 < a*c för c därefter < b*c.
• Avslutning:
  Om T är en underdel av S med ett övredestinerat b som hör hemma till sådan S att för allt höra hemma till T, a < b, då det finns ett least övre, begränsa till T; dvs. en beståndsdel c som hör hemma till S som är sådan, att c är mindre, än eller jämbördig till varje övre begränsar av T.

Det måste visas att det som uppsättningen av oändligt ordnar av siffror tillfredsställer dessa axioms. Detta är inte trivialt. Notera det för mest rationell numrerar igen där är oändliga två ordnar som föreställer det samma verkligt numrerar. Till exempel den multiplicative identiteten 1 kan föreställas som 1.000… och 0.999….,

Betrakta hur man föreställer summan av tvåna ordnar 0.a₁a₂a₃... och 0.b.₁b₂b₃... Om ordnar avslutat därefter, summan kunde definierat in benämner av start med de längst till höger siffrorna, och uttrycka summan benämner in av bärafunktionen. För ett unending ordnar detta tillvägagångssätt är inte tillgängligt. , sedan således vi inte kan skriva ut √2 eller √3, det är även mindre möjlighet som ut skriver √2+√3. Definitionen av a*b skulle är även mer hård.

Från det ovannämnda kan se varför den formella definitionen i matematik av realsna är benämner in av vad kallas Dedekind snitt. En annan definition är benämner in av vad kallas Cauchy ordnar.

I benämner av Cauchy ordnar ett verkligt numrerar är en konvergens ordnar. Nu definitionen av summan och produkten är lätt. Om X={x_i: i=0,1,2,...} och Y={y_i: i=0,1,2,...} är, convergent två ordnar därefter summan, och produkten är ordnar enkelt X+Y={(x_i+y_i): i=0,1,2,...} och X*Y={(x_i*y_i): i=0,1,2,...}, som kan visas för att vara convergenten. För mer på detta se att verkligt numrerar, som Cauchy ordnar.

Även om mer komplex dessa att närma sig avkastning ingenting annat än, det förhållandevis lättroget att närma sig av oändligt ordnar av siffror som framläggas föregående. Affärsvinsten av dessa andra definitioner är i rigor och provabilityen av propositioner.

Uppsättningen av transcendentalt numrerar

Det är exceedingly svårt att bevisa, att en närmare detalj numrerar, liksom π, är transcendentalt. Sannerligen faktiskt alla transcendentalt numrerar kan inte ens specificeras. Det finns emellertid ett användbart resultat som var upptäcktes självständigt av den ryska mathematicianen Aleksandr Gelfond och den tyska mathematicianen Theodor Schneider i 1934. Detta resultat som kallas denSchneider theoremen, något att säga det

om α är ett algebraiskt numrerar annat än, 0 eller 1 och β är ett irrationellt algebraiskt numrerar därefter α^β är transcendentala; dvs. non-algebraiskt.

Således det Hilbert problemet av huruvida eller inte 2^√2 är transcendentalt lös av denSchneider theoremen. Numrera 2 är algebraisk, och √2 är ett irrationellt algebraiskt numrerar. Således 2^√2 är transcendentala. Jämväl 2^√3 är transcendentala, som är också (√2)^√2.

Före resultatet av Gelfond och Schneider som ha som huvudämneresultatet i detta sätter in, var ett resultat som bevisades av Carl Louis Ferdinand von Lindemann i 1882 och generaliserades av Karl Theodor Wilhelm Weierstrass i 1885. Lindemanns resultat är det för något icke-nollställt algebraiskt numrerar β, eβ är transcendentalt.

Det ovannämnt föreslår att ett transcendentalt övervägande numrerar allra som har en framställning benämner in av denSchneider theoremen; dvs. allt numrerar sådan x att det finns sådan α och β att x=α^β. Cardinalityen av sådan numrerar är

_0⁰

Denna är beställa av oavbruten följd.

Gelfond-Schneideren som theoremen applicerar för komplex, numrerar som väl, men det är en olik berättelse.