Endomorphismes autoadjoints, théorème spectral et formes quadratiques
Le module précédent laissait ouverte une question : quand la base de diagonalisation peut-elle être choisie ORTHONORMÉE, de sorte que la réduction ne déforme pas la géométrie ?
Le problème naît de la mécanique du solide : Euler puis Cauchy cherchent les axes principaux d'inertie, directions selon lesquelles un corps tourne sans effort de torsion. Cauchy démontre en 1829 que ces axes existent toujours, c'est-à-dire que les matrices symétriques réelles sont diagonalisables en base orthonormée. Le même énoncé resurgit ensuite partout : Sylvester (1852) pour les formes quadratiques, Hilbert (1904) pour les opérateurs intégraux, von Neumann (1932) pour la mécanique quantique. Un unique théorème, quatre motivations indépendantes.
Pourquoi définir l'autoadjonction par plutôt que par la symétrie de la matrice ? Parce que la première définition est INTRINSÈQUE : elle ne dépend d'aucune base. Le lien avec la symétrie matricielle n'est vrai que dans une base ORTHONORMÉE — une matrice symétrique dans une base quelconque ne représente pas nécessairement un endomorphisme autoadjoint. Confondre les deux est l'erreur structurelle du chapitre.
Images Mentales & Modèles d'Intuition (3)
Un endomorphisme autoadjoint déforme une sphère en un ellipsoïde dont les axes restent perpendiculaires ; les valeurs propres sont les longueurs des demi-axes.
Ce qu'elle capture :
L'image suggère que toute déformation linéaire est de ce type. Faux : une transformation non symétrique envoie la sphère sur un ellipsoïde dont les axes ne sont PAS les images de directions perpendiculaires. Il faut alors deux familles orthonormées distinctes, une au départ et une à l'arrivée — c'est la décomposition en valeurs singulières.
Le théorème spectral est un changement de repère qui rend une forme quadratique aussi simple qu'une somme de carrés pondérés.
Ce qu'elle capture :
L'image ne distingue pas deux réductions très différentes : la réduction ORTHOGONALE, qui préserve les longueurs et livre les valeurs propres, et la réduction de Gauss, qui autorise n'importe quel changement de base et ne livre que les SIGNES. La seconde est plus rapide, la première seule est géométrique.
La récurrence de la preuve est un épluchage : on trouve un axe propre, on se restreint à son plan orthogonal, et l'on recommence en dimension inférieure.
Ce qu'elle capture :
L'image ne dit pas pourquoi l'orthogonal est stable : c'est une conséquence NON TRIVIALE de l'autoadjonction, et c'est le seul endroit de la preuve où l'hypothèse est réellement utilisée pour la récurrence.
Les Pièges Conceptuels Classiques
Correction :
Correction :
Correction :
Correction :
Glossaire des Notations Mathématiques
diagonalisation orthogonale
$P$ orthogonale, donc $P^{-1}=P^{\top}$ : le changement de base ne déforme pas la géométrie
signature
invariant de la forme quadratique, indépendant de toute base — c'est le contenu de la loi d'inertie
matrices symétriques définies positives
cône convexe ouvert, omniprésent en optimisation et en statistique