Non-Lipschitz functions with bounded gradient and related problems (Q432737): Difference between revisions

Let \(E\) be a topological vector space. Let \(\mu\) be a cardinal, finite or infinite. We say that a subset \(M\) of \(E\) is \(\mu\)-lineable if \(M\cup \{0\}\) contains a linear space of dimension \(\mu\). In the paper, it is proved that the following sets of differentiable functions enjoying additional `pathological' properties are continuum-lineable: (1) The set of continuous functions on \([0, 1]\) which are a.e.\ differentiable, with a.e.\ bounded derivative and not Lipschitz. (2) The set of differentiable functions \(f : \mathbb R\to \mathbb R^2\) that do not satisfy the classical mean value theorem. (3) The set of differentiable functions \(f : D \to \mathbb R\) with bounded gradient, non-Lipschitz, and therefore not satisfying the classical mean value theorem. Here, \[ D=\{(x,y)\in \mathbb R^2 : x^2+y^2<1\}\setminus \{(x,y)\in \mathbb R^2 : x=0 \text{\;and\;} y>0\} \] is a path connected, non-convex set.