Maximum Principles for Null Hypersurfaces and Null Splitting Theorems

A maximum principle for C^0 null hypersurfaces is obtained and used to derive a splitting theorem for spacetimes which contain null lines. As a consequence of this null splitting theorem, it is proved that an asymptotically simple vacuum (Ricci flat) spacetime which contains a null line is isometric to Minkowski space.