Let S be a real or a complex inner product space. Let E(S) be the set of all subspaces M of S for which the condition: \(M+M^{\perp}=S\) holds. In this paper the authors show that S is complete iff E(S) possesses at least one nonzero completely additive signed measure on E(S) or, equivalently, iff S possesses at least one nonzero frame function. This main result is applying, by the authors for another system of closed subspaces [see: Lett. Math. Phys. 17, 19-24 (1988; review above)].
Recommendations
Cites work
- A Completeness Criterion for Inner Product Spaces
- Completeness of inner product spaces and quantum logic of splitting subspaces
- Gleason's theorem and completeness of inner product spaces
- State on splitting subspaces and completeness of inner product spaces
- States on families of subspaces of pre-Hilbert spaces
Cited in
(9)- Bibliography on quantum logics and related structures
- Regular measures and inner product spaces
- Gleason's theorem and completeness criteria
- Order topology on orthocomplemented posets of linear subspaces of a pre-Hilbert space
- Boundedness of sign-preserving charges, regularity, and the completeness of inner product spaces
- scientific article; zbMATH DE number 809161 (Why is no real title available?)
- Quantum logics and completeness criteria of inner product spaces
- Measures on classes of subspaces affiliated with a von Neumann algebra
- Recent progress on pre-Hilbert-space logics and their measure spaces
This page was built for publication: A signed measure completeness criterion
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q910663)