A topological version of Liapunov's theorem
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}\).
- Equivalence of topological dynamics without well-posedness
- Two folk theorems in topological dynamics
- A topological lens for a measure-preserving system
- Continuous transformation of Baire measures into Lebesgue measure
- Annihilating a subspace of 𝐿₁ with the sign of a continuous function
- A topological delay embedding theorem for infinite-dimensional dynamical systems
- The range of vector measures over topological sets and a unified Liapunov theorem
- A general Hobby-Rice theorem and cake cutting
This page was built for publication: A topological version of Liapunov's theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1291145)
