广义形式与向量场

广义向量定义在 $n$ 维流形上。引入了内积、作用于广义 $p$-形式（$-1\le p\le n$）的 Lie 导数。定义了两个广义向量的广义交换子。通过对 Cartan 公式添加一项修正项，定义了广义 Lie 导数在广义向量场上的作用。我们探究了广义 Lie 导数关于广义向量场的各种恒等式，并讨论了一个应用。