
VI) Intervalles de
1) Définitions
Les 10 types d’intervalles de sont : « , [a,b] , [a,b[ , ]a,b] , ]a,b[ , [a,+¶[ , ]a,+¶[ , ]-¶,b] , ]-¶,b[ , ]-¶,+¶[ .
Par exemple ]a,b] = {x œ / a < x b b}.
• [a,b] est un segment.
• « , ]a,b[ , ]a,+¶[ , ]-¶,b[ , ]-¶,+¶[ sont les intervalles ouverts.
• « ,[a,b] , [a,+¶[ , ]-¶,b] , ]-¶,+¶[ sont les intervalles fermés.
• « , [a,b] , [a,b[ , ]a,b] , ]a,b[ sont les intervalles bornés.
2) Théorème de caractérisation
Une partie I de est un intervalle de ñ "x,yœI,xbyfl
x,y
ÕI
L’implication fl est claire: on vérifie la propriété pour les 10 types d’intervalles. Pour l’implication ›:
Soit I une partie de qui vérifie
P
:"x,yœI,xbyfl
x,y
ÕI. La partie I est par exemple minorée et non majorée. On note alors a=inf
I
et on montre
que I=
a,+¶
ou que I=
a,+¶
. Il suffit pour celà de justifier les deux propriétés
1
"xœ
- ¶,a
,x–I et
. La propriété (1) est vraie car a=inf
I
est un minorant de I.
Prouvons (2).
Soit x>a. Montrons que xœI. Comme a=inf
I
, $yœI
ybx (sinon x est un minorant de I, ce qui est faux car x>a)
Par ailleurs $zœI
z>x (car I n’est pas majoré). Alors
P
fl
y,z
ÕIflxœI . CQFD.
VII) Approximations d’un nombre réel
1) Partie entière
a) Théorème et définition
Etant donné x œ , il existe un unique entier relatif k tel que
.
Cet entier k s’appelle la partie entière de x, et est noté
x
(anciennement
x
ou E
x
).
Par exemple,
p
= 3 et
-2
= -2
b) Définition équivalente
La partie entière k=
x
du réel x est l’unique entier relatif k qui vérifie: x-1<kbx .
c) Graphe
-2-1 1 2 3 4 5
-2
-1
1
2
3
4
d) Exercice
On pose
x
=3
2x
-2
3x
. Prouver que
puis tracer le graphe de la fonction
.
09 Cours - L'ensemble R des réels.nb 5/7