In mathematics, an **inner product space** is a vector space with additional structure, an **inner product**, **scalar product** or **dot product**, which allows us to talk about angles and lengths of vectors. Inner product spaces are generalizations of Euclidean space (where the dot product takes the place of the inner product) and are studied in functional analysis.

Formally, an inner product space is a real or complex vector space *V* together with a map *f* : *V* x *V* → *F* where *F* is the ground field (either **R** or **C**). We write <*x*, *y*> instead of *f*(*x*, *y*) and require that the following axioms be satisfied:

A function that follows the second and third axioms is called a *sesqui-linear operator* (one-and-a-half linear operator). A sesqui-linear operator which is *positive* (<*x*, *x*> ≥ 0) is called a *semi inner product*. A function satisying all three axioms is an *inner product*.
Note that many authors require an inner product to be linear in the first and conjugate-linear in the second argument, contrary to the convention adopted above. This change is immaterial, but the definition above ensures a smoother connection to the bra-ket notation popular in quantum mechanics.

For several examples of inner product spaces, see Hilbert space.

Here and in the sequel, we will write ||*x*|| for √<*x*, *x*>. This is well defined by axiom 1 and is thought of as the length of the vector *x*.
Directly from the axioms, we can conclude the following:

- Cauchy-Schwarz inequality: |<
*x*,*y*>| ≤ ||*x*||·||*y*|| for any*x*,*y*in*V*with equality if and only if*x*and*y*are linearly dependent - Triangle inequality: ||
*x*+*y*|| ≤ ||*x*|| + ||*y*||

*V*into a normed vector space and hence also into a metric space. The most important inner product spaces are the ones which are complete with respect to this metric; they are called Hilbert spaces. Every inner product

*V*space is a dense subspace of some Hilbert space. This Hilbert space is essentially uniquely determined by

*V*and is constructed by completing

*V*.

- Parallelogram law: ||
*x*+*y*||^{2}+ ||*x*−*y*||^{2}= 2||*x*||^{2}+ 2||*y*||^{2} - Pythagorean theorem: Whenever
*x*,*y*are in*V*and <*x*,*y*> = 0, then ||x||^{2}+ ||y||^{2}= ||x+y||^{2}.

- If
*x*_{1}, ...,*x*_{n}are orthogonal vectors, that is, <*x*_{j},*x*_{k}> = 0 whenever*j*≠*k*, then

*x*

_{k}||

^{2}= ||∑

*x*

_{k}||

^{2}

In view of the Cauchy-Schwarz inequality, we also note that <·,·> is continuous from *V* x *V* to *F*. This allows us to extend Pythagoras' theorem to infinitely many summands:

- Parseval's Identity: If
*x*_{k}are mutually orthogonal vectors in*V*and if ∑*x*_{k}converges, then

*x*

_{k}||

^{2}= ||∑

*x*

_{k}||

^{2}

Another consequence of the Cauchy-Schwarz inequality is that it is possible to define the angle φ between two non-zero vectors *x* and *y* (at least in the case *F* = **R**) by writing

- cos(φ) = <
*x*,*y*> / (||*x*||·||*y*||)

Several types of maps *A* : *V* `->` *W* between inner product spaces are of relevance:

- Linear maps, i.e.
*A*(*ax*+*y*) =*a**A*(*x*) +*A*(*y*) for all*a*in*F*and all*x*and*y*in*V*. - Continuous linear maps, i.e.
*A*is linear and continuous with respect to the metric defined above, or equivalently,*A*is linear and the set { ||*Ax*|| :*x*in*V*with ||*x*|| ≤ 1 } is bounded. - Isometries, i.e.
*A*is linear and <*Ax*,*Ay*> = <*x*,*y*> for all*x*,*y*in*V*, or equivalently,*A*is linear and ||*Ax*|| = ||*x*|| for all*x*in*V*. All isometries are injective. - Isometrical isomorphisms, i.e.
*A*is an isometry which is surjective (and hence bijective).

**See also:**