Construcția lui Dedekind

Construcția lui Dedekind (a unui corp complet ordonat) este o metodă pentru construirea de numere reale prin numere raționale.

Definiție

Se numește tăietură o pereche D = (A,A') cu proprietățile: a) A inclusă în Q, A' inclusă în Q nevide

b) Reuniunea A cu A' este mulțimea Q

c) Intersecția A cu A' este mulțimea vidă

d) Oricare ar fi a din A și oricare ar fi a' din A', a ≤ a'

Legături externe modificare