Académique Documents
Professionnel Documents
Culture Documents
1 Rappel et complément
1.1 Relation d’ordre
Soit E un ensemble. Une relation R sur E est dite une relation d’ordre si et seulement
si:
i) Réflexivité: ∀x ∈ E, xRx.
ii) Antisymétrie: pour tout x, y dans E tels que xRy et yRx alors x = y.
iii) Transitivité: pour tout x, y, z dans E tels que xRy et yRz alors xRz.
Si R est une relation d’ordre sur E on dit que (E, R) est ordonné. Une relation d’ordre
R sur E est dite totale si pour tout x, y dans E on a xRy ou yRx et dans ce cas on
dit que (E, R) est totalement ordonné.
Soient (E, R) un ensemble ordonné, F un sous ensemble de E et a un élément de
E.
1
Proposition 1.2 S’il existe un plus grand (respectivement un plus petit) élément de
F il est unique.
Preuve:
2 Application: L’ensemble R.
On a une pomme pour deux enfants. On donne donc la moitié pour chacun. On note
1
pour la moitié. Ceci nous pousse à résoudre des équations de type ax = b pour tout
2
entier naturel non-nul a et entier relatif b. Ce qui nous conduit à la division et on pose
b
x= .
a
Par définition, l’ensemble des nombres rationnels noté Q est tel que
na o
∗
Q= ; a ∈ Z et b ∈ N
b
2
Un entier a est dit pair s’il existe k ∈ Z tel que a = 2k et dans le cas contraire il
est impaire, c’est-à-dire il existe k ∈ Z tel que a = 2k + 1.
Propriété 2.1 Soit b un entier relatif. Alors, b est pair si et seulement si b2 est pair.
Preuve:
Proposition 2.2 Il n’existe pas de nombre rationnel dont le carré est égale à 2.
Preuve:
√
Comme conclusion 2 n’est pas un rationnel, on dit est un irrationnel. Par
définition l’ensemble des nombres rationnels et irrationnels dit l’ensemble des nom-
bres réels, on le note R.
Exercice: Montrer que la relation > n’est pas une relation d’ordre sur R.
3
Propriété 2.3 Soit a, b, c ∈ R.
i) a ≥ b =⇒ a + c ≥ b + c.
ii) a ≥ b et c ≥ d =⇒ a + c ≥ b + d.
iii) a ≥ b et c ≥ 0 =⇒ ac ≥ bc.
iv) a ≥ b et 0 > c =⇒ bc ≥ ac.
[a, b] = {x ∈ R; a ≤ x ≤ b}
4
Propriété 2.5 1) Soit a ∈ R∗+ . Alors, |x| < a si et seulement si −a < x < a.
2) Pour tout x et y dans R, on a |x + y| ≤ |x| + |y|. Dite inégalité triangulaire.
3) Pour tout x et y dans R, on a ||x| − |y|| ≤ |x − y|.
Preuve:
Théorème 2.6 Toute partie non vide et majorée de R possède une borne supérieure.
Théorème 2.7 Toute partie non vide et minorée de R possède une borne inférieure.
5
(a2 + b2 )
Exemple 2: 1) Démontrer que, pour tous réels a et b on a ab ≤ et étudier
2
le cas d’égalité.
2) On considère l’ensemble E suivant
Preuve:
Exemple 3: Chercher si les ensembles suivants sont bornés, dans le cas positif
déterminer leurs bornes, le plus grand élément et le plus petit élément s’il existe:
1) E1 =[0, 2] et E2 =]0,
2[.
1
2) E = ;1 < x < 2 .
x
1
3) E = ;1 ≤ x ≤ 2 .
x
Preuve:
Y = y ∈ R; y 2 ∈ X et y ≥ 0 .
Preuve:
6
2.4 Propriété d’Archimède
Proposition 2.8 Pour tout réel x il existe un entier relatif n tel que n > x.
Preuve:
Preuve:
7
Exemple 6: Chercher si les ensembles suivants sont bornés, dans le cas positif
déterminer
leurs bornes, le plus grand élément et le plus petit élément s’il existe:
1
1) E = 1 + ; n ∈ N∗ .
n
1 1 ∗
2) E = + ; n, m ∈ N .
n m
Preuve:
Exemple 7: 1) a)Montrer que, pour tous réels x et y tels que x < y on a: E(x) ≤
E(y).
b) Montrer que, pour tous réels x et y on a: E(x) + E(y) ≤ E(x + y).
c) A-t-on E(x) + E(y) = E(x + y), ∀x, y ∈ R.
2) Montrer que, pour tous réels x et y on a: E(x + y) − E(x) − E(y) ∈ {0, 1} .
3) Montrer que, pour tous réels x et y on a: E(x) + E(y) + E(x + y) ≤ E(2x) + E(2y).
4) Montrer que, pour tous réels x et pour tout entier naturel on a: E (x + n) = E(x)+n.
Preuve:
√ n
Exemple 8: 1) Soit n ∈ N∗ . Calculer E 3 2− .
√ n √ n
2) En utilisant la formule du binôme, montrer que 2 − 3 + 2 + 3 est un entier
pair.
3) Démontrer que si x et y sont deux réels tels que y ∈]0, 1[ et x + y est un entier pair,
alors E(x + y) − E(x) − E(y) = 1.
√ n
4) Déduire de ce qui précède que E 2+ 3 est un entier impair.
Preuve:
8
Exemple 9: Montrer que
1) Pour tout réel x on a:
x
x+1
E +E = E(x).
2 2
2) Pour tout n ∈ N∗ et pour tout x ∈ R on a:
E(nx)
E(x) = E .
n
Preuve:
2.5 Densité
Definition 2.9 On dit qu’un ensemble D est dense dans R, si pour tous réels x et y
dans R tels que x < y il existe d ∈ D vérifiant x < d < y.
Lemme 2.10 Soient a, b ∈ R avec a < b. Si b − a > 1 alors, il existe p ∈ Z tel que
a < p < b.
Preuve:
Preuve:
Preuve: