# Dedekindsnede

Een dedekindsnede, ook snede van Dedekind of kortweg snede genoemd, is een speciale deelverzameling van de rationale getallen die een reëel getal voorstelt. Dedekindsneden worden gebruikt om uit de rationale getallen $\mathbb {Q}$ de reële getallen $\mathbb {R}$ te construeren. Dedekindsneden zijn genoemd naar Richard Dedekind.

## Definitie

Een dedekindsnede $\alpha$ is een deelverzameling van $\mathbb {Q}$ die aan de volgende eisen voldoet:
* $\alpha \neq \varnothing$
* $\alpha \neq \mathbb {Q}$
* Als $p\in \alpha ,\ q\in \mathbb {Q}$ en $q<p,$ dan is $q\in \alpha$ . Met andere woorden: $\alpha$ heeft geen ondergrens.
* Bij $p\in \alpha$ is er een $r\in \alpha$ zo, dat $r>p$
De verzameling van alle sneden blijkt equivalent te zijn met $\mathbb {R}$
Alternatief kan een dedekindsnede ook gedefinieerd worden als een geordend paar $(\alpha ,\beta )$ van deelverzamelingen $\alpha$ en $\beta$ van de rationale getallen die voldoen aan de axioma's:
* $\alpha \neq \varnothing$ en $\beta \neq \varnothing$
* $\alpha \cup \beta =\mathbb {Q}$
* voor alle $a\in \alpha$ en $b\in \beta$ geldt: $a<b$
* $\alpha$ heeft geen grootste element, d.w.z. voor alle $a\in \alpha$ is er een $c\in \alpha$ met $a<c$

## Voorbeeld

De snede die het reële getal ${\sqrt {2}}$ voorstelt is:
    $\{q\in \mathbb {Q} \mid q<0\ {\text{of}}\ q^{2}<2\}$
Deze snede is gedefinieerd als de verzameling van alle rationale getallen die kleiner zijn dan nul of waarvan het kwadraat niet groter is dan 2. Deze verzameling van rationale getallen is een dedekindsnede omdat ze voldoet aan bovenstaande definitie. Bijzonder aan deze snede is dat ze in de constructie van Dedekind overeenkomt met het reëel getal ${\sqrt {2}}$.
Dedekindsneden worden verder in dit lemma aangeduid met Griekse letters, en rationale getallen met gewone letters.

## Eigenschappen van de reële getallen

Net als de rationale getallen vormen de reële getallen een geordend lichaam (In België spreekt men van een geordend veld).

### Kleinstebovengrenseigenschap

Wat $\mathbb {R}$ uniek maakt ten opzichte van $\mathbb {Q}$ is dat elke naar boven begrensde deelverzameling van $\mathbb {R}$ een kleinste bovengrens heeft. De rationale getallen hebben deze eigenschap niet. Neem bijvoorbeeld de verzameling
    $\{q\in \mathbb {Q} \mid q^{2}<2\}$.
Deze verzameling heeft geen kleinste bovengrens in $\mathbb {Q}$, aangezien er tussen elk rationaal getal en het getal ${\sqrt {2}}$ een ander rationaal getal te vinden is.
De overeenkomstige verzameling in $\mathbb {R}$:
    $\{r\in \mathbb {R} \mid r^{2}<2\}$
heeft wel een kleinste bovengrens in $\mathbb {R}$ en wel ${\sqrt {2}}$.
Uit het feit dat $\mathbb {R}$ wel de kleinstebovengrenseigenschap heeft en $\mathbb {Q}$ niet, volgt ook dat $\mathbb {R}$ volledig is en $\mathbb {Q}$ niet.

## Dedekindsneden en de eigenschappen van de reële getallen

Het blijkt dat sneden aan de eigenschappen van de reële getallen voldoen. Daartoe definieert men het volgende:

### Orderelatie voor sneden

$\alpha <\beta$ als $\alpha$ een echte deelverzameling van $\beta$.
Duidelijk is dan dat of $\alpha <\beta$ of $\alpha =\beta$ of $\beta <\alpha$. Uit deze definitie volgt ook de kleinstebovengrenseigenschap van sneden.

### Optelling van sneden

Voor sneden definieert men de optelling, neutraal element voor optelling en inverse element. Deze definities blijken te voldoen aan de axioma's voor optelling.

