grandes-ecoles 2010 QIII.B.1

grandes-ecoles · France · centrale-maths2__mp Proof Proof That a Map Has a Specific Property
We denote by $O(E,q)$ the set of isometries of $(E,q)$ into itself.
Suppose that $E$ is an artinian space of dimension $2p$ and that $F$ is a subspace of $E$ of dimension $p$ such that $q_{/F} = 0$.
If $f \in O(E,q)$ with $f(F) = F$, show that $f \in O^+(E,q)$.
We denote by $O(E,q)$ the set of isometries of $(E,q)$ into itself.

Suppose that $E$ is an artinian space of dimension $2p$ and that $F$ is a subspace of $E$ of dimension $p$ such that $q_{/F} = 0$.

If $f \in O(E,q)$ with $f(F) = F$, show that $f \in O^+(E,q)$.