Quadratic Form

Quadratic forms in one, two, and three variables are given by:

:

F(x) = ax^2

F(x,y) = ax^2 + by^2 + cxy

F(x,y,z) = ax^2 + by^2 + cz^2 + dxy + exz + fyz

Note that general Quadratic Function s and Quadratic Equation s are not examples of quadratic forms, as they are not always Homogeneous .

Any non-zero n-dimensional quadratic form defines an (n-2)-dimensional Quadric in Projective Space . In this way one may visualize 3-dimensional quadratic forms as Conic Sections .

DEFINITIONS

Let ''V'' be a Module over a Commutative Ring ''R'';
often ''R'' is a Field , such as the Real Number s, in which case ''V'' is a Vector Space .

A map ''Q'' : ''V'' → ''R'' is called a quadratic form on ''V'' if

''Q''(''av'') = ''a''² ''Q''(''v'') for all $a \in R$ and $v \in V$ , and

''B''(''u'',''v'') = ''Q''(''u''+''v'') − ''Q''(''u'') − ''Q''(''v'') is a Bilinear Form on ''V''.

Here ''B'' is called the associated bilinear form; it is a Symmetric Bilinear Form . Although this is a fairly general definition, it is common to assume that the ring ''R'' is a field, and that its Characteristic is not 2.

Two elements ''u'' and ''v'' of ''V'' are called Orthogonal if ''B''(''u'', ''v'')=0.

The kernel of the bilinear form ''B'' consists of the elements that are orthogonal to all elements of ''V'', and the kernel of the quadratic form ''Q'' consists of all elements ''u'' of the kernel of ''B'' with ''Q''(''u'')=0.
If 2 is invertible then ''Q'' and its associated bilinear form ''B'' have the same kernel.

The bilinear form ''B'' is called non-singular if its kernel is 0,
and the quadratic form ''Q'' is called non-singular if its kernel is 0.

The Orthogonal Group of a non-singular quadratic form ''Q'' is the group of automorphisms of ''V'' that preserve the quadratic form ''Q''.

A quadratic form ''Q'' is called '' Isotropic '' when there is a non-zero ''v'' in ''V'' such that

Q(v) = 0

. Otherwise it is called '' Anisotropic ''. A vector or a subspace of a quadratic space may also be referred to as ''isotropic''. If

Q(V) = 0

then

Q

is called Totally Singular .

PROPERTIES

Some other properties of quadratic forms:

''Q'' obeys the Parallelogram Law :

Q(u+v) + Q(u-v) = 2Q(u) + 2Q(v)

The vectors ''u'' and ''v'' are orthogonal with respect to ''B'' if and only if

Q(u+v) = Q(u) + Q(v)

SYMMETRIC BILINEAR FORMS

When the Characteristic of the underlying Field is not 2, a quadratic form is equivalent to a Symmetric Bilinear Form s.

A quadratic form always yields a symmetric bilinear form (by the Polarization Identity ), but inverting this requires dividing by 2.

Note that for any vector ''u'' ∈ ''V''
:2''Q''(''u'') = ''B''(''u'',''u'')
so if 2 is invertible in ''R'' (when ''R'' is a field this is the same as having characteristic not 2), then we can recover the quadratic form from the symmetric bilinear form ''B'' by

Q

When 2 is invertible this gives a 1-1 correspondence between quadratic forms on ''V'' and symmetric bilinear forms on ''V''. If ''B'' is any symmetric bilinear form then ''B''(''u'',''u'') is always a quadratic form. So when 2 is invertible, this can be used as the definition of a quadratic form. But if 2 is not invertible, symmetric bilinear forms and quadratic forms are different: some quadratic forms cannot be written in the form ''B''(''u'',''u'').

Let us describe this equivalence in the 2 dimensional case. Any 2 dimensional quadratic form may be written as

:

F(x,y) = ax^2 + by^2 + cxy

.

Let us write x = (''x'',''y'') for any vector in the vector space. The quadratic form ''F'' can be expressed in terms of matrices if we let ''M'' be the 2×2 matrix:

:

