Suites et séries de fonctions : convergence simple, uniforme et normale
Si chaque fonction d'une suite est continue et que la suite converge en tout point, pourquoi la limite peut-elle être discontinue — et que faut-il ajouter pour l'en empêcher ?
Cauchy publie en 1821 un théorème affirmant qu'une somme de fonctions continues est continue. Abel exhibe en 1826 un contre-exemple explicite tiré des séries de Fourier, et note poliment qu'il « semble y avoir des exceptions ». La résolution prend quarante ans : c'est Weierstrass qui, dans ses cours berlinois des années 1840-1860, dégage la notion de convergence uniforme et rétablit l'énoncé correct. L'erreur de Cauchy n'était pas un calcul faux, mais une inversion de quantificateurs — exactement celle annoncée au module L1-01.
Pourquoi définir la convergence uniforme par plutôt que « la convergence est rapide » ? Parce que la norme infinie transforme une famille infinie de conditions ponctuelles en une seule condition numérique : la convergence uniforme EST la convergence dans l'espace normé des fonctions bornées. Tout le module devient alors une application du module L2-06 : les théorèmes de transfert sont des propriétés de complétude et de continuité dans cet espace.
Images Mentales & Modèles d'Intuition (3)
Convergence simple : chaque spectateur d'un stade se lève quand il veut. Convergence uniforme : un signal commun fait lever tout le monde en même temps.
Ce qu'elle capture :
L'image suggère que la différence est une question de synchronisation. En réalité la convergence uniforme peut être fausse alors même que chaque point converge très vite : c'est la position de la « bosse » qui se déplace, comme pour les fonctions triangle glissantes.
La convergence uniforme est un tube : à partir d'un certain rang, tous les graphes tiennent dans une bande de largeur autour du graphe limite.
Ce qu'elle capture :
L'image ne dit pas que le maximum de l'écart peut être atteint en un point qui se déplace. Pour sur , l'écart maximal vaut toujours , atteint de plus en plus près de : la bosse fuit vers le bord au lieu de s'aplatir.
La convergence normale est une majoration au poids : on borne chaque fonction par un nombre, et l'on vérifie que la somme des poids est finie.
Ce qu'elle capture :
L'image ne dit pas que la réciproque est fausse : la série harmonique alternée de fonctions converge uniformément sans converger normalement. La convergence normale est un critère commode, pas une caractérisation.
Les Pièges Conceptuels Classiques
Correction :
Correction :
Correction :
Correction :
Glossaire des Notations Mathématiques
écart uniforme
quantité à calculer explicitement : c'est le sup de l'écart, pas l'écart en un point
série des normes
critère de convergence normale ; ramène une question de fonctions à une série numérique