# Definition:Inner Product Space

Jump to navigation
Jump to search

## Definition

An **inner product space** is a vector space together with an associated inner product.

## Also known as

It is also sometimes known as a **pre-Hilbert space** because by the Completion Theorem we can extend an inner product space to its completion, so it becomes a Hilbert space.

## Also see

- Results about
**inner product spaces**can be found here.