Mode de convergence dans un espace vectoriel normé où une suite (x_n) converge fortement vers x si la norme de leur différence tend vers zéro : ||x_n - x|| → 0. La convergence forte est aussi appelée convergence en norme et est strictement plus forte que la convergence faible en dimension infinie.

Principe

La norme ambiante induit une topologie métrique qui contrôle à la fois la taille et la direction des vecteurs ; la convergence est régie par l'annulation de la norme de l'erreur, garantissant la préservation des opérations non linéaires continues et la stabilité des normes.

Démonstration

Dans L^2(R), soient f_n des approximations obtenues par mollification de f. Si ||f_n - f||_{L^2} → 0 alors f_n converge fortement vers f ; en particulier les formes quadratiques ∫|f_n|^2 convergent vers ∫|f|^2.

Mauvaise application

Confondre convergence pointwise ou faible avec convergence forte : par exemple, déduire de la convergence faible de x_n que ||x_n - x|| → 0 sans hypothèse supplémentaire ; ou conclure une convergence presque partout à partir d'une simple convergence en norme sans justification.

Conséquence

Les limites commutent avec les applications non linéaires continues et avec la norme ; les suites de Cauchy pour la norme admettent des limites (complétude) et les propriétés stables par perturbation en norme (par ex. appartenance à un ensemble convexe fermé) sont préservées à la limite.

Inversion

La convergence faible, où convergent toutes les formes linéaires continues mais où ||x_n - x|| peut ne pas tendre vers zéro ; ou des suites pour lesquelles les normes convergent (||x_n|| → ||x||) sans convergence vectorielle en l'absence de convexité uniforme.

Limite

S'applique aux éléments des espaces vectoriels normés et aux espaces de Banach ; exclut les modes purement ponctuels, distributionnels ou faibles-* et n'est pas caractérisée uniquement par la convergence d'observables scalaires sauf si celles-ci engendrent la topologie de la norme.

Tension sémantique

La tension se situe avec la convergence faible et la simple convergence des normes : la convergence forte implique celle de toutes les formes linéaires continues, mais la réciproque échoue souvent en dimension infinie ; de plus on la confond parfois avec la convergence presque partout ou uniforme selon le contexte.

Synthèse

La convergence forte est la notion de la topologie de la norme selon laquelle une suite approche sa limite en magnitude et en direction mesurée par la norme ; elle organise les résultats de stabilité et de continuité non linéaire et s'oppose aux modes de convergence plus faibles ou distributionnels.