Aus Aifbportal
Wechseln zu:Navigation, Suche

Generalized Ultrametric Spaces in Quantitative Domain Theory

Generalized Ultrametric Spaces in Quantitative Domain Theory

Veröffentlicht: 2006 Dezember

Journal: Theoretical Computer Science
Nummer: 1--2Der Datenwert „--2“ kann einem Attribut des Datentyps Zahl nicht zugeordnet werden sondern bspw. der Datenwert „1“.
Seiten: 30--49
Verlag: Elsevier
Volume: 368

Referierte Veröffentlichung


Domains and metric spaces are two central tools for the study of denotational semantics in computer science, but are otherwise very different in many fundamental aspects. A construction that tries to establish links between both paradigms is the space of formal balls, a continuous poset which can be defined for every metric space and that reflects many of its properties. On the other hand, in order to obtain a broader framework for applications and possible connections to domain theory, generalized ultrametric spaces (gums) have been introduced. In this paper, we employ the space of formal balls as a tool for studying these more general metrics by using concepts and results from domain theory. It turns out that many properties of the metric can be characterized via its formal-ball space. Furthermore, we can state new results on the topology of gums as well as two new fixed point theorems, which may be compared to the Prieß-Crampe and Ribenboim theorem, and the Banach fixed point theorem, respectively. Deeper insights into the nature of formal-ball spaces are gained by applying methods from category theory. Our results suggest that, while being a useful tool for the study of gums, the space of formal balls does not provide the hoped-for general connection to domain theory.

ISSN: 0304-3975
Weitere Informationen unter: LinkLink


Web Science und Wissensmanagement


Domaintheorie, Topologie in der Informatik, Theoretische Informatik