La norme de Frobenius d’une matrice est la racine carrée de la somme des carrés de toutes ses entrées ; équivalemment c’est la norme l2 du vecteur des valeurs singulières et égale à sqrt(trace(A^*A)).

Principe

La norme de Frobenius mesure l’énergie totale élément par élément d’une matrice, est invariante unitairement (inchangée par pré- ou post‑multiplication par des matrices unitaires/orthogonales) et découle du produit scalaire de Hilbert–Schmidt ⟨A,B⟩ = trace(B^*A).

Démonstration

Pour A = [[1,2],[3,4]] la norme de Frobenius est sqrt(1^2+2^2+3^2+4^2)=sqrt(30). L’erreur en norme de Frobenius d’une approximation de rang k fournit une mesure naturelle lorsque l’on minimise l’erreur quadratique élément par élément (par ex. la SVD tronquée minimise l’erreur de Frobenius parmi les matrices de rang k).

Mauvaise application

Employer la norme de Frobenius pour borner l’amplification pire cas d’un vecteur par A (tâche relevant d’une norme opérateur). Comme ||A||_2 ≤ ||A||_F mais l’inverse n’est pas forcément serré, des bornes basées sur Frobenius peuvent mal estimer le comportement opérateur si l’on ne tient pas compte du rang.

Conséquence

La norme de Frobenius offre une mesure d’énergie totale commode et peu coûteuse en calcul, utile pour l’analyse d’erreur élément par élément, l’échantillonnage aléatoire et les objectifs d’optimisation ; elle est numériquement stable et intègre contributions de toutes les valeurs singulières.

Inversion

Remplacer la norme de Frobenius par la norme spectrale quand l’objectif est de mesurer l’énergie agrégée : le choix inversé se concentre sur l’amplification extrême d’un vecteur (plus grande valeur singulière) plutôt que sur l’énergie totale et modifie les objectifs d’optimisation.

Limite

Définie pour matrices finies et opérateurs de Hilbert–Schmidt ; en dimension infinie la norme Frobenius/Hilbert–Schmidt est finie seulement pour des opérateurs à coefficients carrés sommables. Ce n’est pas une norme induite/opérateur pour l’amplification de vecteurs, elle exclut donc des bornes pire cas sur l’opérateur sans ajustements liés au rang.

Tension sémantique

Tension entre normes de Frobenius et spectrale : Frobenius contrôle la magnitude quadratique agrégée, spectrale contrôle l’action extrême. Le choix dépend de l’importance relative de l’énergie totale ou du comportement extrême dans l’application.

Synthèse

La norme de Frobenius est l’énergie l2 élément par élément d’une matrice — égale à la norme l2 de ses valeurs singulières et à sqrt(trace(A^*A)) — fournissant une mesure unitairement invariante et agrégée, adaptée aux erreurs élément par élément et objectifs énergétiques.