Analytic approximation on \(c_0\) (Q1269521)

Let \(X\), \(Y\) be real Banach spaces and \(G\) an open subset of \(X\). A function \(f: G\to Y\) is said to be analytic if, for every \(x\in G\), there exist a neighbourhood \(N_x\) and homogeneous polynomials \(P^x_n: X\to Y\) of degree \(n\), such that \[ f(x+ h)= \sum^\infty_{n= 0} P^x_n(h,h,\dots, h),\quad (h\text{ appears }n\text{ times}) \] provided \(x+ h\in N_x\). The Banach space \(X\) is said to possess the analytic approximation property if any uniformly continuous function on an open set \(G\subset X\) can be approximated by an analytic map. In 1934, H. Whitney showed that any real-valued continuous function on an open set in \(\mathbb{R}^n\) can be uniformly approximated by an analytic map. In his paper ``On approximation in real Banach spaces'' [Stud. Math. 14, 214-231 (1955; Zbl 0064.10802)], \textit{J. Kurzweil} dealt with the question of analytic approximation on separable Banach spaces. His work showed that analytic approximation of continuous functions is possible in \(L_p\) and \(\ell_p\), \((1\leq p<\infty)\), only if \(p\) is an even integer. It is remarked in the present paper that neither \(L_\infty\) nor \(\ell_\infty\) possess the analytic approximation property. Kurzweil's results were obtained on the assumption of the existence of a separating polynomial in the Banach space considered. In 1957, W. Bogdanowicz showed that the space \(c_0\) of all real null sequences does not admit a separating polynomial and therefore the question of the analytic approximation property for \(c_0\) cannot be answered by Kurzweil's work. In the present paper the author, using ideas from Kurzweil's paper, proves that \(c_0\) does possess the analytic approximation property.