Strong continuity of invariant probability charges (Q4829454)

Let \(\mathcal{A}\) be an algebra of subsets of some set \(X\) and let \(G\) be a semigroup of operators acting on \(X\) such that \(g^{-1}A\in\mathcal{A}\) for all \(g\in G\) and \(A\in\mathcal{A}\). A finitely additive probability measure (also called probability charge) \(\mu\) on \(\mathcal{A}\) is invariant if \(g\mu=\mu\) for every \(g\in G\). A probability charge \(\mu\) is called strongly continuous if for every \(\varepsilon>0\) there exists a finite partition \(A_1,\dots,A_n\in\mathcal{A}\) of \(X\) such that \(\mu(A_i)\leq\varepsilon\) for all \(i\). The main result says that an invariant probability charge \(\mu\) is strongly continuous if the orbit \(\{g\lambda:g\in G\}\) is infinite for every \(\{0,1\}\)-valued probability charge \(\lambda\) satisfying \(\lambda(A)=0\) whenever \(\mu(A)=0\) for \(A\in\mathcal{A}\). This makes it possible to explore the strong semicontinuity property in terms of the actions of \(G\) on probability charges with values \(0\) or \(1\).