We develop area and volume comparison theorems for the evolution of
spacelike, acausal, causally complete hypersurfaces in Lorentzian manifolds,
where one has a lower bound on the Ricci tensor along timelike curves, and an
upper bound on the mean curvature of the hypersurface. Using these results, we
give a new proof of Hawking's singularity theorem.Comment: 15 pages, LaTe