The Convenient Setting for Real Analytic Mappings
نویسندگان
چکیده
We present here ”the” cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps smooth curves to smooth curves and real analytic curves to real analytic curves. Under mild completeness conditions the second requirement can be replaced by: real analytic along affine lines. Enclosed and necessary is a careful study of locally convex topologies on spaces of real analytic mappings. As an application we also present the theory of manifolds of real analytic mappings: the group of real analytic diffeomorphisms of a compact real analytic manifold is a real analytic Lie group.
منابع مشابه
The Convenient Setting for Real Analytic
We present here "the" cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps smooth curves to smooth curves and real analytic curves to real analytic curves. Under mild completeness conditions the second requirement can be replaced by: real analytic along aane lines. Enclosed ...
متن کاملThe Convenient Setting for Quasianalytic Denjoy–carleman Differentiable Mappings
For quasianalytic Denjoy–Carleman differentiable function classes C where the weight sequence Q = (Qk) is log-convex, stable under derivations, of moderate growth and also an L-intersection (see (1.6)), we prove the following: The category of C-mappings is cartesian closed in the sense that C(E,C(F,G)) ∼= C(E × F,G) for convenient vector spaces. Applications to manifolds of mappings are given: ...
متن کاملAspects of the Theory of Infinite Dimensional Manifolds
The convenient setting for smooth mappings, holomorphic mappings, and real analytic mappings in infinite dimension is sketched. Infinite dimensional manifolds are discussed with special emphasis on smooth partitions of unity and tangent vectors as derivations. Manifolds of mappings and diffeomorphisms are treated. Finally the differential structure on the inductive limits of the groups GL(n), S...
متن کاملA Complete Classification for Pairs of Real Analytic Curves in the Complex Plane with Tangential Intersection
We study the group structure of centralizers of a holomorphic mapping that is tangent to the identity. We give a complete classification for pairs of real analytic curves intersecting tangentially via the Ecalle–Voronin theory. We also classify pairs of one-dimensional holomorphic involutions that have a high-order tangency, real analytic mappings on the real line, and exceptional non-Abelian s...
متن کاملThe Convenient Setting for Denjoy–carleman Differentiable Mappings of Beurling and Roumieu Type
We prove in a uniform way that all Denjoy–Carleman differentiable function classes of Beurling type C(M) and of Roumieu type C{M}, admit a convenient setting if the weight sequence M = (Mk) is log-convex and of moderate growth: For C denoting either C(M) or C{M}, the category of C-mappings is cartesian closed in the sense that C(E, C(F,G)) ∼= C(E × F,G) for convenient vector spaces. Application...
متن کامل