Linearity of sets of strange functions (Q2571459)

During the past few years, there has been increasing awareness and interest in the algebraic structure of sets of functions having pathological properties. For instance, in an article with the same title, \textit{L. Rodríguez-Piazza} showed that every separable Banach space is isometric to a space of continuous, nowhere differentiable functions [Proc. Am. Math. Soc. 123, No. 12, 3649--3654 (1995; Zbl 0844.46007)]. In the interesting paper under review, the author shows how a standard perturbation of bases result can be used to construct infinite dimensional subspaces of such functions. For instance, for any real, separable Banach space \(X\) the set of Lipschitz functions \(f:X \to c_0\) that are everywhere Gâteaux differentiable and such that the range of the Gâteaux derivative of \(f\) consists only of isolated points, contains an infinite dimensional closed subspace of \(C_b(X,c_0).\) (One always adjoins the \(0\) function to avoid trivial counterexamples.) In a similar vein, it is shown that there is a closed, infinite dimensional subspace \(F \subset H(D),\) the space of holomorphic functions on the unit disk, such that each non-zero \(f(z) = \sum_{n}a_nz^n\) in \(F\) is universal in the following sense: For any compact set \(K \in C \backslash D\) with connected complement and for any continuous \(g:K \to C\) such that \(g \in H(\text{int}\,K),\) there is an increasing sequence \((n_k)\) such that \((\sum_{n=0}^{n_k} a_nz^n)_k \to g(z)\) uniformly on \(K.\) (Recent, related work in this area has been done by \textit{D. Armitage} and \textit{G. Costakis} [``Boundary behavior of universal Taylor series and their derivatives,'' to appear].) A further instance is given by the set \(M\) of \(L^1(T)\) functions whose Fourier series diverge everywhere on \(T;\) here, \(M\) contains an infinite dimensional closed subspace. (Recent work by \textit{D. Perez-García, J. Seoane}, and the reviewer [``Algebrability of the set of non-convergent Fourier series ,'' Stud. Math., to appear] shows that in the analogous setting of continuous functions on \(T,\) the set of functions that ``misbehave'' on a set of measure \(0\) contains an infinitely generated algebra.)