## [Convergence Forte](/fr/node/62543) Définition 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 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 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 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 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 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 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 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 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.