Locally convex topological lattices

Abstract

Abstract. The main theorem of this paper is: Suppose that L is a topological lattice of finite breadth n. Then L can be embedded in a product of n compact chains if and only if L is locally convex and distributive. With this result it is then shown that the concepts of metrizability and separability are equivalent for locally convex, connected, distributive topological lattices of finite breadth.In [8] R. P. Dilworth proved that every distributive lattice of finite breadth n could be embedded (algebraically) in a product of « chains. Since finite breadth and distributivity are hereditary properties this result served to characterize distributive lattices of finite breadth. Dyer and Shields in [9] and Anderson in [4] (also see question 90 of [7]) asked if a result of a similar nature could be obtained for topological lattices, specifically: Can every compact, connected, metric, distributive topological lattice of breadth « be embedded in an «-cell ? This question was answered affirmatively and more generally by Kirby A. Baker and the present author in [6]. For easier reference this result along with several consequences appears as Theorem 1.3 below.The major result of this paper is more nearly the topological analogue to Dilworth's theorem. We characterize the class of those topological lattices which can be embedded in a finite product of compact chains as the class of locally convex, distributive topological lattices of finite breadth. The class of locally convex topological lattices is rather large. For example, it contains all compact topological lattices [15], all locally compact and connected topological lattices [3], and all discrete lattices. This being the case our result contains those of [6] and [8].We also show that the set of separating points of a locally convex, connected topological lattice is very well behaved. This fact together with our main theorem allows us to prove that separability and metrizability are equivalent for locally convex, connected, distributive topological lattices of finite breadth.The author wishes to express his gratitude to F. Burton Jones for his aid in the preparation of this paper.1. Definitions and preliminary results. A topological lattice is a Hausdorff topological space with a pair of continuous maps A,

Metrizability of Finite Dimensional Spaces with a Binary Convexity

“…This (nontrivial) fact, together with Corollary This alternative proof relies on an "alien" completely distributive lattice structure on the intervals of X, which is hiding behind the structure of convexity. Also, when comparing our proof to the one of [19], it appears that the original argument in 2.2 is more direct. We now work towards some improvements of Theorem 0.1.…”

Convexities on ordered structures have their Krein--Milman theorem

“…Using either [62,Proposition 1.13.3] or a combination of [25,] and the proof of [25, Proposition III-2.13], one can assert that L is also locally convex with respect to the order convexity. Thus, [59,Theorem 3.1], due to Stralka, can be applied: L as a topological lattice can be embedded (algebraically and topologically) in a product of b compact (connected) chains C = b j=1 C j . As a consequence, K as a topological semilattice also embeds in C. For each j = 1, .…”

“…For instance, [25, Proposition VII-2.8] gives a lattice counterpart to the fundamental theorem 4.1. Also, Choe [12,13] and Stralka [59] among others studied topological lattices with small lattices, which are nothing but locally convex topological lattices.…”

Lee W. Anderson 1926–1973

“…Baker and Stralka, [30], showed that every compact and every locally compact connected distributive lattice of finite breadth n could be embedded in a product of n compact chains. Further results are given in [41].…”