It is known that optimal mappings in optimal transportation problems are
uniquely determined by corresponding potential functions. In this paper we prove various
local properties of potential functions. In particular we obtain the C1,α regularity of potential
functions with optimal exponent α, which improves previous regularity results of Loeper.