grandes-ecoles 2010 QIII.B.2

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.
Let $F$ be a subspace of $E$ such that $\bar{F} = E$ (where $\bar{F}$ is a non-singular completion of $F$). Show that if $f \in O(E,q)$ with $f_{/F} = \operatorname{Id}_F$ (where $\operatorname{Id}_F$ is the identity application from $F$ to $F$), then $f \in O^+(E,q)$.
We denote by $O(E,q)$ the set of isometries of $(E,q)$ into itself.

Let $F$ be a subspace of $E$ such that $\bar{F} = E$ (where $\bar{F}$ is a non-singular completion of $F$). Show that if $f \in O(E,q)$ with $f_{/F} = \operatorname{Id}_F$ (where $\operatorname{Id}_F$ is the identity application from $F$ to $F$), then $f \in O^+(E,q)$.