Partial metrizability in value quantales

• Kopperman, Ralph D. ^[1] ; Matthews, S. ^[2] ; Pajoohesh, H. ^[3]
  1. [1] City University of New York

     City University of New York

     Estados Unidos

     
  2. [2] University of Warwick

     University of Warwick

     Reino Unido

     
  3. [3] University of Birmingham

     University of Birmingham

     Reino Unido

     

  Mostrar afiliaciones +
• Localización: Applied general topology, ISSN-e 1989-4147, ISSN 1576-9402, Vol. 5, Nº. 1, 2004, págs. 115-127
• Idioma: inglés
• DOI: 10.4995/agt.2004.2000
• Enlaces
  • Texto completo
• Resumen

  • Partial metrics are metrics except that the distance from a point to itself need not be 0. These are useful in modelling partially defined information, which often appears in computer science. We generalize this notion to study “partial metrics” whose values lie in a value quantale which may be other than the reals. Then each topology arises from such a generalized metric, and for each continuous poset, there is such a generalized metric whose topology is the Scott topology, and whose dual topology is the lower topology. These are both corollaries to our result that a bitopological space is pairwise completely regular if and only if there is such a generalized metric whose topology is the first topology, and whose dual topology is the second.

• Referencias bibliográficas
  • K. Ciesielski, R.C. Flagg, and R.D. Kopperman, Characterizing topologies with bounded complete computational models, Electron. Notes Theor....
  • R.C. Flagg and R.D. Kopperman, Continuity spaces: reconciling domains and metric spaces, Theor. Comput. Sci. 177 (1997), 111-138. http://dx.doi.org/10.1016/S0304-3975(97)00236-3
  • R.C. Flagg and R.D. Kopperman, Tychonoff poset structures and auxiliary relations, Ann. New York Acad. Sci. 767 (Andima et. al., eds.) (1995),...
  • G.K. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M.W. Mislove and D.S. Scott, A Compendium of Continuous Lattices, Springer-Verlag, Berlin,...
  • R. D. Kopperman, All Topologies Come From Generalized Metrics, Am. Math. Monthly 95 (1988), 89–97. http://dx.doi.org/10.2307/2323060
  • Matthews, S.G., An extensional treatment of lazy data flow deadlock, Theoretical computer science, 151, (1995), 195–205. http://dx.doi.org/10.1016/0304-3975(95)00051-W
  • Matthews, S.G., Partial metric topology, Proc. 8th summer conference on topology and its applications, ed S. Andima et al., Annals of the...
  • G.N. Raney, Completely Distributive Lattices, Proc. Amer. Math. Soc., 3 (1952), 677–680. http://dx.doi.org/10.1090/S0002-9939-1952-0052392-3
  • Stoy, Joseph E., Denotational semantics: the Scott-Strachey approach to programming language theory, The MIT Press, Cambridge, Massachusetts,...
  • Wadge, W.W., An extensional treatment of dataflow deadlock, Theoretical computer science, 13(1), (1981) 3–15. http://dx.doi.org/10.1016/0304-3975(81)90108-0