A subsequence theorem for generalised inverse limits (Q2253719)

The authors study generalized inverse limits of inverse sequences with upper semicontinuous set-valued bonding functions and give a subsequence theorem for such inverse limits. The subsequence theorem for inverse limits of inverse sequences with continuous single valued functions is well known. Suppose that for each \(i\in \mathbb N\), \(X_i\) is a compact Hausdorff space and \(f_i:X_i \to X_{i+1}\) is a continuous function. The subsequence theorem for inverse limits in this case states that if \((s_k)_{k\in \mathbb N}\) is a strictly increasing sequence of positive integers where \(s_0=1\) and if \(Y_0=X_0\), for each positive integer \(k\), \(Y_k=X_{s_k}\) and \(g_{k+1}=f_{s_k} \circ\ldots\circ f_{s_{k+1}}\), then \(\varprojlim (X_i,f_i)=\varprojlim (Y_i,g_i)\). This subsequence theorem does not hold for generalized inverse limits of inverse sequences with upper semicontinuous set-valued bonding functions. The authors describe a class of upper upper semicontinuous set-valued functions, such that for generalized inverse limits of inverse sequences with these bonding functions the subsequence theorem does hold. The main result of the paper is that if \(X\) is a compact Hausdorff space, \(D \subset X\), \(f_1,\ldots f_n\) is an \((X,D)\)-collection, \(n \geq 1\), and \(f_0:X \to X\) is the identity function, then for the upper semicontinuous set-valued function \(F:X \to X\), defined by \(\Gamma (F)=\Gamma (f_1) \cup \ldots \cup \Gamma (f_n)\), the generalized inverse limit of the inverse sequence with all bonding functions equal to \(F\) has the so called collapsing subsequence property.