Sea V un espacio vectorial sobre K, formula_15, con producto escalar, y