For a unit timelike normal , the induced metric is . The spatial covariant derivative projects the derivative and all free indices with the spatial projection tensor . Metric compatibility gives ; projecting kills the normal factor in each term. Thus the spatial covariant derivative is compatible with the induced metric.
Articles by others on the same topic
There are currently no matching articles.