Espaces euclidiens

Dans {E} euclidien de dimension {n}, soit {d\in\{1,\ldots,n\}}.
Si {x\in E^d} est liée, on pose {m(x) =0}.
Sinon, soit {\mathcal{B}} une base orthonormale de {\text{Vect}(x)}.
On pose alors {m(x) =\left|\det_{\mathcal{B}}(x)\right|}.
Soit {X_{d}} l’ensemble des endomorphismes de E tels que :
{\forall x\in E^{d},\; m(f(x_{1}),\ldots,f(x_{d})) = m(x)}L’objectif de l’exercice est de prouver que {X_{d}=O(E)}