Affiliation:
1. Casimir the Great University in Bydgoszcz
2. Vasyl Stefanyk Precarpathian National University
Abstract
Abstract
Approximation relations (``way below'' and ``way above'') onpointwise ordered sets of ultrapseudometrics are studied. It isproved that, to obtain continuity and/or dual continuity of theseposets in the sense considered in domain theory, i.e., possibilityto ``safely'' approximate all elements from below and from aboverespectively, one should restrict to compact ultrapseudometrics,not exceeding a fixed one. Such poset is a complete lattice,the partial order on it determines the Lawson topology and the dualLawson topology, which coincide (which is linked bicontinuity), arecompact Hausdorff, and agree with the uniform convergence metric.Necessary and sufficient conditions are proved for ``way below''and ``way above'' relations to hold.
MSC Classification: 06F30 , 54E35
Publisher
Research Square Platform LLC
Reference11 articles.
1. Ellis, R.L.: Extending uniformly continuous pseudo-ultrametrics and uniform retracts. Proc. Amer. Math. Soc. 30 (3), 599--602(1971)
2. Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Cambridge University Press, London (2003)
3. de Groot, J.: Non-archimedean metrics in topology. Proc. Amer.Math. Soc. 7, 948--953 (1956)
4. Legendre, P., Legendre, L.: Numerical Ecology, Third Edition, Developments in Environmental Modelling 24. Elsevier, Amsterdam (2012)
5. Kr\"otzsch, M.: Generalized ultrametric upaces in quantitative domain theory. Theoretical Computer Science {\bf368}, 1--27 (2006)