Construcţia lui Dedekind
De la Wikipedia, enciclopedia liberă
|
|
|
|
|
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'

