Definition:Inner Product Space

From ProofWiki
Jump to navigation Jump to search


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.