Witt 's theorem is a theorem on the properties of finite-dimensional orthogonal spaces over fields of arbitrary type. She argues that any isometry between two subspaces of a finite-dimensional orthogonal vector space can be extended to the whole space.
Formulation
Let be - non-degenerate finite-dimensional orthogonal vector space (space with non-degenerate symmetric or skew-symmetric bilinear form ), - its two isometric subspaces. Then any isometry can be continued to isometric matching isometry on a subspace .
Applications
From the theorem of Witt follows the so-called reduction theorem :
- Suppose non-degenerate quadratic form and shape equivalent to form over a field of characteristic not equal to 2. Then the form equivalent to form over this field.
Literature
- Conway J. Quadratic forms, given to us in sensations . - M .: MTSNMO, 2008. - 144 p. - 1000 copies - ISBN 978-5-94057-268-8 .
- A.I. Kostrikin , Yu.I. Manin Linear algebra and geometry. - St. Petersburg: Lan, 2008. - P. 304. - ISBN 978-5-8114-0612-8 .