Complex calculus via foundation theorems (Q1909232)

The author develops a complex differentiation theory for nonnormable spaces following the new approach due to \textit{L. D. Nel} [Appl. Categ. Struct. 1, No. 1, 51-57 (1993; Zbl 0789.58012)] for real differential calculus. By \(C_c\) is denoted the category of continuous maps, while by \(cLC_c\) -- the category of linear continuous maps. By \(Ban\) is denoted the category of complex Banach spaces and continuous linear maps. Let \(I\) be an arbitrary chosen compact interval. Then the real foundation theorem asserts that for every \(I\) there is a natural isomorphism \(\text{ed}^I\) in \(Ban\) with isometric components \(\text{ed}^I : \text{ad }C_c (I \times I, E) \to C_c(I,E)\) where \(\text{ad } C_c (I \times I, E)\) is the Banach subspace of all elements of \(C_c (I \times I, E)\) that satisfy an additivity law (introduced in section 2) and \(E\) is \(LC_c\)-space (consisting of \(\mathbb{C}\)-linear continuous maps). Since the foundation isomorphism, as formulated for real scalars, does not exist in the complex case, the author starts with the set of analytic functions, namely those that have Taylor expansion. In the first section he considers power series in \(cLC_c\)-spaces and some of the basic properties needed for the theory. Two versions of the foundation theorem are presented in Section 2. In the last section he develops a complex differential calculus: integral, derivative and some of their properties.