Identidad de Parseval

En álgebra, la identidad de Parseval, también conocida como la igualdad de Parseval, es una generalización del teorema de Pitágoras aplicado a los espacios de Hilbert separables. Si B es una base ortonormal en un espacio vectorial producto interno de dimensión finita , entonces

El nombre procede de la relación de Parseval para las series de Fourier, que es un caso especial.

La identidad de Parseval se puede demostrar mediante el teorema de Riesz-Fischer.

Demostración

Sea una base ortogonal de un espacio producto interno de cuerpo , o

Se demuestra que :

entonces , con

donde son las coordenadas en base del vector . Entonces

Si la base es ortonormal, , entonces resulta:

Para este caso, puede calcularse:

Por dos de los axiomas del producto interno, , con y

resulta con y , entonces:

Como , y la base es ortonormal .

Además, usando la propiedad de los número complejos, , con

Entonces:

quedando entonces la expresión

Other Languages