We construct an infinite-dimensional real analytic manifold structure on the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is defined to be real analytic if it extends to a holomorphic map on some neighbourhood of the complexification of its domain. As is well known, the construction turns the group of real analytic diffeomorphisms into a smooth locally convex Lie group. We prove that this group is regular in the sense of Milnor. ...

Let Ω be an open connected subset of ${ℝ}^d$. We show that the space A(Ω) of real-analytic functions on Ω has no (Schauder) basis. One of the crucial steps is to show that all metrizable complemented subspaces of A(Ω) are finite-dimensional.