DejarMETRO
ser una variedad suave y dejarF∈C∞( M)
. el diferencial deF
enpag ∈ METRO
es el mapa linealdFpag:TpagMETRO→TF( pag )R
definido por
dFpag( v ) ( g) = v ( gramo∘ f) ,
dónde
v
es una derivación en
TpagMETRO
y
gramo∈C∞( R )
. Por otro lado, dado
F∈C∞( M)
, podemos obtener un campo de covector suave
dF
en
METRO
definiendo
( reF)pag( v ) = v f
para
pag ∈ METRO
y
v ∈TpagMETRO
. Algunas personas afirman que
( reF)pag
y
dFpag
son en realidad la misma cosa, al identificar
TF( pag )R
con
R
.
Pero me gustaría poner una duda al respecto. Dejar
gramo∈C∞( R )
. Si la afirmación es verdadera, deberíamos poder ver que
D( reF)pag( v )∣∣F( pag )gramo: =ddt∣∣t = 0gramo( f( pag ) + t ( reF)pag( v ) ) = v ( gramo∘ f) ,
en el que trato de pasar
R ≅RF( pag )≅TF( pag )R
. Pero terminé con
ddt∣∣t = 0gramo( f( pag ) + t ( reF)pag( v ) ) =gramo′( f( pag ) ) ( v f) .
¿Cuál parece ser el problema entre mis cálculos? Gracias.
salvelino ártico
Uómbat
didier
Uómbat