Un concepto importante es el de una base ortonormal de un espacio de Hilbert "H": esta es una familia {"e"} de "H" 'satisfaciendo: