Witt's theorem


Witt's theorem

[′wits ‚thir·əm] (mathematics) If F and F ′ are subspaces of a vector space E with a nondegenerate, symmetric form g, then an isometry of g from F onto F ′ can be extended to an isometry of g from E onto itself.