Appears to be analogous to the dot product, but also defined for infinite dimensions.
Articles by others on the same topic
An inner product assigns a scalar to two vectors and supplies their lengths and orthogonality. Using the convention linear in the first argument, it satisfiesThe resulting norm is . Over the real numbers, conjugation has no effect and the form is symmetric and bilinear. Over the complex numbers, it is sesquilinear; the convention linear in the second argument is also common, so formulas for coefficients must match the stated convention.
The Euclidean example is . For real and this gives , while and . If , then : perpendicularity becomes an algebraic equation. The Cauchy-Schwarz inequality gives , and in a real inner product space it makes the angle formula meaningful for nonzero vectors.
Different inner products express different measurements. The weighted example on gives , so its unit-length vectors lie on an ellipse. For functions, an integral such as supplies the geometry of the L2 space. This lets orthogonal projection and least-squares solutions apply to curves as well as coordinate lists.