##
**Lattice uniformities generated by filters.**
*(English)*
Zbl 0907.06015

In an earlier paper [Ann. Mat. Pura Appl. 160, 347-370 (1991; Zbl 0790.06006) and ibid. 165, 133-158 (1993; Zbl 0799.06014)], the second author studied uniform lattices as a common generalization of topological Boolean rings and topological Riesz spaces. Lattice uniformities play a similar role in the study of modular functions as FN-topologies.

The main aim of this paper is to give a contribution to the examination of the lattice structure of the space \({\mathcal L}{\mathcal U}_c(L)\) of all exhaustive lattice uniformities on a lattice \(L\). In particular, in the case where \(L\) is a modular sectionally complemented lattice, we get a satisfactory result; in this case \({\mathcal L}{\mathcal U}_c(L)\) is a complete Boolean algebra (see Corollary 5.11). Such a result can be used as the main tool in obtaining decomposition theorems for modular functions as well as information about the structure of uniform completions of \(L\).

Important for our investigations is the fact that a lattice uniformity on a sectionally complemented lattice \(L\) is uniquely determined by its \(0\)-neighbourhood system; moreover the filters which are \(0\)-neighbourhood filters for lattice uniformities are precisely the “distributive” filters, the space of which we indicate by \({\mathcal F}{\mathcal N}{\mathcal D}(L)\).

We study this space \({\mathcal F}{\mathcal N}{\mathcal D}(L)\) also for an arbitrary lattice \(L\). Every filter of \({\mathcal F}{\mathcal N}{\mathcal D}(L)\) induces on \(L\) lattice uniformity in a similar way that a distributive ideal in \(L\) induces a congruence relation. In fact, the concept of “distributive” filters introduced here and some statements about them were suggested by the concept and some properties of distributive ideals.

The main result essentialy says that, for a Hausdorff exhaustive lattice uniformity \(w\) on \(L\) generated by some \({\mathcal F}_0\in{\mathcal F}{\mathcal N}{\mathcal D}(L)\), the space of all lattice uniformities generated by filters of \({\mathcal F}{\mathcal N}{\mathcal D}(L)\) coarser than \({\mathcal F}_0\) is isomorphic to the space of all distributive elements of the completion of \((L, w)\). As a consequence, we get the result 5.11 mentioned above and the fact proved earlier [H. Weber, Order 12, 295-305 (1995; Zbl 0834.06013)] that the space of all exhaustive lattice uniformities on an orthomodular lattice is a complete Boolean algebra.

The main aim of this paper is to give a contribution to the examination of the lattice structure of the space \({\mathcal L}{\mathcal U}_c(L)\) of all exhaustive lattice uniformities on a lattice \(L\). In particular, in the case where \(L\) is a modular sectionally complemented lattice, we get a satisfactory result; in this case \({\mathcal L}{\mathcal U}_c(L)\) is a complete Boolean algebra (see Corollary 5.11). Such a result can be used as the main tool in obtaining decomposition theorems for modular functions as well as information about the structure of uniform completions of \(L\).

Important for our investigations is the fact that a lattice uniformity on a sectionally complemented lattice \(L\) is uniquely determined by its \(0\)-neighbourhood system; moreover the filters which are \(0\)-neighbourhood filters for lattice uniformities are precisely the “distributive” filters, the space of which we indicate by \({\mathcal F}{\mathcal N}{\mathcal D}(L)\).

We study this space \({\mathcal F}{\mathcal N}{\mathcal D}(L)\) also for an arbitrary lattice \(L\). Every filter of \({\mathcal F}{\mathcal N}{\mathcal D}(L)\) induces on \(L\) lattice uniformity in a similar way that a distributive ideal in \(L\) induces a congruence relation. In fact, the concept of “distributive” filters introduced here and some statements about them were suggested by the concept and some properties of distributive ideals.

The main result essentialy says that, for a Hausdorff exhaustive lattice uniformity \(w\) on \(L\) generated by some \({\mathcal F}_0\in{\mathcal F}{\mathcal N}{\mathcal D}(L)\), the space of all lattice uniformities generated by filters of \({\mathcal F}{\mathcal N}{\mathcal D}(L)\) coarser than \({\mathcal F}_0\) is isomorphic to the space of all distributive elements of the completion of \((L, w)\). As a consequence, we get the result 5.11 mentioned above and the fact proved earlier [H. Weber, Order 12, 295-305 (1995; Zbl 0834.06013)] that the space of all exhaustive lattice uniformities on an orthomodular lattice is a complete Boolean algebra.

### MSC:

06F30 | Ordered topological structures |

54E15 | Uniform structures and generalizations |

54H12 | Topological lattices, etc. (topological aspects) |

### Keywords:

distributive filters; space of exhaustive lattice uniformities; decomposition; modular functions; uniform completions
PDFBibTeX
XMLCite

\textit{A. Avallone} and \textit{H. Weber}, J. Math. Anal. Appl. 209, No. 2, 507--528 (1997; Zbl 0907.06015)

Full Text:
DOI

### References:

[1] | Basile, A.; Traynor, T., Monotonely Cauchy locally solid topologies, Order, 7, 407-416 (1991) · Zbl 0778.46007 |

[2] | Beran, L., Orthomodular lattices, Mathematics and Its Applications (1985), Reidel: Reidel Dordrecht · Zbl 0558.06008 |

[3] | Birkhoff, G., Lattice Theory (1967), Am. Math. Soc: Am. Math. Soc Providence · Zbl 0126.03801 |

[4] | Drewnowski, L., Topological rings of sets, continuous set functions, integration I, II, and III, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astr. Phys., 20, 269-276 (1972) · Zbl 0249.28004 |

[5] | Grätzer, G., General Lattice Theory. General Lattice Theory, Pure and Applied Mathematics Series (1978), Academic Press: Academic Press San Diego · Zbl 0385.06015 |

[6] | Maeda, F.; Maeda, S., Theory of Symmetric Lattices (1970), Springer-Verlag: Springer-Verlag Berlin/Heidelberg/New York · Zbl 0219.06002 |

[7] | Waelbroecks, Topological vector spaces and algebras. Topological vector spaces and algebras, Lecture Notes in Mathematics, 230 (1971), Springer-Verlag: Springer-Verlag Berlin/New York · Zbl 0225.46001 |

[8] | Weber, H., Group- and vector-valued \(s\), Measure Theory. Measure Theory, Lecture Notes in Mathematics, 1089 (1984), Springer-Verlag: Springer-Verlag Berlin/New York, p. 181-198 · Zbl 0552.28011 |

[9] | Weber, H., Uniform Lattice: A generalization of topological Riesz spaces and topological Boolean rings; Uniform Lattice II: Order continuity and exhaustivity, Ann. Mat. Pura Appl., 160, 347-370 (1991) · Zbl 0790.06006 |

[10] | Weber, H., Lattice uniformities and modular functions on orthomodular lattices, Order, 12, 295-305 (1995) · Zbl 0834.06013 |

[11] | H. Weber, On modular functions, Funct. Approx.; H. Weber, On modular functions, Funct. Approx. · Zbl 0887.06011 |

[12] | H. Weber; H. Weber |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.