¿Cuál es la importancia e intuición detrás del operador de contracción en los tensores (o el rastro de una matriz, para el caso)?
Además, veo que uno de los requisitos para una derivada covariante (en el contexto de las conexiones) es viajar con contracción. ¿Por qué es un requisito natural (como sería para, por ejemplo, la regla del producto)?
