# Isometries on subspaces

Let $(V,Q)$ be a nondegenerate quadratic space and let $W$ be a subspace of $V$. We then have $V = W \oplus W^\perp$. If an isometry of $W$ - for the restriction of $Q$ to $W$ - and an isometry of $W^\perp$ - for the restriction of $Q$ to $W^\perp$ - are given, under which conditions can we conclude that these two isometries are in fact the restrictions of one and the same isometry of $(V,Q)$?

-
I'm stupid... We don't need to have $V = W \oplus W^\perp$! –  Evariste Jun 8 '11 at 9:41

Let $T:W \rightarrow W$ and $T':W^{\perp} \rightarrow W^{\perp}$ be isometries of $(W,Q|_{W}), (W^{\perp},Q|_{W^{\perp}}),$ respectively, and consider $T\oplus T':V \rightarrow V$. We claim $T\oplus T'$ is an isometry of $(V,Q).$
Let $v\in V.$ Then $v = w + w_0$ for unique vectors $w\in W$ and $w_0 \in W^{\perp}.$ Let $B_Q$ be the bilinear form associated to $Q.$ Then
Hence, $T\oplus T'$ is an isometry of $(V,Q).$