Construcția lui Dedekind

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare

Construcția lui Dedekind (a unui corp complet ordonat)

Definiție

Se numește tăietura 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 | modificare sursă]