7
$\begingroup$

A Hilbert space is a complete inner product space; that is any Cauchy sequence is convergent using the metric induced by the inner product.

From Wikipedia: A Hilbert space is separable if and only if it has a countable orthonormal basis.

What are the examples of non-separable Hilbert spaces? From an applied point of view, are all interesting (finite or infinite) Hilbert spaces separable?

$\endgroup$
  • 1
    $\begingroup$ An example of a non-separable Hilbert space is $L^2$, the space of square integrable functions. This space is widely applicable in quantum mechanics and probability theory. $\endgroup$ – Alex Sep 27 '17 at 22:20
  • 1
    $\begingroup$ @Alex $L^2$ is separable since $L^2([0,1])$ is separable, see also the Hermite functions. Now it is not a RKHS $\endgroup$ – reuns Sep 27 '17 at 22:21
  • $\begingroup$ @reuns separability of $L^2(\Omega, \mathcal{F}, \mu)$ depends on the choice of measure space $(\Omega, \mathcal{F}, \mu)$. $L^2([0,1])$ (with the lebesgue measure and borel $\sigma$-algebra) is separable but that has nothing to do with separability of other $L^2$-spaces. $\endgroup$ – Rhys Steele Sep 27 '17 at 22:31
  • $\begingroup$ Thanks everyone, I appreciate your help. So can we say at least all RKHS are separable? $\endgroup$ – user1609656 Sep 27 '17 at 22:42
  • $\begingroup$ @nobody You take a non-locally finite measure to obtain non-separability ? $\endgroup$ – reuns Sep 27 '17 at 22:45
10
$\begingroup$

The set of almost periodic functions with the inner product $$\langle f, g \rangle = \lim_{N \to \infty} \frac{1}{2N} \int_{-N}^N f(x) \overline{g(x)}dx$$ has an uncountable orthonormal family $\{e^{i \omega x}\}_{\omega \in \mathbb{R}}$. Its completion is a non-separable Hilbert space.

$\endgroup$
  • $\begingroup$ can you please give your email address, I need to consult something regarding one of your answer. Important one $\endgroup$ – M. A. SARKAR Apr 1 at 17:33
8
$\begingroup$

The space $l^2(\mathbb R)$ is another example of a non-separable Hilbert space: It consists of all functions $f:\mathbb R\to\mathbb R$ such that $f(x)\ne0$ only for countable many $x$, and $$ \sum_{x\in \mathbb R}f(x)^2 <\infty. $$ It is easy to see that this is a Hilbert space, the crucial argument is that the countable union of countable sets is countable.

The functions $f_y$ defined by $$ f_y(x) = \begin{cases} 1 &\text{ if } x=y\\ 0 & \text{ else}\end{cases} $$ are an uncountable set of elements with distance $\sqrt2$, hence $l^2(\mathbb R)$ is uncountable.

$\endgroup$
  • 1
    $\begingroup$ Thanks a lot. I can connect to this example much better and now I can see how to frame it for my own problem. Also, your answer should be correct too, but I think I can only pick one. $\endgroup$ – user1609656 Sep 28 '17 at 18:51
  • $\begingroup$ Instead of $l^2(\mathbb R)$ I would say $l^2(S)$ where $S$ is an arbitrary uncountable set. Also, the functions $f_y$ form a base which means the dimension of a Hilbert space can be any cardinal number. $\endgroup$ – Heimdall Jan 24 at 9:10
  • $\begingroup$ What I wonder, though, is: has there been any research on non-separable / uncountably-dimensional Hilbert spaces? In particular, we know that for any countable cardinal number $k$ (so finite ones and $\aleph_0$) there is (up to isomorphism) exactly one $k$-dimensional Hilbert space. Is it so for uncountable cardinals, too? The $l^2(S)$ (where $S$ is some set of cardinality $k$) contruction only tells there is at least one $k$-dimensional Hilbert space. $\endgroup$ – Heimdall Jan 24 at 9:22

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.