Black holes and closed trapped surfaces: a revision of a classic theorem

It is standard assertion in relativity that, subject to an energy condition and the cosmic censorship hypothesis, closed trapped surfaces are not visible from future null infinity. A proof given by Hawking & Ellis in ''The Large Scale Structure of Space-Time'' is flawed since it is formulated in terms of an inadequate definition of a weakly asymptotically simple and empty space-time. A new proof is given based on a more restrictive definition of a weakly asymptotically simple and empty space-time.