Sandrine CARUSO
Suites pseudo-linéaires
Proposition 1. Soit (un)une suite réelle telle que
CR,m, n N,|um+nunum|6C. (1)
Alors la suite (un
n)converge.
Démonstration. On va montrer que la suite (un
n)est de Cauchy. Commençons par re-
marquer que, par une récurrence immédiate, pour tout kNet tout (n1, . . . , nk)Nk,
|un1+···+nk(un1+· · · +unk)|6(k1)C. En particulier, pour tous kNet nN,
|ukn kun|6(k1)C. Soient n, m N. On a
un
num
m
6
un
nunm
nm
+
unm
nm um
m
=1
nm (|unm mun|+|unm num|)
61
nm ((m1)C+ (n1)C)6C
n+C
m.
Soit ε > 0, et soit N>2C
ε. Alors pour tous m, n >N, on a
un
num
m
6C
n+C
m6ε.
La suite (un
n)est de Cauchy, et donc converge car Rest complet.
Application : une construction de R.
Soit Sl’ensemble des suites vérifiant la condition (1). On munit Sde la relation
d’équivalence définie par (un)(vn)(unvn)est bornée, et on note R
l’ensemble quotient. D’après la proposition 1, la fonction f:S R,(un)7→ lim un
n
est bien définie. De plus, si uv,f(u) = f(v)donc fse factorise en une application
ˆ
f:R 7→ R.
Nous allons montrer que cette application est une bijection. Mais tout d’abord, établis-
sons le lemme suivant :
Lemme. Soit u∈ S. Alors il existe v S ZNtelle que uv.
Démonstration. Il suffit de constater que si (un) S la suite (E(un)) est également
une suite de Set la différence est bornée par 1.
1
Notons SZ=S ZN. La constante Cdans la condition (1) peut être choisie entière,
et par conséquent, l’ensemble SZpeut être défini sans avoir construit l’ensemble des
réels R. De plus, d’après le lemme, Rest également le quotient de SZpar la relation
restreinte à SZ. Une fois que l’on aura établi le théorème qui suit et qui a été annoncé,
Rnous fournira donc une construction possible de l’ensemble des réels R.
Théorème. L’application ˆ
f:R → Rest une bijection.
Démonstration. Commençons par la surjectivité. Il suffit de montrer que fest surjec-
tive. Si `R, la suite (`n)est bien une suite de Set lim `n
n=`.
Pour établir l’injectivité, il suffit de montrer que si u= (un)et v= (vn)(éléments
de S) vérifient f(u) = f(v), alors uvest dans Set est bornée. Notons dn=unvn.
Le fait que (dn)est dans Sest immédiat. De plus, lim dn
n= 0. Soit Ctelle que pour tous
m, n,|dm+ndmdn|6C. On va montrer que |dn|6C. Supposons par l’absurde
qu’il existe n0Ntel que |dn0|> C (nécessairement, n06= 0). Pour tout kN,
|dkn0kdn0|6(k1)C
et donc k|dn0|−|dkn0|6(k1)Cpar l’inégalité triangulaire. Ainsi
|dkn0|
kn0
>|dkn0| − C
n0
+C
kn0
.
La suite extraite (dkn0
kn0)kde (dn
n)nreste supérieure en valeur absolue à un nombre stric-
tement positif |dkn0|−C
n0, donc ne peut tendre vers 0, ce qui constitue notre contradic-
tion.
Nous allons maintenant voir comment les opérations algébriques sur Rse trans-
portent sur R(ou en pratique, sur des représentants choisis dans S).
Proposition 2. Soient `1, `1R,u, v des suites représentant respectivement `1et `2
dans S. Alors `1+`2est représenté par u+v.
Démonstration. On a bien u+v∈ S, et f(u+v) = f(u) + f(v). (Sest un R-ev et f
est une forme linéaire.)
Proposition 3. Soit `1>0, et `2R. Soit (un)∈ SZà valeurs positives représentant
`1(il en existe, d’après le lemme, et quitte à remplacer les termes strictement négatifs
par 0; la limite reste `1qui est positif), et soit (vn)∈ S représentant `2. Alors `1`2est
représenté par (vun).
Démonstration. Supposons d’abord que `1>0. Comme (un
n)tend vers `1,(un)tend
vers l’infini. Par conséquent, (vun
un)tend vers `2. Ainsi,
lim
n→∞
vun
n= lim
n→∞
vun
un
·lim
n→∞
un
n=`2`1.
2
Maintenant, si `= 0, par injectivité de ˆ
f, la suite (un)est équivalente à la suite nulle, et
donc bornée. Ainsi, (un)ne prend qu’un nombre fini de valeurs, et c’est donc également
le cas de (vun). En particulier (vun)est bornée, et donc lim vun
n= 0 = `1`2.
Si l’on cherche à « calculer » le produit de deux nombres positifs via les suites de S,
on peut utiliser le fait que (`1)(`2) = `1`2.
3
1 / 3 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 !