On the construction of subinvariant weakly additive set-functions (Q1821221)

Let I be the unit interval [0,1], and let \({\mathbb{B}}(I)\) be the ensemble of the Borel sets of I. A set function \(\lambda\) :\({\mathbb{B}}(I)\to {\mathbb{R}}\) is admissible if (1) \(\lambda\) (A)\(\geq 0\) for all \(A\in {\mathbb{B}}(I)\); (2) \(A\subseteq B\Rightarrow \lambda (A)\leq \lambda (B)\) for any A,B\(\in {\mathbb{B}}(I)\); and (3) \(\lambda (A\cup B)\leq \lambda (A)+\lambda (B)\) for any A,B\(\in {\mathbb{B}}(I)\). If S is a semi-group of homeomorphisms from I into I a set-function \(\lambda\) :\({\mathbb{B}}(I)\to {\mathbb{R}}\) is weakly additive if \(\lambda (A\cup B)=\lambda (A)+\lambda (B)\) for all A,B\(\in {\mathbb{B}}(I)\) such that A and B are separated under S in I. In this note we prove that if S is a semi-group of homeomorphisms \({\mathcal V}:I\to I\) such that for any \(\emptyset \neq {\mathcal U}\in {\mathbb{B}}(I)\) and \(x\in I\), there exists some \({\mathcal V}\in S\) such that \(x\in {\mathcal V}{\mathcal U}\), then there exists an admissible, weakly additive set-function \(\lambda\) on \({\mathbb{B}}(I)\) such that \(\lambda\) (\({\mathcal U})\geq \lambda ({\mathcal V}{\mathcal U})\) for all \({\mathcal V}\in S\) and any \({\mathcal U}\in {\mathbb{B}}(I)\). The construction used in the proof of this result uses nonstandard analysis.