Dedekindin leikkaus

Kohteesta Wikipedia
Loikkaa: valikkoon, hakuun

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 .