The compact approximation property for spaces of holomorphic mappings on Fréchet spaces (Q2228342)

Given complex locally convex spaces \(E\) and \(F\), an open subset \(U\) of \(E\) and a positive integer \(m\), the authors use \(\mathcal{H}(U,F)\) to denote the space of all holomorphic functions from \(U\) into \(F\) and \(\mathcal{P}(^mE,F)\) to denote the space of all \(m\)-homogeneous polynomials from \(E\) into \(F\). The compact-open topology of uniform convergence on compact sets of \(U\) (resp. \(E\)) in both of these spaces is denoted by \(\tau_c\). A holomorphic function \(f\) in \(\mathcal{H}(U, F)\) is said to be compact if for each \(a\) in \(U\) there is a neighbourhood \(V_a\) of \(a\) in \(U\) such that \(f(V_a)\) is relatively compact in \(F\). The space of all compact holomorphic functions in \(\mathcal{H}(U,F)\) (resp. polynomials in \(\mathcal{P} (^mE,F)\)) is denoted by \(\mathcal{H}_k(U,F)\) (resp. \(\mathcal{P}_k(^mE,F)\)). Finally, the authors say that a locally convex space \(E\) has the compact approximation property (CAP) if the identity operator from \(E\) to itself can be uniformly approximated by compact linear operators on compact subsets of \(E\). The authors show that if \(U\) is a balanced open subset of a Fréchet space \(E\), then the following are equivalent: (a) \(E\) has the CAP; (b) \((\mathcal{P}(^mE),\tau_c)\) has the CAP for every positive integer \(m\); (c) \((\mathcal{P}(^mE,F),\tau_c)=\overline {\mathcal{P}_k(^mE,F)}\) for every positive integer \(m\) and every Fréchet space \(F\) (or equivalently every positive integer \(m\) and every locally convex space \(F\)); (d) \((\mathcal{H}(U),\tau_c)\) has the CAP, (e) \((\mathcal{H}(U,F), \tau_c)=\overline{\mathcal{H}_k(U,F)}\) for every Fréchet space \(F\). When \(E\) is a Banach space, \(F\) is a locally convex space and \(U\) is an open subset of \(E\), the authors use \(\mathcal{H}^\infty(U,F)\) to denote the space of all holomorphic functions from \(U\) into \(F\) such that \(f(U)\) is bounded in \(F\). The \(\tau_\gamma\) topology on \(\mathcal{H}^\infty(U,F)\) is defined as the topology generated by all seminorms of the form \(p(f)=\sup_j\alpha_j\|f(x_j)\|\), where \((x_j)_j\) varies over all sequences in \(U\) and \((\alpha_j)_j\) varies over all null sequences of positive real numbers. The authors prove that when \(U\) is a bounded balanced open subset of a Banach space \(E\), then the following are equivalent: (a) \(E\) has the CAP; (b) \((\mathcal{H}^\infty(U),\tau_\gamma)\) has the CAP; (c) \((\mathcal{H}^\infty(U,F), \tau_\gamma)=\overline{\mathcal{H}_k^\infty(U,F)}\) for every Banach space \(F\) (or equivalently for every complete locally convex space \(F\)); (d) \((\mathcal{H} ^\infty(U,F),\tau_c)\subseteq\overline{\mathcal{H}_k^\infty(U,F)}\) for every Banach space \(F\) (or equivalently for every complete locally convex space \(F\)).