Geometric Conditions For Local Finiteness of a Lattice of Convex Sets
Abstract
Convex sets of states and the corresponding normal functionals defined on the hilbert space containing them play a central role in the foundations of General Quantum Mechanics (see, e.g. [Pool], [Beltr-Cass]). The design of quantum logics for reasoning about General Quantum Mechanics leads naturally to the theory of orthomodular lattices ([Pool], [Beltr-Cass], [Kalmbach]), for example, as lattices of closed convex sets in a (complex) hilbert space. The quantum logics developed for such a purpose can be much easier to work in if the corresponding lattice of convex sets is finite, or at least locally finite. (In the classical or intuitionistic case, this holds, because truth assignments are made in a boolean algebra or a distributive lattice.) We give elementary examples which establish the following facts: the lattice of convex subsets of a hilbert space is not locally finite, it is not modular (hence not distributive), and locally finite lattices of closed convex sets in any hilbert space have very restrictive geometric arrangements of their members.
Recommended Citation
M. Insall, "Geometric Conditions For Local Finiteness of a Lattice of Convex Sets," Mathematica Moravia, Faculty of Technical Sciences Cacak, Jan 1997.
Department(s)
Mathematics and Statistics
Keywords and Phrases
Distributive Lattice; Modular Lattice; Locally Finite Lattice; Freely Generated Lattice; Convex Sets
Document Type
Article - Journal
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 1997 Faculty of Technical Sciences Cacak, All rights reserved.
Publication Date
01 Jan 1997