Article
Keywords:
Hilbert space; inner product space; orthogonally closed subspace; complete and cocomplete subspaces; finitely and $\sigma $-additive state
Summary:
In this note we give a measure-theoretic criterion for the completeness of an inner product space. We show that an inner product space $S$ is complete if and only if there exists a $\sigma $-additive state on $C(S)$, the orthomodular poset of complete-cocomplete subspaces of $S$. We then consider the problem of whether every state on $E(S)$, the class of splitting subspaces of $S$, can be extended to a Hilbertian state on $E(\bar{S})$; we show that for the dense hyperplane $S$ (of a separable Hilbert space) constructed by P. Pták and H. Weber in Proc.  Am.  Math.  Soc. 129 (2001), 2111–2117, every state on $E(S)$ is a restriction of a state on $E(\bar{S})$.
References:
                        
[3] A. Dvurečenskij: 
Gleason’s Theorem and Its Applications. Kluwer Acad. Publ., Ister Science Press, Dordrecht, Bratislava, 1993. 
MR 1256736 
[5] A. M.  Gleason: 
Measures on the closed subspaces of a Hilbert space. J.  Math. Mech. 6 (1957), 885–893. 
MR 0096113 | 
Zbl 0078.28803 
[8] P.  Pták: 
${\mathrm FAT}\leftrightarrow {\mathrm CAT}$ (in the state space of quantum logics). Proceedings of “Winter School of Measure Theory”, Liptovský Ján, Czechoslovakia, 1988, pp. 113–118. 
MR 1000201