Правило произведения

Операция ${\displaystyle \delta _{l}\colon \oplus _{k}\Omega ^{k}\to \oplus _{k}\Omega ^{k+l}}$  на градуированной алгебре ${\displaystyle \Omega =\oplus _{k}\Omega ^{k}}$  удовлетворяет градуированному тождеству Лейбница, если для любых ${\displaystyle K\in \Omega ^{k}}$ , ${\displaystyle F\in \Omega }$ 

${\displaystyle \delta _{l}(K\wedge F)=\delta _{l}(K)\wedge F+(-1)^{kl}K\wedge \delta _{l}(F)}$ 

где ${\displaystyle \wedge }$  — умножение в ${\displaystyle \Omega }$ . Большинство дифференцирований на алгебре дифференциальных форм удовлетворяют этому тождеству.

Шаблон:Link GA