Endomorphism-induced tensor derivation

ID: endomorphism-induced-tensor-derivation

A smooth endomorphism of the tangent bundle defines the tensor derivation by and . On a differential one-form, . On a general tensor field, it acts by in each vector factor and by the negative dual action in each covector factor. The two actions cancel in each contracted pairing, proving compatibility with tensor contraction.

New to topics? Read the docs here!