In this post I will describe how to use effective dimension to investigate how the fractal dimension of a set changes when projected onto a linear subspace. The first theorem investigating this behavior is the celebrated Marstrand projection theorem.
Theorem (Marstrand’s projection theorem): Let be an analytic set. Then for almost every angle
,
,
where