A free convenient vector space for holomorphic spaces (Q1345719)

A holomorphic space \(X=(X,{\mathcal C}_X,{\mathcal F}_X)\) is a set \(X\) together with a set of ``curves'' \({\mathcal C}_X\subseteq X^{\mathbb{D}}\) and a set of functions \({\mathcal F}_X\subseteq \mathbb{C}^X\) which determine each other in the way that \(c\in {\mathcal C}_X\) iff \(f\circ c:\mathbb{D}\to\mathbb{C}\) is holomorphic for all \(f\in{\mathcal F}_X\), and \(f\in{\mathcal F}_X\) iff \(f\circ c:\mathbb{D}\to\mathbb{C}\) is holomorphic for each \(c\in{\mathcal C}_X\). A map \(h:X\to Y\) between two holomorphic spaces is called to be holomorphic if it maps \({\mathcal C}_X\) into \({\mathcal C}_Y\), and the set of all holomorphic maps is denoted by \({\mathcal H}(X,Y)\). Each complex locally convex space \(E\) can be considered as a holomorphic space by taking \({\mathcal F}_E=E'\) and \({\mathcal C}_E=\{\varphi: \mathbb{D}\to E\mid \varphi\) holomorphic\}. As a main result it is shown that for any holomorphic space \(X\) there is some complete locally convex space \(\lambda X\), called the free convenient vector space, and some holomorphic embedding \(\iota_X:X\to\lambda X\) such that for each complete locally convex space \(E\) there is a natural bijection \(\iota^*_X: L(\lambda X,E)\to{\mathcal H}(X,E)\). The space \(\lambda X\) is obtained as certain linear and topological closure of \(X\cong\{\delta_x: x\in X\}\subseteq{\mathcal H}(X,\mathbb{C})'\). In a second part of the paper it is shown that in the case of a Riemann surface \(X\) we get \(\lambda X={\mathcal H}(X,\mathbb{C})'\).