MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $(V,b)$ a symmetric bilinear space. An old theorem of Witt says that if $(V,b)$ is regular, then given a subspace $W$ of $V$ and an isometry $\sigma: W \to V$, there exists an isometry $\Sigma: V \to V$ which extends $\sigma$.

Does this necessarily fail if $(V,b)$ is singular - e.g. if the radical $V^\perp$ is one-dimensional?

share|cite|improve this question
I'm not sure I've understood you correctly, but it seems to me that over $\mathbb{R}$ the result fails if and only if the signature of the bilinear form on $V/V^{\perp}$ is indefinite. Take an element of $V^{\perp}$ and send it to a null element of $V$ not in $V^{\perp}$ - this of course cannot extend. Over $\mathbb{C}$ there are always null vectors... this may not be what you mean. – Paul Reynolds Jul 2 '12 at 15:43

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.