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?


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).


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.