Weak topologies and compactness in asymmetric functional analysis

The classical Bourbaki–Alaoglu theorem asserts that the polar U∘U∘ of a neighborhood of 0 in a locally convex topological vector space V is a weak⁎compact subset of the dual space V⁎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⁎C⁎ of continuous homomorphisms from X to R   under appropriate hypotheses. We exhibit conditions under which C⁎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.