On Banaschewski functions in lattices (Q2276991): Difference between revisions

Let L be a bounded lattice with the least element 0 and the greatest element 1 and X a non-empty subset of L. A function t: \(X\to L\) such that for all x,y\(\in X\), \(x\wedge t(x)=0\), \(x\vee t(x)=1\) and \(x\leq y\Rightarrow t(x)\geq t(y)\) hold, is called a Banaschewski function or a B-function on X. The main results are some existence theorems for B- functions. Theorem 5.2. Let L be a complete lattice with SA (for each \(a<1\) there is an atom p such that \(p\wedge a=0)\), and let X be a non-empty subset of L with \(JC_ 0\) (for each chain C and each \(a\in L\) such that \(a\wedge c=0\) for all \(c\in C\), the upper-join-continuity equality \(a\wedge \bigvee C=\bigvee \{(a\wedge c)|\) \(c\in C\}\) holds) and AD (atomic disjointness property: for all atoms p, \(a\wedge b=0\), \((a\vee b)\wedge p=0\Rightarrow a\wedge (b\vee p)=0).\) Then there exists a B-function on X. Theorem 5.4. Let L be a complete lattice which has the property SB (existence of basic supplementary elements: \(a<1\), \(\exists p>0:\) \(p\wedge a=0\), and \(b\nless p\Rightarrow p\wedge b=0\) or \(p\leq b)\) and let X be a non-empty subset of L with \(JC_ 0\) and GD (general disjointness property: \(a\wedge b=0\), \((a\vee b)\wedge c=0\Rightarrow a\wedge (b\vee c)=0).\) Then there exists a B-function on X provided that in case \(0\in X\) there are non-trivial regular quasi-complement functions on X. Theorem 5.7. Let L be a complete lattice with SC (as SA above but with arbitrary p) and let X be a non-empty subset of L with \(JC_ 0\) and D (0-distributive: \(a\wedge b=0\), \(a\wedge c=0\), \(a\wedge (b\vee c)=0)\). Then there is a B-function on X. Applications to lattices with closure operations and to ordered abelian groups are finally given.