Differentiability of continuous functions in terms of Haar-smallness

DOI10.1016/J.TOPOL.2020.107353MaRDI QIDQ2216578zbMATH OpenOpenAlexFDO

Authors Adam Kwela, Wojciech Aleksander Wołoszyn

Publication date 16 December 2020

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1810.03175

zbMATH Keywords

continuous functionsnowhere differentiable functionsHaar-null setsHaar-meager setsHaar-small sets

Mathematics Subject Classification ID

Continuity and differentiation questions (26B05) Topological groups (topological aspects) (54H11) Descriptive set theory (03E15) Nondifferentiability (nondifferentiable functions, points of nondifferentiability), discontinuous derivatives (26A27)

Abstract: One of the classical results concerning differentiability of continuous functions states that the set $mathcalSD$ of somewhere differentiable functions (i.e., functions which are differentiable at some point) is Haar-null in the space $C[0,1]$. By a recent result of Banakh et al., a set is Haar-null provided that there is a Borel hull $BsupseteqA$ and a continuous map $fcolon{0,1}^{m}athbbNoC[0,1]$ such that $f^{-1}[B+h]$ is Lebesgue's null for all $hinC[0,1]$. We prove that $mathcalSD$ is not Haar-countable (i.e., does not satisfy the above property with "Lebesgue's null" replaced by "countable", or, equivalently, for each copy $C$ of ${0,1}^{m}athbbN$ there is an $hinC[0,1]$ such that $mathcalSDcap(C+h)$ is uncountable. Moreover, we use the above notions in further studies of differentiability of continuous functions. Namely, 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.

Recommendations

• On differentiability properties of typical continuous functions and Haar null sets
• Continuously differentiable functions on compact sets
• scientific article; zbMATH DE number 4000262
• scientific article; zbMATH DE number 4017638
• scientific article; zbMATH DE number 2058455
• scientific article; zbMATH DE number 4002092
• On preponderant differentiability of typical continuous functions
• Shorter Notes: On the Differentiability of Functions in R n
• Differentiability Almost Everywhere of Functions of Several Variables

Cites work

• scientific article; zbMATH DE number 787541 (Why is no real title available?)
• scientific article; zbMATH DE number 3099952 (Why is no real title available?)
• Can ideals without ccc be interesting?
• Covering $\mathbb R$ with translates of a compact set
• Haar-smallest sets
• Less than 2^ωmany translates of a compact nullset may cover the real line
• On Borel sets belonging to every invariant ccc $\sigma $-ideal on $2^{\mathbb {N}}$
• On Haar meager sets
• On sets of Haar measure zero in abelian Polish groups
• Packing index of subsets in Polish groups
• Prevalence: a translation-invariant “almost every” on infinite-dimensional spaces
• The Prevalence of Continuous Nowhere Differentiable Functions
• The Takagi function: a survey
• The improper infinite derivatives of Takagi's nowhere-differentiable function

Cited in

(8)

• On differentiability properties of typical continuous functions and Haar null sets
• Typical differentiability within an exceptionally small set
• Haar ambivalent sets in the space of continuous functions
• On the complexity of continuous functions differentiable on cocountable sets
• scientific article; zbMATH DE number 1563690 (Why is no real title available?)
• No-where averagely differentiable functions: Baire category and the Takagi function
• Haar-smallest sets
• Porous sets that are Haar null, and nowhere approximately differentiable functions

This page was built for publication: Differentiability of continuous functions in terms of Haar-smallness

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