Hjdcti

Dedekindin leikkaus on matematiikassa sellainen kokonaan järjestetyn joukon jako kahteen epätyhjään joukkoon A ja B, että A:n jokainen alkio on pienempi kuin B:n jokainen alkio eikä joukossa A ole suurinta alkiota. Dedekindin leikkaus on saanut nimensä saksalaisen matemaatikon Richard Dedekindin mukaan, joka konstruoi reaaliluvut rationaalilukujen leikkauksien avulla.^[1]

Rationaalilukujen joukossa Dedekindin leikkauksia on sikäli kahdenlaisia, että joukolla B saattaa olla pienin alkio, mutta ei välttämättä ole. Esimerkiksi jos muodostetaan Dedekindin leikkaus, jossa

A=a<2displaystyle A=a<2 ja

B=b∈Qdisplaystyle B=bin mathbb Q ,

joukolla B on pienin alkio, nimittäin luku 2. Tässä leikkauksessa joukkoon A kuuluvat kaikki rationaaliluvut, jotka ovat pienempiä kuin 2, joukkoon B luku 2 ja kaikki sitä suuremmat rationaaliluvut. Sen sijaan Dedekindin leikkauksessa, jossa

A=a2<2∨a<0displaystyle A=ain mathbb Q ja

B=b∈Qdisplaystyle B=b^2geq 2land b>0

joukolla B ei ole pienintä alkiota. Reaalilukujen joukko voidaan muodollisesti konstruoida asettamalla jokaista tällaista Dedekindin leikkausta vastaamaan uusi luku, jollaisia sanotaan irrationaaliluvuiksi. Edellä mainitussa esimerkissä tämä luku on 2displaystyle sqrt 2.

Lähteet |