Convergence of sequences of inverse limits (Q2261503)

This paper deals with what are sometimes called generalized inverse sequences, but which are referred to herein simply as inverse sequences. If one is given a sequence \((X_i)\) of sets and functions \(f_i:X_{i+1}\to\mathcal{P}(X_i)\), then there is an induced inverse sequence which may be denoted \(\{\mathbf{X},\mathbf{f}\}\), i.e., \(\mathbf{X}=(X_i)\) and \(\mathbf{f}=(f_i)\). Such a sequence has an inverse limit: \[ \lim\mathbf{f}=\big\{(x_i)\in\prod X_i\, |\,x_i\in f(x_{i+1})\big\}. \] It is typical to apply this in the setting that all the sets are compact metrizable spaces, the functions \(f_i:X_{i+1}\to 2^{X_i}\subset\mathcal{P}(X_i)\) are upper semi-continuous, and the spaces of the form \(2^X\) are assigned the Vietoris topology, that is, the one induced from the Hausdorff metric granted by any metric on \(X\) compatible with its topology. The authors use this format throughout and study the following question. Suppose that \((f_i:X\to 2^X)\) is a sequence of upper semi-continuous functions whose graphs converge to the graph of an upper semi-continuous function \(f:X\to 2^X\) in the hyperspace \(2^{X\times X}\). Under which additional assumptions does it follow that the corresponding sequence of inverse limits \((\lim\mathbf{f}_i)\) converges to \(\lim\mathbf{f}\) in the hyperspace \(2^{\prod_i^\infty X}\)? Such a question was considered by I. Banič, M. Črepnjak, M. Merhar, and U. Milutinović in [\textit{I. Banič} et al., Topology Appl. 157, No. 2, 439--450 (2010; Zbl 1184.54020); ibid. 158, No. 9, 1099--1112 (2011; Zbl 1223.54023)]. The authors in Theorems 1.2 and 1.3 give two nonequivalent conditions under which this is true. They show that these two theorems are generalizations of a result of Banić et al. in the second of the preceding references. In Section 5, these theorems are generalized. Examples are given in the final section.