Topological cones: functional analysis in a \(T_{0}\)-setting (Q938295)

The author develops basic functional analytic theory for topological (and semitopological) cones. These structures arise from theoretical computer science, and the paper concludes with an application in semantics. Similar material has earlier been developed for more restrictive classes of cones, such as continuous \(d\)-cones (see [\textit{R. Tix}, \textit{K. Keimel} and \textit{G. D. Plotkin}, Electron. Notes Theor. Comput. Sci. 129, 1--104 (2005; Zbl 1271.68004), retracted; correction ibid. 222 (2009; Zbl 1271.68005)]). The topologies considered in the paper are not Hausdorff, but satisfy only the separation axiom \(T_0\). In particular, the non-negative reals, which serve as scalars, are equipped with the upper topology, the open sets of which are of the form \((a,\infty)\) with \(a>0\). Now a cone is said to be semitopological if the cone operations -- addition and scalar multiplication -- are separately continuous, and it is said to be topological if the operations are jointly continuous. For example, a cone with a partial order such that the cone operations are Scott-continuous is a semitopological cone with respect to the Scott topology. The functional analytic theory developed for semitopological cones includes Hahn--Banach type separation theorems, assuming the cone satisfies certain local convexity conditions. The paper is nearly self-contained and easy to read. The author keeps careful track of all the assumptions needed so the reader can easily see which results are true in any situation at hand.