La norma de operador de un operador lineal acotado T entre espacios vectoriales normados es el supremo de la norma de salida sobre todos los vectores de entrada unitarios: ||T|| = sup{||Tx|| : ||x|| = 1}, es decir, la menor constante C tal que ||Tx|| ≤ C||x|| para todo x.

Principio

Es la norma inducida por la norma del espacio vectorial y organiza los operadores lineales por su factor máximo de estiramiento; es submultiplicativa (||ST|| ≤ ||S||·||T||) y proporciona cotas de tipo Lipschitz.

Demostración

Para una matriz 2×2 A respecto de la norma Euclídea, la norma de operador es el mayor valor singular. Ejemplo: A = [[3,0],[0,1]] tiene ||A||2 = 3 porque el vector unitario e1 se estira por un factor 3 y ningún vector unitario se estira más.

Aplicación incorrecta

Tratar la norma de operador como si fuera la norma de Frobenius o el radio espectral en contextos donde difieren; por ejemplo, usar la norma de Frobenius para acotar crecimiento iterativo cuando se requieren propiedades submultiplicativas o información espectral precisa.

Consecuencia

Su uso correcto proporciona cotas efectivas de estabilidad y error, una constante de Lipschitz para mapas lineales y control de tasas de convergencia en métodos numéricos y estimaciones de perturbación.

Inversión

El reverso conceptual es considerar la salida mínima no nula sobre entradas unitarias (la norma mínima o el menor valor singular), que mide la inyectividad más que el estiramiento máximo.

Límite

Se define para operadores lineales acotados entre espacios normados; no se aplica directamente a operadores no acotados sin considerar dominio y norma del grafo, ni a mapas no lineales salvo por linealización.

Tensión semántica

Existe tensión entre la norma de operador, el radio espectral y las normas por entradas (p. ej., Frobenius): todas miden tamaño pero difieren en invariancia y precisión, por lo que elegir una u otra afecta las conclusiones sobre estabilidad y crecimiento.

Síntesis

La norma de operador es la medida inducida del máximo factor de amplificación que ejerce un operador lineal sobre vectores en una norma dada, proporcionando constantes de Lipschitz ajustadas y relacionándose con nociones espectrales y otras normas según el contexto.