Déterminant par blocs
En algèbre linéaire, la formule de déterminant par blocs généralise à la fois les formules de Laplace de calcul du déterminant d'une matrice carrée par développement selon une ligne ou une colonne ou le calcul du déterminant d'une matrice triangulaire par blocs.
Formule modifier
Si est une matrice carrée de taille , on forme un procédé d'extraction de colonnes, noté , c'est-à-dire une application strictement croissante de dans , et un procédé d'extraction de lignes, noté .
![{\displaystyle [\![1,k]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52c0a5317ca4a03c61aa20f4d1a45691a0459c9f)
![{\displaystyle [\![1,n]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9742260f2c04dfe897a9b8702005a64dcc12a34)
On note le déterminant de la matrice extraite de en conservant (dans l'ordre) les colonnes d'indices et les lignes d'indices .
![{\displaystyle \varphi ([\![1,k]\!])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b84f48eef8bd7cef6399c3a36e385ea87764efe)
![{\displaystyle \varphi '([\![1,k]\!])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0119e9863f6a48c9dc688105566c3fe9ddf7b616)
On note le déterminant de la matrice extraite de en conservant (dans l'ordre) les colonnes d'indices qui ne sont pas dans et les lignes d'indices qui ne sont pas dans .
On note l'ensemble des applications strictement croissantes de dans et l'on fixe .
On note la signature de , définie comme la signature de l'unique permutation de prolongeant de et dont la restriction à est également croissante.
![{\displaystyle [\![k+1,n]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f1d95f5dc916aa6bc5c46cc767f7ec1b8000e10)
On obtient alors .
Cas particulier modifier
Si et , cette formule donne un déterminant 4×4 comme la somme de 6 produits de déterminants 2×2. En notant, comme pour les coordonnées plückeriennes ou grassmanniennes,
- le déterminant des lignes des deux premières colonnes et
- le déterminant des lignes des deux dernières colonnes,
on obtient par exemple :
- .
Voir aussi modifier
Bibliographie modifier
- Richard Baltzer (trad. de l'allemand par Jules Hoüel), Théorie et applications des déterminants : avec l'indication des sources originales, Mallet-Bachelier, (lire en ligne), « Décomposition d'un déterminant en une somme de produits de déterminants partiels », p. 26-29
- (la) C. G. J. Jacobi, « De formatione et proprietatibus Determinantium », J. reine angew. Math., vol. 22, , p. 285-318 (§ 8, p. 298-299),
traduit dans (de) C. G. J. Jacobi (éd. P. Stäckel), Ueber die Bildung und die Eigenschaften der Determinanten, Leipzig, Engelmann, (lire en ligne) (§ 8, p. 20-22) - Frédéric Rotella et Pierre Borne, Théorie et pratique du calcul matriciel, Technip, (lire en ligne), « Développement de Laplace », p. 53-54
Lien externe modifier
Gérard Eguether, « Calcul d'un déterminant par blocs », sur Institut Élie-Cartan de Lorraine
