
这里给出具体验证过程。




上图中

这一步是根据 Maurer - Cartan 形式的定义得到的:

另外,还有向量场在左平移下的不变性(类比微分形式):

左移不变性表明,不管用群里哪个元素 g 进行左平移,拉回后的 Maurer - Cartan 形式

和原来的w ,在作用于切向量时得到的结果是一样的 。
这里给出具体验证过程。
上图中
这一步是根据 Maurer - Cartan 形式的定义得到的:
另外,还有向量场在左平移下的不变性(类比微分形式):
左移不变性表明,不管用群里哪个元素 g 进行左平移,拉回后的 Maurer - Cartan 形式
和原来的w ,在作用于切向量时得到的结果是一样的 。