A dualized vector space is a vector space (over reals) together with a given subspace of its algebraic dual. DVS is the category of dualized vector spaces (the morphisms are the linear maps \(m:E_ 1\to E_ 2\) satisfying \(m^*(E_ 2')\subseteq E_ 1')\), CBS is the category of convex bornological spaces (with linear bornological maps as morphisms), \(\delta\) :CBS\(\to DVS\) the duality functor and \(\sigma_ b:DVS\to CBS\) its right adjoint. A preconvenient vector space is a dualized vector space invariant under the functor \(\delta \circ \sigma_ b\); a convenient vector space is a preconvenient vector space which is separated and whose Mackey convergence structure is complete. The category of convenient vector spaces Con has proved to be the “convenient” category of vector spaces for the differentiation theory in infinite-dimensional spaces. Note that Con contains all Fréchet spaces. The feature of the differential calculus in Con is the fact that k-fold differentiability (with a Lipschitz condition on the derivatives) for maps can be reduced to that of (real) functions of one real variable.
The book will be of interest to “pure” mathematician as well as to theoretical physicists.