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

A problem about non-separable Hilbert space

  1. Jul 4, 2013 #1
    also see
    http://planetmath.org/exampleofnonseparablehilbertspace
    QQ??20130704175847.jpg

    the main difficulty is about the completeness, which is hard to prove, the author's hint seems don't work here, for you can not use the monotone convergence theorem directly , f(x)χ[-N,N]/sqrt[N] is not monotone
     
  2. jcsd
  3. Jul 5, 2013 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Let your pre-Hilbert space be ##H## with norm ##\|~\|##. It is known that a space is is complete iff every absolute convergent series is convergent.
    Thus let ##(f_n)_n## be a sequence in ##H## such that ##\sum_n \|f_n\|## converges (to a number ##A##). Thus by monotone convergence:

    [tex]\lim_{N\rightarrow +\infty} \frac{1}{\sqrt{N}}\sum_n \|f_n \chi_{[-N,N]}\|_2 = A[/tex]

    Thus for each ##N##, we have that the series ##\sum_n \|f_n\chi_{[-N,N]}\|_2## converges. Since ##L^2## is complete, we have that ##\sum_n f_n\chi_{[-N,N]} = g_N## for some ##g_N\in L^2##.

    Now, if ##M>N##, then ##g_N\chi_{[-N,N]} = g_M\chi_{[-N,N]}##. Thus we can glue the ##g_N## to a big function ##g##. Now

    \begin{eqnarray*}
    \|g - \sum_{n=1}^m f_n\|
    & = & \lim_{N\rightarrow +\infty} \frac{1}{\sqrt{N}}\left\| g\chi_{[-N,N}] - \sum_{n=1}^m f_n\chi_{[-N,N]}\right\|_2\\
    & = & \lim_{N\rightarrow +\infty} \frac{1}{\sqrt{N}}\left\| \sum_{n=m}^{+\infty} f_n\chi_{[-N,N]}\right\|_2\\
    &\leq & \limsup_{N\rightarrow +\infty} \frac{1}{\sqrt{N}} \sum_{n=m}^{+\infty} \|f_n\chi_{[-N,N]}\|_2 \\
    &\leq & \sum_{n=m}^{+\infty} \|f_n\|\\
    & \rightarrow & 0
    \end{eqnarray*}[/tex]
     
  4. Jul 5, 2013 #3
    thanks for your help,the proof is very clear,the key point is 'a space is is complete iff every absolute convergent series is convergent',I don't know this before, it's again the old truth 'take a different approach'
     
  5. Jul 5, 2013 #4
    I still have two little problems
    (1)what do you mean by 'Thus by monotone convergence',I mean don't you just use the definition of
    ##\sum_n \|f_n\|##

    (2)why you use limsub in the last three steps
    \begin{eqnarray*}
    \lim_{N\rightarrow +\infty} \frac{1}{\sqrt{N}}\left\| \sum_{n=m}^{+\infty} f_n\chi_{[-N,N]}\right\|_2\\
    &\leq & \limsup_{N\rightarrow +\infty} \frac{1}{\sqrt{N}} \sum_{n=m}^{+\infty} \|f_n\chi_{[-N,N]}\|_2 \\
    &\leq & \sum_{n=m}^{+\infty} \|f_n\|\\
    \end{eqnarray*}

    what's wrong with
    \begin{eqnarray*}
    \lim_{N\rightarrow +\infty} \frac{1}{\sqrt{N}}\left\| \sum_{n=m}^{+\infty} f_n\chi_{[-N,N]}\right\|_2\\
    &\leq & \lim_{N\rightarrow +\infty} \frac{1}{\sqrt{N}} \sum_{n=m}^{+\infty} \|f_n\chi_{[-N,N]}\|_2 \\
    &= & \sum_{n=m}^{+\infty} \|f_n\|\\
    \end{eqnarray*}
     
    Last edited: Jul 5, 2013
  6. Jul 5, 2013 #5

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    You exchange a series and a limit. This is not always allowed.

    Because if ##x_n\leq y_n##, then this does not imply ##\lim_n x_n\leq \lim_n y_n##. This is only true if the limits exist. To solve this, we use limsup.
     
  7. Jul 5, 2013 #6
    so you mean here we should use something like Fatou's lemma?
     
  8. Jul 5, 2013 #7

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Yes.
     
  9. Jul 5, 2013 #8
    So we have
    \begin{eqnarray*}
    \lim_{N\rightarrow +\infty} \frac{1}{\sqrt{N}}\sum_n \|f_n \chi_{[-N,N]}\|_2\\
    &\leq & \sum_n\lim_{N\rightarrow +\infty} \frac{1}{\sqrt{N}} \|f_n \chi_{[-N,N]}\|_2\\
    \end{eqnarray*}
    ?
    if so how to prove it?i.e. how you get the following

    \begin{eqnarray*}
    \limsup_{N\rightarrow +\infty} \frac{1}{\sqrt{N}} \sum_{n=m}^{+\infty} \|f_n\chi_{[-N,N]}\|_2 \\
    &\leq & \sum_{n=m}^{+\infty} \|f_n\|\\
    \end{eqnarray*}

    and I think when you say'You exchange a series and a limit. This is not always allowed' you mean an exchange like this kind?i.e how you get
    [tex]\lim_{N\rightarrow +\infty} \frac{1}{\sqrt{N}}\sum_n \|f_n \chi_{[-N,N]}\|_2 = A[/tex]
     
    Last edited: Jul 5, 2013
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: A problem about non-separable Hilbert space
Loading...