DOI QR코드

DOI QR Code

M-SCOTT CONVERGENCE AND M-SCOTT TOPOLOGY ON POSETS

  • Yao, Wei (Department of Mathematics, Hebei University of Science and Technology)
  • Received : 2011.05.13
  • Accepted : 2011.06.04
  • Published : 2011.06.25

Abstract

For a subset system M on any poset, M-Scott notions, such as M-way below relation,M-continuity,M-Scott convergence (of nets and filters respectively) and M-Scott topology are proposed Any approximating auxiliary relation on a poset can be represented by an M-way below relation such that this poset is M-continuous. It is shown that a poset is M-continuous iff the M-Scott topology is completely distributive. The topology induced by the M-Scott convergence coincides with the M-Scott topology. If the M-way below relation satisfies the property of interpolation then a poset is M-continuous if and only if the M-Scott convergence coincides with the M-Scott topological convergence. Also, M-continuity is characterized by a certain Galois connection.

Keywords

References

  1. B. Banaschewski, R.-E. Hoffmann (Eds.), Continuous Lattices, Bremen 1979, Lecture Notes in Mathematics 871, Springer-Verlag, Berlin/Heidelberg/New York, 1981.
  2. H.-J. Bandelt, M-distributive lattices, Arch. Math. 39 (1982) 436-442. https://doi.org/10.1007/BF01899545
  3. H.-J. Bandelt, M. Erne, The category of Z-continuous posets, J. Pure Appl. Algebra 30 (1983) 219-226. https://doi.org/10.1016/0022-4049(83)90057-9
  4. H.-J. Bandelt, M. Erne, Representations and embedding of M-distributive lattices, Houston J. Math. 10 (1984) 315-324.
  5. A. Baranga, Z-continuous poset, Discrete Mathematics 152 (1996) 33-45. https://doi.org/10.1016/0012-365X(94)00307-5
  6. M. Erne, Completion-invariant extension of the concept of continuous lattice, Lecture Notes in Mathematics 871, Springer-Verlag, Berlin/Heidelberg/New York, 1981, pp. 45-60.
  7. M. Erne, Homomorphisms of M-distributive and M-generated posets, Tech. Report No. 125, Institut fur Mathematik, Universitat, Hannover, 1981, pp. 315-324.
  8. M. Erne, Scott convergence and Scott topology on partially ordered sets II, Lecture Notes in Mathematics 871, Springer-Verlag, Berlin/Heidelberg/New York, 1981, pp. 61-96.
  9. M. Erne, Z-continuous posets and their topological manifestation, Applied Categorical Structures 7 (1999) 31-70. https://doi.org/10.1023/A:1008657800278
  10. O. Frink, Ideals in partially ordered sets, Amer. Math. Monthly 61 (1954) 223-234. https://doi.org/10.2307/2306387
  11. G. Gierz, et al, A Compendium of Continuous Lattices, Springer-Verlag, New York, 1980.
  12. G. Gierz, et al, Continuous Lattices and Domains, Cambridge University Press, Cambridge, 2003.
  13. G. Gratzer, General Lattice Theory (2nd edition), Birkhauser, Basel-Boston-Berlin, 1998.
  14. R.-E. Hoffmann, Continuous posets, prime spectra of completely distributive complete lattices, and Hausdorff compactifications, Lecture Notes in Mathematics 871, Springer-Verlag, Berlin/Heidelberg/New York, 1981, pp. 159-108.
  15. R.-E. Hoffmann, K.H. Hofmann (Eds.), Continuous Lattices and Their Applications, Bremen 1982, Lecture Notes in Pure and Applied Mathematics 101, Marcel Dekker, New York, 1985.
  16. D.C. Kent, Convergence functions and their related topologies, Fund. Math. 54 (1964) 125-133. https://doi.org/10.4064/fm-54-2-125-133
  17. J.D. Lawson, The duality of continuous posets, Houston J. Math. 5 (1979) 357-386.
  18. J.H Liang, K. Keimel, Order enviroments of topological spaces, Acta Mathematica Sinica 20 (2004) 943-948. https://doi.org/10.1007/s10114-004-0365-8
  19. E. Nelson, Z-continuous poset, Lecture Notes in Mathematics 871, Springer-Verlag, Berlin/Heidelberg/New York, 1981, pp. 315-334.
  20. D. Novak, Generalization of continuous posets, Trans. Amer. Math. Soc. 272 (1982) 645-667. https://doi.org/10.1090/S0002-9947-1982-0662058-8
  21. O. Ore, Galois connexions, Trans. Amer. Math. Soc. 55 (1944) 493-513. https://doi.org/10.1090/S0002-9947-1944-0010555-7
  22. D.S. Scott, Outline of a mathematical theory of computation, Proc. 4th Annual Princeton Conf. on Information Science and Systems, Princeton University Press, Princeton, NJ, 1970, pp. 169-176.
  23. D.S. Scott, Continuous lattices, Topos, Algebraic Geometry and Logic, Lecture Notes in Mathematics 274, Springer-Verlag, Berlin, 1972, pp. 97-136.
  24. G.B. Shi, A new characterization of Z-continuous posets, Preprint Louisiana State University, Baton Rouge, 1996.
  25. J. Schmidt, Beitrage zur filter theorie II, Math. Nachr. 10 (1953) 199-232.
  26. P. Venugopalan, Z-continuous posets, Houston J. Math. 12 (1986) 275-294.
  27. P. Venugopalan, A generalization of completely disdributive lattices, Algebra Universalis 27 (1990) 578-586. https://doi.org/10.1007/BF01189001
  28. G.-J. Wang, Theory of $\phi$-minimal sets and its applications, Chinese Sci. Bull. 32 (1987) 511-516.
  29. G.-J. Wang, Theory of topological molecular lattices, Fuzzy Sets and Systems 47 (1992) 351-376. https://doi.org/10.1016/0165-0114(92)90301-J
  30. S. Weck, Scott convergence and Scott topology in partially ordered sets I, Lecture Notes in Mathematics 871, Springer-Verlag, Berlin/Heidelberg/New York, 1981, pp. 372-383.
  31. J.B. Wright, E.G. Wagner, J.W. Thatcher, A uniform approach to inductive posets and inductive closure, Lecture Notes in Comupter Science 53, Springer-Verlag, Berlin-New York, 1977, pp. 192-212.
  32. J.B. Wright, E.G. Wagner, J.W. Thatcher, A uniform approach to inductive posets and inductive closure, Theoretical Computer Science 7 (1978) 57-77. https://doi.org/10.1016/0304-3975(78)90040-3
  33. L.S. Xu, Continuity of posets via Scott topology and sobrification, Topology and its Applications 153 (2006) 1886-1894. https://doi.org/10.1016/j.topol.2004.02.024
  34. X.-Q. Xu, Constructions of homomorphisms of M-continuous lattices, Trans. Amer. Math. Soc. 347 (1995) 3167-3175. https://doi.org/10.2307/2154781
  35. W. Yao, L.-X. Lu, Relationships between Galois connections and operators, The 4th International Symposium on Domain Theory, 2006, June 1-5, Changsha, China, pp. 43-46.
  36. B. Zhao, D.S. Zhao, Liminf convergence in partially ordered posets, J. Math. Anal. Appl. 309 (2005) 701-708. https://doi.org/10.1016/j.jmaa.2004.11.028
  37. Y. Zhou, B. Zhao, Order-convergence and $lim-inf_M$-convergence in posets, J. Math. Anal. Appl. 325 (2007) 655-664. https://doi.org/10.1016/j.jmaa.2006.02.016

Cited by

  1. s 2 -C-continuous Poset vol.333, 2017, https://doi.org/10.1016/j.entcs.2017.08.005