×

Locally convex cones and the Schröder-Simpson theorem. (English) Zbl 1274.46005

Summary: This paper paper has two goals: Firstly, to present the conceptual proof of the Schröder-Simpson theorem. The Schröder-Simpson theorem is stated in terms of domain theory and uses directed complete partially ordered cones and Scott-continuous maps. These structures are used to model probabilistic phenomena in denotational semantics. The proof presented here relies on another generalization of vector spaces to an asymmetric setting – cones with convex quasiuniform structures – which has not been used in the semantic community until now.The second goal of this paper is to introduce these two parallel developments of asymmetric generalizations of topological vector spaces in the style of a survey. There are the order theoretical and topological point of view on one hand, and the quasiuniform aspect on the other hand. Both developments had been pursued in parallel until now. The aim is to point out the close connection of these developments to the community working on asymmetric normed and asymmetric locally convex spaces.

MSC:

46A19 Other “topological” linear spaces (convergence spaces, ranked spaces, spaces with a metric taking values in an ordered structure more general than \(\mathbb{R}\), etc.)
46A03 General theory of locally convex spaces
28C15 Set functions and measures on topological spaces (regularity of measures, etc.)
54E15 Uniform structures and generalizations
60B05 Probability measures on topological spaces
Full Text: DOI