Cantor sets with high-dimensional projections (Q1985654)

Roughly speaking, this work deals with Cantor sets in \(\mathbb{R}^n\) and their projections to geometric subspaces such as lines, planes, hyperspaces, etc. One would like to know when the image of a Cantor set under such projections is no longer totally disconnected. The author provides a significant list of references that touch on this subject, and indeed peers briefly back at its history. In her introduction she shows that already at the end of the 19th and the beginning of the 20th century, people were asking questions about this and were getting results. For example, in 1884 G. Cantor described a map of the Cantor set onto the unit interval; its graph is totally disconnected, but the projection of this graph to the unit interval equals the unit interval. The interested reader might spend some additional time perusing this introduction and getting up to date on the developments in the field, but we want to concentrate now on stating a few selected results from the paper. Statement 11. Let \(L\subset\mathbb{R}^2\) be the union of a finite number of \(2\)-simplices. There exists a Cantor set \(K\subset\mathbb{R}^2\) such that \(p_l(K)=p_l(L)\) for each line \(l\subset\mathbb{R}^2\). Theorem 1. There exists an Antoine's Necklace \(\mathcal{A}\subset\mathbb{R}^3\) such that for each \(2\)-plane \(\Pi\subset\mathbb{R}^3\), the set \(p_{\Pi}(\mathcal{A})\) is connected and \(1\)-dimensional. Theorem 2. Let \(K\subset\mathbb{R}^n\), \(n\geq2\), be any Cantor set. For each \(\epsilon>0\) there exists an \(\epsilon\)-isotopy \({h_t}:\mathbb{R}^n\cong\mathbb{R}^n\) such that \(\dim p_{\Pi}(h_1K)) =n-2\) for each \((n-1)\)-plane \(\Pi\subset\mathbb{R}^n\). Theorem 3. Let \(X\subset\mathbb{R}^n\) be a zero-dimensional compact set, \(n\geq2\). Suppose that \(\dim p_{\Pi}(X)=0\) for some plane \(\Pi\subset\mathbb{R}^n\) whose dimension equals \(1\), \(2\), \(n-2\), or \(n-1\). Then \(X\) is tame.