Ena derivaĵo

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉ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}).