Controlled extensions of Carathéodory functions (Q864618): Difference between revisions

Let \(X\) and \(Y\) be two topological spaces, \((T,\mathcal{M} )\) be a measurable space and \(B\) be a subset of \(T\times X\). A function (respectively, multifunction) \(\Phi\) from \(B\) to \(Y\) is called \(R\)-Carathéodory (respectively, lower \(R\)-Carathéodory) if, for each open \(V\subset Y\) there exist a sequence \(\{ M_n\}\) in \(\mathcal{M}\) and a sequence \(\{ U_n\}\) of open subsets of \(X\) such that \(\Phi^{-1}(V)=B\cap \bigcup_{n\in \mathbb{N}} (M_n\times U_n)\). The first result obtained in this paper on controlled extensions for Carathéodory functions is a parametric version of a known selection theorem due to Michael, see Theorem 5 in [\textit{E. Michael}, Am. Math. Mon. 63, 233--238 (1956; Zbl 0070.39502)]. Let \(X\) and \(Y\) be two topological spaces, \(A\) be a subset of X, \(E:Y\times Y\rightarrow Y\), \(u:X\rightarrow Y\), \(f,g:A\rightarrow Y\) be continuous functions satisfying \(E(f(a), g(a))=u(a)\;\forall a\in A\). Two continuous functions \(\overline{f}, \overline{g}:X\rightarrow Y\) are called \((E,u)\)- controlled continuous extensions of \(f\) and \(g\) if \(\overline{f}\) extends \(f\), \(\overline{g}\) extends \(g\) and \(E(\overline{f}(x),\overline{g}(x))=u(x)\;\forall x\in X\). If \(X=T\times Z\), where \((T,\mathcal{M} )\) is a measurable space, \(Z\) is a topological space and \(f,g,\overline{f}, \overline{g}\) and \(u\) are Carathéodory functions we have \((E,u)\)-controlled extensions. Moreover, if \(\overline{f}, \overline{g}\) are \(R\)-Carathéodory functions then we speak about \((E,u)\)-controlled \(R\)-Carathéodory extensions. The authors prove that under mild assumptions the existence of \((E,u)\)-controlled continuous extensions implies the existence of \((E,u)\)-controlled \(R\)-Carathéodory extensions.