Extendible spaces

M.P. Schellekens

Abstract

The domain theoretic notion of lifting allows one to extend a partial order in a trivial way by a minimum. In the context of Quantitative Domain Theory partial orders are represented as quasi-metric spaces. For such spaces, the notion of the extension by an extremal element turns out to be non trivial.

To some extent motivated  by these considerations, we characterize the directed quasi-metric spaces extendible by an extremum. The  class is shown to include the S-completable directef quasi-metric spaces. As an application of this result, we show that for the case of the invariant quasi-metric (semi)lattices, weightedness can be characterized by order convexity with the extension property.


Keywords

Quasi-metric; Directed space; Extension

Full Text:

PDF

Abstract Views

738
Metrics Loading ...

Metrics powered by PLOS ALM


 

Cited-By (articles included in Crossref)

This journal is a Crossref Cited-by Linking member. This list shows the references that citing the article automatically, if there are. For more information about the system please visit Crossref site

1. An extension of the dual complexity space and an application to Computer Science
J. Rodríguez-López, M.P. Schellekens, O. Valero
Topology and its Applications  vol: 156  issue: 18  first page: 3052  year: 2009  
doi: 10.1016/j.topol.2009.02.009



Esta revista se publica bajo una licencia de Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional.

Universitat Politècnica de València

e-ISSN: 1989-4147   https://doi.org/10.4995/agt