文摘
We show that an inner product space S (real, complex or quaternion) is complete if, and only if, the system of all orthogonally closed subspaces in S, denoted by F(S), admits at least one finitely additive state which is not vanishing on the set of all finite dimensional subspaces of S. Although it gives only a partial solution to the problem formulated by Pták on the existence of a finitely additive state on F(S) for incomplete S, this gives an important insight into the structure of the set of states on F(S). This criterion has no analogue whatsoever in E(S), the system of splitting subspaces of S.