Embedding and factorization properties of the product of generalized Sierpiński curves (Q2839893)

The author proves that there is a universal space for the class of \(n\)-dimensional metric spaces in the product \(\Sigma(\tau)^{n+1}\) of generalized Sierpiński curves. Let \(\tau\geq\aleph_0\) and consider the Hilbert space \(\ell_2(\tau)\) of weight \(\tau\). For each \(\lambda\in\tau\), define \(e_\lambda\in\ell_2(\tau)\) by setting \(e_\lambda(\mu)=1\) if \(\mu=\lambda\) and \(e_\lambda(\mu)=0\) otherwise, and define \(\varphi_\lambda:\ell_2(\tau)\to\ell_2(\tau)\) to be the homothety with scale \(1/2\) with center \(e_\lambda\). Let \(\Sigma\) denote the set of points \((x_\lambda)\in\ell_2(\tau)\) such that \(\Sigma_{\lambda\in\tau}x_\lambda\leq 1\) and \(x_\lambda\geq 0\) for all \(\lambda\). Then the generalized Sierpiński curve is defined to be the set \(\Sigma(\tau)=\bigcap_{m\in{\mathbb N}}\Sigma_m\), where \(\Sigma_m= \bigcap\{(\varphi_{\lambda_1}\circ\cdots\circ\varphi_{\lambda_m})[\Sigma]: \lambda_1,\cdots,\lambda_m\in\tau\}\) (for detail, see \textit{U. Milutinović} [Glas. Mat., III. Ser. 27, No.2, 343--364 (1992; Zbl 0797.54045)]). Some of the main results of this paper are:NEWLINENEWLINETheorem 1: Suppose that \(X\) is a metric space of weight \(\tau\geq\aleph_0\). If \(\dim X\leq n\), then the set of embeddings of \(X\) in \(\Sigma(\tau)^{n+1}\) is a residual set in \(C(X,\Sigma(\tau)^{n+1})\). If moreover \(X\) is completely metrizable, then the set of all closed embeddings is dense in \(C(X,\Sigma(\tau)^{n+1})\).NEWLINENEWLINETheorem 2: Let \(X\) be a metric space of weight \(\tau\geq\aleph_0\). If \(\dim X\leq n\), then the set of embeddings \(h:X\to\Sigma(\tau)^{n+1}\) such that \(h[X]\subset L_n(\tau)\) is a residual set of \(C(X,\Sigma(\tau)^{n+1})\), where \(L_n(\tau)\) is the set of all \(x\in\Sigma(\tau)^{n+1}\) such that not all coordinates of \(x\) are rational. Other properties of products of generalized Sierpiński curves are also proved.