Differentiability of continuous functions in terms of Haar-smallness (Q2216578)

The authors give the following description of the present investigations: ``We prove that the set of somewhere differentiable functions (i.e., functions which are differentiable at some point) is not Haar-countable. We consider functions differentiable on a set of positive Lebesgue's measure and functions differentiable almost everywhere with respect to Lebesgue's measure. Furthermore, we study multidimensional case, i.e., differentiability of continuous functions defined on \([0, 1]^k\). Finally, we pose an open question concerning Takagi's function.'' A brief survey is devoted to Takagi's function, to the notion of Haar-null sets, and to somewhere differentiable functions. The special attention is given to the notions of Haar-countable, Haar-finite, and Haar-\(n\) sets. Also, the notion of Haar-meager sets is briefly considered. One can note that the special attention also is given to sets of nowhere differentiable functions on \([0, 1]^k\) (i.e., nowhere differentiable functions on \([0, 1]^k\) are ``functions defined on \([0, 1]^k\) which do not have a finite directional derivative at any point along any vector''). The main results are proven with explanations, the main notions are given with brief surveys. Some open questions related with topics of this research, are noted.