El espacio vectorial complejo V se conoce como un espacio con producto interior si para cualquier par de vectores u y v en V, existe un único número complejo (u, v), llamado el producto interior de u y v, tal que si u, v y w están en V y si α a pertenece C,
