Weak upper topologies and duality for cones

From MaRDI portal
Publication:3196353

DOI10.2168/LMCS-11(3:21)2015zbMATH Open1355.46004arXiv1507.06796OpenAlexW2244026131MaRDI QIDQ3196353FDOQ3196353


Authors: Klaus Keimel Edit this on Wikidata


Publication date: 29 October 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Abstract: In functional analysis it is well known that every linear functional defined on the dual of a locally convex vector space which is continuous for the weak topology is the evaluation at a uniquely determined point of the given vector space. M. Schroeder and A. Simpson have obtained a similar result for lower semicontinuous linear functionals on the cone of all Scott-continuous valuations on a topological space endowed with the weak upper topology, an asymmetric version of the weak topology. This result has given rise to several proofs, originally by the Schroeder and Simpson themselves and, more recently, by the author of these Notes and by J. Goubault-Larrecq. The proofs developed from very technical arguments to more and more conceptual ones. The present Note continues on this line, presenting a conceptual approach inspired by classical functional analysis which may prove useful in other situations.


Full work available at URL: https://arxiv.org/abs/1507.06796




Recommendations





Cited In (2)





This page was built for publication: Weak upper topologies and duality for cones

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3196353)