On infinite iterations of completely metrizable monads (Q1173541)

Let \(F\) be a completely metrizable monad and \(F^ \omega\), \(F^ +\) the corresponding infinitely iterated functors; for definitions, see a paper by \textit{V. V. Fedorchuk} [Math. USSR, Izv. 36, No. 2, 411-433 (1991); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 54, No. 2, 396-417 (1990; Zbl 0715.54005)]. The author announces some results concerning sufficient conditions on a mapping \(f: X\to Y\) which ensure that the pair \((F^ \omega(f),F^ +(f))\) is homeomorphic to the pair \((\text{pr}_ 2: Q\times Q\to Q\), \(\text{pr}_ 2: \text{rint }Q\times\text{rint } Q\to\text{rint } Q)\) (\(Q\) denotes the Hilbert cube). It turns out that this homeomorphism holds: (a) for the probability measure functor \(P\) if \(f\) is an open map of compacta; (b) for the superextension functor \(\lambda\), the completely coupled system functor \(N\), and the inclusion hyperspace functor \(G\) if \(f\) is an open map of continua; (c) for the growth hyperspace functor Gr if \(f\) is an open map of Peano continua with connected fibers. In all cases it is necessary that \(\text{Card}(f^{-1}(y))\geq 2\) for all \(y\in Y\).