DejarC[−π,π]={f:[−π,π]→R∣fiscontinuous} denotar el espacio interno del producto de funciones continuas de valor real definidas en el intervalo\( [−\pi, ...DejarC[−π,π]={f:[−π,π]→R∣fiscontinuous} denotar el espacio interno del producto de funciones continuas de valor real definidas en el intervalo[−π,π]⊂R, con el producto interno dado por DejarV ser un espacio de producto interior finito-dimensional sobreF, y supongamos queP∈L(V) es un operador lineal alV tener las siguientes dos propiedades:
