 Lie derivative of a tensor field

For a smooth vector field $X$, the Lie derivative is the tensor derivation determined by ${\mathcal{L}}_{X}f=X(f)$ and ${\mathcal{L}}_{X}Y=[X,Y]$. The identity $[X,fY]=f[X,Y]+X(f)Y$ permits its unique extension. On a differential one-form,On differential forms it agrees with the usual Lie derivative of a differential form and Cartan's magic formula.