Projection theorems for box and packing dimensions

Abstract

We show that if E is an analytic subset of ℝn thenfor almost all m–dimensional subspaces V of ℝn, where projvE is the orthogonal projection of E onto V and dimp denotes packing dimension. The same inequality holds for lower and upper box counting dimensions, and these inequalities are the best possible ones.