- Polarization identity
mathematics, and more specifically in the theory of normed spaces and pre-Hilbert spaces in functional analysis, a vector spaceover the real numbers (the formula for the complex case is given in the article on Banach spaces) whose norm is defined in terms of its inner productsatisfies as a necessary conditionthe polarization identity::
This identity is analogous to the formula for the square of a binomial:
If "y" in equation (1) is replaced by "−y" the result is:which corresponds to the
cosine lawand is analogous to equation (2) with "y" replaced by "−y":
Adding equations (1) and (3) yields
which corresponds to the
parallelogram lawand is analogous to the sum of equations (2) and (4):
Subtracting (1) and (3) on the other hand gives
Let the norm of a vector be defined as the square root of the inner product of a vector with itself, like so
Now find the inner product of "x" + "y" with itself:
is the result of distributing the first factor with respect to the sum of the second factor, which is possible due to linearity of the inner product. Distributing the second factors with respect to the sums of the first factors on the right side of equation (6) yields
and since the inner product is commutative, eq. (7) simplifies to
Applying the definition of norm in equation (5) to equation (8), we obtain equation (1): the polarization identity.
The polarization identity defined above applies to
quadratic forms and the associated symmetric bilinear forms over any ring where 2 is invertible (such as or any field of characteristic not equal to two,but not or ), and shows that over such a ring, a quadratic form is equivalent to a bilinear form.
Where 2 is not invertible (such as over the integers), there is a difference, which is important for instance in
The identities may be extended more generally 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.
Wikimedia Foundation. 2010.