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.


Mathematics and Statistics

Keywords and Phrases

Distributive Lattice; Modular Lattice; Locally Finite Lattice; Freely Generated Lattice; Convex Sets

Document Type

Article - Journal

Document Version


File Type





© 1997 Faculty of Technical Sciences Cacak, All rights reserved.

This document is currently not available here.