Uniform Convergence of the Empirical Distribution Function Over Convex Sets

The empirical distribution function Pₙ converges with probability 1 to a true distribution P in Rᵏ, uniformly over measurable convex sets, if and only if P is a countable mixture of distributions, each of which is carried by a flat and gives zero probability to the relative boundaries of convex sets included in the flat.