Premium
Approximation of vector valued smooth functions
Author(s) -
Farkas Eva C.
Publication year - 2004
Publication title -
mathematische nachrichten
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.913
H-Index - 50
eISSN - 1522-2616
pISSN - 0025-584X
DOI - 10.1002/mana.200310179
Subject(s) - mathematics , locally convex topological vector space , separable space , linear subspace , dual space , pure mathematics , vector space , space (punctuation) , section (typography) , manifold (fluid mechanics) , kernel (algebra) , topology (electrical circuits) , topological space , mathematical analysis , combinatorics , mechanical engineering , linguistics , philosophy , advertising , engineering , business
A real locally convex space is said to be convenient if it is separated, bornological and Mackey‐complete. These spaces serve as underlying objects for a whole theory of differentiation and integration (see [4]) upon which infinite dimensional differential geometry is based (cf. [8]). We investigate the question of density of the subspaces C ∞ ( E ) ⊗ F and f ( E ) ⊗ F of smooth (polynomial) decomposable functions in the space C ∞ ( E, F ) of smooth functions between convenient vector spaces E, F with respect to various natural structures. A characterization is given for density with respect to the c ∞ ‐topology and also some classical locally convex topologies on C ∞ ( E, F ). It is shown furthermore, that for the space ℝ (ℕ) the convenient analogon of the Schwartz kernel theorem for C ∞ ‐functions holds. Spaces of C ∞ ‐functions on both separable and non‐separable manifolds are considered and an example of a non‐separable manifold is given failing the above property of approximability by decomposable functions. Those notions and features of the theory of convenient vector spaces which are essential for the results of this paper are explained in the introductory section below and where needed. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)