- Lemme de kronecker
-
Lemme de Kronecker
Le lemme de Kronecker est un résultat d'analyse concernant les séries de nombres réels.
Sa forme la plus connue est la forme suivante, utilisée en particulier en probabilités dans une preuve classique de la loi des grands nombres :
Si la série de terme général converge alors tend vers 0 lorsque n tend vers l'infini.
Ce résultat admet une généralisation qui en rend la preuve assez naturelle:
Pour une série convergente de terme général un, et pour toute suite croissante de réels positifs (bn) divergeant vers l'infini, on a :
Preuve: On pose
Une sommation d'Abel donne :
Quand n tend vers l'infini, le premier terme converge vers zéro car la suite (Sn) converge vers s. Le deuxième et le troisième termes tendent vers 0 car (bn) tend vers . Le dernier terme est positif et majoré par . Par conséquent, la limite supérieure de la suite est majorée par s − SN pour tout N entier positif. En faisant tendre N vers l'infini, on obtient le résultat énoncé.
- Portail des mathématiques
Catégories : Série | Lemme de mathématiques
Wikimedia Foundation. 2010.