Sea formula_1 un espacio vectorial complejo con producto escalar.