Une suite f_n converge uniformément vers f sur D si sup_{x∈D}|f_n(x)-f(x)|→0 quand n→∞ ; la convergence est contrôlée par une même borne valable pour tous les points du domaine.

Principe

Principe de contrôle uniforme : une borne uniforme de l’erreur point par point garantit un comportement cohérent sur tout le domaine, autorisant l’échange de limites avec des opérations continues sous hypothèses adaptées.

Démonstration

Contre-exemple et exemple positif : f_n(x)=x^n sur [0,1] converge ponctuellement mais pas uniformément ; en revanche f_n(x)=x/(1+n) sur R converge uniformément vers 0 car sup_x|f_n(x)|=1/(1+n)→0.

Mauvaise application

Croire que la convergence ponctuelle entraîne la convergence uniforme, ou appliquer des conclusions valides pour une convergence uniforme à une suite qui ne l’est pas (par ex. intervertir limite et intégrale sans contrôle uniforme ni hypothèse de convergence dominée).

Conséquence

La convergence uniforme préserve la continuité, permet le passage de la limite sous l’intégrale et sous de nombreuses opérations continues, et peut contrôler la convergence des dérivées sous hypothèses renforcées (convergence uniforme des dérivées, etc.).

Inversion

La convergence ponctuelle est la notion duale plus faible où le contrôle dépend du point ; la convergence uniforme entraîne la convergence ponctuelle mais pas l’inverse.

Limite

Nécessite une métrique ou une norme pour définir la suprémum ; sur des domaines non bornés il faut veiller à la bornitude uniforme ; la convergence uniforme sur compacts (convergence compacte) est plus faible que la convergence uniforme sur tout le domaine et est fréquemment utilisée en analyse.

Tension sémantique

Souvent mise en regard de la convergence vis-à-vis de normes d’espace de fonctions (p. ex. convergence en L^p) et de la convergence uniforme sur compacts ; la tension porte sur le choix de la topologie pertinente (norme uniforme vs normes intégrales).

Synthèse

La convergence uniforme fournit une vitesse globale et uniforme de convergence sur le domaine : condition analytique qui transforme l’information ponctuelle en préservation stable de la continuité et de nombreuses opérations limites.