An **inner product** is a map

of two vectors producing a scalar in the field (either the field of real numbers , or complex numbers ) that satisfies the following conditions for all vectors in *V* and all scalars in *F*:

- Conjugate symmetry:

- Linearity in the first argument:

- Positive-definiteness:

- iff
*u = 0*.

For the vectors

the inner product is computed as

Since the conjugate of is equal to for real numbers, if all elements of both vectors have no imaginary components this merely reduces to the dot product. In this sense, the inner product can be thought of an extension of the dot product to the complex plane. They are also similar to the outer product in that whereas an inner product is given by

where H is the conjugate transpose, the outer product is given by

As such, the inner product of two vectors is the trace of the outer product.

Functions can be treated as vectors with continuous, rather than discrete components; as such, they have an inner product. The inner product of and with the domain between and is

If this is equal to 0, the functions are said to be orthogonal on the interval (unlike with vectors, this has no geometric significance). This definition is useful in Fourier analysis.