Amenable locally compact foundation semigroups (Q2474993)

Let \(S\) be a locally compact Hausdorff topological semigroup, \(M(S)\) its measure algebra and \(M_a(S)\) the space of all measures \(\mu\in M(S)\) such that the mappings \([x\in S \mapsto \delta_x\ast| \mu| \in M(S)]\) and \([x\in S \mapsto | \mu| \ast\delta_x\in M(S)]\) are weakly continuous. A linear functional \(M\in M_a(S)^{**}\) is called a mean if \(M(f)\geq 0\) for every \(f\in M_a(S)^*\) which is nonnegative on positive measures, and \(M(1)=1,\) where \(1\) denotes the functional \(\mu\mapsto \mu(S).\) The mean \(M\) is left invariant if \(M(f\delta_x)=M(f)\) for every \(x \in S\) and every \(f\in M(S)^*\), and topologically left invariant if \( M (f\mu)= M(f)\) for every \(f\in M(S)^*\) and every probability measure \(\mu\) (here \(f\mu\) is the linear functional \([\nu \mapsto f(\mu*\nu)]\). The author characterizes in several ways the existence of a (topologically) left invariant mean on the space \(M_a(S)^*,\) where \(S\) is a foundation semigroup (i.e., the union of the supports of all measures in \(M_a(S)\) is dense in \(S\)); among them, by means of Reiter-like conditions, averaging operators, and fixed point properties on compact convex subsets of locally convex spaces.