Deje $G$ ser lineal Mentira grupo, decir $\mathrm{SL}(2,\mathbb{R})$. Supongamos $X\in\mathfrak{g}$ $f:G\to\mathbb{R}$ es suave. La Mentira derivado de la $f$ con respecto al $X$ es la función de $\mathcal{L}_X f:G\to\mathbb{R}$ se define como $$\mathcal{L}_X f(y):=\left.\frac{\mathrm{d}}{\mathrm{d}t}\right|_{t=0}f\left(ye^{tX}\right).$$ Why is $\mathcal{L}_X f$ smooth? In his book on $\mathrm{SL}(2,\mathbb{R})$, Lang solo lo dice sin ningún comentario (p. 90), pero no he logrado ofrecer una rigurosa justificación hasta ahora. Una referencia es también bienvenida.
Respuesta
¿Demasiados anuncios?
Porque el mapa $$\phi:G\times\Bbb R\to G,~(g,t)\mapsto g\exp(tX)$$ is smooth, as it is obtained from the smooth map $\Bbb R\to G,~t\mapsto \exp(tX)$ and the smooth map $\mu:G\times G\to G,~(g,g')\mapsto gg'$. The Lie derivative of $f$ is the derivative with respect to $t$ of the smooth map $$f\circ\phi:G\times\Bbb R\to\Bbb R,~(g,t)\mapsto f(\phi(g,t))$$ y es thererfore suave.
Ser $100\%$ precisa (y bastante pedante), se obtiene el compuesto $$\begin{array}{c} G&\to &T(G\times\Bbb R)&\to& T\Bbb R\simeq \Bbb R\times\Bbb R&\to&\Bbb R\\ g&\mapsto& {\frac{\partial}{\partial t}}\bigg|_{(g,0)}&\mapsto & T_{(g,0)}(f\circ\phi)\bigg({\frac{\partial}{\partial t}}\bigg|_{(g,0)}\bigg)= \underbrace{\lambda}_{=\mathcal L_Xf(g)}\frac{\partial}{\partial t}\bigg|_{f(g)}&\mapsto&\lambda \end{array}$$
