Se define el producto escalar de formula_3 por formula_6, (formula_14), como un número complejo con las siguientes propiedades: