Fonction attribuant une taille non négative à une matrice compatible avec des normes vectorielles et la bornitude de l’application linéaire associée ; exemples courants : normes induites (opérateur), norme de Frobenius, 1-norme et norme infinie.

Principe

Les normes matricielles satisfont la sous‑multiplicativité (||AB|| ≤ ||A||·||B||) quand elles sont compatibles avec des normes vectorielles, et les normes induites se définissent par suprema ||A|| = sup_{x≠0} ||Ax||/||x|| ; le choix de la norme encode quel aspect de la « taille » importe (amplification pire cas, énergie élément par élément, somme des colonnes, etc.).

Démonstration

La norme spectrale (2-norme) est la plus grande valeur singulière et mesure l’amplification pire cas des vecteurs unitaires. La 1-norme est la somme maximale des valeurs absolues par colonne utile pour borner les effets par colonne. La norme de Frobenius est la racine carrée de la somme des carrés des entrées et l’équivalent l2 des valeurs singulières, utile pour les mesures d’erreur élément par élément.

Mauvaise application

Utiliser une norme élément par élément comme Frobenius quand le problème exige une norme induite/opérateur pour contrôler l’amplification pire cas (par ex. stabilité des méthodes itératives), ou mélanger des normes sans convertir correctement les mesures d’erreur entre analyses.

Conséquence

Une norme matricielle bien choisie fournit des bornes significatives sur la propagation des erreurs, les taux de convergence et la stabilité des algorithmes linéaires ; elle permet de comparer des opérateurs et de concevoir préconditionneurs ou stratégies de normalisation adaptés à la mesure choisie.

Inversion

Remplacer une norme complète par une semi‑norme ou un scalaire ad hoc qui ignore la sous‑multiplicativité ou la compatibilité avec les normes vectorielles ; la notion inversée perd la possibilité de composer des bornes et de raisonner sur le comportement des opérateurs.

Limite

Les normes doivent être précisées (induites vs élémentaires) et sont définies sur opérateurs linéaires entre espaces normés ; en dimension infinie la bornitude est exigée. Toutes les mesures utiles de l’effet d’une matrice ne sont pas des normes (p. ex. le rang numérique n’est pas une norme).

Tension sémantique

Il existe une tension entre normes induites/opérateur (capturant l’amplification pire cas des vecteurs) et normes élément par élément (capturant l’énergie agrégée) ; privilégier l’une modifie les propriétés contrôlées et peut générer des intuitions divergentes sur la « taille ».

Synthèse

Une norme matricielle est une norme sur opérateurs linéaires liée à un choix de normes vectorielles dont les propriétés algébriques (sous‑multiplicativité, sens induit) déterminent quels aspects de la taille d’un opérateur—amplification pire cas, énergie ou magnitude élémentaire—sont mesurés.