\(\mathbb C\)-convexity in infinite-dimensional Banach spaces and applications to Kergin interpolation (Q885585)

An open subset \(\Omega\) of a complex Banach space is said to be \({\mathbb C}\)-convex if \(\Omega \cap \ell\) is a simply connected subset of \(\ell\) for each affine complex line \(\ell\), and it is called linearly convex if for each \(x \in X\setminus \Omega\) there is an affine complex hyperplane \(H\) containing \(x\) and not intersecting \(\Omega\). It is easy to see that ordinary convexity implies \({\mathbb C}\)-convexity, and as the main result of this paper it is shown that \({\mathbb C}\)-convexity implies linear convexity in all complex Banach spaces. This can be considered as a complex version of the Hahn-Banach or Mazur Theorem. Finally, it is shown that the Kergin interpolation which was constructed originally for \(C^k\)-mappings on open convex subsets \(U\) of a Banach space can also be constructed for holomorphic mappings on open \({\mathbb C}\)-convex sets.