Continuity-like properties and continuous selections (Q1307361)

Recall the definition of continuity of a map \(f\) between metric spaces \((X,d)\) and \((Y,\rho)\): \[ (\forall x\in X)(\forall\varepsilon>0)(\exists\delta>0)(\forall x'\in X) (d(x,x') <\delta \Rightarrow \rho(f(x),f(x'))<\varepsilon). \] The question arises whether it is possible to choose \(\delta >0\), which continuously depends on the triple \((x,\varepsilon,f)\in X\times \mathbf R^+\times \mathcal C(X,Y)\), where \(\mathcal C(X,Y)\) denotes the set of all continuous maps from \(X\) into \(Y\), endowed with the metric of uniform convergence: \[ \operatorname{dist}(f,g)=\sup\{\min\{1,\rho(f(x),g(x))\}\mid x\in X\}. \] \textit{D. Repovš} and \textit{P. V. Semenov} [Rend. Ist. Mat. Univ. Trieste 25, No. 1-2, 441-446 (1993; Zbl 0838.54016)] proved the following result: Theorem 1.1. Let \((X,d)\) and \((Y,\rho)\) be metric spaces and suppose that \(X\) is locally compact. Then there exists a continuous function \(\hat \delta:X\times \mathbf R^+\times C(X,Y)\to \mathbf R^+\) such that for every \((x,\varepsilon,f)\in \mathbf X\times \mathbf R^+\times C(X,Y)\) and for every \(x'\in X\) the following implication holds: \[ d(x,x')<\hat \delta(x,\varepsilon,f)\Rightarrow \rho(f(x),f(x'))<\varepsilon. \] The purpose of the present paper is: (a) to prove an analogue of Theorem 1.1 where the continuous choice depends on five variables: three of them are as in Theorem 1.1 and the remaining two are the metrics on the spaces \(X\) and \(Y\), compatible with the given metrizable topologies on \(X\) and \(Y\); (b) to avoid the local compactness restriction in Theorem 1.1; and (c) to examine some similar problems for noncontinuous maps, e.g. for the lower or upper semicontinuous real-valued functions.