Approximating orders in meet-continuous lattices and regularity axioms in many valued topology (Q925255): Difference between revisions

The authors discuss properties of \(L\)-valued topological spaces which are meet-continuous. To formulate regularity axioms under absence of the frame law, the existence of an order-reversing involution on the lattice \(L\) is assumed. The authors consider a multiplicative auxiliary order (see, e.g., [\textit{G. Gierz}, \textit{K. H. Hofmann}, \textit{K. Keimel}, \textit{J. D. Lawson}, \textit{M. Mislowe} and \textit{D. S. Scott}, A compendium of continuous lattices. Berlin-Heidelberg-New York: Springer-Verlag (1980; Zbl 0452.06001)]) on meet-continuous lattices and demonstrate that the subset of all approximating elements is closed under finite infs and arbitrary sups. It allows for subbasic characterization of regularity and complete regularity. This result enables the authors in turn to restate (with unchanged proofs) all results on completely regular spaces [\textit{T. Kubiak}, ``Separation axioms: Extension of mappings and embedding of spaces'', in: U. Höhle (ed.) et al., Mathematics of fuzzy sets. Logic, topology, and measure theory. Dordrecht: Kluwer Academic Publishers. Handb. Fuzzy Sets Ser. 3, 433--479 (1999; Zbl 0977.54007)] (with \(L\) being a frame) in a meet-continuous lattice (distributivity-free) setting.