\(p\)-convergence in measure of a sequence of measurable functions and corresponding minimal elements of \(c_{0}\) (Q1007095)

The authors define and investigate \(p\)-convergence in measure in the context of a measure \(\mu\) on a \(\sigma\)-algebra of sets. First, it is proved that a sequence \(\{f_n\}\) of measurable functions converges in measure to \(f\) in the standard sense if there is a sequence \(\{\varepsilon_n\} \in c^+_0\) such that \(\mu([|f_n-f| \geq \varepsilon_n]) \to 0\). For \(p>0\), \(\{f_n\}\) is said to \(p\)-converge in measure to \(f\) if there is a sequence \(\{\varepsilon_n\} \in \ell^+_p\) such that \(\mu([|f_n-f| \geq \varepsilon_n]) \to 0\). The latter convergence for a fixed \(p>0\) is strictly stronger than convergence in measure; furthermore there are sequences which converge in measure but which do not \(p\)-converge in measure for any \(p>0\). Some other results in the paper: If \(\{f_n\}\) \(p\)-converges in measure to \(f\) for some \(p>0\) and \(p_0 = \inf \{p>0: \{f_n\} \, p\)-converges in measure to \( f \}\), then there is a common sequence \(\{\varepsilon_n\}\) that verifies \(\{f_n\}\) \(p\)-converges in measure to \(f\) for all \(p > p_0\). If \(\{f_n\}\) converges in measure to \(f\), then there is a lower limit sequence \(\{\varepsilon_n\} \in c^+_0\) in the sense that (i) \(\mu([|f_n-f| \geq \delta_n]) \to 0\) for any \(\{\delta_n\} \in c^+_0\) which eventually dominates \(\{\varepsilon_n\}\) (for some \(n_0\), \(\delta_n > \varepsilon_n\) for all \(n > n_0\)) and (ii) \(\mu([|f_{k_n}-f| \geq \gamma_n]) \not \to 0\) for any sequence \(\{\gamma_n\} \in c^+_0\) which is eventually dominated by some subsequence \(\{\varepsilon_{k_n}\}\) of \(\{\varepsilon_n\}\). Any two such lower limit sequences for a measure-convergent sequence \(\{f_n\}\) differ in at most finitely many terms. If \(\{f_n\}\) \(p\)-converges in measure to \(f\) for some \(p>0\) and \(\{\varepsilon_n\}\) is a lower limit sequence for the in-measure convergence of \(\{f_n\}\), then, using \(p_0\) as above, \(\{\varepsilon_n\} \in \ell_p\) for all \(p>p_0\), \(\{\varepsilon_n\} \not \in \ell_p\) for all \(p<p_0\), and \(\{\varepsilon_n\} \in \ell_{p_0}\) if and only if \(\{f_n\}\) \(p _0\)-converges in measure to \(f\).