Ena derivaĵo

En matematiko, la ena derivaĵo estas derivaĵo de grado −1 sur la eksteraĵa algebro de diferencialaj formoj sur diferenciala dukto. Ĝi estas difinita kiel kuntiro de diferenciala formo kun vektora kampo. Tial se v estas vektoro sur la dukto M, kaj ω estas p-formo sur la dukto, tiam

$i_v: \Lambda^p(M) \to \Lambda^{p-1}(M)$

estas mapo difinita per

$i_v\omega(u_1,\ldots,u_{p-1})=\omega(v,u_1,\ldots,u_{p-1}).$