WikiPrépaLivrets

Déterminant par blocs

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.

Au programmeDeuxième année (MP, MPI, PSI) · Compléments d'algèbre linéaire (matrices par blocs) ; réduction

Énoncé

Théorème (déterminant triangulaire par blocs)

Soit p,q≥1p,q\ge 1, A∈Mp(K)A\in\mathcal{M}_p(\K), D∈Mq(K)D\in\mathcal{M}_q(\K) (blocs diagonaux carrés) et B∈Mp,q(K)B\in\mathcal{M}_{p,q}(\K). Alors

det⁡(AB0D)=det⁡A⋅det⁡D.\det\begin{pmatrix}A&B\\0&D\end{pmatrix}=\det A\cdot\det D.

Même chose pour une matrice triangulaire inférieure par blocs (A0CD)\begin{pmatrix}A&0\\C&D\end{pmatrix} (par transposition). Plus généralement, pour une matrice triangulaire par blocs de blocs diagonaux carrés A1,…,ArA_1,\dots,A_r, le déterminant vaut det⁡A1⋯det⁡Ar\det A_1\cdots\det A_r.

En conséquence, si M=(AB0D)M=\begin{pmatrix}A&B\\0&D\end{pmatrix}, alors χM=χA χD\chi_M=\chi_A\,\chi_D.

Démonstration

On vérifie par produit par blocs la factorisation

(AB0D)=(Ip00D)(AB0Iq).\begin{pmatrix}A&B\\0&D\end{pmatrix}=\begin{pmatrix}I_p&0\\0&D\end{pmatrix}\begin{pmatrix}A&B\\0&I_q\end{pmatrix}.

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 Ip−1I_{p-1} à la place de IpI_p. Après pp développements, il reste det⁡D\det D.

Second facteur. Sa dernière ligne est (0,…,0,1)(0,\dots,0,1). En développant selon cette ligne (le cofacteur a pour signe (−1)2(p+q)=1(-1)^{2(p+q)}=1), on obtient le déterminant de (AB′0Iq−1)\begin{pmatrix}A&B'\\0&I_{q-1}\end{pmatrix}, où B′B' est BB privée de sa dernière colonne. Après qq développements, il reste det⁡A\det A.

Par multiplicativité du déterminant, det⁡M=det⁡Adet⁡D\det M=\det A\det D.

Cas de rr blocs : récurrence sur rr, en regroupant les r−1r-1 premiers blocs diagonaux en un seul bloc triangulaire par blocs.

Polynôme caractéristique : XIp+q−M=(XIp−A−B0XIq−D)XI_{p+q}-M=\begin{pmatrix}XI_p-A&-B\\0&XI_q-D\end{pmatrix} est encore triangulaire par blocs, et la factorisation ci-dessus vaut dans Mp+q(K[X])\mathcal{M}_{p+q}(\K[X]).

Méthode : quand et comment l'utiliser

  • Sous-espace stable : si FF est stable par uu, dans une base adaptée la matrice de uu est (AB0D)\begin{pmatrix}A&B\\0&D\end{pmatrix} où AA est la matrice de uFu_F. Donc χuF\chi_{u_F} divise χu\chi_u.
  • 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 11. 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 A,B∈Mn(K)A,B\in\mathcal{M}_n(\K). On multiplie à droite par (In0InIn)\begin{pmatrix}I_n&0\\I_n&I_n\end{pmatrix}, puis à gauche par (In0−InIn)\begin{pmatrix}I_n&0\\-I_n&I_n\end{pmatrix}, deux matrices de déterminant 11 :

(ABBA)(In0InIn)=(A+BBA+BA),(In0−InIn)(A+BBA+BA)=(A+BB0A−B).\begin{pmatrix}A&B\\B&A\end{pmatrix}\begin{pmatrix}I_n&0\\I_n&I_n\end{pmatrix}=\begin{pmatrix}A+B&B\\A+B&A\end{pmatrix},\qquad \begin{pmatrix}I_n&0\\-I_n&I_n\end{pmatrix}\begin{pmatrix}A+B&B\\A+B&A\end{pmatrix}=\begin{pmatrix}A+B&B\\0&A-B\end{pmatrix}.

Donc det⁡(ABBA)=det⁡(A+B)det⁡(A−B)\det\begin{pmatrix}A&B\\B&A\end{pmatrix}=\det(A+B)\det(A-B), sans aucune hypothèse de commutation.

Matrice antidiagonale par blocs

Soit B∈Mp(K)B\in\mathcal{M}_p(\K) et C∈Mq(K)C\in\mathcal{M}_q(\K). Dans M=(0BC0)M=\begin{pmatrix}0&B\\C&0\end{pmatrix}, on amène les pp dernières colonnes en tête : chacune franchit les qq premières colonnes, soit pqpq transpositions de colonnes. On obtient (B00C)\begin{pmatrix}B&0\\0&C\end{pmatrix}, d'où

det⁡(0BC0)=(−1)pqdet⁡Bdet⁡C.\det\begin{pmatrix}0&B\\C&0\end{pmatrix}=(-1)^{pq}\det B\det C.

Erreurs classiques

  • Écrire det⁡(ABCD)=det⁡Adet⁡D−det⁡Bdet⁡C\det\begin{pmatrix}A&B\\C&D\end{pmatrix}=\det A\det D-\det B\det C, ou det⁡(AD−BC)\det(AD-BC), pour quatre blocs quelconques. Avec les matrices élémentaires A=E22A=E_{22}, B=E12B=E_{12}, C=E21C=E_{21}, D=E11D=E_{11} de M2(K)\mathcal{M}_2(\K), la matrice obtenue est celle de la permutation qui échange 11 et 44, de déterminant −1-1, alors que les deux formules donnent 00.

  • Appliquer la formule avec des blocs diagonaux non carrés : si AA est rectangulaire, det⁡A\det A n'a pas de sens et la formule ne s'applique pas telle quelle.

  • Oublier le signe (−1)pq(-1)^{pq} pour une matrice antidiagonale par blocs : det⁡(0I1I10)=−1\det\begin{pmatrix}0&I_1\\I_1&0\end{pmatrix}=-1 et non 11.

  • 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 11.

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 « ad−bcad-bc » 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 :

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 : χM=χAχD\chi_M=\chi_A\chi_D pour M=(AB0D)M=\begin{pmatrix}A&B\\0&D\end{pmatrix}. En particulier, le spectre de MM est la réunion des spectres de AA et DD.

A-t-on det(AD - BC) pour une matrice 2 × 2 de blocs ?

Pas en général. C'est vrai si CD=DCCD=DC (et det⁡(AD−CB)\det(AD-CB) si AC=CAAC=CA), avec des blocs carrés de même taille ; voir le complément de Schur.

Exercices corrigés utilisant : Déterminant par blocs

13 exercices