Prove the completion of the span of $ \left\{ e^{i\lambda t} \right\} _{\lambda\in \mathbb R}$ is not separable

Question

Let $G$ be the span of $ \left\{ e^{i\lambda t} \right\} _{\lambda\in \mathbb R}$ with inner product $$ \left\langle f,g \right\rangle =\lim _{T\rightarrow \infty}\frac 1{2T}\int_{-T}^Tf\bar g .$$ I need to show the completion of $G$ is not separable. I'm guessing the proof should go by contradiction but I have no clue what to do... Help!

Answer 1

Define $e_\lambda(t)=e^{i\lambda t}$. One can easily calculate the relevant integrals explicitly, showing that $\{e_\lambda:\lambda\in\Bbb R\}$ is an orthonormal subset of $G$. Hence the completion $H$ of $G$ is a non-separable Hilbert space, since $\{B(e_\lambda,\sqrt 2/2)\}$ is an uncountable collection of pairwise disjoint nonempty open sets.

---

Comment What's above was worked out in the comments; I'm posting this just because Questions are better with Answers. For the sake of adding something not in the comments:

In fact $H$ is, in a canonical way, $L^2$ of the Bohr compactification of $\Bbb R$. The Bohr compactification of a locally compact abelian group $A$ is defined like so: Let $\hat A$ be the dual group of $A$, and now let $\hat A'$ be the dual group, but with the discrete topology. The Bohr compactification of $A$ is the dual group of $\hat A'$.

(Saying that is a little silly, since it will not be new to most of the readers familiar with the context. Anyone who doesn't follow what I'm going on about in the previous paragraph but finds it interesting might check out, say, Rudin Fourier Analysis on Groups. Or you could start here.)