= Inner Product =

An '''inner product''' is a measure of similarity.

<<TableOfContents>>

----



== Description ==

Given a [[LinearAlgebra/Linearity|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⟩''
 * Linearity: ''⟨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.
 * ''⟨a, a⟩ ≥ 0'' unless ''a'' is the zero vector
   * recall that linearity requires the existence of a zero vector

In Euclidean space (''R^n^''), the [[Calculus/VectorOperations#Dot_Product|dot product]] is an inner product.

Other notable inner products and the corresponding spaces are:
 * '''Frobenius product''' for matrices (''R,,m x n,,'')
   * Essentially, flatten a matrix into a column and calculate the dot product.
 * [[Calculus/Integral|Definite integrals]] for the given range on the real line (''C[a,b]'')
 * Evaluation inner products for polynomials (''P,,n,,'')
   * For ''P,,2,,'' space, let polynomials ''p'' and ''q'' be ''p(x) = a,,1,,x^2^ + a,,2,,x + a,,3,,'' and ''q(x) = b,,1,,x^2^ + b,,2,,x + b,,3,,''.
   * The evaluation inner product is ''a,,1,,*b,,1,, + a,,2,,*b,,2,, + a,,3,,*b,,3,,''.

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 [[Calculus/ComplexVector|complex vector]] space.

A Hermitian inner product must satisfy the following properties:
 * {{attachment:symmetry.svg}}
 * ''⟨a + z, b⟩ = ⟨a, b⟩ + ⟨z, b⟩''
 * Linearity: ''⟨y * a, b⟩ = y * ⟨a, b⟩''
 * Conjugate linearity: ''⟨a, y * b⟩ = y̅ * ⟨a, b⟩''
 * ''⟨a, a⟩ ≥ 0'' unless ''a'' is the zero vector

In ''C^n^'' space, the Hermitian inner product is given by ''a,,1,,b̅,,1,, + ... + a,,n,,b̅,,n,,''.



----
CategoryRicottone