0a5d6fa8a812a280.tex
1: \begin{abstract}
2: We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold.
3: Here a map is real analytic if it extends to a holomorphic map on some neighbourhood of the complexification of its domain. 
4: As is well known the construction turns the group of real analytic diffeomorphisms into a smooth locally convex Lie group. 
5: We prove then that the diffeomorphism group is regular in the sense of Milnor.
6: 
7: In the inequivalent ``convenient setting of calculus'' the real analytic diffeomorphisms even form a real analytic Lie group. 
8: However, we prove that the Lie group structure on the group of real analytic diffeomorphisms is in general \emph{not} real analytic in our sense.
9: \end{abstract}