25: Geometria Diferencial IX

Na aula 25, 24/10, checamos o formalismo de Cartan numa base coordenada e obtivemos a primeira equação de Cartan.

Tarefa:
1. Prove a eq. (2.73) de [1]

[1] Stephani, H.; Kramer, D.; MacCallum, M.; Hoenselaers, C.; & Herlt, E. Exact Solutions of Einstein's Field Equations (2nd edn.). Cambridge: Cambridge University Press, 2003.(Google Books).