La propriété de la borne supérieure 7
et la majoration |x| ≤ αest équivalente à −α≤x≤xou encore à x∈[−α, α].Plus
généralement, les équivalences suivantes sont bien utiles :
|x−x0| ≤ α⇔ −α≤x−x0≤x⇔x∈[x0−α, x0+α]
ou encore :
|x−x0|< α ⇔ −α < x −x0< x ⇔x∈]x0−α, x0+α[
Exercice 1.7 Montrer que pour réels aet b, on a :
max (a, b) = a+b
2+|b−a|
2
min (a, b) = a+b
2−|b−a|
2
On peut retenir ces égalités en remarquant que min (a, b)est la borne inférieure de l’intervalle
d’extrémités a, b, max (a, b)la borne supérieure et a+b
2le milieu de cet intervalle.
Solution 1.7 Laissée au lecteur.
Une partie de Rqui admet un minorant [resp. majorant] est dite minorée [resp. majorée].
On dit qu’une partie de Rest bornée si elle est minorée et majorée. Une partie Xde R
bornée admet donc une borne inférieure et une borne supérieure et on a inf (X)≤sup (X).
Les bornes inférieures et supérieures d’un ensemble peuvent aussi s’exprimer comme limites
de suites de points de cet ensemble. Cette caractérisation est souvent utilisée.
Théorème 1.3 Si Xadmet une borne inférieure [resp. supérieure], il existe alors une suite
(xn)n∈Nde points de Xqui converge vers m= inf (X)[resp. M= sup (X)].
Démonstration. Supposons que Xadmette une borne supérieure M. Pour tout entier
naturel n, on peut trouver un élement xnde Xtel que M−1
n+ 1 < xn≤M. De cet encadrement
on déduit alors que M= lim
n→+∞xn.
Si un ensemble Xn’a pas de borne supérieure, on peut alors trouver pour tout entier n≥1
un élément xnde Xtel que xn> n. La suite (xn)n≥1diverge alors vers +∞.Il est alors naturel
de noter dans ce cas là que sup (X) = +∞.
De manière analogue, on notera inf (X) = −∞ si Xn’est pas minoré.
La construction de Resquissée au paragraphe précédent permet de montrer le théorème
suivant que nous admettons.
Théorème 1.4 Toute partie non vide minorée [resp. majorée] dans Radmet une borne infé-
rieure [resp. supérieure].
Exercice 1.8 Soient A, B sont deux parties non vide et bornées de R.Montrer que :
sup (A∪B) = max (sup (A),sup (B))
inf (A∪B) = min (inf (A),inf (B))
A⊂B⇒inf (B)≤inf (A)et sup (A)≤sup (B)