得到
共变微分.共变微分是一种一阶微分算子，可以定义在一大类嘉当几何上。同上节一样，令数据formula_52给定一个嘉当几何，并令formula_53为H的一个表示，并在M上形成向量丛formula_54。共变导数是一个一阶微分算子对每个formula_56满足通常的公理：若v和w是formula_57的截面，k是M上的函数，而X和Y是TM的截面，则要构造共变微分，令v为formula_57任一截面。注意v可以看作H-等变映射formula_63。这是我们要采用的观