Les nombres réels
1. L’ensemble des nombres rationnels Q Proposition.
¦
p
© 1. |x| ⩾ 0 ; | − x| = |x| ; |x| > 0 ⇐⇒ x ̸= 0
L’ensemble des nombres rationnels est Q = q | p ∈ Z, q ∈ N∗ . p
2. x 2 = |x|
Proposition. Un nombre est rationnel si et seulement s’il admet une écriture
décimale périodique ou finie. 3. |x y| = |x|| y|
4. Inégalité triangulaire |x + y| ⩽ |x| + | y|
p p
Proposition. 2 n’est pas un nombre rationnel : /Q
2∈ 5. Seconde inégalité triangulaire |x| − | y| ⩽ |x − y|
La démonstration classique par l’absurde est à connaître ! Sur la droite numérique, |x − y| représente la distance entre les réels x et
On représente les nombres réels sur la « droite numérique » : y ; en particulier |x| représente la distance entre les réels x et 0.
p
2 e π |x| |x − y|
−3 −2 −1 0 1 2 3 4 5
| | |
p
2 ≃ 1, 4142 . . . π ≃ 3, 14159265 . . . e ≃ 2, 718 . . . 0 x y
La droite numérique « achevée » est : R = R ∪ {−∞, ∞}
2. Propriétés de R
De plus |x − a| < r ⇐⇒ x ∈ ]a − r, a + r[.
Proposition (addition et multiplication). (R, +, ×) est un corps commuta-
tif. C’est-à-dire, pour a, b, c ∈ R on a :
3. Densité de Q dans R
a+b= b+a a×b= b×a
0+a = a 1 × a = a si a ̸= 0 Définition. Soit a un réel, V ⊂ R un sous-ensemble. On dit que V est un
a + b = 0 ⇐⇒ a = −b a b = 1 ⇐⇒ a = 1b voisinage de a s’il existe un intervalle ouvert I tel que a ∈ I et I ⊂ V .
(a + b) + c = a + (b + c) (a × b) × c = a × (b × c) Théorème.
1. Q est dense dans R : tout intervalle ouvert (non vide) de R contient
a × (b + c) = a × b + a × c
une infinité de rationnels.
a × b = 0 ⇐⇒ (a = 0 ou b = 0)
2. R\Q est dense dans R : tout intervalle ouvert (non vide) de R contient
Proposition (Ordre). La relation ⩽ sur R est une relation d’ordre, et de plus, une infinité d’irrationnels.
elle est totale. Nous avons donc :
— pour tout x ∈ R, x ⩽ x (réflexive),
— pour tout x, y ∈ R, si x ⩽ y et y ⩽ x alors x = y (antisymétrique), 4. Borne supérieure
— pour tout x, y, z ∈ R si x ⩽ y et y ⩽ z alors x ⩽ z (transitive), Maximum, minimum
— pour tout x, y ∈ R, on a x ⩽ y ou y ⩽ x (totale).
Définition. Soit A une partie non vide de R. Un réel α est un plus grand
Proposition (Propriété d’Archimède). R est archimédien, c’est-à-dire : élément (ou maximum) de A si :
Pour tout réel x, il existe un entier naturel n strictement plus grand que x. α∈A et ∀x ∈ A x ⩽ α.
Proposition. Soit x ∈ R, il existe un unique entier relatif, la partie entière S’il existe, le plus grand élément est unique, on le note alors max A.
notée E(x), tel que : Le plus petit élément de A, (ou minimum) noté min A, s’il existe est le réel
α tel que α ∈ A et ∀x ∈ A x ⩾ α.
E(x) ⩽ x < E(x) + 1
Le plus grand élément ou le plus petit élément n’existent pas toujours.
y Définition. Soit A une partie non vide de R. Un réel M est un majorant de
A si ∀x ∈ A x ⩽ M .
y = E(x)
Un réel m est un minorant de A si ∀x ∈ A x ⩾ m.
Si un majorant (resp. un minorant) de A existe on dit que A est majorée
(resp. minorée).
1 Définition. Soit A une partie non vide de R et α un réel.
0 1 x — α est la borne supérieure de A si α est un majorant de A et si c’est
le plus petit des majorants. S’il existe on le note sup A.
— α est la borne inférieure de A si α est un minorant de A et si c’est le
plus grand des minorants. S’il existe on le note inf A.
Théorème (R4). Toute partie de R non vide et majorée admet une borne
Pour un nombre réel x, on définit la valeur absolue de x par : supérieure.
¨ De la même façon : Toute partie de R non vide et minorée admet une borne
x si x ⩾ 0 inférieure.
|x| =
−x si x < 0 Proposition (Caractérisation de la borne supérieure). Soit A une partie non
vide et majorée de R. La borne supérieure de A est l’unique réel sup A tel que
y (i) si x ∈ A, alors x ⩽ sup A,
y = |x|
(ii) pour tout y < sup A, il existe x ∈ A tel que y < x.
Caractérisation très utile de la borne supérieure.
Proposition. Soit A une partie non vide et majorée de R. La borne supérieure
1
de A est l’unique réel sup A tel que
(i) sup A est un majorant de A,
0 1 x
(ii) il existe une suite (x n )n∈N d’éléments de A qui converge vers sup A.
