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 |