Dedekindin leikkaus

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.

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
 ja
,
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
 ja 

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 .

 Lähteet 

Luokka:Joukko-oppi