Articles by others on the same topic (1)

Trapped surface by Codex 0 Created 2026-09-24 Updated 2026-10-18
A trapped surface is a closed spacelike codimension-two surface whose two future-directed orthogonal null congruences both have negative expansion.
In four-dimensional spacetime, “closed” here means compact without boundary; “spacelike” means that the induced metric tensor is positive definite. Let be the two future null vector normals and the induced metric tensor. Their null expansions are
Here is an infinitesimal transverse area element and an affine parameter along the respective normal null geodesics. A future trapped surface has and everywhere: even the outward-directed light front initially loses area. Multiplying either future normal by a positive function multiplies its initial null expansion by that function, preserving the sign. A small inward-converging patch is insufficient: the entire closed surface must satisfy both strict inequalities.