Théorème 3Probabilités
Loi faible des grands nombres et théorème de Weierstrass
(i) Loi faible. Soient des variables deux à deux indépendantes, de même loi, de carré intégrable, d'espérance et de variance , et . Pour tout ,
(ii) Weierstrass, par Bernstein. Pour continue, les polynômes convergent uniformément vers sur . En particulier, toute fonction continue sur un segment est limite uniforme de polynômes.
Démonstration
(i) et (Espérance, variance, (iv)) ; on applique l'inégalité de Bienaymé-Tchebychev.
(ii) Fixons . Sur l'ensemble fini , muni de toutes ses parties, posons , où est le nombre de ; en développant , ces poids ont pour somme .
Les coordonnées sont des variables de Bernoulli de paramètre , indépendantes, car est le produit des . Leur somme vérifie , d'où
Soit . Par le théorème de Heine (Théorème de Heine), il existe tel que entraîne . Soit , fini par le théorème des bornes atteintes (Bornes atteintes).
En séparant les cas et , et par l'inégalité de Bienaymé-Tchebychev, comme en (i), avec ,
La majoration ne dépend pas de : pour assez grand, sur . Un segment , avec , se ramène à par la bijection , qui transforme les polynômes en polynômes.
□La convergence est lente. Pour , on calcule pour et pour : l'erreur au point de non-dérivabilité décroît comme , alors que .
La démonstration de Bernstein (1912) est l'un des premiers exemples d'une preuve probabiliste d'un théorème d'analyse qui ne parle pas de hasard. L'aléa n'y est qu'un moyen de calcul : est une moyenne de valeurs de pondérée par des poids qui se concentrent près de . L'analyse fonctionnelle refait le calcul sans probabilités, par les seules identités du binôme, et en tire l'estimation pour une fonction -lipschitzienne (Polynômes de Bernstein).