Subsystems of the Haar system in spaces \(E_ \varphi\) with \(\varliminf_{t\to\infty} {{\varphi(t)}\over t}=0\) (Q1316881)

Let \(\varphi\) be an even function that is finite and nondecreasing on the halfline \([0,\infty)\) and \(\lim_{t \to \infty} \varphi (t)\) \(=\infty\), \(\varphi (0) = 0\), \(\varphi (t)>0\), \(t>0\), \(\varphi (t) \in C [0,\infty)\), and \(\varphi (2t) = O(\varphi(t))\), \(t \to \infty\). \(\varphi (L)\) denotes the set of measurable functions \(f(x)\) on the interval \([0,1]\). The \(\varphi\)-norm is defined by the formula \[ \| f \|_ \varphi = \inf \left \{\varepsilon>0:\int^ 1_ 0 \varphi \left( {| f(x) | \over \varepsilon} \right) dx<\varepsilon \right\},\;f \in \varphi (L). \] A system of elements \(\{f_ n\}_{n=1}^ \infty\) in \(\varphi (L)\) is called a representing system if for each \(f(x) \in \varphi (L)\) there is a series \(\sum^ \infty_{k=1} c_ k f_ k\) such that \(c_ k \in R\), \(k=1,2,\dots\), and \(\lim_{n \to \infty} \| f-\sum^ n_{k=1} c_ k f_ k \|_ \varphi = 0\). The following theorem is proved. Assume that \(\varliminf_{t \to \infty} {\varphi (t) \over t} = 0\). A subsystem \(\{\chi_{n_ k} (t)\}^ \infty_{k=1}\) of the Haar system is a representing set in \(\varphi(L)\) if and only if \(\forall\varepsilon>0\), \(\forall N \in \mathbb{N}\), \(\exists m \in \mathbb{N}\) such that \(\text{mes}\{t:\sum^ m_{k=N} | \chi_{n_ k} (t) | \neq 0\}>1-\varepsilon\).