On the coefficients of the expansion of elements from \(C[0,1]\) space by Faber-Schauder system (Q646802)

The so-called Faber-Schauder system \((\varphi_n)\) is a basis in the function space \(C[0,1]\). This means that there exists a unique series representation \(f\in C[0,1]\) of the form \[ \sum_{n=0}^\infty A_n(f)\varphi_n(x), \] where the coefficients \(A_n(f)\) are determined by the values of \(f\) at dyadic rationals. Let \(t\in(0,1]\). The coefficients \(A_n(f)\) are said to be \(t\)-monotone if \[ |A_{n_k}(f)|\geq t|A_{n_{k+i}}(f)|\quad(k=1,2,\dots;\;i\geq 1). \] Here \((n_k)\) is the set of integers for which \(A_n(f)\) is nonzero. The author considers the following question: is it possible to modify a continuous function on a ``small'' set to make the coefficients \(t\)-monotone? The answer is stated in the next Theorem: For every \(\varepsilon\in(0,1)\), there exists a measurable set \(E\subset[0,1]\) with measure \(|E|>1-\varepsilon\), such that to each function \(f\in C[0,1]\) one can find a function \(g\in C[0,1]\) so that \(g\) coincides with \(f\) on \(E\) and the Faber-Schauder coefficients of \(g\) are \(t\)-monotone for all \(t\in(0,1/2]\).