Universal map of \(\sigma\) onto \(\Sigma\) and absorbing sets in the classes of absolute Borelian and projective finite-dimensional spaces (Q1910702): Difference between revisions

Une fonction continue \(f: X\to Y\) entre espaces métrisables séparables est dite \(\omega\)-molle si, pour tout espace métrisable séparable de dimension finie \(Z\), tout fermé \(A\) de \(Z\) et tout couple d'applications continues \(\varphi: Z\to Y\) et \(\psi: A\to X\) vérifiant \(\varphi|A=f \circ \psi\), il existe une fonction continue \(\Psi: Z\to X\) prolongeant \(\psi\) et vérifiant \(\varphi= f\Psi\). L'auteur construit un rétracte absolu \(\sigma\)-compact fortement de dimension dénombrable \(X\) et une application \(\omega\)-molle de \(X\) sur le cube de Hilbert. Notant \(\sigma\) (resp. \(\Sigma\)) le sous-ensemble de \(\mathbb{R}^\infty\) formé des suites presques nulles (resp. bornées), il en résulte l'existence d'une fonction continue \(\varphi: \sigma\to \Sigma\) telle que, pour toute fonction continue \(g: A\to B\) où \(A\), \(B\) sont \(\sigma\)-compacts et \(A\) fortement de dimension dénombrable, il existe des plongements fermés \(i: A\to \sigma\) et \(j: B\to \Sigma\) tels que \(\varphi i= jg\). Il en résulte aussi que si \({\mathcal C}\) est l'une des classes boréliennes \({\mathcal A}_\alpha\), \({\mathcal M}_\alpha\), \(\alpha\geq 1\) ou des classes projectives \({\mathcal P}_n\), \(n\geq 1\), il existe un ensemble absorbant au sens de \textit{M. Bestvina} et \textit{J. Mogilski} [Mich. Math. J. 33, 291-313 (1986; Zbl 0629.54011)]\ pour la sous-classe \({\mathcal C} (\omega)\) formée des espaces métriques séparables de dimension finie appartenant à \({\mathcal C}\).