Sea un espacio vectorial complejo de dimensión finita E en el que definimos un producto escalar (no necesariamente el usual).