The convenient setting for real analytic mappings
Andreas Kriegl, Peter W. Michor
Abstract
Open-access reader
Andreas Kriegl, Peter W. Michor
Abstract
Open-access reader
We present here 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 ane 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 dieomorphisms of a compact real analytic manifold is a real analytic Lie group.
OpenAlex reports 63 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
We present here 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 ane 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 dieomorphisms of a compact real analytic manifold is a real analytic Lie group.
Key concepts: Mathematics, Real analysis, Global analytic function, Analytic function, Non-analytic smooth function, Analytic geometry, Analytic element method, Manifold (fluid mechanics)