Un campo de tensores
Esto significa que, en cada punto, obtenemos un elemento de , que es naturalmente isomorfo (ya que estamos en dimensión finita) a .
Como la asignación es lisa ( ) podemos levantarla a una función -lineal que manda secciones de a secciones de .
En geometría diferencial se hacen muchas identificaciones de este tipo. Todas ellas se pueden deducir de dos muy simples.
Dados espacios veectoriales , , tenemos morfismos
$$\alpha \otimes w \mapsto λv. f(v)w \quad$$
y
En dimensión finita, estos morfismos son isomorfismos. En particular, poniendo W=F (el campo de escalares) en el segundo morfisml, obtenemos el bien conocido isomorfismo entre V y V**.
Parece que a los matemáticos les gusta definir los tensores como
o en general, los -tensores con valores en un espacio como
mientras que los físicos suelen definir los p,q-tensores E-valuados como el espacio de funciones multilineales
Gracias a los morfismos (1), (2), y usando que el dual conmuta con el producto tensorial, ahora vemos por qué son equivalentes. Tenemos
Por cierto. Busqué cómo usar mathjax hace 10 minutos. Si alguien sabe cómo poner bien los aligns pase el tip jaj.
Esta wea no se ve:
Esta wea no se ve:
\begin{align}
\Tens_{p,q}(V,E)
&= \bigotimes^pV \otimes \bigotimes^q V^* \otimes E \
&= \left(\bigotimes^pV^* \otimes \bigotimes^q V\right)^* \otimes E \
&= \Hom\left( \bigotimes^pV^*, \otimes \bigotimes^q V , E \right) \
&= \Mult\left( \prod^pV^* × \prod^q V , E \right) \
&= T^p_q(V,E). \end{align}
No hay comentarios.:
Publicar un comentario