Citat:
Ursprungligen postat av Kires
Ingen av dessa mängder är ändliga, dock är mängden av reella tal uppräknelig och oändlig. Fast du kanske missade ett "o"? Hur som helst så är något oändligt stort lika stort som någon annan oändlighet.
Ånej, minsann!
Såväl mängden av de rationella talen som mängden av de irrationella talen har oändligt många element.
Men: mängen av de rationella talen är en uppräknelig mängd. Liksom de naturliga talen resp positiva heltalen. De irrationella talen (samt förstås de reella talen) är däremot inte en uppräknelig mängd.
Med uppräknelig mängd menas att man kan numrera alla element i mängden och räkna upp dem så att varje element kommer med exakt en gång. Mera matematiskt uttryckt: en mängd är uppräknelig om det existerar en bijektion mellan mängdens element och de naturliga talen. Detta kan åstadkommas med rationella tal, däremot inte med irrationella/reella tal.
Hur man går tillväga med de rationella visades av Georg Cantor. Att man inte kan göra det med de irrationella/reella talen visades också av Cantor, det s.k. Cantors diagonalförfarande.
Att "något oändligt stort lika stort som någon annan oändlighet" inte kan vara sant ser man genom att Lebesgueintegrera funktionen
f(x) = 1 för alla rationella x på intervallet [0,1]
f(x) = 0 för alla irrationella x på intervallet [0,1]
Lebesgueintegralen på intervallet blir noll. Detta kan tolkas som att de irrationella talen är "oändligt många gånger fler än de rationella". Och detta trots att de rationella talen på intervallet är oändligt många!
Så det finns i allra högsta grad olika oändligheter.