En concreto, formula_1 constituye una base ortonormal del espacio de Hilbert tridimensional formula_6.