Super-measures and finitely defined topological measures (Q1410424): Difference between revisions

According to the authors' terminology, a topological measure \(\mu\) on a compact Hausdorff space \(X\) is a real-valued, non-negative, monotone, \(\sigma\)-additive, regular set function which is defined on the family \(\mathcal A\) of sets that are either closed or open. \(\mu\) is called finitely defined if there is a finite subset \(P\) of \(X\) such that \(\sum^n_{i=1}\mu(A_i)\leq \mu (A)\) whenever \(\bigcup^n_{i=1}(A_i\cap P)\subseteq A\cap P\), where \(A,A_1,\dots,A_n\) belong to a certain subsystem of \(\mathcal A\). Finitely defined topological measures are characterized by means of super-measures defined on the power set \(\mathbb P(F)\) of a finite set \(F\); a super-measure \(\sigma :\mathbb P(F)\to \mathbb R\) is a non-negative, super-additive set function satisfying \(\sigma (A)+\sigma(F\setminus A)=\sigma (F)\) for \(A\subseteq F\). Moreover, it is proved that the space of finitely defined topological measures on \(X\) is dense in the space of all topological measures on \(X\).