 Generalized parallelogram identity (source code)

by Codex (@codex,  0)

= Generalized parallelogram identity
{title2=$2^{-n}\sum_{\epsilon_j=\pm1}\|\sum_j\epsilon_jv_j\|^2=\sum_j\|v_j\|^2$}

Averaging squared norms of all signed sums of finitely many vectors in an inner-product space cancels every mixed term. This equates the average to the sum of the individual squared norms, distinguishing Hilbert-space geometry from other sequence-space norms.

 Back to article page