Differences between revisions 2 and 3
Revision 2 as of 2026-02-13 03:06:25
Size: 2036
Comment: Hermitian
Revision 3 as of 2026-03-01 03:24:43
Size: 2280
Comment: Note
Deletions are marked like this. Additions are marked like this.
Line 19: Line 19:
   * Note that this specifically is linearity in the first argument. In some contexts, linearity in the second argument is preferred. Either is sufficient for defining an inner product. This mostly only comes up when there are complex values.

Inner Product

An inner product is a measure of similarity.


Description

Given a linear space, it may be possible to define a binary operation that describes how similar two elements are. This is called an inner product and is generally notated as ⟨a, b⟩ for any a and b in that space.

An inner product must satisfy the following properties:

  • ⟨a, b⟩ = ⟨b, a⟩

  • ⟨a + z, b⟩ = ⟨a, b⟩ + ⟨z, b⟩

  • ⟨y * a, b⟩ = y * ⟨a, b⟩

    • Note that this specifically is linearity in the first argument. In some contexts, linearity in the second argument is preferred. Either is sufficient for defining an inner product. This mostly only comes up when there are complex values.
  • ⟨a, a⟩ ≥ 0 unless a is the zero vector

    • recall that linearity requires the existence of a zero vector

In Euclidean space (Rn), the dot product is an inner product.

Other notable inner products and the corresponding spaces are:

  • Frobenius product for matrices (Rm x n)

    • Essentially, flatten a matrix into a column and calculate the dot product.
  • Definite integrals for the given range on the real line (C[a,b])

  • Evaluation inner products for polynomials (Pn)

    • For P2 space, let polynomials p and q be p(x) = a1x2 + a2x + a3 and q(x) = b1x2 + b2x + b3.

    • The evaluation inner product is a1*b1 + a2*b2 + a3*b3.

If an inner product can be defined for a linear space, then it is an inner product space.


Hermitian Inner Product

A Hermitian inner product is defined for the complex vector space.

A Hermitian inner product must satisfy the following properties:

  • symmetry.svg

  • ⟨a + z, b⟩ = ⟨a, b⟩ + ⟨z, b⟩

  • ⟨y * a, b⟩ = y̅ * ⟨a, b⟩

  • ⟨a, a⟩ ≥ 0 unless a is the zero vector

In Cn space, the Hermitian inner product is given by a11 + ... + ann.


CategoryRicottone

LinearAlgebra/InnerProduct (last edited 2026-03-01 04:43:22 by DominicRicottone)