Skip to main content Accessibility help

A short proof of the Schröder–Simpson Theorem



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.



Hide All
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 174200.
Keimel, K. (2006) Topological cones: Foundations for a domain-theoretical semantics combining probability and nondeterminism. Electronic Notes in Theoretical Computer Science 155 423443.
Keimel, K. (2012) Locally convex cones and the Schröder–Simpson theorem. Questiones Mathematicae 35 353390.
Kirch, O. (1993) Bereiche und Bewertungen. Master's thesis, TH Darmstadt.
Roth, W. (2000) Hahn–Banach type theorems for locally convex cones. Journal of the Australian Mathematical Society 68 (1)104125.
Schröder, M. and Simpson, A. (2005) Probabilistic observations and valuations. Talk at Mathematical Foundations of Programming Semantics XXI, Birmingham. (Slides available at
Tix, R. (1995) Stetige Bewertungen auf topologischen Räumen, Diplomarbeit, TH Darmstadt.

Related content

Powered by UNSILO

A short proof of the Schröder–Simpson Theorem



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.