Uniform approximation of Vapnik–Chervonenkis classes

Abstract

For any family of measurable sets in a probability space, we show that either (i) the family has infinite Vapnik–Chervonenkis (VC) dimension or (ii) for every $\varepsilon >0$ there is a finite partition $\pi$ such the essential $\pi$-boundary of each set has measure at most $\varepsilon$. Immediate corollaries include the fact that a separable family with finite VC dimension has finite bracketing numbers, and satisfies uniform laws of large numbers for every ergodic process. From these corollaries, we derive analogous results for VC major and VC graph families of functions