8
$\begingroup$

$\newcommand{\span}{\operatorname{span}}$ Define $e_{0,0}\equiv 1$, and for all $n\in \mathbb{N}$ $$e_{n,k}=\begin{cases} 2^{n/2} &\text{if } \frac{k-1}{2^n}\leq x\lt \frac{k-\frac{1}{2}}{2^n}\\ -2^{n/2}&\text{if } \frac{k-\frac{1}{2}}{2^n}\leq x\lt \frac{k}{2^n}\\ 0 &\text{otherwise} \end{cases}$$ for $k=1,\ldots,2^n$. Let $$H:=\{e_{n,k}:n,k\in \mathbb{N}\}.$$

I want to prove that $H$ is a Hilbert's base for $L^2[0,1]$ with the usal inner product. In order to prove this we must show that $H$ is orthonormal and that $\span(H)$ is dense in $L^2[0,1]$. Here is a good place to begin to see the orthonormality. For the second thing I have the following exercise:

Let $f\in H^{\bot}$, i.e. $f$ is such that for all $n\in \mathbb{N}$ $$\int_0^1 f(x)e_{n,k}(x)dx=0,$$ for $k=1,\ldots,2^n$. Show that for all $n\in \mathbb{N}$ $$\int_0^1f\cdot 1_{[0,k/2^{n})}=0,$$ $k=1,\ldots,2^n$. Conclude that $f\equiv 0$.

The exercise show that $(\overline{\span(H)})^{\bot}=\{0\}$ and then the density follows. And here is where I'm stuck. I wish it $f$ were continuous function, but $f$ is square integrable only. If the notation is not clear, just tell me and I'll fix it. Thanks for your help.

  • 0
    leo: could you follow me or do you need more info? As I said somewhere else, feel free to ask. By the way, concerning your doubt in a comment to ncmathsadist's answer: of course you can't find a sequence *inside* $V$ in general. Just think of the dense set $D = \mathbb{R}^2 \smallsetminus \mathbb{R}$ of $\mathbb{R}^2$ and $V = \mathbb{R}$.2011-07-28
  • 0
    @Theo: Thank you, with the counterexample is clear now. I'm going to read your answer.2011-07-28
  • 0
    leo: what is going on? Do you have problems with my answer? Is it insufficient? I thought we removed the doubts in our discussion in the chat room. If not, please let me know what I should clarify.2011-08-04
  • 0
    oh no, it's just that some days ago that I do not visit the site. Excuse me @Theo. your answers, as always, are very useful to me.2011-08-04

2 Answers 2

11

ncmathsadist's idea works with a minor change:

First of all, observe that $L^2[0,1] \subset L^1[0,1]$.

If $f \in L^1[0,1]$ satisfies $\int_{0}^{1} f \cdot e_{k,n} = 0$ for all $k,n \in \mathbb{N}$ then $f = 0$ a.e.

Note that the integral makes sense, as each $e_{k,n}$ is bounded.

Consider the function $\displaystyle F(t) = \int_{0}^{t} f(x)\,dx$ and note that it is absolutely continuous since $f$ is integrable. It is straightforward to show that $0 = F(1) = F(1/2) = F(1/4) = F(3/4) = \cdots $, in words, $F(r) = 0$ for each dyadic rational $r$. But this means $F \equiv 0$ on $[0,1]$.

On the other hand, by the Lebesgue differentiation theorem, we have $F'(t) = f(t)$ almost everywhere on $[0,1]$, so $f = 0$ a.e., as we wanted.

This is essentially Haar's original argument in his Ph.D. thesis, see III §1, pp.363-365. The first part of the thesis appeared as A. Haar, Zur Theorie der orthogonalen Funktionensysteme, Mathematische Annalen 69 (3) (1910), 331–371.


Here's a more hands-on but somewhat more laborious approach — I hope I've got the indices right, but most likely I haven't...

