An information-theoretic analog of a result of Perelman

Each compact manifold M of finite dimension k is differentiable and supports an intrinsic probability measure. There then exists a measurable transformation of M to the k-dimensional “surface” of the (k+1)-dimensional ball.