(1) lineerlik :
d(α+β)=dα+dβ
(2) nilpotentlik : d2=0
(3) 0-formlarında (örneğin; fonksiyonlar), df=∂f∂xidxi
(4) f bir fonksiyon ve ω bir form olmak üzere d(fω)=(df)∧ω+fdω özellikleriyle,
dış türev, d:Λp→Λp+1 operatörüdür.
a) ω=(p!)−1ωi1...ipdxi1∧···∧dxip ise dω=(p!)−1(∂ωi1...ip/∂xj)dxj∧dxi1∧···∧dxip ,
b) α∈Λp,β∈Λq ise d(α∧β)=(dα)∧β+(−1)pα∧dβ
gösteriniz.