Vector-valued meromorphic functions (Q1865188)

A locally convex space \(E\) is said to have the metric convex compactness property if for each metrizable compact subset \(K\subset E\) the closed convex hull of \(K\) is compact. This holds if and only if for every continuous function \(f\) from \([0,1]\subset\mathbb{R}\) into \(E\) the closed absolutely convex hull of the range of \(f\) is compact. The metric convex compactness property implies local completeness i.e., each closed absolutely convex and bounded set is a Banach disc. In the first part of the paper under review the authors prove that a locally convex space \(E\) is locally complete if and only if, for each open set \(\Omega\subset\mathbb{R}^n\), for each weakly \(C^1\)-function \(f:\Omega\to E\), and for each compact set \(K\subset\Omega\), the closed absolutely convex hull of \(f(K)\) is compact. In this characterization \(C^1\)-maps can be replaced by \(C^\infty\)-maps, but not by weakly holomorphic maps. It is well-known that weakly holomorphic maps with values in a locally complete locally convex space are holomorphic. In the second part of the article, the authors study the so-called vanishing sequence property (VSP) of a locally convex space \(E\): \(E\) has the VSP if and only if any sequence \((x_n)_n\) in \(E\) for which \((p(x_n))_n\) is eventually zero for each continuous seminorm \(p\) on \(E\) must have only finitely many terms different from zero. Every space with a continuous norm has the VSP; a Fréchet space satisfies the VSP if and only if it has a continuous norm. Every locally convex space with the countable neighborhood property (and hence every (DF)-space) has the VSP. The authors also mention that a locally complete space \(E\) has the VSP if and only if the space \(\omega\) of all sequences is not topologically isomorphic to a subspace of \(E\). In their main result, they prove that the locally complete locally convex space \(D\) has the property that each weakly meromorphic function from an open domain \(\Omega\subset\mathbb{C}\) into \(E\) is meromorphic if and only if \(E\) does not contain the space \(\omega\). As a consequence of this, it is proved that, for the natural topology on the space \(M(\Omega)\) of meromorphic functions on the open set \(\Omega\subset\mathbb{C}\), the linear space \(M(\Omega,E)\) of all meromorphic functions from \(\Omega\) into the locally complete locally convex space \(E\) not containing \(\omega\) can be canonically identified with \(M(\Omega)\in E\), where the last space is Schwartz's \(\varepsilon\)-product \({\mathcal L}_e(E_c',M(\Omega))\).