显然,微分运算d:A→A具有线性性,即d(ao+Bm)=ado+Bdn, O,n∈A,其中a,B为常数。 由定义可直接得到 d(dx, Adx,A…∧dx)=d(ldx^dx,A…∧dx,) (dl)∧dx2dx显然，微分运算 d : → 具有线性性，即 d( ) d d       + = + , ,  ，其中, 为常数。 由定义可直接得到 1 2 1 2 1 2 d(d d d ) d(1d d d ) (d1) d d d 0 k k k i i i i i i i i i x x x x x x x x x    =    =     =