In linear algebra, 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. If a norm arises from an inner product then the polarization identity can be used to express this inner product entirely in terms of the norm. The polarization identity shows that a norm can arise from at most one inner product; however, there exist norms that do not arise from any inner product. The norm associated with any inner product space satisfies the parallelogram law: ‖ x + y ‖ 2 + ‖ x − y ‖ 2 = 2 ‖ x ‖ 2 + 2 ‖ y ‖ 2 . {\displaystyle \|x+y\|^{2}+\|x-y\|^{2}=2\|x\|^{2}+2\|y\|^{2}.} In fact, as observed by John von Neumann, the parallelogram law characterizes those norms that arise from inner products. Given a normed space ( H , ‖ ⋅ ‖ ) {\displaystyle (H,\|\cdot \|)} , the parallelogram law holds for ‖ ⋅ ‖ {\displaystyle \|\cdot \|} if and only if there exists an inner product ⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } on H {\displaystyle H} such that ‖ x ‖ 2 = ⟨ x , x ⟩ {\displaystyle \|x\|^{2}=\langle x,\ x\rangle } for all x ∈ H , {\displaystyle x\in H,} in which case this inner product is uniquely determined by the norm via the polarization identity.
Polarization identities Any inner product on a vector space induces a norm by the equation
‖ x ‖ = ⟨ x , x ⟩ . {\displaystyle \|x\|={\sqrt {\langle x,x\rangle }}.}
The polarization identities reverse this relationship, recovering the inner product from the norm. Every inner product satisfies:
‖ x + y ‖ 2 = ‖ x ‖ 2 + ‖ y ‖ 2 + 2 Re ⟨ x , y ⟩ for all vectors x , y . {\displaystyle \|x+y\|^{2}=\|x\|^{2}+\|y\|^{2}+2\operatorname {Re} \langle x,y\rangle \qquad {\text{ for all vectors }}x,y.}
Solving for Re ⟨ x , y ⟩ {\displaystyle \operatorname {Re} \langle x,y\rangle } gives the formula Re ⟨ x , y ⟩ = 1 2 ( ‖ x + y ‖ 2 − ‖ x ‖ 2 − ‖ y ‖ 2 ) . {\displaystyle \operatorname {Re} \langle x,y\rangle ={\frac {1}{2}}\left(\|x+y\|^{2}-\|x\|^{2}-\|y\|^{2}\right).} If the inner product is real then Re ⟨ x , y ⟩ = ⟨ x , y ⟩ {\displaystyle \operatorname {Re} \langle x,y\rangle =\langle x,y\rangle } and this formula becomes a polarization identity for real inner products.
Real vector spaces If the vector space is over the real numbers then the polarization identities are:
… excerpt ends here. Continue reading the full article.


