Definición Sea un espacio vectorial de funciones con producto interno y con dominio en . Un conjunto de funciones es mutuamente ortogonal sobre el intervalo si En el caso de un conjunto ortonormal