Prelem62324
Prelem62324
Prelem62324
Coupures de Dedekind
Définition .
Une coupure α est un sous-ensemble de Q vérifiant les propriétés suivantes :
(i) α est non vide et différent de Q.
(ii) Si r ∈ α et si s < r, alors s ∈ α.
(iii) Si r ∈ α, il existe s ∈ α tel que r < s.