Universal nowhere dense and meager sets in Menger manifolds (Q386185)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Universal nowhere dense and meager sets in Menger manifolds |
scientific article |
Statements
Universal nowhere dense and meager sets in Menger manifolds (English)
0 references
9 December 2013
0 references
The authors construct universal nowhere dense and universal meager sets in \(\mu^n\)-manifolds, i.e., in manifolds modeled on Menger cubes. Such manifolds were characterized by \textit{M. Bestvina} [Mem. Am. Math. Soc. 380, 110 p. (1988; Zbl 0645.54029)]. Theorems 1.4 and 1.5 of the current paper provide us with such characterizations respectively of the Menger cube and Menger cube manifolds. In this work, a \(\mu^n\)-manifold is a paracompact space having a cover by open subsets homeomorphic to a Menger cube. Here are the main results. Let \(M\) be a Menger manifold. \textbf{(1).} There exists a closed nowhere dense subset \(M_0\) of \(M\) which is homeomorphic to \(M\) and is universal nowhere dense in the sense that for each nowhere dense set \(A\subset M\), there is a homeomorphism \(h:M\to M\) with \(h(A)\subset M_0\). \textbf{(2).} There is a meager \(\mathrm{F}_\sigma\)-set \(\Sigma_0\subset M\) which is universal meager in the sense that for each meager subset \(B\subset M\), there is a homeomorphism \(h:M\to M\) with \(h(B)\subset\Sigma_0\). \textbf{(3).} Any two universal meager \(\mathrm{F}_\sigma\)-sets in \(M\) are ambiently homeomorphic.
0 references
meager set
0 references
Menger cube
0 references
Menger manifold
0 references
tame open set
0 references
tame \(\mathrm{G}_\delta\)-set
0 references
universal nowhere dense set
0 references
universal meager set
0 references