Construcţia lui Dedekind

De la Wikipedia, enciclopedia liberă

Salt la: Navigare, căutare
Acest articol este în construcţie.
Ajutaţi la punerea acestui articol în formatul standard.
Acest articol a fost creat cel mai probabil de un utilizator neexperimentat,
motiv pentru care s-ar putea să conţină unele erori. Dacă articolul este gata de publicare,
eliminaţi formatul {{construcţie}} din codul sursă al articolului
Acest articol sau această secţiune are bibliografia incompletă sau inexistentă.
Puteţi ajuta găsind susţinere bibliografică pentru conţinutul paginii.
Acest articol trebuie pus în formatul standard
Puteţi contribui la îmbunătăţirea conţinutului şi a formei sale.

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

Unelte personale