A (k,l) -campo tensorial A en un colector liso M es una sección lisa A:M⟶T(k,l)TM, donde T(k,l)TM=∐p∈MTpM⊗⋯⊗TpM⏟k times⊗T∗pM⊗⋯⊗T∗pM⏟l times .
Cualquier campo tensorial tiene la propiedad de que para cualquier campo vectorial suave X1,…,Xl y campos covectores lisos ω1,…,ωk tenemos una función suave A(ω1,…,ωk,X1,…,Xl):M⟶R definido como A(ω1,…,ωk,X1,…,Xl)(p)=Ap(ω1|p,…,ωk|p,X1|p,…,Xl|p)∈R . Así que (k,l) -campo tensorial A induce un mapa ˜A:X∗(M)×⋯×X∗(M)⏟k times×X(M)×⋯×X(M)⏟l times⟶C∞(M). Un hecho importante es que este mapa es multilineal sobre C∞(M) . Resulta que, de hecho, esto caracteriza a los campos tensores.
Tensor Characterization Lemma ( Lee's Introduction to Smooth Manifolds ) Un mapa τ:X∗(M)×⋯×X∗(M)⏟k times×X(M)×⋯×X(M)⏟l times⟶C∞(M)(⋆) es inducida por una (k,l) como arriba si este mapa es multilineal sobre C∞(M) .
En la demostración del lema anterior, el tensor induce a partir del mapa multilineal τ:X∗(M)×⋯X∗(M)×X(M)×⋯X(M)⟶C∞(M) es un campo tensorial A:M→T(k,l)TM definido como Ap(w1,…,wk,v1,…,vl):=τ(ω1,…,ωk,X1,…,Xl)(p) donde ωi∈X∗(M) es cualquier extensión suave de wi∈T∗pM y Xi∈X(M) es cualquier extensión suave de vi∈TpM para cada i (el mapa A independiente de las extensiones).
Debido a este lema, a menudo identificamos A con su mapa inducido ˜A .
En su caso, el mapa es R:X(M)∗×X(M)×X(M)×X(M)→C∞(M) definido como R(ω,X,Y,Z):=ω(∇X∇YZ−∇Y∇XZ−∇[X,Y]Z) es define un (3,1) -campo tensorial si puede demostrar que R es lineal sobre C∞(M) en cada argumento. Esto incluye el primer y el cuarto argumento, que no se han mencionado antes en los comentarios anteriores. El primer argumento es obvio R(fω,⋅,⋅,⋅)=(fω)(⋅)=fω(⋅) El segundo y el tercero y el cuarto es similar, se deduce de ∇fX1+gX2=f∇X1+g∇X2(Linearity)∇X(fY)=f∇XY+(Xf)Y(Leibniz Rule)[fX,Y]=f[X,Y]−(Yf)X Por ejemplo, \begin{align*} R(\omega,fX,Y,Z) &= \omega (\nabla_{fX} \nabla_Y Z - \nabla_Y \nabla_{fX} Z-\nabla_{[fX,Y]}Z) \\ &= \omega (f\nabla_X \nabla_Y Z - \nabla_Y (f\nabla_XZ ) - \nabla_{f[X,Y]-(Yf)X}Z) \\ &=\omega (f\nabla_X \nabla_Y Z - f\nabla_Y\nabla_XZ - \require{cancel}{\cancel{(Yf)\nabla_XZ}} - f\nabla_{[X,Y]} Z + {\cancel{(Yf)\nabla_XZ}}) \\ &= f R(\omega,X,Y,Z). \end{align*}
Este lema se utiliza a menudo implícitamente en los textos de geometría de Riemann. Puede ver la demostración en el libro de Lee ici p.318.
Además del tipo de mapas en \color{blue}{(\star)} anterior, otra forma similar de detectar un campo tensorial disfrazado es mediante este tipo de mapas \tau_0 : \underbrace{\mathfrak{X}^*(M)\times\cdots\times\mathfrak{X}^*(M)}_{k \text{ times}} \times \underbrace{\mathfrak{X}(M) \times \cdots \times \mathfrak{X}(M)}_{l \text{ times}} \longrightarrow \color{red}{\mathfrak{X}(M)}. Si este mapa es multilineal sobre C^{\infty}(M) entonces podemos definir un mapa \tau : \underbrace{\mathfrak{X}^*(M)\times\cdots\times\mathfrak{X}^*(M)}_{\color{red}{k+1 \text{ times}}} \times \underbrace{\mathfrak{X}(M) \times \cdots \times \mathfrak{X}(M)}_{l \text{ times}} \longrightarrow C^{\infty}(M) como \tau(\omega^{1},\dots,\omega^{k}, \omega^{k+1},X_1,\dots,X_l) = \tau_0(\omega^{1},\dots,\omega^{k},X_1,\dots,X_l)(\omega^{k+1}) que también es multilineal sobre C^{\infty}(M) . Por lo tanto \tau_0 inducida por una (k+1,l) -(como su mapa inducido \tau los induce en el Lemma de Caracterización Tensorial anterior) sif \tau_0 es multilineal sobre C^{\infty}(M) . Otras variantes respectivas de \tau_0 puede deducirse de la misma manera.