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