Inner Derivative

Information About

Inner Derivative

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

is a map defined by

:

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