Construcția lui Dedekind
De la Wikipedia, enciclopedia liberă
(Redirecționat de la Construcţia lui Dedekind)
| Acest articol sau această secțiune are bibliografia incompletă sau inexistentă. Puteți contribui prin adăugarea susținerii bibliografice pentru afirmațiile conținute. |
|
[[wiki]]
|
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)
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'