Processus consistant à trouver une base dans laquelle un opérateur linéaire ou une matrice est représenté par une matrice diagonale, ce qui équivaut à trouver un système complet de vecteurs propres de sorte que l'opérateur agisse par multiplications scalaires sur chaque vecteur de la base.

Principe

Un opérateur linéaire est diagonalisable sur un corps si et seulement si l'espace vectoriel admet une base de vecteurs propres ; algébriquement, cela correspond souvent au polynôme minimal (ou caractéristique) se scindant en facteurs linéaires avec les multiplicités géométriques égales aux multiplicités algébriques, la dépendance au corps de base étant cruciale.

Démonstration

La matrice [[2,0],[0,3]] est déjà diagonale et donc diagonalisable avec valeurs propres 2 et 3. Le bloc de Jordan [[1,1],[0,1]] n'est pas diagonalisable sur aucun corps car il manque deux vecteurs propres indépendants. Une matrice symétrique réelle est diagonalisable par changement de base orthogonal.

Mauvaise application

Supposer qu'une matrice est diagonalisable sur R lorsque ses valeurs propres sont complexes, ou confondre diagonalisabilité et symétrie : la symétrie implique la diagonalisabilité (sur R) mais l'inverse n'est pas vrai ; traiter incorrectement des défauts de multiplicités propres comme sans conséquence.

Conséquence

Quand un opérateur est diagonalisable, de nombreuses tâches se simplifient : calculer des puissances ou des exponentielles se réduit à opérations scalaires sur les valeurs propres ; des systèmes se découplent en équations scalaires indépendantes ; les décompositions spectrales clarifient la dynamique et la stabilité.

Inversion

L'impossibilité de diagonaliser conduit à la forme canonique de Jordan ou à d'autres formes triangulaires normales ; la triangulation est une forme normale plus faible qui existe toujours sur des corps algébriquement clos mais qui conserve des couplages entre sous-espaces propres généralisés.

Limite

La diagonalisabilité dépend du corps de base et de l'existence d'une base complète de vecteurs propres ; des défauts de multiplicités, des polynômes inseparables en caractéristique positive et des corps non algébriquement clos peuvent empêcher la diagonalisation. Même si elle existe, la forme diagonale est définie à permutation des entrées diagonales et à la mise à l'échelle des vecteurs propres près.

Tension sémantique

Tension entre la diagonalisabilité algébrique et la décomposition spectrale avec structures d'orthogonalité ou d'unitarité : les opérateurs normaux ou symétriques admettent des bases orthonormales de vecteurs propres, renforçant la diagonalisabilité ; la diagonalisabilité générale peut nécessiter des bases non orthogonales.

Synthèse

La diagonalisation identifie un repère de vecteurs propres dans lequel un opérateur linéaire agit par multiplications scalaires simples, simplifiant fortement l'analyse lorsque c'est possible ; lorsqu'elle est impossible, on recours aux formes de Jordan ou triangulaires qui révèlent le couplage résiduel entre vecteurs propres généralisés.