Dedekindsnitt
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0e/Dedekind_cut-_square_root_of_two.png/250px-Dedekind_cut-_square_root_of_two.png)
Inom matematiken är Dedekindsnitt, uppkallat efter Richard Dedekind, ett sätt att definiera begreppet reellt tal[1], på ett sådant sätt att alla viktiga egenskaper (axiom) för reella tal uppfylls. Metoden utgår enbart ifrån mängdteorin och därmed kan hela det reella talsystemet sägas bero endast på mängdlärans axiom. Dedekindsnitt är dock inte det enda sättet att definiera de reella talen. Beteckningen "snitt" kommer från tyskans "Schnitt" (snitt, delning) och skall inte blandas samman med snittet av två mängder.
Ett Dedekindsnitt är en partition av de rationella talen i två icke-tomma mängder A och B sådan att alla element i A är mindre än varje element i B och där A inte innehåller något största element.[2] Mängden B kan ha ett lägsta element, som då är lika med Dedekindsnittet, vilket i så fall är ett rationellt tal. Om B inte har ett lägsta element är Dedekindsnittet irrationellt. De reella talen, , definieras med denna metod som mängden av alla Dedekindsnitt.[3]