If I understand it, Hilbert spaces can be finite (e.g., for spin of a particle), countably infinite (e.g., for a particle moving in space), or uncountably infinite (i.e., non-separable, e.g., QED). I am wondering about variations on this latter. The easiest uncountable to imagine is the...