“Polarization identity”的意思、由来-开放百科全书

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:^[1]^[2]

Formula

The polarization identity can be generalized to various other contexts in abstract algebra, linear algebra, and functional analysis.

For vector spaces with real scalars

If V is a real vector space, then the inner product is defined by the polarization identity

For vector spaces with complex scalars

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 spaces

Application to dot products

Relation to the law of cosines

This is essentially a vector form of the law of cosines for the triangle formed by the vectors u, v, and u – v. In particular,

Derivation

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.)

Generalizations

Norms

In linear algebra, the polarization identity applies to any norm on a vector space defined in terms of an inner product by the equation

As noted for the dot product case above, for real vectors u and v, an angle θ can be introduced using:^[3]

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.

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 forms

The polarization identities are not restricted to inner products. If B is any symmetric bilinear form on a vector space, and Q is the quadratic form defined by

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.

Complex numbers

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 degree

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.

Notes and references

1. ^{{cite book |author= Philippe Blanchard, Erwin Brüning |chapter=Proposition 14.1.2 (Fréchet–von Neumann–Jordan)|url=https://books.google.com/books?id=1g2rikccHcgC&pg=PA192 |page=192 |title=Mathematical methods in physics: distributions, Hilbert space operators, and variational methods |year=2003 |publisher=Birkhäuser |isbn= 0817642285}}
2. ^{{cite book |title=Mathematical methods in quantum mechanics: with applications to Schrödinger operators |author=Gerald Teschl |chapter=Theorem 0.19 (Jordan–von Neumann) |page=19 |url=http://www.mat.univie.ac.at/~gerald/ftp/book-schroe/ |isbn=0-8218-4660-4 |year=2009 |publisher=American Mathematical Society Bookstore}}
3. ^{{cite book |title=Methods of applied mathematics |url=https://books.google.com/books?id=17EZkWPz_eQC&pg=PA24 |page=24 |chapter=Equation 66, the natural definition |author=Francis Begnaud Hildebrand |isbn=0-486-67002-3 |year=1992 |publisher=Courier Dover Publications |edition=Reprint of Prentice-Hall 1965 2nd }}