Relación entre el covector (df)p(df)p(df)_p y el diferencial dfpdfpdf_p de fff en ppp

Dejar METRO ser una variedad suave y dejar F C ( METRO ) . el diferencial de F en pag METRO es el mapa lineal d F pag : T pag METRO T F ( pag ) R definido por

d F pag ( v ) ( gramo ) = v ( gramo F ) ,
dónde v es una derivación en T pag METRO y gramo C ( R ) . Por otro lado, dado F C ( METRO ) , podemos obtener un campo de covector suave d F en METRO definiendo
( d F ) pag ( v ) = v F
para pag METRO y v T pag METRO . Algunas personas afirman que ( d F ) pag y d F pag son en realidad la misma cosa, al identificar T F ( 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 ( d F ) pag ( v ) | F ( pag ) gramo := d d t | t = 0 gramo ( F ( pag ) + t ( d F ) pag ( v ) ) = v ( gramo F ) ,
en el que trato de pasar R R F ( pag ) T F ( pag ) R . Pero terminé con
d d t | t = 0 gramo ( F ( pag ) + t ( d F ) pag ( v ) ) = gramo ( F ( pag ) ) ( v F ) .
¿Cuál parece ser el problema entre mis cálculos? Gracias.

no es v ( gramo F ) = gramo ( F ( pag ) ) v F por la regla de la cadena?
¿Una regla de la cadena para las derivaciones? No he oído hablar de eso.
Como dijo Archtic Char, esta es solo la regla de la cadena. Si "nunca ha oído hablar de él" para derivaciones, simplemente tome cualquier gráfico y use la regla de la cadena para funciones en subconjunto abierto de R norte
Ah, claro. ¡Eso es fantástico!
v ( gramo F ) = ( v i X | pag ) ( gramo F ) = = gramo ( F ( pag ) ) ( v F )

Respuestas (1)

Aunque todavía soy incapaz de disipar la duda, d F pag tiene algo que ver con ( d F ) pag . De hecho, ahora me gustaría mostrar que v T pag METRO ,

d F pag ( v ) = ( d F ) pag ( v ) d d t | F ( pag ) ,
dónde d d t | F ( pag ) es la base de coordenadas para T F ( pag ) R . Desde d F pag ( v ) T F ( pag ) R , podemos escribir d F pag ( v ) = k d d t | F ( pag ) para algunos k R . Aplicar ambos lados al mapa de identidad I d R , vemos
k = d F pag ( v ) ( I d R ) = v ( I d R F ) = v F .
El producto final no es otro que el número ( d F ) pag ( v ) !

El mapa k k d d t | F ( pag ) parece establecer un isomorfismo a partir de R a T F ( pag ) R .