Weak upper topologies and duality for cones
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 f...
Gespeichert in:
Veröffentlicht in: | Logical methods in computer science 2015-09, Vol.11, Issue 3 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | 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. |
---|---|
ISSN: | 1860-5974 1860-5974 |
DOI: | 10.2168/LMCS-11(3:21)2015 |