A topological version of Liapunov's theorem (Q1291145)

Main result: Let \(\mu\) denote a finite nonatomic measure on the Borel subsets \({\mathcal B}(X)\) of a topological space \(X\) and let \({\mathcal F}\) stand for the linear subspace of \({\mathcal L}_1(\mu)\) generated by \(f_1, \dots, f_n \in {\mathcal L}_1(\mu)\) satisfying \(\cup^n_{i=1} \{f_i\neq 0\}=X\) up to some \(\mu\)-zero set. Then there exists for any \(A\in {\mathcal B}(X)\) some open subset \(G\) of \(X\) satisfying \(\int_Gfd\mu= \int_Afd \mu\) for all \(f\in{\mathcal F}\) if and only if \(\{f\geq 0\} \in{\mathcal F} (\mu)\bigcap {\mathcal G} (\mu)\) for all \(f\in {\mathcal F}\) is valid, where \({\mathcal F}(\mu)\), \({\mathcal G}(\mu)\) stand for the set consisting of all \(A\in{\mathcal B}(X)\) coinciding with some open subset, closed subset of \(X\) up to some \(\mu\)-zero set, respectively. In particular, the condition \(\bigcup^n_{i=1} \{f_i\neq 0\}=X\) up to some \(\mu\)-zero set is superfluous for the sufficiency of \(\{f\geq 0\}\in {\mathcal F}(\mu) \cap{\mathcal G}(\mu)\) for all \(f\in{\mathcal F}\).