Soit un -espace vectoriel de dimension finie non nulle. Soient et deux projecteurs distincts et non nuls de tels qu’il existe deux complexes et tels que :
.
1
Montrer que si et on a : . En déduire que puis que puis que .
2
Montrer que si et , on a . Que peut-on en déduire ?
3
Montrer que si et sont deux projecteurs qui ne commutent pas et vérifient de plus alors
est élément de . Caractériser alors chacun de ces cas.