Enriched locally convex structures, differential calculus and Riesz representation (Q1086473): Difference between revisions

The category Dif is constructed: its objects are sets structured with abstract smooth curves, its morphisms are functions preserving these curves. Dif contains Banach spaces and smooth maps as full subcategory. Moreover it is a topological universe [\textit{L. D. Nel}, Contemp. Math. 30, 204-276 (1984; Zbl 0548.46054)]. The real field \({\mathbb{R}}\) carries an obvious Dif-structure, so one can build the category Dif V of vector spaces in Dif. This Dif V is upgraded, to the category CDV of derivative complete vector spaces [\textit{L. D. Nel}, Proc. Int. Conf. Toledo/Ohio 1983, Sigma Ser. Pure Math. 5, 408-424 (1984; Zbl 0555.46034)]. It is then shown that CDV is isomorphic to CLc, the category of convenient \((=\) separated bornologicl Mackey-complete) locally convex spaces, studied in [\textit{A. Frölicher, B. Gisin} and \textit{A. Kriegl}, Var. Publ. Ser., Aarhus Univ. 35, 125-153 (1983; Zbl 0598.58008)]. Thus we have an enrichment of CLc over Dif. A second similar enrichment is constructed, over the topological universe Bo of bornological spaces, so that one has CBV\(\simeq Clc\simeq CDV\) via isomorphisms that preserve internal homs. As an application it is shown that the Riesz representation theorem for operators in \(L_ 1\)-spaces (and their non-normable generalizations) can be transported from CBV to CLc and CDV.