Lattice properties of subspace families in an inner product space
HTML articles powered by AMS MathViewer
- by Pavel Pták and Hans Weber PDF
- Proc. Amer. Math. Soc. 129 (2001), 2111-2117 Request permission
Abstract:
Let $S$ be a separable inner product space over the field of real numbers. Let $E(S)$ (resp., $C(S))$ denote the orthomodular poset of all splitting subspaces (resp., complete-cocomplete subspaces) of $S$. We ask whether $E(S)$ (resp., $C(S))$ can be a lattice without $S$ being complete (i.e. without $S$ being Hilbert). This question is relevant to the recent study of the algebraic properties of splitting subspaces and to the search for “nonstandard” orthomodular spaces as motivated by quantum theories. We first exhibit such a space $S$ that $E(S)$ is not a lattice and $C(S)$ is a (modular) lattice. We then go on showing that the orthomodular poset $E(S)$ may not be a lattice even if $E(S)=C(S)$. Finally, we construct a noncomplete space $S$ such that $E(S)=C(S)$ with $E(S)$ being a (modular) lattice. (Thus, the lattice properties of $E(S)$ (resp. $C(S))$ do not seem to have an explicit relation to the completeness of $S$ though the Ammemia-Araki theorem may suggest the opposite.) As a by-product of our construction we find that there is a noncomplete $S$ such that all states on $E(S)$ are restrictions of the states on $E(\overline {S})$ for $\overline {S}$ being the completion of $S$ (this provides a solution to a recently formulated problem).References
- Ichiro Amemiya and Huzihiro Araki, A remark on Piron’s paper, Publ. Res. Inst. Math. Sci. Ser. A 2 (1966/1967), 423–427. MR 0213266, DOI 10.2977/prims/1195195769
- Anatolij Dvurečenskij, Gleason’s theorem and its applications, Mathematics and its Applications (East European Series), vol. 60, Kluwer Academic Publishers Group, Dordrecht; Ister Science Press, Bratislava, 1993. MR 1256736, DOI 10.1007/978-94-015-8222-3
- Anatolij Dvurečenskij and Sylvia Pulmannová, State on splitting subspaces and completeness of inner product spaces, Internat. J. Theoret. Phys. 27 (1988), no. 9, 1059–1067. MR 967420, DOI 10.1007/BF00674351
- Herbert Gross and Hans A. Keller, On the definition of Hilbert space, Manuscripta Math. 23 (1977/78), no. 1, 67–90. MR 482101, DOI 10.1007/BF01168586
- Paul R. Halmos, A Hilbert space problem book, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, 1967. MR 0208368
- J. Hamhalter and P. Pták, A completeness criterion for inner product spaces, Bull. London Math. Soc. 19 (1987), no. 3, 259–263. MR 879514, DOI 10.1112/blms/19.3.259
- John Harding, Orthomodular lattices whose MacNeille completions are not orthomodular, Order 8 (1991), no. 1, 93–103. MR 1129617, DOI 10.1007/BF00385817
- John Harding, Decompositions in quantum logic, Trans. Amer. Math. Soc. 348 (1996), no. 5, 1839–1862. MR 1340177, DOI 10.1090/S0002-9947-96-01548-6
- Samuel S. Holland Jr., Orthomodularity in infinite dimensions; a theorem of M. Solèr, Bull. Amer. Math. Soc. (N.S.) 32 (1995), no. 2, 205–234. MR 1307904, DOI 10.1090/S0273-0979-1995-00593-8
- G. Kalmbach, Measures and Hilbert lattices, World Scientific Publishing Co., Singapore, 1986. MR 867884, DOI 10.1142/0206
- Hans Arwed Keller, Ein nicht-klassischer Hilbertscher Raum, Math. Z. 172 (1980), no. 1, 41–49 (German). MR 576294, DOI 10.1007/BF01182777
- F. Maeda and S. Maeda, Theory of symmetric lattices, Die Grundlehren der mathematischen Wissenschaften, Band 173, Springer-Verlag, New York-Berlin, 1970. MR 0282889
- René Mayet, Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms, Proceedings of the International Quantum Structures Association 1996 (Berlin), 1998, pp. 109–114. MR 1637154, DOI 10.1023/A:1026669407606
- Robert Piziak, Lattice theory, quadratic spaces, and quantum proposition systems, Found. Phys. 20 (1990), no. 6, 651–665. MR 1067796, DOI 10.1007/BF01889453
- Pavel Pták and Sylvia Pulmannová, Kvantové logiky, VEDA, Vydavatel′stvo Slovenskej Akadémie Vied, Bratislava, 1989 (Slovak, with English and Russian summaries). MR 1176313
- M. P. Solèr, Characterization of Hilbert spaces by orthomodular spaces, Comm. Algebra 23 (1995), no. 1, 219–243. MR 1311786, DOI 10.1080/00927879508825218
- S. Bergmann and J. Marcinkiewicz, Sur les fonctions analytiques de deux variables complexes, Fund. Math. 33 (1939), 75–94 (French). MR 57, DOI 10.4064/fm-33-1-75-94
Additional Information
- Pavel Pták
- Affiliation: Faculty of Electrical Engineering, Department of Mathematics, Czech Technical University, 166 27 Prague 6, Czech Republic
- Email: ptak@math.feld.cvut.cz
- Hans Weber
- Affiliation: Dipartimento di Matematica, e Informatica, Università degli Studi di Udine, I-33100 Udine, Italy
- Email: weber@dimi.uniud.it
- Received by editor(s): September 30, 1998
- Received by editor(s) in revised form: June 2, 1999
- Published electronically: February 15, 2001
- Additional Notes: The authors acknowledge the support of grant GAČR 201/98/1153 of the Czech Grant Agency and Progetto di ricerca di interesse nazionale Analisi Reale (Italy).
- Communicated by: David R. Larson
- © Copyright 2001 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 129 (2001), 2111-2117
- MSC (2000): Primary 03G12, 46C05, 81P10
- DOI: https://doi.org/10.1090/S0002-9939-01-05855-5
- MathSciNet review: 1825924