On projections of a compact set in $\mathbb R^N$

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Frolkina, Olga
Format: Preprint
Veröffentlicht: 2026
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866910276014571520
author Frolkina, Olga
author_facet Frolkina, Olga
contents We apply ideas of geometric measure theory and Baire category theory to topological problems, namely, to topological embeddings of compact sets into Euclidean spaces. In 1947, Borsuk constructed a Cantor set in $\mathbb R^N$, $N\geqslant 3$, such that its projection onto any $(N-1)$-plane contains an $(N-1)$-dimensional ball. This can be strengthened: a desired Cantor set can be obtained from an arbitrary Cantor set by an arbitrarily small isotopy of the space $\mathbb R^N$. The question arises: how do the dimensions of the projections of a compact set $X\subset \mathbb R^N$ behave under a typical ambient isotopy or under a typical ambient homeomorphism? (Typical in the sense of the Baire category.) We solve this problem. As a consequence, we get new criteria of tameness and wildness of a Cantor set in terms of its projections. Our main result strengthens V{ä}isälä's theorem (1979) connecting Hausdorff dimension and Shtan'ko embedding dimension. In its turn, V{ä}isälä's theorem extends results of Nöbeling (1931) and Szpilrajn (1937) on relationship between Hausdorff dimension and topological dimension.
format Preprint
id arxiv_https___arxiv_org_abs_2606_00639
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle On projections of a compact set in $\mathbb R^N$
Frolkina, Olga
Geometric Topology
General Topology
57M30, 57N35
We apply ideas of geometric measure theory and Baire category theory to topological problems, namely, to topological embeddings of compact sets into Euclidean spaces. In 1947, Borsuk constructed a Cantor set in $\mathbb R^N$, $N\geqslant 3$, such that its projection onto any $(N-1)$-plane contains an $(N-1)$-dimensional ball. This can be strengthened: a desired Cantor set can be obtained from an arbitrary Cantor set by an arbitrarily small isotopy of the space $\mathbb R^N$. The question arises: how do the dimensions of the projections of a compact set $X\subset \mathbb R^N$ behave under a typical ambient isotopy or under a typical ambient homeomorphism? (Typical in the sense of the Baire category.) We solve this problem. As a consequence, we get new criteria of tameness and wildness of a Cantor set in terms of its projections. Our main result strengthens V{ä}isälä's theorem (1979) connecting Hausdorff dimension and Shtan'ko embedding dimension. In its turn, V{ä}isälä's theorem extends results of Nöbeling (1931) and Szpilrajn (1937) on relationship between Hausdorff dimension and topological dimension.
title On projections of a compact set in $\mathbb R^N$
topic Geometric Topology
General Topology
57M30, 57N35
url https://arxiv.org/abs/2606.00639