Construcția lui Dedekind
Acest articol sau această secțiune are bibliografia incompletă sau inexistentă. Puteți contribui prin adăugarea de referințe în vederea susținerii bibliografice a afirmațiilor pe care le conține. |
Acest articol sau această secțiune nu este în formatul standard. Ștergeți eticheta la încheierea standardizării. |
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'