M=
  \begin{bmatrix}
    a & c/2  \
    c/2 & b
  \end{bmatrix}.

Then Matrix Multiplication gives us the following equality:

: ''F''(x)=x^T·''M''·x

Where the superscript x^T denotes the Transpose Of A Matrix . Notice we have used that the characteristic is not 2, since we divided by 2 to define ''M''. So we see the correspondence between 2 dimensional quadratic forms ''F'' and 2×2 Symmetric Matrices ''M'', which correspond to symmetric bilinear forms.

This observation generalises quickly to forms in ''n'' variables and ''n''×''n'' symmetric matrices. For example, in the case of Real -valued quadratic forms, the characteristic of the real numbers is 0, so real quadratic forms and real Symmetric Bilinear Form s are the same objects, from different points of view.

If ''V'' is free of Rank ''n'' we write the bilinear form ''B'' as a Symmetric Matrix B relative to some Basis {''e''_''i''} for ''V''. The components of B are given by

B_{ij} = B(e_i,e_j)

. If 2 is invertible the quadratic form ''Q'' is then given by
:

2 Q(u) = \mathbf{u}^T \mathbf{Bu} = \sum_{i,j=1}^{n}B_{ij}u^i u^j

where ''u''^''i'' are the components of ''u'' in this basis.

INTEGRAL QUADRATIC FORM

Quadratic forms over the ring of integers are called ''integral quadratic forms'' or '''integral Lattice s'''. They are important in Number Theory and Topology .

In fact there has been, historically speaking, some controversy over whether the notion of integral quadratic form should be presented with ''twos in'' (i.e., based on integral symmetric matrices) or ''twos out''. In the notation above, therefore, the controversy is whether the term ''integral'' should imply ''a'',''b'', and ''c'' are Integer s, or whether it should imply ''a'', ''b'', and ''c/2'' are integers.

Several points of view mean that ''twos out'' has been adopted as the standard convention. Those include: (i) better understanding of the 2-adic theory of quadratic forms, the 'local' source of the difficulty; (ii) the Lattice point of view, which was generally adopted by the experts in the arithmetic of quadratic forms during the 1950s; (iii) the actual needs for integral quadratic form theory in Topology for Intersection Theory ; and (iv) the Lie Group and Algebraic Group aspects.

A quadratic form representing all positive integers is sometimes called ''universal''. Lagrange's Four-square Theorem gives a specific example of such a form. Recently, the 15 And 290 Theorems have completely characterized universal integral quadratic forms: if all coefficients are integers, then it represents all positive integers if and only if it represents all integers up through 290; if it has an integral matrix, it represents all positive integers if and only if it represents all integers up through 15.

REAL QUADRATIC FORMS

Assume

Q

is a quadratic form defined on a Real vector space.

It is said to be '' Positive Definite '' (resp. ''negative definite'') if $Q(v)>0$ (resp. $Q(v)<0$ ) for every vector $v$

If we loosen the strict inequality to ≥ or ≤, the form $Q$ is said to be '' Semidefinite ''.

If $Q(v)<0$ for some $v$ and $Q(v)>0$ for some other $v$ , $Q$ is said to be '' Indefinite ''.

Let

A

be the real symmetric matrix associated with

Q

as described above, so for any column vector

v

it holds that

:

Q(v)=v^T Av.

Then,

Q

is positive (semi)definite, negative (semi)definite, indefinite, if and only if the matrix

A

has the same properties (see Positive-definite Matrix ). Ultimately, these properties can be characterized in terms of the Eigenvalue s of

A.

	APPAREL
	BABY
	BEAUTY
	BOOKS
	CAR TOYS
	CELL PHONES
	DVD'S
	ELECTRONICS
	GOURMET FOOD
	GROCERIES
	HEALTH & PERSONAL
	HOME & GARDEN
	JEWELRY
	MUSIC
	MUSIC INSTRUMENTS
	OFFICE PRODUCTS
	SOFTWARE
	SPORTING GOODS
	TOOLS & HARDWARE
	TOYS
	VIDEO GAMES
	SHOPPING HOME

	MORE SHOPPING...

Information About

Quadratic Form