[Math] What Is An Inner Product Space

inner-productslinear algebravector-spaces

As I've understood it, what I've learned is that the dot product is just one of many possible inner product spaces. Can someone explain this concept? When is it useful to define it as something other than the dot product?

Best Answer

As for the utility of inner product spaces: They're vector spaces where notions like the length of a vector and the angle between two vectors are available. In this way, they generalize $\mathbb R^n$ but preserve some of its additional structure that comes on top of it being a vector space. Familiar friends like Cauchy-Schwarz, the parallelogram rule, and orthogonality all work in inner product spaces.

(Note that there is a more general class of spaces, normed spaces, where notions of length make sense always, but an inner product cannot necessarily be defined.)

The dot product is the standard inner product on $\mathbb R^n$. In general, any symmetric, positive definite matrix will give you an inner product on $\mathbb C^n$. And you can have inner products on infinite dimensional vector spaces, like

$$ \langle \, f, \, g \, \rangle = \int_a^b \ f(x)\overline{g(x)} \, dx$$

for $f, g$ square-integrable functions on $[a,b]$.

This becomes useful, for example, in applications like Fourier series where you want a basis of orthonormal functions for some function space (it's not just the trigonometric functions that work).