Le déterminant d'une matrice triangulaire par blocs est le produit des déterminants des blocs diagonaux. C'est l'outil qui permet de calculer un polynôme caractéristique à partir d'un sous-espace stable, et de ramener un déterminant de grande taille à des déterminants plus petits après des opérations sur les blocs.
Énoncé
Théorème (déterminant triangulaire par blocs)
Soit , , (blocs diagonaux carrés) et . Alors
Même chose pour une matrice triangulaire inférieure par blocs (par transposition). Plus généralement, pour une matrice triangulaire par blocs de blocs diagonaux carrés , le déterminant vaut .
En conséquence, si , alors .
Démonstration
On vérifie par produit par blocs la factorisation
Premier facteur. Sa première colonne est le premier vecteur de la base canonique. En développant selon cette colonne, on obtient le déterminant de la même matrice avec à la place de . Après développements, il reste .
Second facteur. Sa dernière ligne est . En développant selon cette ligne (le cofacteur a pour signe ), on obtient le déterminant de , où est privée de sa dernière colonne. Après développements, il reste .
Par multiplicativité du déterminant, .
Cas de blocs : récurrence sur , en regroupant les premiers blocs diagonaux en un seul bloc triangulaire par blocs.
Polynôme caractéristique : est encore triangulaire par blocs, et la factorisation ci-dessus vaut dans .
Méthode : quand et comment l'utiliser
- Sous-espace stable : si est stable par , dans une base adaptée la matrice de est où est la matrice de . Donc divise .
- Opérations par blocs : ajouter à une colonne de blocs une autre colonne de blocs multipliée à droite par une matrice (ou faire la même chose sur les lignes, multipliée à gauche) revient à multiplier par une matrice triangulaire par blocs à diagonale d'identités, de déterminant . On se ramène ainsi à une forme triangulaire par blocs.
- Quatre blocs quelconques : si un bloc diagonal est inversible, utiliser le complément de Schur.
Exemples d'application
Le déterminant de (A B ; B A)
Soit . On multiplie à droite par , puis à gauche par , deux matrices de déterminant :
Donc , sans aucune hypothèse de commutation.
Matrice antidiagonale par blocs
Soit et . Dans , on amène les dernières colonnes en tête : chacune franchit les premières colonnes, soit transpositions de colonnes. On obtient , d'où
Erreurs classiques
Écrire , ou , pour quatre blocs quelconques. Avec les matrices élémentaires , , , de , la matrice obtenue est celle de la permutation qui échange et , de déterminant , alors que les deux formules donnent .
Appliquer la formule avec des blocs diagonaux non carrés : si est rectangulaire, n'a pas de sens et la formule ne s'applique pas telle quelle.
Oublier le signe pour une matrice antidiagonale par blocs : et non .
Faire des opérations « par blocs » en multipliant un bloc par une matrice du mauvais côté : sur les colonnes de blocs, on multiplie à droite ; sur les lignes de blocs, à gauche. Sinon la matrice obtenue n'est pas le produit par une matrice de déterminant .
Place dans le programme
Deuxième année (MP, MPI, PSI), chapitre « Compléments d'algèbre linéaire (matrices par blocs) ; réduction ».
La formule pour une matrice triangulaire par blocs est un résultat de cours, généralement énoncé en deuxième année avec les matrices par blocs et utilisé constamment en réduction. En revanche, il n'existe pas de formule générale du type « » pour quatre blocs quelconques : les formules correspondantes (complément de Schur, blocs qui commutent) sont hors programme et doivent être redémontrées.
Dans les sujets de concours
Pour vous entraîner sur des sujets complets : Algèbre linéaire (703 sujets), Réduction des endomorphismes (472 sujets).
Sujets où cette notion intervient explicitement :
- CCINP Mathématiques PSI 2021 : Problème 2, partie II : le cas général (Q29 à Q38)
- X ENS Mathématiques A MP 2015 : Deuxième partie : spectre d'une matrice extraite
Questions fréquentes
Comment calculer le déterminant d'une matrice par blocs ?
Si elle est triangulaire par blocs, c'est le produit des déterminants des blocs diagonaux. Sinon, on s'y ramène par des opérations sur les lignes ou colonnes de blocs, ou par le complément de Schur si un bloc diagonal est inversible.
Quel est le polynôme caractéristique d'une matrice triangulaire par blocs ?
C'est le produit des polynômes caractéristiques des blocs diagonaux : pour . En particulier, le spectre de est la réunion des spectres de et .
A-t-on det(AD - BC) pour une matrice 2 × 2 de blocs ?
Pas en général. C'est vrai si (et si ), avec des blocs carrés de même taille ; voir le complément de Schur.