Published online by Cambridge University Press: 18 May 2009
In [13] Mazet proved the following result.
If U is an open subset of a locally convex space E then there exists a complete locally convex space (U) and a holomorphic mapping δU: U→(U) such that for any complete locally convex space F and any f ɛ ℋ (U;F), the space of holomorphic mappings from U to F, there exists a unique linear mapping Tf: (U)→F such that the following diagram commutes;
The space (U) is unique up to a linear topological isomorphism. Previously, similar but less general constructions, have been considered by Ryan [16] and Schottenloher [17].