exo7 7797

Démontrer le théorème de Witt dans le cas particulier suivant :

Soit $E$ et $E'$ deux espaces symplectiques non-singuliers de dimension $4$. Soit $d\subset E$ et $d'\subset E'$ deux droites et $f$ une application linéaire bijective de $d$ sur $d'$. Montrer qu’il existe une isométrie de $E$ sur $E'$ qui prolonge $f$.