#### Optelling

Als $\alpha$ en $\beta$ sneden, verstaat men onder de som $\alpha +\beta$ de verzameling van alle sommen $a+b$ waarin $a\in \alpha$ en $b\in \beta .$ De som blijkt weer een snede te zijn.

#### Neutraal element voor optelling

Het neutrale element 0 voor optelling is de verzameling van alle negatieve rationale getallen, hetgeen ook een snede is. Duidelijk is dat de snede 0 dezelfde rol speelt als het getal 0 voor $\mathbb {Q} .$

#### Inverse voor optelling

Bij de snede $\alpha$ definieert men $-\alpha$ als de verzameling van alle $p\in \mathbb {Q}$ met de eigenschap dat er een $r\in \mathbb {Q} ,r>0$ is waarvoor geldt dat $-p-r\notin \alpha$. De inverse is een snede.

### Vermenigvuldiging voor sneden

Vermenigvuldiging is wat lastiger te definiëren, daarom wordt eerst het product van positieve sneden gedefinieerd, dus voor sneden $\alpha >0.$ Later wordt de definitie compleet gemaakt. De definities blijken te voldoen aan de axioma's voor vermenigvuldiging en aan de distributieve wet.

#### Vermenigvuldiging

Als $\alpha$ en $\beta$ positieve sneden zijn, verstaat men onder het product $\alpha \beta$ de verzameling van alle $q\in \mathbb {Q}$ waarvoor geldt dat $q<ab,$ waarbij $a$ en $b$ zo worden gekozen dat $a\in \alpha ,a>0$ en $b\in \beta ,b>0.$ Het product is een snede.

#### Neutraal element voor vermenigvuldiging

Het neutrale element 1 voor de vermenigvuldiging is de verzameling van alle negatieve rationale getallen kleiner dan 1. De zo gedefinieerde 1 is een snede. Duidelijk is dat de snede 1 dezelfde rol speelt als het getal 1 voor $\mathbb {Q} .$

#### Complete vermenigvuldiging

De vermenigvuldiging wordt compleet door de definities
* $\alpha \cdot 0=0\cdot \alpha =0$
* $\alpha \cdot \beta =(-\alpha )\cdot (-\beta )$ als $\alpha <0$ en $\beta <0$
* $\alpha \cdot \beta =-(-\alpha )\cdot \beta$ als $\alpha <0$ en $\beta >0$
* $\alpha \cdot \beta =-(\alpha \cdot (-\beta ))$ als $\alpha >0$ en $\beta <0$

### Inbedding van de rationale getallen

De rationale getallen zijn een deelverzameling van de reële getallen. Er moet dus een deelverzameling sneden bestaan die $\mathbb {Q}$ representeert. Daarom associëreert men met elke $q\in \mathbb {Q}$ de verzameling $q^{*}$ bestaande uit alle $p\in \mathbb {Q}$ zodanig dat $p<q.$ Duidelijk is dat $q^{*}$ een snede is.

## Rechtvaardiging voor dedekindsneden

Binnen de algebra is er de stelling dat twee geordende lichamen met de kleinste-bovengrens-eigenschap isomorf met elkaar zijn. Duidelijk is dat de dedekindsneden en $\mathbb {R}$ beiden geordende lichamen zijn met de kleinste-bovengrens-eigenschap. Omdat ze dus isomorf zijn, hebben ze dezelfde algebraïsche eigenschappen. Derhalve zijn dedekindsneden gerechtvaardigd als constructie van de reële getallen.

## Cauchyrijen

Een andere methode om uit $\mathbb {Q}$ de reële getallen $\mathbb {R}$ te construeren gaat met behulp van cauchyrijen. Ook deze methode levert een geordend lichaam op met de kleinste bovengrens eigenschap en is dus equivalent met de methode van dedekindsneden.

## Literatuur

De volgende boeken behandelen de constructie van de reële getallen uit de rationale getallen inclusief bewijzen:
* (en) Rudin, W. - Principles of Mathematical Analysis
* (en) Landau, E.G.H. - Foundations of Analysis
* (en) Thurston, H.A. - The Number System
* (en) Knopp, K. - Theorie and Application of Infinite Series
* (en) Hewitt, E & Stromberg, K - Real and Abstract Analysis