Hostname: page-component-6898cfcb55-th4rj Total loading time: 0 Render date: 2026-11-11T12:26:39.682Z Has data issue: false hasContentIssue false
  • English
  • Français

A short proof of the Schröder–Simpson Theorem

Published online by Cambridge University Press:  02 December 2014

JEAN GOUBAULT-LARRECQ
JEAN GOUBAULT-LARRECQ*
Affiliation:
ENS Cachan, 61, Avenue du Président-Wilson, 94230 Cachan, France Email: goubault@lsv.ens-cachan.fr
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

We give a short and elementary proof of the Schröder–Simpson Theorem, which states that the space of all continuous maps from a given space X to the non-negative reals with their Scott topology is the cone-theoretic dual of the probabilistic powerdomain on X.

Information

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 25 , Issue 1 , January 2015, pp. 1 - 5
Copyright
Copyright © Cambridge University Press 2014 

References

Heckmann, R. (1996) Spaces of valuations. In: Andima, S., Flagg, R. C., Itzkowitz, G., Kong, Y., Kopperman, R. and Misra, P. (eds.) Papers on General Topology and Applications: 11th Summer Conference at the University of Southern Maine. Annals of the New York Academy of Sciences 806 174–200.CrossRefGoogle Scholar
Keimel, K. (2006) Topological cones: Foundations for a domain-theoretical semantics combining probability and nondeterminism. Electronic Notes in Theoretical Computer Science 155 423–443.CrossRefGoogle Scholar
Keimel, K. (2012) Locally convex cones and the Schröder–Simpson theorem. Questiones Mathematicae 35 353–390.Google Scholar
Kirch, O. (1993) Bereiche und Bewertungen. Master's thesis, TH Darmstadt.Google Scholar
Roth, W. (2000) Hahn–Banach type theorems for locally convex cones. Journal of the Australian Mathematical Society 68 (1)104–125.Google Scholar
Schröder, M. and Simpson, A. (2005) Probabilistic observations and valuations. Talk at Mathematical Foundations of Programming Semantics XXI, Birmingham. (Slides available at http://homepages.inf.ed.ac.uk/als/Talks/mfps05.pdf.)Google Scholar
Tix, R. (1995) Stetige Bewertungen auf topologischen Räumen, Diplomarbeit, TH Darmstadt.Google Scholar