The local triangle axiom in topology and domain theory
[EN] We introduce a general notion of distance in weakly separated topological spaces. Our approach differs from existing ones since we do not assume the reflexivity axiom in general. We demonstrate that our partial semimetric spaces provide a common generalization of semimetrics known from Topology...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2003 |
| País: | España |
| Institución: | Universitat Politècnica de València (UPV) |
| Repositorio: | RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia |
| Idioma: | inglés |
| OAI Identifier: | oai:riunet.upv.es:10251/82309 |
| Acceso en línea: | https://riunet.upv.es/handle/10251/82309 |
| Access Level: | acceso abierto |
| Palabra clave: | Partial semimetric Partial metric Measurement Lebesgue measurement Local triangle axiom Continuous poset Algebraic dcpo |
| Sumario: | [EN] We introduce a general notion of distance in weakly separated topological spaces. Our approach differs from existing ones since we do not assume the reflexivity axiom in general. We demonstrate that our partial semimetric spaces provide a common generalization of semimetrics known from Topology and both partial metrics and measurements studied in Quantitative Domain Theory. In the paper, we focus on the local triangle axiom, which is a substitute for the triangle inequality in our distance spaces. We use it to prove a counterpart of the famous Archangelskij Metrization Theorem in the more general context of partial semimetric spaces. Finally, we consider the framework of algebraic domains and employ Lebesgue measurements to obtain a complete characterization of partial metrizability of the Scott topology. |
|---|