Suponiendo un espacio provisto de una base ortonormal directa formula_4.