Geometric Conditions For Local Finiteness of a Lattice of Convex Sets
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.
M. Insall, "Geometric Conditions For Local Finiteness of a Lattice of Convex Sets," Mathematica Moravia, Faculty of Technical Sciences Cacak, Jan 1997.
Mathematics and Statistics
Keywords and Phrases
Distributive Lattice; Modular Lattice; Locally Finite Lattice; Freely Generated Lattice; Convex Sets
Article - Journal
© 1997 Faculty of Technical Sciences Cacak, All rights reserved.
01 Jan 1997