Topological cones: functional analysis in a T0-setting
Topological cones: functional analysis in a T0-setting
复制标题
拓扑锥：T0 设置中的泛函分析
DOI：
10.1007/s00233-008-9078-0
复制
发表时间：
2008
期刊：
影响因子：
0.7
通讯作者：
K. Keimel
中科院分区：
文献类型：
--
作者：
K. Keimel
Please try later.
AbstractAlready in his PhD Thesis on compact Abelian semigroups under the direction of Karl Heinrich Hofmann the author was lead to investigate locally compact cones (Keimel in Math. Z. 99:205–428, 1967). This happened in the setting of Hausdorff topologies. The theme of topological cones has been reappearing in the author’s work in a non-Hausdorff setting motivated by the needs of mathematical models for a denotational semantics of languages combining probabilistic and nondeterministic choice. This is in the line of common work with Karl Heinrich Hofmann in Continuous Lattices and Domains (Gierz et al. in Encyclopedia of Mathematics and its Applications, vol. 93, 2003).Domain Theory is based on order theoretical notions from which intrinsic non-Hausdorff topologies are derived. Along these lines, domain theoretical variants of (sub-) probability measures have been introduced by Jones and Plotkin (Jones, PhD thesis, 1990; Jones and Plotkin in Proceedings of the Fourth Annual Symposium on Logic in Computer Science, pp. 186–195, 1989). Kirch (Master’s thesis, 1993) and Tix (Master’s thesis, 1995) have extended this theory to a domain theoretical version of measures and they have introduced and studied directed complete partially ordered cones as appropriate structures. Driven by the needs of a semantics for languages combining probability and nondeterminism, Tix (Theor. Comput. Sci 264:205–218, 1999; PhD thesis, 1999) and later on Plotkin and Keimel (Electron. Notes Theor. Comput. Sci. 129:1–104, 2005) developed basic functional analytic tools for these structures.In this paper we extend this theory to topological cones the topologies of which are strongly non-Hausdorff. We carefully introduce these structures and their elementary properties. We prove Hahn-Banach type separation theorems under appropriate local convexity hypotheses. We finally construct a monad assigning to every topological cone C another topological cone
$\mathcal{S}(C)$
the elements of which are nonempty compact convex subsets of C. For proving that this construction has good properties needed for the application in semantics we use the functional analytic tools developed before.