Pseudo-compactness of direct limits
absolute co-extensorabsolute extensor relative to convergent sequencesconvergent sequenceCW-complexdirect limitexpanded long lineextension theoryinclusion direct systemlong lineperfect spaceperfectificationpseudo-compact
Spectra in general topology (54B35) Extension of maps (54C20) Absolute neighborhood extensor, absolute extensor, absolute neighborhood retract (ANR), absolute retract spaces (general properties) (54C55) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Dimension theory in general topology (54F45)
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\).
- Extensional maps and approximate inverse limits
- The topology of limits of direct systems induced by maps
- The paucity of universal compacta in cohomological dimension
- Certain weakly generated noncompact pseudo-compact topologies on Tychonoff cubes
- Finite products of limits of direct systems induced by maps
- A note on extension theory and direct limits
- The Direct Limits Of The Banach-mazur Compacta
- scientific article; zbMATH DE number 1836834 (Why is no real title available?)
- Inverse Sequences and Absolute Co-Extensors
This page was built for publication: Pseudo-compactness of direct limits
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1935848)