Test spaces, dacey spaces, and completeness of inner product spaces
Tóm tắt
We show that a test space consisting of the unit sphere of a real or complex inner product spaceS and of the set all maximal orthonormal systems inS, is algebraic iffS is Dacey or, equivalently, iffS is complete. In addition, we present another completeness criterion.
Tài liệu tham khảo
Amemiya, I. and Araki, H., A remark on Piron's paper,Publ. Res. Inst. Math. Sci., Ser. A 2, 423–427 (1966–67).
Canetti, A. and Marino, G., Completeness and Dacey pre-Hilbert spaces, Preprint, Univ. Calabria (1988).
Cattaneo, G., Franco, G. and Marino, G., Ordering on families of subspaces of pre-Hilbert spaces and Dacey pre-Hilbert spaces,Boll. Un. Mat. Ital. 1B, 167–183 (1987).
Dvurečenskij, A., Completeness of inner product spaces and quantum logic of splitting subspaces,Lett. Math. Phys. 15, 231–235 (1988).
Dvurečenskij, A.,Gleason's Theorem and its Applications, Kluwer Academic Publ., Dordrecht, Ister Science Press, Bratislava, 1993.
Foulis, D. J. and Bennett, M. K., Tensor products of orthoalgebras,Order 10, 271–282 (1993).
Foulis, D. J., Greechie, R. J. and Rüttimann, G. T., Filters and supports in orthoalgebras,Internat. J. Theoret Phys. 31, 787–807 (19-192).
Foulis, D. J. and Randall, C. H., Operational statistics. I. Basic concepts,J. Math. Phys. 13, 1667–1675 (1972).
Gudder, S. P.,Quantum Probability, Academic Press, New York, 1988.
Kalmbach, G.,Orthomodular Lattices, Academic Press, London, 1983.
Kolmogorov, A. N.,Grundbegriffe der Wahrscheinlichkeitscrechnung, Berlin, 1933.
Pták, P. and Pulmannová, S.,Orthomodular Structures as Quantum Logics, Kluwer Academic Publ., Dordrecht, 1991.