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

The completeness of Hilbert Space

  1. May 10, 2005 #1
    Can anyone guide me through or point me to a link of a proof that Hilbert space is complete? I am doing a paper on Hilbert space so I introduced some of its properties and now want to show it is complete.
  2. jcsd
  3. May 10, 2005 #2


    User Avatar
    Science Advisor
    Homework Helper

    what is your,definition ,of hilbert space? i.e. sometimes one defines "a hilbert space" as a complete inner product space, so it then complete by definition, and then task is to produce some exampels.

    the standard oens are all spaces of square integrable functions, so completeness would be found in any real analysis book, or functional analysis book.
  4. May 10, 2005 #3
    A Hilbert space is defined to be a complete inner product space. You cannot 'prove' that it is complete. Here is a link to a definition:

  5. May 10, 2005 #4
    A Hilbert space is just a Banach space with an inner product. A Banach space is by definition a complete normed vector space with the metric d(x,y) = ||x-y||

    The spaces [tex]L^2[/tex] (the space of square-integrable functions) & [tex]l^2[/tex] (square-summable sequences) are examples of Hilbert spaces, and the [tex]L^p[/tex] spaces are complete by the Riesz-Fischer theorem. Have a look at p.125 of Royden's Real Analysis (what else?!) for the proof.
    Last edited: May 10, 2005
  6. May 10, 2005 #5
    Is Royden's real analysis on the web?
  7. May 10, 2005 #6


    User Avatar
    Science Advisor
    Homework Helper

    I doubt it.Does Rudin's book have it...?(The proof that [itex] L^{2}\left(\mathbb{R}\right) [/itex] and its complex counterpart are complete preHilbert spaces).

  8. May 10, 2005 #7
    I don't know about that but I looked up Riesz-Fischer theorem & found that it was only mentioned twice (& not proved).
  9. May 10, 2005 #8


    User Avatar
    Science Advisor
    Homework Helper

    A complete function space is a function set in which no Cauchy sequence of functions in the set converge to limits which are not in the set.

    The Riesz-Fischer Theorem identifies the set of "square integrable functions" as a complete function (inner-product) space (a Hilbert Space):

    Riesz-Fischer Theorem:

    Let the functions [itex]f_1(x),f_2(x),...[/itex] be elements in a function space. If:


    then there exists a "square-integrable function" f(x) to which the sequence [itex]f_n(x) [/itex]converges such that:

    [tex]\mathop\lim\limits_{n\to\infty}\int_a^b|f(x)-f_n(x)|^2 dx=0[/tex]

    Edit: Thus all Cauchy sequences of square-integrable functions converge to functions which themselves are square-integrable. Makes sense right? If they converged to a function which was not square-integrable, then the set of square integrable functions would not be complete. You know . . . I'm pretty sure that's right. Correct me if it could be said differently.
    Last edited: May 10, 2005
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook