Strong continuity of invariant probability charges

From MaRDI portal





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\).











This page was built for publication: Strong continuity of invariant probability charges

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4829454)