Isotropic Quadratic Form

Get Isotropic Quadratic Form essential facts below. View Videos or join the Isotropic Quadratic Form discussion. Add Isotropic Quadratic Form to your PopFlock.com topic list for future reference or share this resource on social media.
## Hyperbolic plane

## Split quadratic space

## Relation with classification of quadratic forms

## Field theory

## See also

## References

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Isotropic Quadratic Form

In mathematics, a quadratic form over a field *F* is said to be **isotropic** if there is a non-zero vector on which the form evaluates to zero. Otherwise the quadratic form is **anisotropic**. More precisely, if *q* is a quadratic form on a vector space *V* over *F*, then a non-zero vector *v* in *V* is said to be **isotropic** if . A quadratic form is isotropic if and only if there exists a non-zero isotropic vector (or null vector) for that quadratic form.

Suppose that is quadratic space and *W* is a subspace. Then *W* is called an **isotropic subspace** of *V* if *some* vector in it is isotropic, a **totally isotropic subspace** if *all* vectors in it are isotropic, and an **anisotropic subspace** if it does not contain *any* (non-zero) isotropic vectors. The **isotropy index** of a quadratic space is the maximum of the dimensions of the totally isotropic subspaces.^{[1]}

A quadratic form *q* on a finite-dimensional real vector space *V* is anisotropic if and only if *q* is a definite form:

- either
*q*is*positive definite*, i.e. for all non-zero*v*in*V*; - or
*q*is*negative definite*, i.e. for all non-zero*v*in*V*.

- either

More generally, if the quadratic form is non-degenerate and has the signature , then its isotropy index is the minimum of *a* and *b*. An important example of an isotropic form over the reals occurs in pseudo-Euclidean space.

Let *F* be a field of characteristic not 2 and . If we consider the general element of *V*, then the quadratic forms and are equivalent since there is a linear transformation on *V* that makes *q* look like *r*, and vice versa. Evidently, and are isotropic. This example is called the **hyperbolic plane** in the theory of quadratic forms. A common instance has *F* = real numbers in which case and are hyperbolas. In particular, is the unit hyperbola. The notation has been used by Milnor and Husemoller^{[1]} for the hyperbolic plane as the signs of the terms of the bivariate polynomial *r* are exhibited.

The affine hyperbolic plane was described by Emil Artin as a quadratic space with basis satisfying , where the products represent the quadratic form.^{[2]}

Through the polarization identity the quadratic form is related to a symmetric bilinear form .

Two vectors *u* and *v* are orthogonal when . In the case of the hyperbolic plane, such *u* and *v* are hyperbolic-orthogonal.

A space with quadratic form is **split** (or **metabolic**) if there is a subspace which is equal to its own orthogonal complement; equivalently, the index of isotropy is equal to half the dimension.^{[1]} The hyperbolic plane is an example, and over a field of characteristic not equal to 2, every split space is a direct sum of hyperbolic planes.^{[1]}

From the point of view of classification of quadratic forms, anisotropic spaces are the basic building blocks for quadratic spaces of arbitrary dimensions. For a general field *F*, classification of anisotropic quadratic forms is a nontrivial problem. By contrast, the isotropic forms are usually much easier to handle. By Witt's decomposition theorem, every inner product space over a field is an orthogonal direct sum of a split space and an anisotropic space.^{[1]}

- If
*F*is an algebraically closed field, for example, the field of complex numbers, and is a quadratic space of dimension at least two, then it is isotropic. - If
*F*is a finite field and is a quadratic space of dimension at least three, then it is isotropic (this is a consequence of the Chevalley-Warning theorem). - If
*F*is the field*Q*_{p}of*p*-adic numbers and is a quadratic space of dimension at least five, then it is isotropic.

- ^
^{a}^{b}^{c}^{d}^{e}Milnor, J.; Husemoller, D. (1973).*Symmetric Bilinear Forms*. Ergebnisse der Mathematik und ihrer Grenzgebiete.**73**. Springer-Verlag. ISBN 3-540-06009-X. Zbl 0292.10016. **^**Emil Artin (1957)*Geometric Algebra*, page 119 via Internet Archive

- Pete L. Clark, Quadratic forms chapter I: Witts theory from University of Miami in Coral Gables, Florida.
- Tsit Yuen Lam (1973)
*Algebraic Theory of Quadratic Forms*, §1.3 Hyperbolic plane and hyperbolic spaces, W. A. Benjamin. - Tsit Yuen Lam (2005)
*Introduction to Quadratic Forms over Fields*, American Mathematical Society ISBN 0-8218-1095-2 . - O'Meara, O.T (1963).
*Introduction to Quadratic Forms*. Springer-Verlag. p. 94 §42D Isotropy. ISBN 3-540-66564-1. - Serre, Jean-Pierre (2000) [1973].
*A Course in Arithmetic*. Graduate Texts in Mathematics: Classics in mathematics.**7**(reprint of 3rd ed.). Springer-Verlag. ISBN 0-387-90040-3. Zbl 1034.11003.

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Popular Products

Music Scenes

Popular Artists