Weak topologies and compactness in asymmetric functional analysis

The classical Bourbaki–Alaoglu theorem asserts that the polar U∘ of a neighborhood of 0 in a locally convex topological vector space V is a weak⁎compact subset of the dual space V⁎. G. Plotkin has proved an analogous theorem in the framework of continuous d-cones, a kind of asymmetric version of top...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Topology and its applications Ročník 185-186; s. 1 - 22
Hlavný autor: Keimel, Klaus
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier B.V 01.05.2015
Predmet:
Asymmetric topology and functional analysis
Entropic algebras
Semantic domains
Spaces of homomorphisms
Weak topologies
Entropic algebras
Spaces of homomorphisms
Asymmetric topology and functional analysis
Weak topologies
Semantic domains
ISSN:0166-8641, 1879-3207
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:The classical Bourbaki–Alaoglu theorem asserts that the polar U∘ of a neighborhood of 0 in a locally convex topological vector space V is a weak⁎compact subset of the dual space V⁎. G. Plotkin has proved an analogous theorem in the framework of continuous d-cones, a kind of asymmetric version of topological vector spaces in Domain Theory. In this paper we extend Plotkin's results. We consider topological spaces X with a finitary continuous algebraic structure in the sense of universal algebra instead of a cone structure. Linear functionals are replaced by continuous algebra homomorphisms into a test algebra R replacing the reals. Our main result, Theorem 5.8, concerns the compactness of the space C⁎ of continuous homomorphisms from X to R under appropriate hypotheses. We exhibit conditions under which C⁎ is not only a space but also an algebra, as in the classical situation. This leads us to the notion of entropicity in the sense of universal algebra. The background for our investigation is Domain Theory and its use in denotational semantics (see [8]). Thus our spaces are strongly non-Hausdorff. This paper can be seen as a contribution to asymmetric topology and analysis.
ISSN:0166-8641
1879-3207
DOI:10.1016/j.topol.2015.01.015