3.1. Matrices d´ecompos´ees en blocs 3
Th´eor`eme 4 L’ensemble des matrices de Mn(K), diagonales par blocs n1, . . . ,npest une sous-
alg`ebre pleine de Mn(k)de dimension n2
1+· · · +n2
p.
Une matrice A, diagonale par blocs, est inversible si et seulement si ses blocs diagonaux sont
inversibles. Son inverse est alors la matrice diagonale par blocs dont les ´el´ements diagonaux sont,
terme `a terme, les inverses des blocs diagonaux de A.
[Ind] Utiliser les endomorphismes de Knassoci´es aux matrices consid´er´ees.
3.1.4 Matrices triangulaires par blocs
D´efinition 4 Soit A∈ Mn(K)et n1, . . . ,np∈IN∗tels que n1+· · · np=n.Aest triangulaire
sup´erieure par blocs n1, . . . ,nps’il existe des matrices carr´ees A1, . . . ,Apde tailles respectives
n1, . . . ,np(appel´ees blocs diagonaux) et une famille de matrices (Bkl)k∈[1,p−1]
l∈[k+1,p]
v´erifiant, pour
tout k∈[1,p −1] et tout l∈[k+ 1,p],Bkl ∈ Mnknl, telles que
A=
A1B12 · · · B1,p
0.......
.
.
.
.
.......Bp−1,p
0··· 0Ap
Proposition 6 Soit Eun K-espace vectoriel de dimension net B= (e1, . . . ,en)une base de
E. Notons s1= 0 et pour tout k∈[2,p],sk=n1+· · · +nk−1et enfin, pour tout k∈[1,p],
Fk= [e1,· · · ,esk+nk]. La matrice de l’endomorphisme uest triangulaire sup´erieure par blocs
n1, . . . ,npsi et seulement si
∀k∈[1,p]u(Fk)⊂Fk.
[Ind] Appliquer la d´efinition de la matrice dans une base donn´ee d’un endomorphisme.
Proposition 7 Le d´eterminant d’une matrice triangulaire par blocs n1, . . . ,np, dont les blocs
diagonaux sont A1, . . . ,Ap, est ´egal au produit des d´eterminants de ses blocs diagonaux.
[Ind] Utiliser le th´eor`eme sur le d´eterminant des matrices du type
ŕ
ŕ
ŕ
ŕ
A1B
0A2
ŕ
ŕ
ŕ
ŕ
.
Th´eor`eme 5 L’ensemble des matrices de Mn(K), triangulaires par blocs n1, . . . ,np, est une
sous-alg`ebre pleine de Mn(k)de dimension n1(n1+· · · +np) + n2(n2···+np) + ···n2
p.
Une matrice A, triangulaire sup´erieure par blocs, est inversible si et seulement si ses blocs
diagonaux sont inversibles. Son inverse est alors une matrice triangulaire sup´erieure par blocs.
[Ind] Utiliser des endomorphismes de Knassoci´es aux matrices consid´er´ees.
L’´etude des matrices d´ecompos´ees en blocs va permettre d’´etudier la structure de l’inverse d’une
matrice inversible triangulaire sup´erieure par blocs
3.1.5 Matrices d´ecompos´ees en blocs
D´efinition 5 Soit A∈ Mn(K)et n1, . . . ,np∈IN∗tels que n1+· · · np=n.Aest d´ecompos´ee
en blocs n1, . . . ,nps’il existe une famille de matrices (Akl)k,l∈[1,p]v´erifiant, pour tout k,l ∈[1,p],
Akl ∈ Mnknl, telles que
A=
A11 · · · A1,p
.
.
..
.
.
Ap1· · · App