Sea formula_1 un espacio de Hilbert, y formula_2 su espacio dual, consistente en el conjunto de todos los funcionales lineales continuos de formula_1 en el cuerpo base R o C.