Devoir Libre no3Mathématiques, MP 933 &934
Une propriété des hyperplans de Mn(R
R
R)
Soit n∈Nun entier, n>2. On note E = Mn(R)la R-algèbre des matrices carrées d’ordre nà coefficients réels, et
E∗=L(E,R)le dual de E.
Si M∈E, on la notera M = (mij ). On note Eij les matrices élémentaires pour i, j ∈[[1 ; n]].
Si M∈E, on note T(M) sa trace. On définit ainsi une forme linéaire T∈E∗.
À chaque matrice U∈E, on associe :
– l’application TU: E →Rdéfinie par M7→ TU(M) = T(U ·M) ;
– l’ensemble HU={M∈E ; T(U ·M) = 0}.
L’objectif du problème est de montrer que chaque hyperplan de Epossède au moins une matrice inversible.
I Quelques résultats utiles pour la suite
I.1. Soient A = (aij )et B = (bij )des éléments de E. Montrer que T(A ·B) = T(B ·A) et que T(t
A·B) =
n
P
i=1
n
P
j=1
aij bij .
I.2. Soit Uune matrice de E.
a) Si Uest la matrice nulle, déterminer HU.
b) Dans le cas contraire, montrer que l’on peut trouver un couple d’entiers (i0, j0)tel que TU(Ei0,j0)6= 0. En déduire
dim HU.
I.3. Pour (i, j)∈[[1 ; n]]2, on note Tij = TEij .
a) On se fixe k, ℓ ∈[[1 ; n]]. Calculer Tij (Ekℓ)en utilisant la question I.1.
b) Qu’en déduit-on sur la famille (Tij )(i,j)∈[[1 ; n]]2?
I.4. Montrer que l’application ϕ: E −→ E∗,U7−→ ϕ(U) = TUest un isomorphisme d’espaces vectoriels.
I.5. On considère un hyperplan vectoriel Hde E.
a) Quelle est sa dimension ?
b) Soit Aune matrice non nulle, qui n’appartient pas à H. Montrer que E = H ⊕Vect(A).
c) Construire alors un élément ψ∈E∗tel que H = Ker ψ.
d) Prouver l’existence d’un élément U∈Etel que H = HU.
II Le résultat général
Pour tout r∈[[1 ; n]], on note Rr=
r
P
i=1
Eii.
II.1. On note P = (pij )la matrice dont les coefficients vérifient pi+1,i = 1 pour i= 1,...,n−1,p1,n = 1 et pij = 0 partout
ailleurs.
a) Montrer que Pest inversible.
b) Montrer que Pappartient à l’hyperplan HRrpour tout r∈[[1 ; n]].
II.2. En déduire que : Chaque hyperplan vectoriel de Epossède au moins une matrice inversible.
Une propriété des hyperplans de Mn(R)DM03.tex