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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Lie Groups

  • Will J. Merry

摘要

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.