Construcţia lui Dedekind

De la Wikipedia, enciclopedia liberă

Acest articol sau această secţiune are bibliografia incompletă sau inexistentă. Puteţi ajuta găsind susţinere bibliografică pentru conţinutul paginii.

[[wiki]]

Acest articol sau această secţiune trebuie pus(ă) î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'

[modifică] Legături externe