Almost Orthogonality and Hausdorff Interval Topologies of de Morgan Lattices and Lattice Effect Algebras

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

PASEKA Jan JUNDE Wu QIANG Lei

Year of publication 2013
Type Article in Periodical
Magazine / Source International Journal of Theoretical Physics
MU Faculty or unit

Faculty of Science

Citation
Web http://link.springer.com/article/10.1007/s10773-012-1465-3
Doi http://dx.doi.org/10.1007/s10773-012-1465-3
Field General mathematics
Keywords Interval and order topology; De Morgan lattice; Effect algebra; Compact element; Hypercompact element
Description The topologies on ordered structures have been intensively studied by mathematicians and computer scientists. Various types of topologies may be introduced, depending on the nature of the ordered sets considered. Our purpose here is to study the interval topology tau_i , the order topology tau_o and the topology tau_phi induced by a canonical intrinsic uniformity generated by a certain family of pseudometrics on de Morgan lattices. This uniformity and topology may be regarded as a “two-sided symmetrization” of a similar intrinsic uniformity introduced by Erné and Palko for an order-theoretical construction of certain uniform completions. We prove that on a de Morgan lattice L with a join-dense set U the interval topology tau_i is Hausdorff and L is compactly generated by the elements of U if and only if L is U-almost orthogonal if and only if any element of U is hypercompact.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info