Analytic completion of an open set

Abstract

Let f be a holomorphic function on a complex normed space E. The possibility of extending f to the completion of E has been studied by Hirschowitz, Noverraz, Dineen, and Dineen-Noverraz. Here, following the ideas in [4, section 6.1], we study the extension problem for functions defined on open subsets of E. Moreover, through a complexification process, we use these results to obtain the analogous ones for analytic functions on real normed spaces. We note that in the real case we do not have, among other things, Cauchy inequalities and they are essential in the complex case.