4

I know that any non-separable Hilbert space $\mathcal{H}$ does not have a Schauder basis.

However, does a non-separable Hilbert space $\mathcal{H}$ have a "basis" $B$ in the following sense?

  • $B$ is finite, countable or uncountable (i.e., no restrictions on the size of $B$, unlike for Schauder bases)
  • $B$ is orthonormal: For all $b,b' \in B$, $\langle b,b' \rangle = 0$ for $b \neq b'$ and $1$ for $b=b'$
  • $B$ spans $\mathcal{H}$ in the following sense: Any $x \in \mathcal{H}$ can be written as $\sum_{k \in \mathbb{N}} b_k \langle b_k ,x \rangle$ for a countable subset of $B$: $\{ b_k \}_{k \in \mathbb{N}} \subseteq B$ (I assume $b_k \neq b_l$ for $k \neq l$)

If yes, what is the correct name to refer to such a basis? If no, are there additional assumptions on a non-separable $\mathcal{H}$ that allow such a basis?

Peter
  • 760
  • 4
  • 20

1 Answers1

3

This is known as an "orthonormal basis". See any book or https://en.wikipedia.org/wiki/Orthonormal_basis. Each Hilbert space has such an orthonormal basis $B$. Each $x$ can be written as $x = \Sigma_{b \in B} \langle x, b \rangle b$. You can verify that only countably many $\langle x, b \rangle$ are non-zero (otherwise the sum would not be well-defined).

Paul Frost
  • 76,394
  • 12
  • 43
  • 125
  • The Wikipedia article you cite claims that not every Hilbert space has an orthonormal basis, contradicting your own claim. Do you know which is correct? – Anonymous Feb 10 '20 at 07:30
  • @Anonymous It is true. See https://math.stackexchange.com/q/218092. However, it seems that I did not properly read the Wikipedia article stating "that every Hilbert space admits a basis, but not orthonormal base". This is a mistake. What is true is that not every pre-Hilbert space has an orthonormal basis. – Paul Frost Feb 10 '20 at 09:19
  • Interesting. What definition of Hilbert space are you using? Do you assume separable? – Anonymous Feb 10 '20 at 12:39
  • 1
    A Hilbert space need not be separable. If it separable if and only if it has a countable orthonormal basis. – Paul Frost Feb 10 '20 at 17:50
  • Okay, that’s the definition I assumed OP was working with (some books seem to assume separable in their definition). That’s fascinating that every Hilbert space has an orthonormal basis. – Anonymous Feb 11 '20 at 03:56