1
$\begingroup$

Let $H$ be an inner product space, $e_n\;(n \in \Bbb N )$ be the orthonormal system of $H$. Here I want to prove that for any $f \in H$ , $\langle f, e_n\rangle_H \to 0$ as $n \to \infty$.

The bracket means the inner product.

2 Answers 2

3

Let $a_n = \langle f, e_n \rangle$. One has that $||f||^2 = \sum_{i = 1}^\infty |a_i|^2$. Since $||f|| < \infty$, one must have that $|a_i| \rightarrow 0$. So $a_i \rightarrow 0$.

  • 0
    Thank you William, but would you give me some more details about the equality $\|f \|^2 = \sum | a_i |^2 ?$2012-07-30
  • 0
    @Ann It is called Parseval's Identity. You can find its proof in any Functional Analysis Textbook, for example _Real Analysis_ by Stein page 165.2012-07-30
  • 0
    She can even google it. There are thousands of pages dealing with it.2012-07-30
  • 0
    Since $(e_n)_{n\in\mathbb N}$ is only given to be an orthonormal system, not a basis, one can in fact only assert $||f||^2 \geq \sum_{i = 1}^\infty |a_i|^2$, but this suffices for the argument. And so it is [Bessel's inequality](http://en.wikipedia.org/wiki/Bessel%27s_inequality) rather than Parseval's identity.2012-07-30
  • 0
    @MarcvanLeeuwen Thanks. I assumed that $\{e_n\}$ were an orthonormal basis.2012-07-30
0

In response to Ann's doubt under William's answer: if $\,\{e_i\}\,$ is an orthonormal basis of $\,H\,$, then we have that $$\forall\,\,f\in H\,\,,\,f=\sum_{i\in \Bbb N} \langle\,f,ei\,\rangle e_i\Longrightarrow ||f||^2=\sum_{i,j\in\Bbb N} \langle\,f,ei\,\rangle\langle\,f,e_j\,\rangle\langle\,e_i,e_j\,\rangle=$$ $$=\sum_{i\in\Bbb N}\langle\,f,e_i\,\rangle^2 $$ Now, as $\,||f||^2<\infty\,$, the last series above converges and thus its general term's sequence converges to zero.