COURS 5 : La droite réelle (suite)
Proposition 0.1. Soit (un)nune suite bornée. On a :
lim inf unlim sup un
Proposition 0.2. Soit (un)nune suite bornée. Les nombres lim inf unet lim sup unsont
respectivement la plus petite et la plus grande des valeurs d’adhérence de (un)n.
Démonstration Montrons par exemple que lim inf unest la plus petite valeur d’adhérence
de (un)n. Le fait que lim sup unest la plus grande se montre de façon analogue (et a été
traité en cours).
Nous avons deux choses à montrer : lim inf unest une valeur d’adhérence ; c’est la plus
petite.
lim inf unest une valeur d’adhérence.
Il faut montrer
 > 0NNkN|uklim inf un|< .
Soit  > 0et NN. Par définition lim inf un= limpinf{uk|kp}. Soit PNtel que
pour tout pPon ait |inf{uk|kp} − lim inf un|<  c’est-à-dire
lim inf un < inf{uk|kp}<lim inf un+.
Pour tout pP, par définition de la borne inférieure, lim inf unest un minorant
de {uk|kp}et lim inf un+n’est pas un minorant de {uk|kp}. Prenons p
max(N, P ). Il existe kptel que
lim inf un<uk<lim inf un+.
Autrement dit on a montré l’existence de kNtel qu’on ait |uklim inf un|< .
lim inf unest la plus petite valeur d’adhérence.
Il faut montrer que si a < lim inf unalors an’est pas valeur d’adhérence.
Soit a < lim inf un.
Par définition avaleur d’adhérence signifie
 > 0NnN|una|< .
On veut montrer
 > 0NnN|una| ≥ . (1)
1
Comme lim inf un= limpinf{uk|kp}, il existe NNtel que pour pNon ait
|inf{uk|kp} − lim inf un|<lim inf un
a
2. En particulier, pour tout pN, on a donc
inf{uk|kp}>lim inf unlim inf un
a
2=lim inf un+a
2. La borne inférieure d’un ensemble
étant un minorant, le nombre lim inf un+a
2est un minorant de l’ensemble {uk|kN}.
Pour tout kNon a donc uk>lim inf un+a
2ou encore uka > lim inf un
a
2>0. Autrement
dit (1) est vraie (en choisissant =lim inf un
a
2>0).
0.1 Densité
Définition 0.3. Soit Eune partie de R. On dit que Eest dense dans Rsi tout intervalle
ouvert non vide Ide Rrencontre E(c’est-à-dire contient au moins un élément de E) ;
autrement dit, pour tout x, y dans Rtels que x<y, il existe eEtel que x<e<y.
Qest dense dans R.
Soient x<ydeux réels. On a, ou bien x < 0< y, ou bien 0x<y, ou bien x<y0.
Si x < 0< y alors 0est un rationnel compris entre xet y.
Si 0x<y, prenons un entier ntel que 1/n < y xi.e. un entier supérieur à
1/(yx). Soit kle plus grand entier tel que k/n soit inférieur ou égal à x. On a alors,
x < (k+ 1)/n =k/n + 1/n x+ 1/n < x + (yx) = y,i.e. x < (k+ 1)/n < y.
Si x < y 0alors 0≤ −y < x. On vient de montrer comment trouver un nombre
rationnel qtel que y < q < x. Pour un tel nombre, on a alors x < q < y.
On a donc montré que pour tout x<y, on peut trouver un nombre rationnel strictement
compris entre xet y.cqfd
R\Qest dense dans R.
Un ensemble Eest dense dans Rsi, pour tous réels x, y avec x < y, il existe un élément
ede Etel que x < e < y.
Soient xet ydeux réels tels que x<y.
Si 0x<y, prenons kun entier tel que k > 2/(yx)(un tel kexiste car Rest archi-
médien). Alors, comme 2/k < y x, il existe un entier n > 0tel que x<n2/k < y et
n2/k n’est pas rationnel.
Si x<y0alors 0≤ −y < x. D’après le cas précédent, il existe un nombre irrationnel
ztel que y < z < x. Mais alors zest aussi irrationnel et x < z < y.
Si x < 0< y, prenons ktel que k > 2/y. Alors x < 2/k < y et 2/k est irrationnel.
Dans tous les cas, il existe un élément ede R\Qtel que x<e<y.
2
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !