No sé si está bien colocado aquí el mensaje, porque no he encontrado ninguna sección sobre tensores, diferencial exterior, producto interior, derivada de Lie que es sobre lo que estoy estudiando. Si estuviera mal colocado, pido disculpas.
El problema que estoy intentando resolver es:
Dadas

,

comprobar que

.
He intentado lo siguiente:

Pero no sé cómo llegar hasta

a partir de esta expresión.
¿Alguna pista?
Gracias!