He encontrado varias fuentes que hablan de trazos de tensores. ¿Cómo funciona eso? En particular, parece que hay una igualdad de este tipo:
$$ \text{Tr}(T_1\otimes T_2)=\text{Tr}(T_1)\text{Tr}(T_2)\;\;\;...(1) $$
como se encuentra en este Pregunta sobre Stackexchange y esta página de Wikipedia .
En la página de la Wiki "Tensor Contraction" se habla de la contracción tensorial como cierta generalización de la traza, aunque sin proporcionar ninguna formulación ni ejemplo.
Mis preguntas: ¿Cómo funcionan todos? ¿Qué es la traza de un tensor? ¿Cómo interactúa dicha traza con el producto tensorial?
En particular, tengo esta contracción: (siguiendo la convención de suma de Einstein) $$ F^{\mu\nu}F_{\mu\nu} $$ donde $F$ es un tensor de rango 2 y cada $F_{\mu\nu}$ es un $4\times 4$ matriz. ¿Puede expresarse como una traza de algún tipo? Posteriormente, ¿puedo aplicar (1) para dividir la expresión en el producto de, por ejemplo, la traza de $F$ ?
Además, $F^{\mu\nu}$ es antisimétrico y estoy tratando de demostrar que lo anterior es igual a cero. Así que ser capaz de utilizar (1) puede ser impresionante.
Nota: Tengo algunos conocimientos, aunque limitados, de geometría diferencial y álgebra. Las palabras en inglés son geniales. Pero, por favor, facilite también definiciones formales. Al mismo tiempo, las explicaciones con la menor cantidad posible de construcciones algebraicas abstractas serían muy apreciadas. Centrarse en la dimensión finita está bien. La extensión al espacio de Hilbert separable, la traza parcial, etc., también es bienvenida.
EDIT: El segundo piso a en este post parece ser bueno. Sin embargo, no entiendo cómo funciona el producto tensorial de las matrices. Además, ¿cuándo entra en juego la contracción?