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
    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

    Identifiers