La formalización rigurosa de la función de onda requiere considerar espacios de Hilbert equipados, donde puedan construirse bases más generales.