1
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\).