bonjour .
soit F et G deux sous espaces vectoriels supplementaires de E.
on appelle symetrie par rapport a F parallelement à G l'application s de E dans E qui à x=x1+x2(x1 appartenant à F et x2 appartenant à G ) associe x1-x2.
pour tout x appartenant à E on à x=x1+x2=s(x1-x2)
et voici ma demonstration pour prouver que x=x1+x2=s(x1-x2):
comme F est invariant et que tout vecteur x2 de G est transformé en -x2 et que s(x)=x1-x2 alors on a x=x1+x2=s(x1-x2) et s est surjectif
ma question est : ais je raison dans ma demonstration?
merci par avance
-----