Mappings and isometries of compact metric spaces (Q2400846)

In the paper [Topology Appl. 137, No. 1--3, 175--186 (2004; Zbl 1048.54008)] (see also [Universal spaces and mappings. Amsterdam: Elsevier (2005; Zbl 1072.54001)]), the author constructed universal mappings for many classes of mappings of separable metric spaces. A mapping \(F : X\to Y\) of a space \(X\) into a space \(Y\) is said to be universal in a class \(\mathbb{F}\) of mappings if {\parindent=6mm \begin{itemize}\item[(a)] \(F \in \mathbb{F}\) and \item[(b)] for each element \(f : X\to Y\) of \(\mathbb{F}\), there exist an embedding \(i\) of \(X\) into \(X\) and an embedding \(j\) of \(Y\) into \(Y\) such that \(F \circ i = j \circ f\). \end{itemize}} If only condition (b) is satisfied, then \(F\) is called a containing mapping for the class \(\mathbb{F}\). In the case where all considered spaces are metric and the mappings \(i\) and \(j\) are isometries, \(F\) is called an isometric universal mapping. For each mapping \(f\) of a space \(X\) into a space \(Y\), the author denotes the domain of \(f\), that is, the space \(X\), by \(D_f\). The main results of this paper are the following two theorems: {Theorem A}. Let \(\mathbb{F}\) be an indexed collection of continuous surjective mappings whose domains are compact metric spaces of transfinite dimension \(\mathrm{ind} \leq \alpha_d \in \omega^+\) and whose ranges are compact metric spaces of dimension \(\mathrm{ind} \leq \alpha_r \in \omega^+\). Then, there exists a continuous surjective mapping \(F : X \to Y \), where \(X\) and \(Y\) are separable complete metric spaces of dimension \(\mathrm{ind}\leq a_d\) and \(\leq \alpha_r\), respectively, which is an isometric containing mapping for \(\mathbb{F}\). {Theorem B}. Let \(\mathbb{F}\) be an indexed collection of continuous mappings whose domains are compact metric spaces of dimension \(\mathrm{ind} \leq \alpha \in \omega^+\) and whose ranges coincide with a fixed separable complete metric space \(Y\). Then, there exists a continuous mapping \(F : X \to Y\), where \(X\) is a separable complete metric space of dimension \(\leq \alpha\) such that, for each \(f \in \mathbb{F}\), there exists an isometry \(i_f\) of \(D_f\) into \(X\) for which \(F \circ i_f = f\).