Pour un opérateur linéaire borné T sur un espace vectoriel normé (typiquement un espace de Hilbert), la norme d'opérateur est la plus petite constante ||T|| telle que ||Tψ|| ≤ ||T||·||ψ|| pour tout vecteur ψ ; équivalemment ||T|| = sup_{||ψ||=1} ||Tψ||, et en dimension finie munie de la norme euclidienne elle coïncide avec la plus grande valeur singulière.

Principe

La norme d'opérateur est la norme induite par la norme vectorielle sous-jacente et est sous-multiplicative (||AB|| ≤ ||A||·||B||) ; elle quantifie la plus grande amplification possible de la norme d'un vecteur par l'opérateur et contrôle continuité et stabilité.

Démonstration

Pour une matrice A de valeurs singulières σ1 ≥ … ≥ σn, la norme d'opérateur induite par la norme euclidienne est σ1. Pour une matrice unitaire U, ||U|| = 1. Pour un opérateur différentiel en dimension infinie, la bornitude (norme d'opérateur finie) peut échouer et nécessite des considérations de domaine/graph.

Mauvaise application

Utiliser la norme de Frobenius (Hilbert-Schmidt) ou la norme trace comme équivalentes à la norme d'opérateur dans des estimations exigeant la norme spectrale est une erreur courante ; de même supposer une norme d'opérateur finie pour des opérateurs non bornés sans préciser les domaines est incorrect.

Conséquence

Une norme d'opérateur finie implique bornitude et continuité ; elle fournit des bornes pour les séries et des estimations de perturbation, et associée à la sous-multiplicativité assure la stabilité des opérations composées et des propagateurs.

Inversion

La situation inverse est un opérateur non borné qui n'admet pas de norme d'opérateur finie ; de tels opérateurs ne peuvent pas être traités comme des applications bornées sur tout l'espace de Hilbert et exigent un traitement fonctionnel analytique dépendant du domaine.

Limite

Défini uniquement pour les opérateurs linéaires bornés sur des espaces normés ; d'autres mesures (normes de Schatten p, rayon numérique, rayon spectral) s'appliquent dans d'autres contextes et ne coïncident qu'en cas particulier (par ex. pour les opérateurs normaux le rayon spectral est lié à la norme).

Tension sémantique

Tension entre la norme d'opérateur et d'autres normes d'opérateurs/matrices : la norme d'opérateur (spectrale) capture le pire cas d'amplification, la norme Hilbert-Schmidt mesure l'énergie globale, et la norme trace somme les valeurs singulières — chacune a un sens opérationnel et des inégalités différentes.

Synthèse

La norme d'opérateur mesure l'effet d'étirement maximal d'un opérateur linéaire par rapport à une norme vectorielle choisie ; c'est une quantité induite et sous-multiplicative essentielle pour la continuité, la stabilité et l'analyse de perturbation en théorie des opérateurs.