Witt's theorem


Also found in: Wikipedia.

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.