2
$\begingroup$

The following is problem 1.3 in chapter 1 of Conway's A Course in Functional Analysis.

Show the space $\mathcal H$ in Example 1.8 is a Hilbert space.

For reference, I give the text of Example 1.8. The field $\mathbb F$ can be either $\mathbb R$ or $\mathbb C$.

Let $\mathcal H=$ the collection of all absolutely continuous functions $f:[0,1]\rightarrow \mathbb F$ such that $f(0)=0$ and $f'\in L^2(0,1)$. If $\langle f,g \rangle =\int_0^1 f'(t)\overline{g'(t)}\ dt$ for $f$ and $g$ in $\mathcal H$, then $\mathcal H$ is a Hilbert space (Exercise 3).

$\endgroup$
  • $\begingroup$ I didn't see this question on the site, but please mark it as a duplicate if has appeared before. $\endgroup$ – Potato Aug 3 '13 at 4:42
  • $\begingroup$ Note, all Hilbert spaces are complete, so your title is a mistake - you are trying to prove that a space is a Hilbert space, and have (presumably) proven all the properties other than completeness. $\endgroup$ – Thomas Andrews Aug 3 '13 at 4:45
  • $\begingroup$ @ThomasAndrews Indeed. I've updated the title. $\endgroup$ – Potato Aug 3 '13 at 4:47
  • $\begingroup$ What do you mean by "I have posted this question for reference purposes"? This site is not meant to be a repository for your homework attempts, it is meant to be a question and answer site. $\endgroup$ – Thomas Andrews Aug 3 '13 at 4:47
  • 1
    $\begingroup$ @ThomasAndrews See meta.math.stackexchange.com/questions/10411/… $\endgroup$ – Potato Aug 3 '13 at 4:48
2
$\begingroup$

The only nontrivial point is proving completeness. Note that the absolutely continuous assumption is there to insure that the derivatives exist a.e.

Suppose $\{f_n\}$ is a Cauchy sequence in $\mathcal H$. Then $\{f'_n\}$ is a Cauchy sequence in $L^2[0,1]$. This implies it has a limit $g$, because $L^2$ is complete. We will show that the natural guess, $h(x)=\int_0^x g(t)\ dt$, is the limit of $\{f_n\}$ in $\mathcal H$. First, note this function is in $\mathcal H$: its derivative is in $L^2[0,1]$, and $h(0)=0$. It is the limit of $\{f_n\}$ in $\mathcal H$ essentially by definition:

$$\| f_n - h\|_{\mathcal H} = \|f_n' - g\|_{L^2[0,1]},$$

and the latter quantity tends to $0$ by the construction of $g$.

$\endgroup$
  • 1
    $\begingroup$ You could also simply say that $H$ is isometrically isomorphic to $L^2$ via $f\longmapsto f'$, whose inverse, as you noted, is given by $g\longmapsto \int_0^xg$. So $H$ is a Hilbert space, without going through Cauchy again. $\endgroup$ – Julien Aug 3 '13 at 17:23
  • $\begingroup$ Hi!, I don't understand why if you suppose $\{f_n\}$ is a Cauchy sequence in $\mathcal H$, then $\{f'_n\}$ is a Cauchy sequence in $L^2[0,1]$. Can anyone help me, thanks! $\endgroup$ – MathUser Sep 24 '16 at 17:45
  • $\begingroup$ Since: $$\| f_n -f_m\|_{\mathcal H} = \|f_n'- f_m'\|_{L^2[0,1]}$$ $\endgroup$ – Amin Jan 15 '18 at 14:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.