A generalized Egorov's statement for ideals

From MaRDI portal
(Redirected from Publication:1750320)



Abstract: We consider the generalized Egorov's statement (Egorov's Theorem without the assumption on measurability of the functions, see cite{tw:nget}) in the case of an ideal convergence and a number of different types of ideal convergence notion. We prove that in those cases the generalized Egorov's statement is independent from ZFC.


The author presents various versions of the classic Egorov's theorem. One of these says: Let \(I\) be a countable generated ideal on \(\omega\) and \(f_n:[0,1]\rightarrow [0,1]\), \(n\in\omega\), be a sequence of Lebesgue-measurable functions such that \(f_n\rightarrow_I 0\) (i.e., \(\{n\in\omega: f_n(x)\geq\epsilon\}\in I\) for any \(\epsilon >0\) and \(x\in [0,1]\)). Then there exists for any \(\delta>0\) a set \(B\subseteq [0,1]\) of Lebesgue measure \(\leq \delta\) such that \(f_n\rightrightarrows_I 0\) on \([0,1]\setminus B\) (i.e., for any \(\epsilon>0\) there is a set \(A\in I\) such that \(\{n\in\omega: f_n(x)\geq\epsilon\}\subseteq A\) for any \(x\in [0,1]\setminus B\)). An analogous theorem holds replacing the assumption that the function \(f_n\) are measurable by the assumption that the lowest cardinality of a Lebesgue non-null set is smaller than the lowest cardinality of a family of sequences of natural numbers unbounded in the sense of the order of eventual domination.











This page was built for publication: A generalized Egorov's statement for ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1750320)