A Completeness Criterion for Inner Product Spaces

Abstract

We show that a separable inner product space is complete if and only if its lattice of strongly closed subspaces possesses at least one state. This gives a measure-theoretic characterization of Hilbert spaces among inner product spaces and, as a by-product, exhibits a ‘continuous’ example of a stateless orthocomplemented lattice.