InnerProduct - crowlogic/arb4j GitHub Wiki

An inner product is a mathematical operation that takes two elements from a vector space and returns a scalar (a single number). Inner products generalize the idea of the dot product, which is used to measure the angle between two vectors in Euclidean space. The inner product satisfies certain properties, making it a fundamental concept in linear algebra and functional analysis.

An inner product on a vector space V is a function ⟨., .⟩ : V × V → F (where F is a field, typically either the real or complex numbers) that takes two elements (vectors) from the vector space and returns a scalar in F, satisfying the following properties:

  1. Conjugate symmetry (or just symmetry for real vector spaces): ⟨u, v⟩ = ⟨v, u⟩* for all u, v ∈ V, where * denotes the complex conjugate. For real vector spaces, this simplifies to ⟨u, v⟩ = ⟨v, u⟩.

  2. Linearity in the first argument: For all u, v, w ∈ V and scalar c, ⟨cu + v, w⟩ = c⟨u, w⟩ + ⟨v, w⟩.

  3. Positive-definiteness: For all nonzero vectors v ∈ V, ⟨v, v⟩ > 0, and ⟨0, 0⟩ = 0, where 0 denotes the zero vector.

When a vector space has an inner product defined on it, it is called an inner product space. Inner product spaces are the foundation for the study of Hilbert spaces, which are complete inner product spaces and play a central role in functional analysis.

In Euclidean space, the inner product is the dot product of two vectors. However, in other spaces, the inner product can be defined differently. For example, in function spaces, the inner product is often defined as an integral involving the functions and a weight function:

⟨f, g⟩ = ∫[a, b] f(x) g(x) w(x) dx

Here, f(x) and g(x) are functions from the function space, w(x) is a weight function, and [a, b] is the interval over which the integral is taken.

Inner products have numerous applications in mathematics and physics, such as in quantum mechanics, signal processing, statistics, and optimization.