The range of vector measures over topological sets and a unified Liapunov theorem (Q5937214): Difference between revisions

Let \((X,\Sigma,\mu)\) be a finite nonatomic measure space and \(g_1,\ldots,g_n\in L_1\) such that \(X\) is the support of \(\text{span}\{g_1,\ldots,g_n\}\). If \(M(f):= \big( \int fg_1 d\mu,\ldots, \int fg_n d\mu\big)\) and \(B(L_\infty)\) denotes the unit ball of \(L_\infty\), by Liapunov's theorem the compact convex set \(M(B(L_\infty))\) of \({\mathbb R}^n\) is equal to \(M(\text{ext }B(L_\infty))\). Let \(Z_f\) be the zero set of \(f\). The paper under review characterizes when functions in Liapunov's theorem can further be restricted to a smaller class than \(L_\infty\). For a convex cone \({\mathcal L}\) of functions in \(L_\infty\) such that \(\{\text{supp} f; f\in {\mathcal L}^+\}\) generates \(\Sigma\), the author isolates the properties that allow to prove that \(M(B(L_\infty))=M(\{\text{sgn} f; f\in {\mathcal L}, \mu(Z_f)=0\})\), and the result recovers Liapunov's theorem when \({\mathcal L}=L_\infty\). New cases are obtained when \(\mu\) is a Baire measure on a topological space \(X\) and \({\mathcal L}={\mathcal C}(X)\), and also when \(\mu\) is a Borel measure on a topological space \(X\) whose topology has a basis formed by the subsets that are both open a.e. and closed a.e., and \({\mathcal L}\) consists of the lower semi--continuous (a.e.) functions. The author explains the relation of this last case with the similar result proved by \textit{H. G. Kellerer} [Arch. Math. 72, No. 3, 206-213 (1999; Zbl 0922.28014)].