Decomposition of transformations (Q1669666)

Let \(S(X)\subseteq 2^X\) be closed under complementation and \(\emptyset\in S(X)\). A transformation \(q:S(X)\rightarrow 2^Y\) is called separating if \(q(E_1)\cap q(E_2)=\emptyset\) whenever \(E_1,E_2\in S(X)\) and \(E_1\cap E_2=\emptyset\), and additive if \(q(E_1\cup E_2)=q(E_1)\cup q(E_2)\) whenever \(E_1,E_2, E_1\cup E_2\in S(X).\) For \(q,q_1,q_2 :S(X)\rightarrow 2^Y\) write \(q=q_1\sqcup q_2\) if \(q_1(E)\cap q_2(E)=\emptyset\) and \(q_1(E)\cup q_2(E)=q(E)\). A transformation \(p:S(X)\rightarrow 2^Y\) is said to be proper if whenever \(h:S(X)\rightarrow 2^Y\) is monotonic, separating and additive and \(h\leq p\), then \(h(E)=\emptyset\) for all \(E\in S(X)\). The decomposition theorem for transformations says that a monotonic separating transformation \(q:S(X)\rightarrow 2^Y\) can be written in a unique way as \(q=h\sqcup p\) where \(h,p:S(X)\rightarrow 2^Y\) are monotonic and separating and, moreover, \(h\) is additive and \(p\) is proper. The author then studies when a transformation \(h:S(X)\rightarrow 2^Y\) is derived from a function \(\omega:h(X)\rightarrow X\), i.e. \(h(E)=\omega^{-1}(E)\) for any \(E\in S(X).\) Let now \(X\) be a compact Hausdorff space and \(S(X)=\{A\subseteq X: A \text{ is open or closed}\}.\) It is studied when a transformation \(q:S(X)\rightarrow 2^Y\) is proper, and when a function \(\psi:S(X)\rightarrow [0,+\infty)\) can be represented as \(\psi=m\circ q\) where \(m\) is a regular Borel measure and \(q:S(X)\rightarrow 2^Y\) a suitable transformation.