Article1303: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 23: | Zeile 23: | ||
|ISSN=0304-3975 | |ISSN=0304-3975 | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
− | |Download= | + | |Download=2006_1303_Krötzsch_Generalized_Ult_1.pdf |
|Link=http://dx.doi.org/10.1016/j.tcs.2006.05.037 | |Link=http://dx.doi.org/10.1016/j.tcs.2006.05.037 | ||
− | |||
|Projekt= | |Projekt= | ||
|Forschungsgruppe= | |Forschungsgruppe= | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Domaintheorie | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Theoretische Informatik | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Topologie in der Informatik | ||
}} | }} |
Version vom 15. August 2009, 16:53 Uhr
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
Kurzfassung
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
Download: Media:2006_1303_Krötzsch_Generalized_Ult_1.pdf
Weitere Informationen unter: Link
Domaintheorie, Topologie in der Informatik, Theoretische Informatik