MPSI B 29 juin 2019

Énoncé Corrigé
Dans cet exercice, E est un R-espace vectoriel de dimension nie n et A est un hyperplan 1. a. D'après les résultats de cours, dim(L(E) = (dim(E))2 = n2 . En dimension nie,
de L(E). Les éléments de A sont donc des endomorphismes de E . la dimension d'un hyperplan est celle de l'espace qui le contient mois 1 donc
On suppose de plus que A est stable pour la composition des endomorphismes : dim A = n2 − 1.
L'hypothèse IdE ∈/ A entraîne que V ect(IdE ) ∩ A = {0E }. La relation entre les
∀(a, a0 ) ∈ A2 , a ◦ a0 ∈ A dimensions entraîne que les espaces sont supplémentaires. On peut donc dénir la
projection de L(E) sur V ect(IdE ) parallèlement à A. Il faut bien garder à l'esprit
On se propose de démontrer par l'absurde que IdE ∈ A. On suppose donc que IdE ∈/ A. que ce sont des endomorphismes de E (et non des vecteurs de E ) que l'on projette
1. a. Quelle est la dimension de A ? Montrer que A et Vect(IdE ) sont supplémentaires avec p.
dans L(E). b. Les espaces étant supplémentaires, tout élément de L(E) se décompose de ma-
b. Montrer que, pour tout endomorphisme f ∈ L(E), il existe un unique nombre nière unique comme la somme d'un élément de Vect(IdE ) et d'un élément de A.
réel (noté p(f )) tel que f − p(f ) IdE ∈ A. L'élement de Vect(IdE ) s'écrit de manière unique comme p(f ) IdE . On en tire
c. La question précédente dénit une application p de L(E) dans R. Montrer qu'elle l'existence et l'unicité du réel p(f ) tel que f − p(f ) IdE ∈ A (composante dans A
est linéaire et qu'elle vérie de la décomposition de f .
c. Soit f et g dans L(E) avec des composantes dans A respectivement a et b. Soit
∀(f, g) ∈ L(E)2 , p(f ◦ g) = p(f )p(g) λ ∈ R. 
λf = λp(f ) IdE +λa
∈A

2. Montrer que, si f ∈ L(E) et f ∈ A, alors f ∈ A.
2
) 
 | {z }
f = p(f ) IdE +a 
∈R
⇒
3. Soit (e1 , e2 , · · · , en ) une base de E . Pour tout couple (i, j) ∈ J1, nK, on dénit fi,j g = p(g) IdE +b  f + g = p(f ) + p(g) IdE +a + b
comme étant l'unique endomorphisme de E vériant


 | {z } ∈A
∈R

si k 6= j On en déduit la linéarité. La fonction p est une forme linéaire.

(
0
∀k ∈ J1, nK, fi,j (ek ) =
ei si k = j De plus, comme A est un sous-espace vectoriel stable par composition,
f ◦ g = (p(f ) IdE +a) ◦ (p(g) IdE +b) = p(f )p(g) IdE +p(f )b + p(g)a + a ◦ b
a. Quel est l'endomorphisme f1,1 + f2,2 + · · · + fn,n ? | {z } | {z }
∈R ∈A
b. Pour i, j , k, l dans J1, nK, calculer fi,j ◦ fk,l .
c. Soit i et j dans J1, nK. Montrer que donc p(f ◦ g) = p(f )p(g).
2. Soit f ∈ L(E) avec f 2 ∈ A. Alors
i 6= j ⇒ fi,j ∈ A
0 = p(f 2 ) = (p(f ))2 ⇒ p(f ) = 0 ⇒ f ∈ A
d. En déduire que fi,i ∈ A pour tous les i entre 1 et n. Conclure.
3. À cause du théorème de prolongement linéaire, un endomorphisme est complètement
déterminé par les images des vecteurs d'une base.
a. Soit ϕ l'endomorphisme somme des fi,i . Pour tout k ∈ J1, nK,
1 si i = k
n
(
fi,i (ek ) = 1 car fi,i (ek ) =
X
ϕ(ek ) =
i=1
0 si i 6= k

Cette création est mise à disposition selon le Contrat 1 Rémy Nicolai Aalglin26
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France
disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/
MPSI B 29 juin 2019

On en déduit f1,1 + · · · + fn,n = IdE car les deux endomorphismes coîncident sur
les vecteurs d'une base.
b. Examinons l'image de ez .
0( si z 6= l)



0 si k 6= j
(
fi,j ◦ fk,l (ez ) =
 fi,j (ek )( si z = l) =
ei si k = j


En conclusion :
si k 6= j
(
0L(E)
fi,j ◦ fk,l =
fi,l si k = j
c. Pour i 6= j , fi,j
2
= 0L(E) ∈ A. On en déduit (question 2.) que fi,j ∈ A.
d. Pour n'importe quel i, on peut écrire fi,i = fi,j ◦fj,i avec un j quelconque diérent
de i. Comme fi,j et fj,i sont dans A, la stabilité de A implique que fi,i ∈ A. Ainsi,
tous les fi,j sont dans A. La somme de tous les fi,i qui est IdE (question 3.a) en
contradiction avec l'hypothèse.
On en conclut qu'un hyperplan de L(E) stable par composition doit contenir IdE .

Cette création est mise à disposition selon le Contrat 2 Rémy Nicolai Aalglin26
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France
disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/