Covering maps of spaces of compact subsets (Q351651)

Let \(X\) and \(Y\) be metric spaces and let \(\alpha>0\) be a given number. A map \(\Psi:X\to Y\) is \(\alpha\)-covering if the inclusion \[ B_Y(\Psi(x),r)\subset\Psi(B_X(x,\alpha r)) \] holds for every closed ball \(B_X(x,r)\subseteq X\). Let \((\mathcal K(X),h_X)\) be the set of nonvoid compact subsets of \(X\) with the Hausdorff metric \(h_X\). For every \(U\in \mathcal K(X)\) write \(\Psi_{\mathcal K}(U)=\{\Psi(x):x\in U\}\). If \(\Psi\) is continuous, then \(\Psi_{\mathcal K}\) acts from \(\mathcal K(X)\) to \(\mathcal K(Y)\). The authors prove that \(\Psi_{\mathcal K}\) is \(\gamma\)-covering for every \(\gamma<\alpha\) if \(\Psi\) is a continuous \(\alpha\)-covering map and \(X\) is complete. Moreover, the following ``coincidence theorem'' is proved. Theorem. Let \(X\) be complete, and let \(\Psi\) and \(\Phi\) satisfy the following conditions: 1) \(\Psi:X\to Y\) is continuous and \(\alpha\)-covering; 2) \(\Phi:X\to \mathcal K(Y)\) is Lipschitz with constant \(\beta<\alpha\). Then, for all \(u_0\in X,\;V\in\mathcal K(Y),\;\varepsilon>0\) there exists \(U\in\mathcal K(X)\) such that \[ \Psi(U)=\Phi(U)\quad\text{and}\quad h_X(\{u_0\},U)\leq \frac1{\alpha-\beta-\varepsilon} h_Y(\{\Psi(u_0),\Phi(u_0)\}). \]