Abstract
It is shown that in a meet-continuous lattice L endowed with a multiplicative auxiliary order ≺ the family of all members of L which satisfy the axiom of approximation, i.e. α = \(\bigvee\){β ∈ L : β ≺ α}, is closed under finite infs and arbitrary sups. This is a key ingredient of a meet-continuous lattice proof that both regularity and complete regularity of many valued topology have subbasic characterizations. As a consequence, the frame law can now be eliminated from some fundamental results on completely regular L-valued topological spaces (e.g., this is the case in regard to the Tychonoff embedding theorem).
Similar content being viewed by others
References
Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. John Wiley & Sons, New York (1990)
Császár, Á.: Foundations of General Topology. Pergamon Press, Oxford (1963)
Dowker, C.H., Papert Strauss, D.: Separation axioms for frames. Colloquia Mathematica Societatis János Bolyai 8, 223–240 (1974). (Topics in Topology Keszthely (Hungary) 1972)
Engelking, R.: General Topology. Polish Sci. Publ., Warszawa (1977)
Gierz, G. Hofmann, K.H., Keimel, K., Lawson, J.D., Mislowe, M., Scott, D.S.: A Compendium of Continuous Lattices. Springer-Verlag, Berlin (1980)
Höhle, U.: Many Valued Topology and Its Applications. Kluwer Academic Publ., Boston (2001)
Höhle, U., Šostak, A.P.: Axiomatic foundations of fixed-basis fuzzy topology. In: [8], pp. 123–272
Höhle, U., Rodabaugh, S.E. (eds.): Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory. The Handbooks of Fuzzy Sets Series 3. Kluwer Academic Publ., Boston (1999)
Hutton, B.: Uniformities on fuzzy topological spaces. J. Math. Anal. Appl. 58, 559–571 (1977)
Hutton, B., Reilly, I.L.: Separation axioms in fuzzy topological spaces. Fuzzy Sets Syst. 3, 93–104 (1980)
Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)
Johnstone, P.T.: The point of pointless topology. Am. Math. Soc. 8, 41–53 (1983)
Kříž I., Pultr, A.: A spatiality criterion and an example of a quasitopology which is not a topology. Houst. J. Math. 15, 215–234 (1989)
Kubiak, T.: On L-Tychonoff spaces. Fuzzy Sets Syst. 73, 25–53 (1995)
Kubiak, T.: Separation axioms: extension of mappings and embedding of spaces. In: [8], pp. 433–479
Kubiak, T., De Prada Vicente, M.A.: Some questions in fuzzy topology. Fuzzy Sets Syst. 105, 277–285 (1999)
Kubiak, T., De Prada Vicente, M.A.: L–regular topological spaces and their topological modification. Int. J. Math. Math. Sci. 23, 687–695 (2000)
Rodabaugh, S.E.: Applications of localic separation axioms, compactness axioms, representations, and compactifications to poslat topological spaces. Fuzzy Sets Syst. 73, 55–87 (1995)
Rodabaugh, S.E.: Separation axioms, representation theorems, compactness, and compactifications. In: [8], pp. 481–551
Author information
Authors and Affiliations
Corresponding author
Additional information
The grant MTM2006-14925-C02-02 from the Ministry of Education and Science of Spain and FEDER is gratefully acknowledged by the second named author.
Rights and permissions
About this article
Cite this article
Höhle, U., Kubiak, T. Approximating Orders in Meet-Continuous Lattices and Regularity Axioms in Many Valued Topology. Order 25, 9–17 (2008). https://doi.org/10.1007/s11083-007-9074-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-007-9074-0
Keywords
- Meet-continuous lattices
- Multiplicative auxiliary order
- L-valued topology
- Regularity
- Complete regularity
- L-cube