Caractérisation des symétries

[ Proposition ]
Soit \(s\in\mathfrak{L}\left(E\right)\). Si \(s\) est involutive, c’est-à-dire si \(\boxed{s\circ s=Id_E}\), alors \(s\) est la symétrie par rapport à \(E_1=\operatorname{Ker}\left(s-Id_E\right)\) et parallèlement à \(E_2=\operatorname{Ker}{\left(s+Id_E\right)}\)).
En savoir plus