Pseudo-compactness of direct limits (Q1935848): Difference between revisions

Given spaces \(X\) and \(K\), \(K\) is an absolute extensor for \(X\), or \(X\) is an absolute co-extensor for \(K\), in notation, \(X \tau K\), if for each closed subset \(A\) of \(X\) and map \(f: A\to K\), there exists an extension \(F: X\to K\) of \(f\). The authors introduce the concept of a space \(Y\) being an absolute extensor relative to convergent sequences for a given space \(X\). The long line and the extended long line are shown to be absolute extensors relative to convergent sequences for any normal space. The authors then introduce the direct system \({\mathbf X}=(X_a, p_a^b, (A, \leq))\) induced by the set of maps \(C(Z, H)\) between spaces \(Z\) and \(H\). Using the concept of absolute extensor relative to convergent sequences, they give sufficient conditions for the direct limit \(X\) of \(\mathbf X\) to be pseudo-compact but not necessarily compact. Here a space \(X\) is pseudo-compact if every map of \(X\) to \(\mathbb R\) has a bounded image. A natural question concerning direct systems \({\mathbf X}=(X_a, p_a^b, (A, \leq))\) is whether the properties of its coordinate spaces \(X_a\) are induced on the direct limit \(X\) of \(\mathbf X\). The main result of the paper concerns the inducibility of extension-theoretic properties of \(Z\) on the direct limit space \(X\). A special case of the main theorem states that given compact metrizable spaces \(Z\) and \(H\), if \(Z\) is perfect, there exist a compact metrizable space \(M\) and a map \(\psi: M \to H\) such that for any map \(f: Z\to H\) there exists a map \(g: Z\to M\) with \(f = \psi\circ g\); if \(K\) is a CW-complex and \(Z\tau K\), under some conditions, \(M\) can be chosen so that \(M\tau K\).