En matemática, una derivada de Lie es una derivación en el álgebra de funciones diferenciables sobre una variedad diferenciable formula_1, cuya definición puede extenderse al álgebra tensorial de la variedad.