Si 2Qalors, =p
qavec p2Zet q2N:
Pour tout m2N;la division euclidienne de 10mppar qpermet d’écrire:
10mp=qk +ravec k; r 2Zet 0r < q
mais 0r < q )qk qk +r < q (k+ 1)
)qk 10mp<q(k+ 1)
)k10mp
q<(k+ 1)
)k
10m < (k+1)
10m
Ainsi QR(Rest appelé l’ensemble des réels)
On note R+=f2R:0g,R=f2R:2R+g,R=Rnf0g,
R+=R+nf0g;et R =Rnf0g
On admet dans ce cours que l’ensemble Rest muni de l’addition +et la
multiplication véri…ant:
(a) 8x; y 2R; x +y2R(L’addition +est une loi interne dans R)
(b) 8x; y; z 2R; x + (y+z) = (x+y) + z(+est associtive dans R)
(c) 9e1= 0 2R;8x2R; x + 0 = x^0 + x=x(0est l’élément neutre
pour +dans R).
(d) 8x2R;9x0=x2R; x + (x) = 0 ^(x) + x= 0 (xest l’inverse de
xpar rapport à +dans R)
(e) 8x; y 2R; x +y=y+x(+est commutative dans R).
Ces propriétés se résument en disant que (R;+) est un groupe commutatif.
(a’) 8x; y 2R; x y2R(La multiplication est une loi interne dans R)
(b’) 8x; y; z 2R; x (yz) = (xy)z(est associtive dans R)
(c’) 8x; y; z 2R; x (y+z) = (xy) + (xz)^(y+z)x= (yx) + (zx)
(est distributive par rapport à +dans R)
(d’)9e2= 1 2R;8x2R; x 1 = x^1x=x(1est l’élément neutre pour
dans R).
(e’) 8x2R;9x0=1
x2R; x (1
x) = 1 ^(1
x)x= 1 (1
xest l’inverse de xpar
rapport à dans R)
(f’) 8x; y 2R; x y=yx(est commutative dans R).
Ainsi (R;+;)est un corps commutatif.
On admet aussi que est une relation d’ordre sur Rqui véri…e les propriétés
suivantes :
(a") 8x; y 2R;(xy)_(yx)(est un ordre total sur R)
(b") 8a; b; x; y 2R; a b^xy)a+xb+y(compatibilité de +avec
)
(c") 8x; y 2R;8a2R+; x y)axay
2