Extension dimension for paracompact spaces (Q1882924)

Un espace \(K\) est un extenseur absolu à homotopie près d'un espace \(X\) si, pour tout fermé \(A\) de \(X\) et toute fonction continue \(f\) de \(A\) dans \(K\), il existe une fonction continue de \(X\) dans \(K\) dont la restriction à \(A\) est homotope à \(f\). L'auteur montre que, pour tout espace paracompact \(X\), il existe un CW-complexe \(K\) qui est un extenseur absolu à homotopie près de \(X\) et a la propriété que tout CW-complexe \(L\) qui est un extenseur absolu à homotopie près de \(X\) est aussi un extenseur absolu à homotopie près de tout espace paracompact \(Y\) tel que \(K\) soit un extenseur absolu à homotopie près de \(Y\). La construction de ce CW-complexe repose sur une étude systématique des propriétés de prolongement des fonctions localement compactes (\(f:X\to Y\) est dite localement compacte si tout \(x\in X\) a un voisinage \(U\) tel que \(f(U)\) soit contenu dans un sous-ensemble compact de \(Y\)).