Täydellisyysaksiooma

Wikipedia
Loikkaa: valikkoon, hakuun

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.

Katso myös[muokkaa | muokkaa wikitekstiä]

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