In applications, Hilbert spaces of interest are often assumed to be separable. In addition to being extremely convenient mathematically, this assumption can often be justified on computational or physical grounds.
Are there applications where non-separable Hilbert spaces naturally arise?