958919ad028504ca.tex
1: \begin{abstract} 
2: 
3: Dahmen and Schmeding have obtained the result that although the smooth Lie 
4: group \math{G} of real analytic diffeomorphisms \math{
5:  \mathbb S^{\,1.}\to\mathbb S^{\,1.}} has a compatible analytic manifold 
6: structure, it does not make \math{G} a real analytic Lie group since the group 
7: multiplication is not real analytic. The authors considered this result 
8: \q{surprising} for the applied concept of infinite\ssp-\sp dimensional real 
9: analyticity for maps \PouN$\ssp E\to F\spp$, defined by the property that 
10: locally a holomorphic extension \math{ E\RHB{.3}{\sp_{_{\bbC}}} \to 
11:  F\RHB{.3}{\sn_{_{\bbC}}} } exist. In this note we show that this type of 
12: real analyticity is quite rare for composition maps \math{ \roman f\,\varphi : 
13:  x\mapsto\varphi\circ x} when \math{\varphi} is real analytic. Specifically, 
14: we show that the smooth Fr\'echet space map \math{ \roman f\,\varphi :
15:  C\,(\ssbb43 R)\to C\,(\ssbb43 R)} for real \linebreak 
16: analytic \math{\varphi:\bbR\to\bbR} is real analytic in the above sense only 
17: if \math{\varphi} is the restriction to \math{\bbR} of \linebreak 
18: some entire function \mathss36{\bbC\to\bbC}. We also discuss the 
19: possibility of proving that the set of these \q{admissible} functions \math{
20: \varphi} be \q{small} in the space \math{A\,(\ssbb43 R)} of real analytic 
21: functions either in the Baire categorical sense, or in the measure theoretic 
22:   sense of shyness.
23: %
24:   \end{abstract}