Komplexer Innenproduktraum

Ein komplexer Innenproduktraum ist ein Vektorraum über den komplexen Zahlen, ausgestattet mit einem sesquilinearen, positiv-definiten Innenprodukt ⟨·|·⟩, das in einem Argument linear und im anderen konjunktionslinear ist und Normen sowie Winkel definiert, jedoch nicht notwendigerweise vollständig ist; ein vollständiges Beispiel ist ein Hilbertraum.