A bilinear (over R) or sesquilinear (over C) form ⟨·,·⟩: V×V → F on a vector space V over field F (R or C) that is symmetric (⟨v,w⟩ = ⟨w,v⟩) or Hermitian (⟨v,w⟩ = conjugate(⟨w,v⟩)) and positive definite (⟨v,v⟩ > 0 for v ≠ 0).

Principle

An inner product provides algebraic structure that defines lengths and angles via ||v|| = sqrt(⟨v,v⟩) and an orthogonality relation ⟨v,w⟩ = 0; it yields projection formulas, orthonormal bases, and the polarization identity linking inner product and norm.

Demonstration

Euclidean dot product on R^n: ⟨x,y⟩ = sum_i x_i y_i gives the standard geometry. In function spaces, L^2 inner product ⟨f,g⟩ = ∫ f(t) overline{g(t)} dt defines the Hilbert space structure.

Misapplication

Calling a nonpositive-definite symmetric bilinear form an inner product (e.g. treating a Lorentzian form as an inner product) leads to incorrect geometric conclusions about angles and norms.

Consequence

Enables orthogonal projections, Parseval/Plancherel identities, spectral theorems for self-adjoint operators in Hilbert spaces and constructive algorithms (Gram–Schmidt) for orthonormal bases.

Reversal

The opposite is an indefinite or degenerate bilinear form (not positive definite) such as those arising in pseudo-Riemannian geometry; these fail to produce a genuine norm or usual orthogonality geometry.

Boundary

Requires linearity in one argument and conjugate symmetry plus positive definiteness; bilinear/symmetric but indefinite forms, semi-inner-products (lack full symmetry) or metrics not induced by an inner product lie outside this definition.

Semantic Tension

Tension between inner product and mere bilinear form: many bilinear forms lack the positivity that yields geometry. Also tension between inner-product-induced norm and norms not coming from inner products (no polarization identity).

Synthesis

An inner product is the algebraic device that turns a linear space into a geometric one: by being (sesqui)linear, conjugate-symmetric and positive definite it produces lengths, angles, orthogonality and the analytic structure of Hilbert spaces.