This might seem a very basic question, but I can't manage to find a proper proof in the books I have on my desk (or simply cannot see that it's "just that"). So be sure of what we talk about, let $G$ a Lie group, $V$ a (finite dimentional) representation of $G$ and $X$ an element of the Lie algebra $LG$ of $G$. Let also $\exp : LG \to G$ denote the usual exponential map. Then define $$ L_X(v):=\lim_{t\to 0}\frac{1}{t}(\exp(tX)v-v) $$ It is clear to me that it is linear in $v$, and that $L_{sX}v = sL_Xv$, but I'm having trouble proving that $L_{X+Y}v = L_Xv + L_Yv$.
I tried the following :
a) Rewrite $L_Xv$ as $$ L_Xv = \left.\frac{d}{dt}\right|_{t=0}\exp(tX)v $$ then use the fact that $\exp$ is the unique map such that $\left.\frac{d}{dt}\right|_{t=0}\exp(tX) = X$ to get $L_{X+Y}v = \left.\frac{d}{dt}\right|_{t=0}\exp(t(X+Y))v = (X+Y)v = Xv + Yv = L_Xv + L_Yv$ but I'm not sure if I can do this. So if yomeone could tell me if I can, and why, that would be great !
b) In matrix form, $\frac{1}{t}(\exp(tX) - Id) = \sum_{k=1}^\infty \frac{t^{k-1}}{k!}X^k $ so $$ \lim_{t\to 0}\frac{1}{t}(\exp(tX)v-v) = Xv $$ and then conclude as in a). But here again, I don't know if I can do that in general.
If $\rho: G \to \mathrm{GL}(V)$ is a sufficiently nice, say smooth, real/complex representation, you may think of it as a smooth map between manifolds. The push-forward/derivative of $\rho$ is the linear map $\rho_{*}: TG \to T\mathrm{GL}(V)$. It is exactly what you compute there, $\rho_{*}(X)v= \frac{d}{dt}\big\vert_{t=0} \rho(\exp(tX))v$.
Personally I would call that map the induced representation of the Lie algebra and not the Lie derivative.