5
Définition.
1) On dit que deux écriteurs Det Esont équivalentes s’il n’existe aucune écriture décimale infinie Itelle que
DIEou EID.OnnotealorsD⇠
=E.
2) On définit le corps des nombres réels Rcomme étant l’ensemble des écritures décimales Roù l’on identifie les
écritures équivalentes.
Définition. Une écriture décimale h±dm...d0,d
1...9999...ise terminant par une infinités de neufs est dite impropre.
Dans le cas contraire l’écriture sera dite propre.
Lemme. Supposons que 0DE. Alors D⇠
=E)Dest impropre et Eest une écriture décimale finie.
Démonstration. Notons D=hdm...d0,d
1...iet E=hem...e0,e
1...i.
Comme DE,ilexisteunpremierindiceltel que dl<e
l.
Supposons que Dest propre : il y a une infinité de nombres après dlqui ne sont pas des 9remplaçons les tous par
des 9on obtient une nouvelle écriture Itelle que DIE.
Supposons que Eest une écriture infinie, il y a au moins une décimale après elqui n’est pas 0, on les remplace
toutes par 0et on obtient une écriture Jtelle que DJE.
On a donc prouvé par la contraposée que D⇠
=E)Dest impropre et Eest une écriture décimale finie.
Remarque. Il est possible (mais délicat à cause des décimales et retenues à l’infini à droite) de munir Rde sa
structure de corps usuelle étendant celle de Q.
2 Propriétés liées à la relation d’ordre
2.1 Relation d’ordre
Sur R,ondisposedelarelationqui provient directement de l’ordre sur les écritures décimales défini au chapitre
précédent. C’est une relation d’ordre, cela veut dire qu’elle est :
—Réfléxive:8x2Ron a xx.
—Antisymétrique:8(x, y)2R2,(xy)et (yx))x=y.
—Transitive:8(x, y, z)2R3,(xy)et (yz))xz
Cette relation d’ordre est totale : cela veut dire qu’on peut toujours comparer deux éléments : 8(x, y)2R2,xy
ou bien yx.
Définition. Soit A⇢Rune partie de Ret a2A.
1) On dit que aest le plus grand élément de Asi 8x2Aon a xa.
2) On dit que aest le plus petit élément de Asi 8x2Aon a xa.
Lorsqu’il existe, on note le plus grand (resp le plus petit) élément d’une partie A,max(A)(resp min(A)).
Proposition. Tout ensemble fini Ade Radmet un maximum et un minimum.
Démonstration. On peut comparer tous les éléments et désigner le plus grand (resp le plus petit).
Exercice. Prouver avec les axiomes de la relation d’ordre, l’unicité du minimum (resp maximum) d’une partie.