Etude d'un endomorphisme involutif de E
Partie
Question
Soient \(E\) un espace vectoriel sur \(\mathbb K\), \(F_1\) et \(F_2\) deux sous-espaces vectoriels supplémentaires de \(E\). On définit l'application \(s\) de \(E\) dans \(E\) de la façon suivante :
Pour tout vecteur \(u\) de \(E\),
il existe un couple unique \((u_1,u_2)\) appartenant à \(F_1\times F_2\) tel que \(u=u_1+u_2\);
l'image de \(u\) par \(s\) est \(s(u)=u_1-u_2\).
Faire un dessin en prenant pour \(E\) l'espace vectoriel des vecteurs du plan et pour \(F_1\) et \(F_2\) deux droites vectorielles distinctes. De quelle transformation géométrique s'agit-il ?
Montrer que \(s\) est une application linéaire.
Déterminer \(s\circ s\), en déduire que \(s\) est bijective.