Así,el conjunto formula_24 es una base ortonormal del espacio formula_25.