Separable Hilbert space

ID: separable-hilbert-space

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

New to topics? Read the docs here!