Nombres rels

B. Seddoug. Mdiane Sup, Oujda

I Corps IR des nombres rels
La structure de corps sur IR
Lensemble IR des rels est muni de deux l.c.i et , qui vrient les proprits:
P I.1 est commutative, associative, admet 0 pour lment neutre et tout rel x est symtris-
able de symtrique, son oppose, x.
On dit alors que IR, est un groupe ablien.
P I.2 IR
+
, est un groupe ablien, dlment neutre 1, et le symtrique dun rel x non nul
est son inverse
1
x
.
En plus entre les lois et , on a la proprit suivante, appele distributivit de par
rapport :
P I.3 \x, y, z IR
3
: xy z xy xz.
Dnition 1 On rsume les trois proprits ci-dessus, en disant que IR, , est un corps
commutatif.
Remarque 1 La structure de corps sur IR, gnre toutes les proprits et rgles de calcul
connues sur IR(simplications, identits remarquables...).
I.1 La relation dordre sur IR
IR est totalement ordonn par la relation dordre naturelle
/
_
/
, dnie par:
x _ y == y x IR

.
Cette relation dordre est compatible avec la structure de corps, dans le sens suivant:
P I.4 \x IR : 0 _ x == x _ 0.
P I.5 \x, y IR : 0 _ x et 0 _ y = 0 _ x y et 0 _ xy.
En gnral: \x, y, z, t IR
x _ y
z _ t
_
= x z _ y t.
Si en plus x, y, z, t IR

