Le complément de Schur est la matrice qui apparaît quand on effectue le pivot de Gauss « par blocs » sur une matrice dont le bloc est inversible. Il donne le déterminant, le rang et l'inverse de la matrice par blocs à partir de matrices plus petites.
Énoncé
Proposition (complément de Schur)
Soit et avec inversible, , , . Le complément de Schur de dans est
On a la factorisation
et par conséquent :
- ;
- est inversible si et seulement si l'est, et .
Blocs qui commutent. Si et si et commutent (), alors , même si n'est pas inversible lorsque ou . De même, si , alors .
Démonstration
Factorisation. On calcule par blocs :
et .
Déterminant et rang. Les deux matrices extrêmes sont triangulaires à diagonale de , donc de déterminant et inversibles. Le déterminant de la matrice diagonale par blocs vaut (déterminant par blocs). Multiplier par des matrices inversibles ne change pas le rang, et .
Blocs qui commutent, inversible. On a , et car . D'où .
Blocs qui commutent, cas général ( ou ). Pour , la matrice commute encore avec , et elle est inversible sauf pour un nombre fini de valeurs de (les opposées des valeurs propres de ). Les fonctions et sont polynomiales et coïncident sur un ensemble infini, donc sont égales ; on prend .
Le cas se traite de même avec le complément de Schur de : si est inversible, , puis .
Méthode : quand et comment l'utiliser
On utilise le complément de Schur quand un bloc diagonal est inversible (souvent ou ) : on se ramène à un déterminant de taille plus petite. Pour un polynôme caractéristique, on applique la formule à pour les scalaires qui rendent le bloc inversible (tous sauf un nombre fini), puis on conclut par égalité de deux polynômes qui coïncident en une infinité de points.
Exemples d'application
Identité de Sylvester det(I + UV) = det(I + VU)
Soit et . On pose . Le complément de Schur de est , donc . Le complément de Schur du bloc est , donc . Ainsi
Pour , avec et : .
Matrice symétrique définie positive par blocs
Soit réelle symétrique avec symétrique définie positive, et . Comme est symétrique, la factorisation s'écrit avec inversible. Pour , avec , et est bijective. On en déduit : est définie positive si et seulement si l'est.
Erreurs classiques
Écrire sans hypothèse de commutation. Pour , , , (matrices élémentaires de taille ), est la matrice de la permutation échangeant et , donc , alors que .
Se tromper d'ordre : avec , la formule est ; avec , c'est . En général .
Écrire : ce produit n'a en général même pas de sens (tailles incompatibles). Le bon ordre est , lu « ligne du bas, pivot inversé, colonne de droite ».
Utiliser sans avoir justifié que est inversible : sinon, passer par une perturbation (lorsque les blocs sont carrés) ou utiliser le complément de Schur de .
Place dans le programme
Première et deuxième année (MPSI, MP), chapitre « Calcul matriciel par blocs et déterminants ».
Le complément de Schur ne figure pas au programme officiel. La factorisation par blocs se vérifie en une ligne par produit matriciel : il faut la redémontrer (au moins l'écrire et la vérifier) dans une copie ou à l'oral avant d'utiliser la formule du déterminant.
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).
Questions fréquentes
Qu'est-ce que le complément de Schur ?
Pour avec inversible, c'est la matrice . Elle vérifie ; c'est le bloc restant après élimination de Gauss par blocs.
Le complément de Schur est-il au programme de prépa ?
Non. On peut l'utiliser à condition d'écrire et de vérifier la factorisation par blocs, ce qui ne prend que quelques lignes.
Schur complement : est-ce la même notion ?
Oui, c'est le nom anglais. On parle aussi du complément de Schur de , , lorsque c'est le bloc qui est inversible.