Lineability, spaceability, and latticeability of subsets of \(C([0, 1])\) and Sobolev spaces (Q2670717)

The authors investigate lineability, spaceability, and latticeability properties of certain subsets of continuous functions on \([0,1]\). Some of the classes considered are the following: \(C^\infty(0,1]\), the class of all elements in \(C[0,1]\) which are infinitely differentiable on \((0,1]\); \(\mathcal{D}_0\), the class of all functions in \(C[0,1]\) which are differentiable \(\lambda\)-almost everywhere with derivative 0 but are not Lipschitz continuous; and \(\mathcal{H}\), that is, the family of all functions in \(C[0,1]\) which are \(\alpha\)-Hölder continuous for every \(\alpha \in (0,1)\) but not Lipschitz continuous. These Banach spaces are viewed as Banach algebras and lattices (with the usual coordinate-wise/pointwise operations). It is shown that \(C^\infty(0,1],\, \mathcal{D}_0\), and \(\mathcal{H}\) are maximally spaceable and latticeable in \(C[0,1]\) endowed with the uniform distance. In the last section of the paper, the authors obtain a novelty in the lineability research area: they focus their study on the setting of Sobolev spaces. Among other results, it is proved that, for a fixed integer \(m \geq 0\) and a real \(1 \leq p < \infty\), \[ W^{m,p}(0,1) \setminus \bigcup_{q>p} W^{m,q}(0,1) \] is spaceable and latticeable.