---
tag: 0QVNCJXRY3
kind: concept
name: Inner product space
aliases: [pre-hilbert-space]
msc: [15A63, 46C05]
sources:
  - url: https://en.wikipedia.org/wiki/Inner_product_space
    locator: Definition
same_as:
  wikidata: Q214159
  wikipedia: Inner product space
---

## Summary

An inner product space is a real or complex vector space together with an inner product.