Lie Groups
摘要
We now move on to defining the Lie derivative associated to a vector field X. As with maps \( \varphi _\ast \) from the last chapter, we will actually give two definitions, one for the Lie derivative eating a function, and one for the Lie derivative eating a vector field.