In mathematics, the polarization identity is any one of a family of formulas that express the inner product of two vectors in terms of the norm of a normed vector space. Let denote the norm of vector x and the inner product of vectors x and y. Then the underlying theorem, attributed to Fréchet, von Neumann and Jordan, is stated as:
- In a normed space (V, ), if the parallelogram law holds, then there is an inner product on V such that for all .
The various forms given below are all related by the parallelogram law:
For vector spaces with real scalarsEdit
If V is a real vector space, then the inner product is defined by the polarization identity
For vector spaces with complex scalarsEdit
If V is a complex vector space the inner product is given by the polarization identity
where is the imaginary unit. Note that this defines an inner product which is anti-linear in its first argument and linear in its second argument. For the convention using the reversed definition, one needs to take the complex conjugate:
Other forms for real vector spacesEdit
The parallelogram law can be used to derive other forms:
Application to dot productsEdit
Relation to the law of cosinesEdit
The second form of the polarization identity can be written as
where θ is the angle between the vectors u and v.
The basic relation between the norm and the dot product is given by the equation
Forms (1) and (2) of the polarization identity now follow by solving these equations for u · v, while form (3) follows from subtracting these two equations. (Adding these two equations together gives the parallelogram law.)
As noted for the dot product case above, for real vectors u and v, an angle θ can be introduced using:
which is acceptable due to the Cauchy–Schwarz inequality:
This inequality ensures that the magnitude of the above defined cosine ≤ 1. The choice of the cosine function ensures that when (orthogonal vectors), the angle θ = π/2 or −π/2, where the sign is determined by an orientation on the vector space.
In this case, the identities become
Conversely, if a norm on a vector space satisfies the parallelogram law, then any one of the above identities can be used to define a compatible inner product. In functional analysis, introduction of an inner product norm like this often is used to make a Banach space into a Hilbert space.
Symmetric bilinear formsEdit
The so-called symmetrization map generalizes the latter formula, replacing Q by a homogeneous polynomial of degree k defined by Q(v) = B(v, …, v), where B is a symmetric k-linear map.
The formulas above even apply in the case where the field of scalars has characteristic two, though the left-hand sides are all zero in this case. Consequently, in characteristic two there is no formula for a symmetric bilinear form in terms of a quadratic form, and they are in fact distinct notions, a fact which has important consequences in L-theory; for brevity, in this context "symmetric bilinear forms" are often referred to as "symmetric forms".
These formulas also apply to bilinear forms on modules over a commutative ring, though again one can only solve for B(u, v) if 2 is invertible in the ring, and otherwise these are distinct notions. For example, over the integers, one distinguishes integral quadratic forms from integral symmetric forms, which are a narrower notion.
More generally, in the presence of a ring involution or where 2 is not invertible, one distinguishes ε-quadratic forms and ε-symmetric forms; a symmetric form defines a quadratic form, and the polarization identity (without a factor of 2) from a quadratic form to a symmetric form is called the "symmetrization map", and is not in general an isomorphism. This has historically been a subtle distinction: over the integers it was not until the 1950s that relation between "twos out" (integral quadratic form) and "twos in" (integral symmetric form) was understood – see discussion at integral quadratic form; and in the algebraization of surgery theory, Mishchenko originally used symmetric L-groups, rather than the correct quadratic L-groups (as in Wall and Ranicki) – see discussion at L-theory.
In linear algebra over the complex numbers, it is customary to use a sesquilinear inner product, with the property that is the complex conjugate of . In this case the standard polarization identities only give the real part of the inner product:
Using (holds with the convention that the inner product is linear in the second variable), the imaginary part of the inner product can be retrieved as follows:
Homogeneous polynomials of higher degreeEdit
Finally, in any of these contexts these identities may be extended to homogeneous polynomials (that is, algebraic forms) of arbitrary degree, where it is known as the polarization formula, and is reviewed in greater detail in the article on the polarization of an algebraic form.
The polarization identity can be stated in the following way:
Notes and referencesEdit
- Philippe Blanchard, Erwin Brüning (2003). "Proposition 14.1.2 (Fréchet–von Neumann–Jordan)". Mathematical methods in physics: distributions, Hilbert space operators, and variational methods. Birkhäuser. p. 192. ISBN 0817642285.
- Gerald Teschl (2009). "Theorem 0.19 (Jordan–von Neumann)". Mathematical methods in quantum mechanics: with applications to Schrödinger operators. American Mathematical Society Bookstore. p. 19. ISBN 0-8218-4660-4.
- Francis Begnaud Hildebrand (1992). "Equation 66, the natural definition". Methods of applied mathematics (Reprint of Prentice-Hall 1965 2nd ed.). Courier Dover Publications. p. 24. ISBN 0-486-67002-3.