Ensembles ordonnés
Majorants, Minorants, Bornes supérieures et Bornes inférieures.
Structures Algèbriques.
Insuffisance de Q
Définition axiomatique de R
PROPRIÉTÉS ÉLÉMENTAIRES DE R
Ensembles ordonnés
Définition
Soit Eun ensemble non vide et ≤une relation binaire sur E×E. On
dit que ≤est une relation d’ordre si, et seulement si, :
≤est réflexive : ∀x∈E,x≤x.
≤est antisymétrique : ∀x,y∈E,(x≤yet y≤x)⇒(x=y).
≤est transitive : ∀x,y,z∈E,(x≤yet y≤z)⇒(x≤z).
Lorsque x≤yet x6=y, on note x<y(ou y>x). Le couple (E,≤)
est appelé un ensemble ordonné.
Deux éléments xet ysont dits comparables si on a soit x≤ysoit
y≤x.(E,≤)est dit totalement ordonné si tous les éléments de E
sont 2 à 2 comparables. Sinon, on dit que (E,≤)est partiellement
ordonné.
Brahim Boussouis Le corps des nombres réels