formula_16 es un subespacio cerrado de "H" y forma, por tanto, un espacio de Hilbert.