The vectors and are coordinate vector fields on the parameter surface, so their ordinary commutator vanishes. Torsion-freeness then gives
Since each -curve is geodesic, . Apply the Ricci identity to and use :
Thus the desired form holds with

Articles by others on the same topic (0)

There are currently no matching articles.