Extending bonding functions in generalized inverse sequences (Q1710640)

One of the purposes of this paper is to solve the following problem stated by \textit{I. Banič} et al. (Question 6.1 in the paper [Topology Appl. 196, Part A, 155--172 (2015; Zbl 1332.54160)]): \par Question. Let $(X_n, d_n)$ be a compact metric space for each positive integer $n$ and $A \neq \emptyset$ a closed subset of $\prod_{n=1} ^{\infty} X_n$. Are the following statements equivalent? \par (1) There are closed subsets $Y_n \subseteq X_n$ and upper semicontinuous set-valued functions $g_n : (Y_{n+1}, d{n+1}|_{Y_{n+1}}) \multimap (Y_{n+1}, d{n}|_{Y_{n}})$, such that $A = \varprojlim \{Y_n, g_n \}_{n=1}^{\infty}$. \par (2) There are upper semicontinuous set-valued functions $f_n : (X_{n+1}, d_{n+1}) \multimap (X_n, d_n)$ such that $A = \varprojlim \{Y_n, g_n \}_{n=1}^{\infty}$. \par To answer this question, in Definition 3.5 the authors for given compact metric spaces $(X_1,d_1)$ and $(X_2,d_2)$, closed subsets $Y_1$ and $Y_2$ of $X_1$ and $X_2$ respectively, and an upper semicontinuous function $g:(Y_1, d_1|_{Y_1}) \to (Y_2, d_2|_{Y_2})$, define an extension $f:(X_1,d_1) \to (X_2,d_2)$ of $g$ in the following way: \[ f = g \circ Z_{Y_1 \subseteq X_1}, \] where \[ Z_{Y_1 \subseteq X_1}: X_1 \to Y_1 \] is defined by \[ Z_{Y_1 \subseteq X_1}(x) = \{ y \in Y \ | \ d_1(y,x) = d_1(Y,x) \}. \] Using this tool and its properties the authors answer the question mentioned above in the positive (see Theorem 3.10). In the second part of the paper the authors introduce the notions of the weak $\mathcal{L}$-extension property and the strong $\mathcal{L}$-extension property of an inverse sequence for any property $\mathcal{L}$ of graphs of set valued functions. In particular, they investigate the weak $\mathcal{L}$-extension property and the strong $\mathcal{L}$-extension property for the following graph properties: \par (1) $\mathcal{USC}$: to be a closed graph, \par (2) $\mathcal{S}$: to be a closed surjective graph, \par (3) $\mathcal{C}$: to be a closed connected graph. \par Among other things they show that not all inverse sequences of compact metric spaces have the strong surjective-extension property, but they do have the weak surjective-extension property. \par The authors conclude this fluently-written paper with two open problems concerning the weak $\mathcal{L}$-extension property and the strong $\mathcal{L}$-extension property in the particular case, where the property $\mathcal{L}$ means that the graph of the upper semicontinuous functions is connected.