Täydellisyysaksiooma

matematiikka

Matematiikassa täydellisyysaksiooma on reaalilukujen joukon luonnetta kuvaava aksiooma. Sen mukaan jokaisella epätyhjällä reaalilukujen joukon osajoukolla, joka on ylhäältä rajoitettu (ts. sillä on olemassa yläraja), on olemassa supremum eli pienin yläraja.

Täydellisyysaksioomasta seuraa että jokaisella alhaalta rajoitetulla reaalilukujen osajoukolla on olemassa infimum eli suurin alaraja. Täydellisyysaksioomaa vaaditaan mm. reaalilukujen joukossa määrittämään irrationaaliluvut. Rationaalilukujen joukko ei toteuta täydellisyysaksioomaa, koska esimerkiksi osajoukko on ylhäältä rajoitettu, jolloin sillä on supremum =: , joka siis ei ole rationaaliluku.

Katso myösMuokkaa

Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.