Separable Hilbert space (source code)

= Separable Hilbert space

A Hilbert space is separable when it has a countable dense subset, equivalently a countable <Hilbertian basis>.