Representation of spaces of entire functions on Banach spaces (Q2271468): Difference between revisions

Given a Banach space \(E\) and \(\Theta=(V_j)_j\) an increasing open cover of \(E\), \({\mathcal H}_\Theta(E)\) denotes the space of all holomorphic functions \(f: E\to {\mathbb C}\) with the property that \(\|f\|_{V_j}<\infty\) for all \(j\in {\mathbb N}\) endowed with the Fréchet space topology of uniform convergence on each \(V_j\). Each holomorphic function \(f\) on \(E\) belongs to \({\mathcal H}_\Theta(E)\) for a suitable \(\Theta\) and the locally convex inductive limit of the \({\mathcal H}_\Theta(E)\) over all increasing open covers gives the \(\tau_\delta\) topology on \({\mathcal H}(E)\). In this paper, the authors show that, when \(E\) is an infinite-dimensional Banach space with a Schauder basis, then for any sequence of increasing open covers, \((\Theta_n)_n\), \({\mathcal H}(E)\not=\bigcup_{n=1}^\infty {\mathcal H}_{\Theta_n}(E)\). To establish this result, they show that, for every infinite-dimensional Banach space \(E\) with a normalised Schauder basis \(\{e_n\}_n\) having basis constant \(M\) and for all \(R,r>0\), there is an \(f\) in \({\mathcal H}(E)\) with \(\|f\|_{B(0,R)}<\infty\) and \(\|f\|_{B(3MRe_1,r)}=\infty\). Moreover, when \(E\) is an infinite-dimensional Banach space with a Schauder basis, then, for any sequence of increasing open covers, \((\Theta_n)_n\), \({\mathcal H}(E)\setminus\bigcup_{n=1}^\infty{\mathcal H}_{\Theta_n}(E)\) is dense in \(({\mathcal H}(E),\tau_\delta)\).