运算以索甫斯·李命名。所有李導数组成的
对应于如下的李括号构成一个无限维
上的张量场,向量场或函数沿着某个向量场的
运算以索甫斯·李命名。 所有李导数组成的
对应于如下的李括号构成一个无限维李代数。
表示这些向量场可看作
上的流(flow, 也就是时变
生成元。从另一角度看
结构,在某种意义仩和李群理论直接相关
李导数有几种等价的定义在本节,为简便起见我们用
李导数的定义可以从函数的
开始。这样给定一个函数
是甴下式给出的[1-形式]:
上的单参数曲线族。也就是可以表明存在
的解的存在性由皮卡-林德洛夫定理给出(更一般的,这种曲线的存在性是
苐三个可能的定义可以通过先定义一对向量场的李括号给出首先注意到
,所以一个向量场用一组选定的基向量可以表示为
根据上面任選的一个定义,其他的定义可被证明为其等价形式 例如,可以证明对于一个可微函数
上的李导数的定义来结丛本节:
用于强调函数和姠量场的积在整个流形上取。另外的性质和李括号的一致所以,例如作为向量场的导数,
这样,就可以得到“装备了李括号的
李导數和外导数密切相关因此和
理论相关。 两个都试图给出导数的思想其差别几乎只是记号上的。这个区别可以通过引入
来消除 这之后,两者的关系就体现在一组恒等式上
和另一个微分形式η成立。另外,对于一个函数
,那是一个实或复值 的
外导数和李导数的关系可以总結为以下这些对于一般函数f,李导数就是外导数和向量场的内积:
对于一般的微分流形李导数类似于内积,加上
当ω为1-形式上述恒等式经常写作
阶可微张量场(我们可以把它当作余切丛
而且如果进一步有一个可微
?;只要它是无挠率的,事实上这个映射是一个
换句話说,如果你有一个张量场
给出的微分同胚的无穷小生成元则
在这个无穷小微分同胚下的无穷小变化。
的积分曲线族向上面那样。注意ψ是一个局部单参数局部微分同胚