0,999...

Wikipediasta
Siirry navigaatioon Siirry hakuun
Luku 0,999.... jatkuu loputtomiin.

Luku 0,999... (merkitään myös tai ) on matematiikassa päättymätön jaksollinen desimaaliluku, joka on tasan yhtä suuri kuin luku 1.[1] Poikkeavan merkintätavan vuoksi monen on ollut vaikea mieltää, että luku on sama kuin 1. Se seuraa kuitenkin melko suoraan reaalilukujen täydellisyysaksioomasta.selvennä Mikäli luottaa laskusääntöjen toimivuuteen, yhtäläisyyden voi todistaa myös yksinkertaisella koulumatematiikalla. Samaten esimerkiksi lauseet 0,333...=⅓ ja 0,666...=⅔ pitävät paikkansa saman periaatteen mukaan. Kaikki päättymättömät ja jaksolliset desimaaliluvut voidaan esittää murtolukumuodossa.

Se, että luvulla 1 on useampi kuin yksi esitystapa, ei ole mitenkään erikoista. Erinäköisillä luvuilla voi olla sama arvo, esimerkiksi 1 + 1 + 1 = 2 + 1 = 3 = 3/1 ja niin edelleen.

Alla esitetyistä todistuksista kaksi ensimmäistä ovat maallikolle havainnollisimpia, mutta niissä oletetaan, että päättymättömiä desimaalilukuja voi laskea yhteen ja kertoa allekkain kuten päättyviä desimaalilukuja. Tämän täsmällinen todistaminen vaatisi suppenevien sarjojen tutkimista.

Murtolukutodistus

[muokkaa | muokkaa wikitekstiä]

Algebrallinen todistus

[muokkaa | muokkaa wikitekstiä]

Geometriseen sarjaan perustuva todistus

[muokkaa | muokkaa wikitekstiä]

Tämä todistus tosin edellyttäisi geometrisen sarjan summakaavan todistamisen, mutta se voidaan tässä yhteydessä sivuuttaa.

Hyperreaalilukutodistus

[muokkaa | muokkaa wikitekstiä]

Täydellisyysaksioomaan perustuva todistusidea

[muokkaa | muokkaa wikitekstiä]

Reaalilukujen täydellisyysaksiooman mukaan jokaisella ylhäältä rajoitetulla reaalilukujoukolla on reaalilukujen joukossa pienin yläraja eli supremum, joka on helppo osoittaa yksikäsitteiseksi. Tarkastelemalla joukkoa {0,9, 0,99, 0,999, ...} voidaan todeta, että se on ylhäältä rajoitettu, ja esimerkiksi antiteesillä osoittaa, että sen supremumeja ovat sekä 0,999... että 1. Supremumin yksikäsitteisyydestä seuraa tällöin että 0,999... = 1. Rationaalilukujen joukossa täydellisyysaksiooma ei päde, mutta koska 1 ja 0,999... ovat rationaalilukuja, yleistyy tulos automaattisesti myös rationaalilukujen joukkoon.

Aiheesta muualla

[muokkaa | muokkaa wikitekstiä]