Tensor representation of spaces of holomorphic functions and applications (Q521950)

Let \(U\) be an open subset of a Fréchet space \(E\) and let \(H(U,F)\) be the space of holomorphic mappings on \(U\) with values in the locally convex space \(F\). By \(\tau\) is meant any of the most common topologies on \(H(U,F)\), namely, \(\tau_0,\,\tau_w,\,\text{or }\tau_\delta\). The authors prove the following isomorphic representation of \([ H(U,F),\tau]\) in terms of the completed projective tensor product of the space \([H(U),\tau]\) of scalar-valued holomorphic functions and \(F\): If \(U\) is balanced and \(F\) is a complete nuclear locally convex space, then \[ [ H(U,F),\tau]\cong [H(U),\tau] \widetilde{\otimes}_\pi F. \] The same holds for arbitrary \(U\) if further \(F\) is a nuclear Fréchet space. This results are applied to some of the classical problems in infinite-dimensional holomorphy, like the one of the coincidence of the topologies or whether \([H(U\times V),\tau]\cong[H(U),\tau]\widetilde{\otimes}_\pi [H(V),\tau]\).