Contracting the Einstein field equations with the null tangent eliminates the trace term and givesby the null energy condition. The screen metric is positive definite, so . The Null Raychaudhuri equation consequently impliesWhile this is equivalent toIf , integration givesThe right-hand side reaches zero after affine distance . A finite negative expansion cannot pass through this value, so no later than that point. This is the null focusing theorem.
Articles by others on the same topic
There are currently no matching articles.