Absolutely convex modules and Saks spaces (Q1840486)

It is shown that the categories \textbf{TopAC} of topological absolutely convex modules (resp. \textbf{TopTC} of topological totally convex modules) and \textbf{CompSaks}\(_1\) of compact Saks spaces are canonically connected by a pair of adjoint functors. More precisely: let \(\Omega=\{(\alpha_i)_{i\in\omega}:\sum_{i\in\omega}|\alpha_i|\leq 1\}\) denote the closed unit ball of the Banach space \(l_1\) and \(\Omega_0\) is the subspace of \(\Omega\) consisting of sequences with finite support. Under a topological totally convex module (resp. a topological absolutely convex module) the author understand a topological space \(C\) endowed with a continuous operation \(\mu:\Omega\times C^{\omega}\to C\) (resp. \(\mu:\Omega_0\times C^{\omega}\to C\)) of ``convex combination'' satisfying certain natural compatibility conditions. A compact Saks space is a triple \((\|\cdot\|,E,{{\mathcal T}})\) consisting of a normed space \((E,\|\cdot\|)\) and a weaker locally convex topology \({\mathcal T}\) on \(E\) such that the closed unit ball of \(E\) is compact in \({\mathcal T}\). A natural correspondence assigning to a compact Saks space its closed unit ball is a ``forgetful'' functor from the category \textbf{CompSaks}\(_1\) into \textbf{TopTC} (resp. \textbf{TopAC}). Using the technique of duality the author shows that this ``forgetful'' functor has a left adjoint. The results of the paper are close to \textit{H. Kleisli} and \textit{H.-P. Künzi} [Appl. Catal. Struct. 2, No. 1, 45-55 (1994; Zbl 0810.18003)] and [Cahier Topologie Geom. Differentielle Categories XXXVI-1, 11-52 (1995; Zbl 0822.18002)].