引力坍缩与时空奇点

The newly discovered quasi-stellar radio sources (quasars) appeared to release enormous energies from compact regions, and several authors had suggested the engine might be the gravitational collapse of a large mass down toward its Schwarzschild radius. The paper takes up the central theoretical question this raised: does such collapse necessarily produce a space-time singularity, or could a real, lumpy, asymmetric body somehow avoid one?

The only collapse then known to end in a singularity was the perfectly spherical, pressureless dust model of Oppenheimer and Snyder (1939). It was widely believed that this singularity was an artifact of exact symmetry — that in a realistic collapse the infalling matter, having some rotation or irregularity, would swirl past the center and re-expand, the would-be singularity smeared away. Penrose set out to test that belief without assuming any symmetry at all.

Penrose introduces the closed trapped surface: a closed two-dimensional surface so deep in a gravitational field that BOTH families of light rays leaving it — the outgoing and the ingoing — are converging, their cross-sectional area decreasing. Even the light that tries to go outward is dragged inward. Once such a surface exists, its definition is a statement about light cones and causal structure, not about any particular symmetry of the matter.

Using global, topological methods and the focusing of light rays under gravity, Penrose proves that if space-time contains a closed trapped surface, if gravity is attractive (an energy condition on the matter), and if there is a non-compact Cauchy surface (an 'open' universe extending to infinity), then space-time cannot be null-geodesically complete: at least one light ray runs off the edge of existence after only finite affine length. That incompleteness is the singularity — and the proof never assumes spherical symmetry.

Singularities in gravitational collapse are therefore generic, not a fragile consequence of idealized symmetry. The interior of a collapsing star, once a trapped surface forms, must develop a singularity. The result reframed black holes from a mathematical curiosity into a robust prediction of Einstein's theory, and launched the program of singularity theorems that Hawking soon carried into cosmology.