2010/11/20 by Azagra, D., Fry, R., Keener, L.
#FOS: Mathematics #Functional Analysis (math.FA)
paper · doi:10.48550/arxiv.1011.4613
Let X be a separable Banach space which admits a separating polynomial; in particular X a separable Hilbert space. Let f:X → R be bounded, Lipschitz, and C1 with uniformly continuous derivative. Then for each ε>0, there exists an analytic function g:X → R with |g-f|