Epreuve optionnelle de Mathématiques (Algèbre) : Durée : 4h
L'usage d'une calculatrice est autorisé pour cette épreuve.
Si, au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur, il le signale sur sa copie
et poursuit sa composition en expliquant les raisons des initiatives qu'il a été amené à prendre.
Soit

un espace vectoriel sur un corps

avec

.
On appelle projecteur de

tout endomorphisme

de

qui vérifie
On se propose d'étudier quelques propriétés des projecteurs de

.
Première partie :
On se donne un projecteur

de

et on se propose de démontrer quelques propriétés élémentaires de

.
1. Montrer que

.
2. Que peut-on dire de la restriction de

à

?
3. Montrer que pour tout sous-espace vectoriel

de

on a :
 = (A \cap \text{ Im } f) \oplus \text{ Ker } f)
.
4. Montrer qu'un sous-espace vectoriel de

est stable par

si et seulement si il est somme d'un sous-espace vectoriel du noyau de

et d'un sous-espace vectoriel de l'image de

.
Deuxième partie :
On recherche ici d'autres caractéristiques des projecteurs de

.
1. Soit

un endomorphisme de

. Montrer que

est un projecteur de

si et seulement si il existe deux sous-espaces vectoriels

et

de

tels que :
On dira alors que

est la projection sur

parallèlement à

.
2. Soit

un endomorphisme de

.

désigne l'application identique de

. Montrer que

est un projecteur de

si et seulement si

en est un. Comparer le noyau et l'image de

à ceux de

.
3. Soit

et

deux endomorphismes de

. Montrer que

et

sont deux projecteurs de même image si et seulement si

et

. Donner de même une condition nécessaire et suffisante pour que

et

soient deux projecteurs de même noyaux.
Troisième partie :
On se donne deux projecteurs

et

de

. On se propose d'étudier les propriétés de

.
1. Montrer que si

on a :
\oplus (\text{ Im } f \cap \text{ Ker }g) \oplus (\text{ Ker } f \cap \text{ Im } g) \oplus (\text{ Ker } f \cap \text{ Ker } g))
. Que peut-on dire alors du produit

?
2. Montrer que

si et seulement si il existe une décomposition de

en somme directe de quatre sous-espaces vectoriels

tels que

soit la projection sur

parallèlement à

et

la projection sur

parallèlement à

.
3. Montrer l'équivalence des trois propositions suivantes :
i) 
est aussi un projecteur de

.
ii) 
.
iii) 
.
Quels sont alors le noyau et l'image de

?
Quatrième partie :
On suppose dans cette partie que

est de dimension finie

.
A. Soit

un endomorphisme de

. Montrer que la trace de la matrice carrée d'ordre

associée à

est indépendante de la base utilisée. Cette trace dite alors trace de

est notée
)
. Quelle relation y-a-t-il entre la trace de

et le rang de

si

est un projecteur ?
B. On considère

projecteurs

de

et on note

leur somme :

.
1. Montrer que si

est aussi un projecteur alors l'image de

est la somme directe des images des

pour

allant de 1 à

.
2. Montrer que

est un projecteur si et seulement si on a

pour tout couple
)
tel que

,

et

.
C. On suppose que

et

sont deux endomorphismes de

de rang 1. Montrer que si

et

sont deux projecteurs tels que

alors

ou

.
Cinquième partie :
On revient au cas général où

n'est pas forcement de dimension finie.
1. Montrer que si

est un endomorphisme de

et

un projecteur de

, on a :
2. Montrer que si

est un projecteur de

et

un endomorphisme quelconque de

, on a :
)
.
3. Etant donné deux projecteurs

et

de

, montrer que

est aussi un projecteur de

si et seulement si :
 \subset \text{ Im } g \oplus (\text{ Ker } f \cap \text{ Ker } g))
.
Sixième partie :
On suppose dans cette partie que

est de dimension 3.

étant deux projecteurs de rang 1 de

. Donner les conditions sur les positions relatives des noyaux et des images de

et

qui sont nécessaires et suffisantes pour que

soit aussi un projecteur. Determiner dans ces conditions le noyau et l'image de

et

.