All projections of a typical Cantor set are Cantor sets (Q2217231)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | All projections of a typical Cantor set are Cantor sets |
scientific article |
Statements
All projections of a typical Cantor set are Cantor sets (English)
0 references
29 December 2020
0 references
In this interesting and well-written paper the author studies the dimensionality of projections of a typical Cantor set lying in a Euclidean space. It is known due to classical examples of Antoine and (in a more general setting) of Borsuk that in any Euclidean space there exist Cantor sets such that each of their projections onto \(m\)-dimensional planes have maximal dimension \(m\) (\(m\) is fixed here). Further examples of this type have been constructed by \textit{J. Cobb} [Fundam. Math. 144, No. 2, 119--128 (1994; Zbl 0821.54020)], and by the author, e.g. [Topology Appl. 157, No. 4, 745--751 (2010; Zbl 1186.54031)]. In the paper under review, however, the author shows that these examples are untypical in the following sense: for each Euclidean space there exists a \(G_\delta\) (in the Vietoris topology on the set of all non-empty compacta) set of Cantor sets such that each projection of any element of this set to any non-trivial plane is a Cantor set. Besides being interesting in its own right, this result provides a partial answer to the question of Cobb of whether the Cantor sets that raise dimension under all projections are more ``common''. In the proof of the main theorem, the author uses the completeness of the space of all compacta and the standard technique for such statements of obtaining the desired set as a complement to some closed nowhere dense (or \(F_\sigma\) meager) subsets. Namely, it is shown that the set of all Cantor sets with trivial projections to some non-trivial plane is closed and nowhere dense, and that the set of all Cantor sets whose (non-trivial) projections to some non-trivial plane have isolated points is meager and \(F_\sigma\). These two statements, combined with the fact (proved by the author) that the set of all Cantor sets with all projections being zero-dimensional contains a dense \(G_\delta\) subset, yields the desired result.
0 references
Euclidean space
0 references
projection
0 references
Cantor set
0 references
dimension
0 references
Baire category theorem
0 references
0 references