For $m = 2^{k} + n$ put $h_m = e_{k,n}$.

  1. For $f \in L^2 [0,1]$ put $P^M f = \sum_{m=0}^{2^{M}} \langle f, h_m \rangle h_m$. Note that $P^M$ is the orthogonal projection onto the space of functions that are constant on certain intervals with dyadic rational endpoints.

  2. If $f \in C[0,1]$ then $P^M f \to f$ uniformly on $[0,1]$.

  3. If $f \in L^2$ is arbitrary then $P^M f \to f$ in $L^2[0,1]$.

This proves that the subspace spanned by the Haar functions is dense in $L^2$.

  • 1
    I think I prefer the first argument. It is cute.2011-07-26
  • 3
    I like that one more, too. But Lebesgue's differentiation theorem is not exactly easy to prove.2011-07-26
  • 0
    @Theo: in the second point of your second argument, for what do you need it? The third point follows of general result? Or am I wrong?2011-07-28
  • 0
    @leo: The second point is intended to help *proving* the third point. I don't know what general result you have in mind.2011-07-28
  • 0
    @Theo: something like: _Let $V$ a sub space of a Hilbert space. If $V$ have a orthonormal base $\{a_1,a_2\ldots,\}$ then the orthogonal projection of $x$ onto $V$ is $$\sum_{k=1}^\infty \langle x,a_k\rangle a_k.$$_2011-07-28
  • 0
    But I think this works only if $V$ is closed, then I'm wrong. What's $h_0$?2011-07-28
  • 0
    @leo: Well, but *that* addresses point 1 rather than 3, doesn't it? After all, you want to show that $h_m$ is a base of *all* of $L^2$, no?2011-07-28
  • 0
    @leo: re second comment. Yes, you only have a projection onto *closed* subspaces.2011-07-28
  • 0
    @Theo: in "something like..." I mean $x$ instead of the projection, equal to the sum, I was totally wrong, ignore that2011-07-28
  • 0
    @Theo: ok, now I follow you. What's $h_0$?2011-07-28
  • 0
    @Theo: or your sum in $P^M$ must be start in $m=1$2011-07-28
  • 0
    @TheoBuehler let us [continue this discussion in chat](http://chat.stackexchange.com/rooms/935/discussion-between-leo-and-theo-buehler)2011-07-28
  • 0
    @leo: As I tried to indicate, you have to take the indices with a grain of salt. The idea is to just enumerate the elements of the Haar base in a single sequence $e_{0,0}$ then $e_{1,0}, e_{1,1}$, then $e_{2,0}, e_{2,1}, e_{2,2}, e_{2,3}$ or whatever convention you use (I'm very bad at that, just do it yourself).2011-07-28
  • 0
    @leo: is there still something that's unclear here?2011-07-30
2

I would suggest this tack. First assume $f$ is continuous (so it's in $L^2$). You should be able to show that for any two dyadic rationals $r, s\in[0,1]$, $\int_r^s f(x)\, dx = 0$. Use this to show that if $f$ is continuous, you must have $f = 0$. The continuous functions are dense in $L^2$. Chase some $\epsilon$s and it should work. Let me know if this is useful.

  • 0
    Yes, that's what I was thinking.2011-07-26
  • 0
    But I have some doubts.2011-07-26
  • 0
    for example take a sequence of continuous functions $f_n$ such that $||f-f_n||_2\to 0$. If $f\in H^\bot$, why follows that $f_n\in H^\bot$? Or, can I assume that the sequence is in $H^\bot$?2011-07-26
  • 0
    If $f \in L^2$ and $p$ is a Lebesgue point of $f$ with $f(x) \ne 0$, then there will be $s$ and $r$ near $p$ with $\int_r^s f(x) \, dx \ne 0$.2011-07-26
  • 0
    @ncmathsadist: more general doubt: if $V$ is close vector subspace of a Hilbert space $H$ and $D$ is dense in $H$, given $x\in V$, there exists a sequence $x_n$ in V such that $x_n\to x$ consisting of elements of D?2011-07-26
  • 0
    You may be right.2011-07-26