In ch-$4$ when calculating expression of Lie derivative using Hadamard's Lemma before $(4.4)$ Frankel's do following manipulation: $$\lim_{t\rightarrow0}\frac{\textbf{Y}_{\phi_tx}(f)-\textbf{Y}_x(f)}{t}$$ $$=\textbf{X}_x\{\textbf{Y}(f)\}$$ various symbol stands for
- $\textbf{Y}$, $\textbf{X}$ are vector field on manifold $M^n$
- $\phi_t$ is the flow associated with $\textbf{X}$
- $x$ is the point where we're taking the Lie derivative
- $f$ is a test function
My problem is how the subtraction is done of $\textbf{Y}$ at two different points. Intuitively the result make sense thats how vector differentiation is done in $\mathrm{R}^n$ but as far as I know we can add vectors only on the Tangent space of a point they're defined by the operator $\frac{d}{d\lambda}$. So does the flow $\phi_t$ here acts as the curve and $t$ can be called the parameter analogous to $\lambda$?