Cours : Réduction des matrices et endomorphismes
📌 1. Définitions & Cadre d’étude
Section titled “📌 1. Définitions & Cadre d’étude”Soit un corps (en pratique ou ), un -espace vectoriel de dimension finie , et un endomorphisme de .
Définition 1.1 (Valeur propre, vecteur propre, sous-espace propre) Un scalaire est dit valeur propre de s’il existe un vecteur non nul , appelé vecteur propre associé à , tel que : L’ensemble des vecteurs propres associés à , union avec le vecteur nul , forme un sous-espace vectoriel de noté , appelé sous-espace propre associé à :
Définition 1.2 (Matrice propre) Soit . Un scalaire est valeur propre de si et seulement si la matrice n’est pas inversible (où est la matrice identité). Le sous-espace propre associé est le noyau de dans .
Définition 1.3 (Polynôme caractéristique) On appelle polynôme caractéristique de l’endomorphisme (ou de la matrice ) le polynôme noté (ou ) défini par : C’est un polynôme unitaire de degré . Les valeurs propres de sont exactement les racines de dans .
📐 2. Théorèmes fondamentaux & Démonstrations clés
Section titled “📐 2. Théorèmes fondamentaux & Démonstrations clés”Proposition 2.1 (Somme directe de sous-espaces propres) Soit une famille de vecteurs propres de associés à des valeurs propres distinctes . Alors cette famille est libre.
Démonstration (par récurrence sur au programme) :
- Pour , un vecteur propre non nul est par définition libre.
- Supposons la propriété vraie au rang . Soit une relation de liaison : Appliquons l’endomorphisme à cette relation : Multiplions la relation initiale par : Faisons la différence : Par hypothèse de récurrence, la famille est libre. Par conséquent, pour tout , on a : Puisque les valeurs propres sont distinctes (), il vient pour tout . La relation initiale se réduit alors à . Comme , on obtient . La famille est donc libre.
Théorème 2.2 (Caractérisation de la diagonalisabilité) Soit (ou ). Les assertions suivantes sont équivalentes :
- est diagonalisable (il existe et une matrice diagonale telles que ).
- Le polynôme caractéristique est scindé sur , et pour toute valeur propre , la dimension du sous-espace propre est égale à sa multiplicité algébrique :
- La somme des dimensions des sous-espaces propres est égale à , ou de manière équivalente, la somme directe de ces sous-espaces est égale à l’espace tout entier :
💡 3. Méthodes de calcul & Algorithmes
Section titled “💡 3. Méthodes de calcul & Algorithmes”-
Calcul du polynôme caractéristique : Soit . On calcule en effectuant des opérations sur les lignes et les colonnes pour faire apparaitre des zéros, sans modifier le déterminant (méthode du pivot de Gauss sur les déterminants).
-
Recherche des espaces propres : Pour chaque racine de de multiplicité , on résout le système linéaire homogène : L’ensemble des solutions est le sous-espace propre . On en extrait une base par application du pivot de Gauss.
-
Diagonalisation effective :
- Si , la matrice n’est pas diagonalisable.
- Si , la matrice est diagonalisable. On concatène les bases de chaque sous-espace propre pour former la matrice de passage (les colonnes de sont les vecteurs propres dans le même ordre que les valeurs propres sur la diagonale de ). On a la relation :
⚠️ 4. Pièges classiques aux Concours
Section titled “⚠️ 4. Pièges classiques aux Concours”- Piège 1 : Confondre multiplicité algébrique et multiplicité géométrique. La condition est toujours vraie, mais l’égalité n’est requise que pour toutes les valeurs propres pour assurer la diagonalisabilité.
- Piège 2 : Oublier de vérifier si le polynôme caractéristique est scindé sur le corps de base considéré (attention aux matrices réelles dont le polynôme caractéristique possède des racines complexes strictes).
- Piège 3 : Inverser l’ordre des vecteurs propres dans la matrice de passage par rapport à l’ordre des valeurs propres dans la matrice diagonale , ce qui invalide la relation .
- Piège 4 : Conclure hâtivement qu’une matrice est diagonalisable sous prétexte qu’elle possède valeurs propres distinctes (bien que cela soit un condition suffisante, ce n’est pas une condition nécessaire).