Infinite iteration of inclusion hyperspace functor (Q1826156)

Let X be a nondegenerate metric continuum and exp X be the hyperspace of its closed subsets. A set \(G\subset \exp X\) is said to be an inclusion hyperspace if conditions \(A\in G\), \(B\in \exp X\) and \(A\subset B\) imply \(B\in G\). Denote by G(X) the subspace of \(\exp^ 2X\) consisting of all inclusion hyperspaces which are closed in exp X, and put \(G^ i(X)=G(G^{i-1}(X))\). It was proved by \textit{E. V. Moiseev} [Mosc. Univ. Math. Bull. 43, 48-51 (1988); translation from Vestn. Mosk. Univ., Ser. I 1988, No.3, 54-57 (1988; Zbl 0658.54010)] that G(X) is homeomorphic to the Hilbert cube Q. In the present paper the author considers the inverse sequence \(G(X)\leftarrow G^ 2(X)\leftarrow..\). with bonding maps \(f_ i:G^{i+1}(X)\to G^ i(X)\), \(f_ i(F)=\{M:M\in \cap A,A\in F\}\) and the direct system \(X\subset G(X)\subset G^ 2(X)\subset..\). with the natural inclusion maps \(g_ i:G^ i\to G^{i+1}\). He shows that the pair \((\lim_{\leftarrow}(G^ i(X),f_ i)\), \(\lim_{\to}(G^ i(X),g_ i))\) is homeomorphic to the pair (Q,rint Q), where rint Q\(=\cup_{n}\{x\in Q:| x_ i| \leq 1-1/n\}\).