Espacio con Producto Interior Complejo

Un espacio con producto interior complejo es un espacio vectorial sobre los complejos dotado de un producto interior sesquilineal y definido positivo ⟨·|·⟩, lineal en un argumento y conjugado-lineal en el otro, que define normas y ángulos sin precisar completitud; un espacio de Hilbert es un ejemplo completo.