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

DOI10.1007/S13163-019-00344-9MaRDI QIDQ2228342zbMATH OpenOpenAlexFDO

Publication date 17 February 2021

Published in Revista Matemática Complutense (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s13163-019-00344-9

compact approximation property compact holomorphic function Schwarz product

Spaces of linear operators; topological tensor products; approximation properties (46A32) Spaces of operators; tensor products; approximation properties (46B28) Infinite-dimensional holomorphy (46G20)

Review text

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\)).

Recommendations

Cites work

Cited in

(12)

This page was built for publication: The compact approximation property for spaces of holomorphic mappings on Fréchet spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2228342)