Modo de convergencia en un espacio normado en el que una sucesión (x_n) converge fuertemente a x si la norma de su diferencia tiende a cero: ||x_n - x|| → 0. La convergencia fuerte también se llama convergencia en norma y es estrictamente más fuerte que la convergencia débil en espacios de dimensión infinita.

Principio

La norma ambiental induce una topología métrica que controla tanto la magnitud como la dirección de los vectores; la convergencia está gobernada por la anulación de la norma del error, garantizando la preservación de operaciones no lineales continuas y la estabilidad de las normas.

Demostración

En L^2(R), sean f_n aproximaciones de f obtenidas por mollificación. Si ||f_n - f||_{L^2} → 0, entonces f_n converge fuertemente a f; en particular, las formas cuadráticas ∫|f_n|^2 convergen a ∫|f|^2.

Aplicación incorrecta

Tratar la convergencia puntual o débil como si fuera fuerte: por ejemplo, asumir a partir de la convergencia débil de x_n que ||x_n - x|| → 0 sin hipótesis adicionales; o concluir convergencia casi en todas partes a partir de mera convergencia en norma sin justificación.

Consecuencia

Los límites conmutan con aplicaciones no lineales continuas y con la norma; las sucesiones de Cauchy en la norma tienen límites (completitud), y las propiedades estables frente a perturbaciones en norma (p. ej., pertenecer a un conjunto convexo cerrado) se conservan en el límite.

Inversión

La convergencia débil, en la que convergen todos los funcionales lineales continuos pero ||x_n - x|| puede no tender a cero; o sucesiones cuyas normas convergen (||x_n|| → ||x||) sin convergencia vectorial en ausencia de convexidad uniforme.

Límite

Se aplica a elementos de espacios vectoriales normados y espacios de Banach; excluye modos puramente puntuales, distribucionales o débiles-* y no queda caracterizada únicamente por la convergencia de observables escalares salvo que éstos generen la topología de la norma.

Tensión semántica

Hay tensión con la convergencia débil y con la mera convergencia de normas: la convergencia fuerte implica la convergencia de todos los funcionales lineales continuos, pero la recíproca falla en muchos contextos infinitodimensionales; asimismo puede confundirse con convergencia casi puntual o uniforme.

Síntesis

La convergencia fuerte es la noción de la topología de la norma por la cual una sucesión se aproxima a su límite en magnitud y dirección según la norma; organiza resultados de estabilidad y continuidad no lineal y contrasta con modos de convergencia más débiles o distribucionales.