Visible parts and dimensions

We study the visible parts of subsets of n-dimensional Euclidean space: a point a of a compact set A is visible from an affine subspace K of n, if the line segment joining PK(a) to a only intersects A at a (here PK denotes projection onto K). The set of all such points visible from a given subspace K is called the visible part of A from K. We prove that if the Hausdorff dimension of a compact set is at most n−1, then the Hausdorff dimension of a visible part is almost surely equal to the Hausdorff dimension of the set. On the other hand, provided that the set has Hausdorff dimension larger than n−1, we have the almost sure lower bound n−1 for the Hausdorff dimensions of visible parts. We al…