6

How does one go about proving Parseval's identity?

Let ${v_1, v_2, ..., v_n}$ be an orthonormal basis for a a finite-dimensional inner product space $V$ over some field $F$. For any $x, y$ in $V$, prove: $\langle x, y \rangle$ $=$ $\sum\limits_{i = 1}^{n} \langle x, v_i \rangle \overline {\langle y, v_i \rangle}$.

Attempt: using $ x = \sum\limits_{i = 1}^{n} \langle x, v_i \rangle v_i$ and $ y = \sum\limits_{i = 1}^{n} \langle y, v_i \rangle v_i$

But I don't really know how to proceed from here.

Zev Chonoles
  • 129,973
user79449
  • 111
  • 1
    If you don't know how to start you might want to calculate it for $n = 1, 2, 3$ and see where this leads you. – user79202 May 25 '13 at 20:32

1 Answers1

6

You were actually pretty close. With $$x=\sum_i\langle x,v_i\rangle v_i$$ and $$y=\sum_j\langle y,v_j\rangle v_j$$ you get

$$\langle x,y\rangle=\sum_i\langle x,v_i\rangle\sum_j \overline{\langle y,v_j\rangle} \langle v_i,v_j\rangle = \sum_i\langle x,v_i\rangle \overline{\langle y,v_i\rangle}$$

since $\langle v_i,v_j\rangle=\delta_{ij}$.

Matt L.
  • 10,636