Smoothness of time functions and the metric splitting of globally hyperbolic spacetimes

The folk questions in Lorentzian Geometry which concerns the smoothness of time functions and slicings by Cauchy hypersurfaces, are solved by giving simple proofs of: ( a) any globally hyperbolic spacetime ( M, g) admits a smooth time function T whose levels are spacelike Cauchy hyperfurfaces and, thus, also a smooth global splitting M = R x S, g = - beta( T, x) dT(2) + (g) over bar T, ( b) if a spacetime M admits a ( continuous) time function t then it admits a smooth ( time) function T with timelike gradient del T on all M.