Hyperplan dans l’espace des matrices carrées
Soit n un entier, n ≥ 2 ; on note E = M n ( ℝ ) l’espace des matrices carrées d’ordre n à coefficients réels et
E ∗ = L(E , ℝ ) le ℝ -espace vectoriel des formes linéaires sur E .
Les éléments de E sont notés M = (mi , j ) , la matrice élémentaire Ei , j est la matrice de E dont les coefficients
sont tous nuls à l’exception de celui qui se trouve sur la i ème ligne et sur la j ème colonne, qui vaut 1.
Lorsque A et B sont des éléments de E , on note AB
. leur produit.
Si M ∈ E , on note Vect(M ) le sous-espace vectoriel de E engendré par M .
L’objectif du problème est de montrer que chaque hyperplan vectoriel de E possède au moins une matrice
inversible.
n
Si M = (mi , j ) ∈ E , on note T (M ) le réel ∑m
k =1
k ,k .
On définit ainsi une application T de E vers ℝ : M ֏ T (M ) .
A chaque matrice U de E , on associe l’application TU de E vers ℝ : M ֏ TU (M ) = T (U .M ) .
1. Montrer que T est une forme linaire sur E puis qu’il en est de même de TU pour tout U de E .
On note HU le noyau de TU .
2. Soit A = (ai , j ) et B = (bi , j ) des éléments de E .
n n
2.a Montrer que T (AB ) = ∑∑a j ,ibi , j .
i =1 j =1
2.b En déduire les identités :
n n
T ( tAB ) = ∑∑ai , jbi , j et T (BA) = T (AB ) .
i =1 j =1
3. Soit U dans E .
3.a Si U est la matrice nulle, déterminer kerTU .
3.b Si U n’est pas la matrice nulle, montrer que l’on peut trouver un couple d’entiers (i0 , j0 ) tel que
TU (Ei0 , j0 ) ≠ 0 . Décrire alors ImTU puis déterminer la dimension de HU .
2
4. Pour (i , j ) ∈ {1, 2,…, n } , on note Ti , j = TE j ,i .
4.a Les indices k et ℓ étant fixés, calculer Ti , j (E k ,ℓ ) en utilisant la première relation du 2.b.
4.b En déduire que les n 2 éléments Ti , j de E ∗ permettent de définir une base de E ∗ .
4.c Montrer que l’application ϕ de E vers E ∗ : U ֏ ϕ (U ) = TU est un isomorphisme d’espaces vectoriels.
5. On considère un hyperplan vectoriel H de E .
5.a Soit A une matrice de E qui n’appartient pas à H , montrer que les sous-espaces vectoriels H et
Vect(A) sont supplémentaires dans E .
5.b Construire alors un élément ℓ de E tel que H = ker ℓ .
5.c Prouver l’existence d’un élément U de E , non nul, tel que H = HU .
0 0 ⋯ 0 1
r 1 0 ⋱ ⋮ 0
6. Pour 1 ≤ r ≤ n , on note J r = ∑ Ei ,i et A la matrice définie par A = 0 ⋱ ⋱ 0 ⋮ .
i =1 ⋮ ⋱ ⋱ 0
⋮
0 ⋯ 0 1 0
6.a Prouver que A est inversible.
6.b Prouver que A appartient à l’hyperplan H J r .
7. Conclure que chaque hyperplan vectoriel H de E possède au moins une matrice inversible.
Indication : lorsque H = HU , avec U de rang r , on rappelle l’existence de matrices P ,Q inversibles
telles que PUQ = J r .
