Complex calculus via foundation theorems

From MaRDI portal





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.











This page was built for publication: Complex calculus via foundation theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1909232)