,alors
0 _ x _ y
0 _ z _ t
_
= xz _ yt.
P I.6 \x, y, z IR : x z _ y z == x _ y.
1
B. Seddoug. Mdiane Sup, Oujda Nombres rels
I.2 Valeur absolue
Dnition 2 Pour rel x le rel positif
[x[ max x; x
_
x si 0 _ x
x si x _ 0.
est appel la valeur absolue de x.
Remarque 2 Par dnition, on a:
_
_
x _ [x[ .
x _ [x[ .
[x[ [x[ .
Exemple 1 [0[ 0; [1[ [1[ 0.
I.2.1 Proprits
P I.7 \x IR : [x[ 0 == x 0.
P I.8 \x, y IR : [xy[ [x[ [y[, si en plus y , 0, on a

x
y

[x[
[y[
.
P I.9 (ingalit triangulaire) \x, y IR : [x y[ _ [x[ [y[.
Preuve: Pour lingalit triangulaire, considrer [x y[
2
et remarquer que xy _ [xy[
I.2.2 Distances entre deux rels
La distance entre deux points Mx et Ny de la droite numrique est [y x[ .
P I.10 \x, y IR : [[x[ [y[[ _ [x y[ .
Exercice 1 Montrer que si [x[ _ k _ 1 alors 1 k _ [1 x[ _ 1 k.
II Borne suprieure et infrieure
II.1 Axiome de la borne suprieure
Dnition 3 Soit A une partie non vide majore de IR, le plus petit des majorants de A est
appele sa borne suprieure et est note sup A. Ainsi on a:
sup A ==
_
\a A : a _,
\ 0, a A : a _.
Remarque 3 Par dnition, on a:
sup A min m IR [ m majorant de A
donc si la borne suprieure existe elle est unique.
2
B. Seddoug. Mdiane Sup, Oujda Nombres rels
De la mme faon, on dnit la borne infrieure dune partie A minore de IR par:
inf A ==
_
\a A : _ a,
\ 0, a A : _ a .
Et on a la mme remarque concernant lunicit et on a:
inf A max m IR [ m minorant de A .
Proposition 1 Si A est major alors A a [ a A est minor, et on a:
infA supA.
Preuve: Utilise les dnitions
Lune des proprits caractristiques de IR est lexistence de la borne suprieure. Il sagit
dune proprit caractristique dans le sens o cette proprit fait partie de la dnition de
IR ou des axiomes rgissant la relation dordre sur IR. On admet alors le rsultat suivant:
Thorme II.1 (Axiome de la borne sup) Toute partie non vide majore de IR admet une
borne suprieure.
Exemple 2 sup [a, b sup [a, b b; inf a, b[ inf a, b[ a. a et b sont des rels.
Corollaire II.2 Toute partie non vide minore de IR admet une borne infrieure.
Preuve: utlise la proposition (1) et le thorme (II.1)
Remarque 4 On peut donc conclure que toute partie non vide borne de IR admet une borne
sup et une borne inf.
II.2 Droite numrique acheve
On dnit IR en ajoutant IR deux lments nots et . Lensemble
IR IR ' ;
ainsi obtenu, est appel droite relle acheve. Les lments et sont non rels...
Sur le nouvel ensemble ainsi dni, on prolonge la relation dordre usuelle sur IR par:
\x IR : x .
On peut alors dsigner le nouvel ensemble sous la forme dintervalle: IR , .
Lintrt de la droite acheve rside dans le fait que nombre de rsultats dans IR est li
au fait dtre born ou pas. Ainsi, si A est major, on peut dnir s sup A. Si A est non
major, on posera sup A . nest autre que la borne suprieure de A, mais dans la
droite acheve IR. On a alors le rsultat suivant, gnralisant laxiome de la borne sup.
Thorme II.3 Toute partie non vide de IR admet une borne sup et une borne inf dans IR .
Preuve: Distinguer les cas...
3
B. Seddoug. Mdiane Sup, Oujda Nombres rels
II.3 Partie entire
Thorme II.4 (IR est archimdien) \x IR
+

, p IN [ x p.
Preuve: Soit x 0, posons A n IN [ n _ x .
A est non vide (0 A), major par x dans IR, donc admet une borne sup.
Posons s sup A. Avec 1, il existe n A tel que s 1 n donc s n 1. Avec
p n 1 A, on a x p
Corollaire II.5 (Partie entire) Pour tout rel x il existe un entier relatif p unique tel que
p _ x p 1.
Lentier p est appel la partie entire de x, il est not Ex ou x. On a donc
Ex _ x Ex 1.
Preuve: Soit x 0, posons B n IN [ x n .
B est non vide (car IR est archimdien), minor par x dans IR, donc admet une borne inf.
Posons r inf B. Avec 1, il existe n B tel que r _ n r 1 donc n 1 r _ n.
Avec p n 1 B, on a p n 1 _ x n p 1.
Donc p rpond la question dans ce cas.
Soit x 0, un raisonnement analogue avec x donne p tel que p _ x p 1, cest
dire p 1 x _ p.
Si x nest pas entier p 1 rpond la question, si non p x convient.
Pour lunicit, si on a p _ x p 1 et q _ x q 1, alors p q 1 et q p 1 ce qui
implique p _ q et q _ p cest dire p q
Remarque 5 x x Ex 0, 1 est appel la parrtie dcimale de x.
Graphe de la fonction x Ex.
Plus gnralement on a le rsultat suivant.
Corollaire II.6 \x IR, \a IR
+

, !n, y 0, a [ x na y.
Preuve: Avec n E
x
a
et y x na, on a: n _
x
a
n 1, donc 0 _ x na a. Donc
le couple n, y rpond la question.
Lunicit dcoule des proprits de la partie entire
4
B. Seddoug. Mdiane Sup, Oujda Nombres rels
II.4 Dveloppements dcimaux
Proposition 2 Soit n un entier positif. Tout rel x peut tre encadr de manire unique sous
la forme:
M
d
1
10
...
d
n
10
n
. .
Valeur approche
par dfaut
_ x M
d
1
10
...
d
n
1
10
n
. .
Valeur approche
par excs
o M est un entier et les d
i
des chiffres entre 0 et 9.
Preuve: Il suft en effet de considrer lencadrement E10
n
x _ 10
n
x E10
n
x 1
donc
E10
n
x
10
n
_ x
E10
n
x
10
n

1
10
n
, il suft ensuite dcrire E10
n
x sous la forme
M.10
n
d
1
.10
n1
... d
n
et ceci en utilisant le corollaire prcdent avec a 10
n
Exemple 3 n 3 et x
_
2.
_
10
3
_
2
_
1414 1.10
3
4.10
2
1.10
1
4.
Donc la valeur approche par dfaut de
_
2 lordre 3 est: 1.414.
II.5 Intervalles dans IR
Un intervalle scrit [a, b[ o [ remplace ici ou , a peut tre ni ou valoir , b peut tre ni
ou valoir . Lintervalle est alors lensemble des rels compris entre a et b, ventuellement
au sens large.
On distingue alors neuf types dintervalles:
, b , , b , a, b , a, b , a, b , a, b , a, , a, , , IR.
Remarque 6 Les intervalles de IR sont donc les intervalles:
a, b , a, b , a, b , a, b o a et b sont dans IR tels que a b.
Proposition 3 Une partie I de IR est un intervalle si et seulement si
\x, y I [ x y , \z IR : x z y = z I. (II.1)
Preuve: Dabord tout intervalle est convexe.
Rciproquement, on pose a infI et b supI dans IR , et on montre que I
a, b ' I a; b
Dnition 4 Une partie I de IR vriant (II.1) est dite convexe.
La proposition prcdente exprime le fait que les parties convexes de IR sont les inter-
valles.
Thorme II.7 Tout intervalle a, b de IR rencontre et IR
On dit que et IR sont denses dans IR.
Preuve: Il suft de montrer que:
Entre deux rationnels, il existe un irrationnel.
5
B. Seddoug. Mdiane Sup, Oujda Nombres rels
Entre deux irrationnels, il existe un rationnel.
Soit en effet 0 _ a b dans IR , on cherche
p
q
tel que a
p
q
b,
cest dire aq p bq,
Il suft alors de choisir q tel que qb qa 1 et p Eqx 1
Dautre part si 0 _ a b dans , x a
b a
_
2
2
a, b IR.
6