| Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
|
|||||
Quadratic forms in one, two, and three variables are given by:
Let V be a vector space V over a field F. For now we assume that F has characteristic different than 2. This is true, in particular, for the real and complex number fields which have characteristic 0. The case char(F) = 2 is somewhat exceptional, and will be treated separately.
A map Q : V → F is called a quadratic form on a V if there exists a symmetric bilinear form B : V × V → F such that
B is called the associated bilinear form. Note that for any vectors u,v ∈ V
so we can recover the bilinear form B from Q:
This is an example of polarization of an algebraic form . There is then a 1-1 correspondence between quadratic forms on V and symmetric bilinear forms on V. Given one we can uniquely define the other.
If V has dimension n we write the bilinear form B as a symmetric matrix B relative to some basis {ei} for V. The components of B are given by . The quadratic form Q is then given by
where ui are the components of u in this basis. Note that Q(u) is a homogeneous polynomial of degree two in the coordinates of u and so agrees with our original definition.
Some other properties of quadratic forms:
The theory of quadratic forms in characteristic two has quite a different flavor, essentially because division by 2 is not possible. It is no longer true that every quadratic form is of the form Q(u) = B(u,u) for a symmetric bilinear form B. Moreover, even if B exists it is not unique: since alternating forms are also symmetric in characteristic two, one can add any alternating form to B and get the same quadratic form.
A more general definition of a quadratic form which works for any characteristic is as follows. A quadractic form on a vector space V over a field F is as a map Q : V → F such that
One can generalize the notion of a quadratic form to moduleAlgebra In abstract algebra, a module is a generalization of a vector space. In a vector space the set of scalars forms a field whereas in a module the scalars just form a ring. Much of the theory of modules consists of recovering desirable properties ofs over a commutative ringIn ring theory, a branch of abstract algebra, a commutative ring is a ring in which the multiplication operation obeys the commutative law. This means that if a and b are any elements of the ring, and if the multiplication operation is written as then a '. Integral quadratic forms are important in number theory and topology.
Quadratic forms