Ipest Prof.
Bouaziz
2021-2022 Classe XMP
DEVOIR À LA MAISON N ◦ 1: DIMENSION MAXIMALE
D’UN SOUS-ESPACE DE Mn (R) FORMÉ DE
MATRICES DE RANG AU PLUS r
Dans toute la suite, n représente un entier supérieur ou égal à 2 et
1 ≤ r ≤ n − 1 un entier.
On identifie une matrice avec son application linéaire canoniquement
associée.
Le but de ce problème est de déterminer la dimension maximale d’un
sous - espace vectoriel de Mn (R) ne contenant que des matrices de rang
inférieur ou égal à r.
1. Partie A. Préliminaires
(1) (a) Soit X ∈ Mn,1 (R). On suppose que t X.X = 0. Montrer
que X = 0.
(b) Soit M ∈ Mn (R). Montrer que
ker(t M.M ) = ker(M ).
(2) Soit M la matrice de Mn (R) définie par :
A B
M= .
C D
avec A ∈ GLr (R), B ∈ Mr,n−r (R), C ∈ Mn−r,r (R), D ∈
Mn−r (R).
X
(a) Soit Z = ∈ Mn,1 (R) avec X ∈ Mr,1 (R) et Y ∈
Y
Mn−r,1 (R).
Écrire les relations entre A, B, C, D, X, Y traduisant l’appartenance
de Z à ker(M ).
(b) Montrer que rg(M ) ≥ r .
(c) Montrer que rg(M ) = r ⇔ D = CA−1 B.
1
2 EVOIR À LA MAISON N ◦ 1: DIMENSION MAXIMALE D’UN SOUS-ESPACE DE MN (R) FORMÉ DE MATR
D
(3) Soit
0 B
Wr = { t , A ∈ Mn−r (R), B ∈ Mr,n−r (R)}.
B A
Montrer que Wr est un sous-espace vectoriel de Mn (R). En
préciser la dimension.
2. Partie B
Soit V un sous espace vectoriel de Mn (R) tel que:
∀M ∈ V, rg(M ) ≤ r.
On suppose de plus, dans cette partie, que la matrice
Ir 0
Jr = ∈ V.
0 0
0 B
(1) Soit A ∈ Mn−r (R), B ∈ Mr,n−r (R) telles que t ∈V.
B A
En introduisant la matrice
λIr B
Mλ = t , λ ∈ R.
B A
Montrer que A =t BB = 0.
(2) En déduire que B = 0.
(3) En déduire que dim(V ) ≤ nr.
3. Partie C : Dimension maximale - optimalité
Soit V un sous espace vectoriel de Mn (R) tel que:
∀M ∈ V, rg(M ) ≤ r.
(1) Montrer que l’inégalité dim(V ) ≤ nr subsiste si on ne fait plus
l’hypothèse indiquée au début de la partie précédente.
(2) Montrer que ce résultat est optimal : Indiquer un sous-espace
de Mn (R) de dimension nr ne contenant que des matrices de
rang au plus r.
DEVOIR À LA MAISON N ◦ 1: DIMENSION MAXIMALE D’UN SOUS-ESPACE DE Mn (R) FORMÉ DE MATR
4. Application
Soit n ≥ 2. Montrer que tout hyperplan de Mn (R) contient au
moins une matrice inversible.
