On Cantor sets with shadows of prescribed dimension (Q428813)

The authors show that (Theorem 1), for given nonnegative integers \(n\) and \(k\), \(k<n\), there is a Cantor set in the Euclidean space \(\mathbb{R}^n\) such that all its projections onto a hyperplane are \(k\)-dimensional, generalizing the constructions of Borsuk and Cobb. Next, the extension of Cobb's construction to the Hilbert space \(l^2\) of square summable real sequences is treated. More precisely, by using the previous result, it is proved that (Theorem 2), given a positive integer \(m\), there exists a Cantor set in \(l^2\) such that all its projections onto \(m\)-planes are \((m-1)\)-dimensional.