mula_72下计算共变导数，就得到因为formula_76，这只要取等变属性formula_77的微分就可以看到。对于（2），因为formula_64是右不变的，进一步的有所以formula_82，和我们所要的一样。参看：黎曼几何，广义相对论