Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Weak convergence of orthonormal sequences in Hilbert space

  1. Jan 6, 2012 #1
    So, I've found the result that orthonormal sequences in Hilbert spaces always converge weakly to zero. I've only found wikipedia's "small proof" of this statement, though I have found the statement itself in many places, textbooks and such.

    I've come to understand that this property follows from the Bessel inequality, and I've worked out many of the details, so I feel that I understand the Bessel inequality itself quite well. What I don't get is how the inequality gives us the weak convergence - the proof on wikipedia only states that "Therefore, [tex] |\langle e_n, x \rangle |^2 \rightarrow 0 [/tex]" after stating the Bessel inequality. It doesn't make sense to me - how is this information gleaned?
  2. jcsd
  3. Jan 6, 2012 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Can you at least link to the Wikipedia page? Are you asking how to see that ##|\langle e_n, x \rangle |^2 \rightarrow 0##, or how to see that this means that ##e_n\to 0## with respect to the weak topology?
  4. Jan 6, 2012 #3
    You do know that if the series


    converges, that [itex]a_n\rightarrow 0[/itex]??
  5. Jan 7, 2012 #4
    The proof (sorry for not linking it immediately). Fredrik, I'm asking the first of those two - the second I understand.

    Micromass: I didn't think of that... but of course. Of course. Damn it. Now I get it, I think.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook