Sea formula_1 un espacio de Hilbert separable.