De transfinita talen är en sorts generalisering av de naturliga talen i syfte att kunna bestämma storleken hos oändliga mängder. Teorin om transfinita tal introducerades 1874 av den tyske matematikern Georg Cantor.
För att förstå tankegångarna bakom hur man räknar med oändliga mängder kan man ta Hilberts hotell som ett exempel. Hilberts första exempel är att en gäst flyttar in i ett fullsatt hotell med oändligt antal rum. Detta representeras då av , där T är en oändlig mängd. I Hilberts andra exempel flyttar oändligt många gäster in i hotellet vilket då representeras av . I båda exemplen får alla gäster plats vilket leder till slutsatsen att och att .
Det Cantor säger då är att det ska finnas en oändlig mängd M större än den oändliga mängden T vilket leder till att mängden M inte får plats i Hilberts hotell.
Historia
Den tyske matematikern Georg Cantor introducerade 1874 teorin om transfinita tal. Cantor accepterade att det fanns mängder och tal som var faktiskt oändliga och inte bara potentiellt oändliga. Han ansåg även att det kunde finnas olika oändligheter som var olika stora som han kom att kalla transfinita tal. I de transfinita talen ingår inte faktisk oändlighet då Cantor ansåg att denna var omöjlig att beskriva.
Cantor gjorde antagandet att det fanns ett tal som var oändligt, men ändå det minsta talet som var större än alla ändliga tal. Detta tal fick heta , den grekiska bokstaven omega. Han definierade därefter de transfinita talen , vilket gav honom oändligt många oändliga tal. Cantor gick snart vidare med att undersöka kardinaliteten av oändliga mängder. Till en början använde han sig av och ∞ för sina undersökningar, men bestämde sig för att de transfinita kardinaltalen behövde en egen symbol. Han valde den hebreiska bokstaven (alef).
Hans teori om transfinita tal och oändligheter mötte motstånd av dåtidens matematiker som var obekväma med tanken på en faktiskt oändlighet och att det skulle finnas oändligheter som var olika stora. Hans teori välkomnades däremot av påven Leo XIII och den tyske prästen Constantin Gutberlet. Gutberlet trodde att förståelse för en faktisk oändlighet kunde hjälpa troende att komma nära det gudomliga. Georg Cantor var själv troende och när matematiker ifrågasatte honom brukade han säga att Gud själv hade visat honom existensen av de transfinita talen, och att han visste att de var äkta eftersom Gud sagt det till honom.
Idag anses teorin om de transfinita talen vara acceptered även om den fortfarande är svår att förstå.
Definition
Det finns två sätt att tänka sig transfinita tal, som ett ordinaltal eller ett kardinaltal.
(omega) är definierad som det minsta transfinita ordinaltalet, där är den oändliga mängden av alla naturliga tal. Mängden av transfinita ordinaltal som är större än är oändlig.
(alef-noll) är definierad som det minsta transfinita kardinaltalet, där är kardinaliteten av alla uppräkneliga mängder (till exempel naturliga tal och heltal). De transfinita talen följer i storleksordning .
Om m är ett transfinit kardinaltal, så finns det en oändlig mängd A sådan att kardinaliteten av A är m
m + 1 = m
m
så finns det ett kardinaltal n så att + n = m
Enligt den oavgörbara kontinuumhypotesen existerar det inga tal mellan och c (mängden för alla reella tal och kardinaliteten för Kontinuum), och då så är således .
är den oändliga mängden av alla kontinuerliga och okontinuerliga funktioner på en reell linje.
Räkneregler
Exemplen av Hilberts hotell från inledning skrivs på följande sätt: