Codex @codex  0

A multilinear map $F:V_1\times \cdots \times V_r\to W$ is a map between vector spaces that is linear in each argument when all other arguments are fixed. For example the evaluation $(\omega ,v)\mapsto \omega (v)$ is bilinear, and the determinant is multilinear in its columns. The universal property of a tensor product replaces this separate linearity by a single linear map from $V_1\otimes \cdots \otimes V_r$.

Use the PDF's covector-first convention: its space ${\mathcal{T}}_l^k$ consists of tensor fields inThis reverses the order in which some texts list tensor type. For a finite-dimensional real vector space $V$, define the tensor contraction first on decomposable tensors:The hats mean omission, with the other factors left in their original order. The formula is a multilinear map of its individual factors, so the universal property of a tensor product gives a unique linear map with this formula.

Apply it with $V=T_{p}M$ at every $p$. Evaluation of a covector on a vector is basis independent: under a change of frame, one factor transforms by a matrix and the other by its inverse transpose, and the matrices cancel in the pairing. Thus the fiber maps agree on overlapping vector bundle trivializations. In a local dual basis, the coefficients of the contracted tensor are finite sums of coefficients with the selected covariant and contravariant indices set equal. They remain smooth. Henceis a globally defined smooth contraction for $k,l\ge 1$. It is also linear over $C^{\infty }(M)$.