增加对外微分式的简介. 准备采用Petersen的方式, 从李导数的角度引入联络.