Magill-type theorems for mappings (Q1774756): Difference between revisions

In 1968 K. D. Magill jun. showed that for locally compact Hausdorff spaces \(X\) and \(Y\), the Stone-Čech remainders \(\beta X-X\) and \(\beta Y-Y\) are homeomorphic if and only if the posets \(K(X)\) and \(K(Y)\) of all Hausdorff compactifications of \(X\) and \(Y\) are isomorphic. In 1973, M. C. Rayburn proved that for any poset of \(k\)-absolute spaces, if the posets \(K(X)\) and \(K(Y)\) are isomorphic, then \(\beta X-X\) and \(\beta Y-Y\) are homeomorphic. Here \(X\) being \(k\)-absolute means \(\beta X-X\) is a \(k\)-space. In the current paper, the authors' stated objective is to extend the above results and their generalizations to the class of \(WZ\)-mappings from a locally compact Tychonoff space or a \(k\)-absolute space to a compact Hausdorff space. The two major theorems which accomplish this contain more notation than can be defined here. Indeed, the authors note that these theorems may not seem natural and address this in the last section of their paper. However, corollaries to these theorems, which are just immediate special cases of the theorems, are easy to communicate and very natural. We will indicate the nature of the current paper by stating one of the major theorems without explaining the notation, and then stating its corollary. For \(eX\in K(X)\), define \(K(eX)=\{eX\in K(X): cX\leq eX\}\). Theorem 4.4. Let \(X_j\) be a Tychonoff space, let \(Y\) be a compact Hausdorff space, let \(f_j:X_j\to Y\) be a \(WZ\)-mapping, let \(eX_j\) be a Hausdorff compactification of \(X_j\), and let \(ef_j :eX_j\to Y\) be a continuous extension of \(f_j\) (thus, \(ef_j\) is a compactification of \(f_j)\) for \(j=1,2\). Let also \(X_{jy}=f^{-1}_i(\{y\})\), \(eX_{jy}= cl_{e X_j}(X_{jy})\) (i.e., \(eX_{jy}=\text{kres}_{X_jX_{jy}}(eX_j))\) for \(j= 1,2\), and suppose that there exist poset isomorphisms \(i:K(eX_1)\to K(eX_2)\) and \(i_y:K(eX_{1y})\to K(eX_{2y})\) such that \[ i_y\circ\text{kres}_{X_1 X_{1y}}= \text{kres}_{X_2X_{2y}}\circ i\text{ for every }y\in Y. \] Then the remainders \(ef_j\setminus f_j\overset\text{def} {=}ef_j:eX_j\setminus {X_j} Y\) of \(ef_j\) for \(j=1,2\) are \(k\)-homeomorphic (more exactly if \(min\{|eX_1 \setminus X_1|, |eX_2 \setminus X_2|\}\geq 3\), then the function \(h_{\sigma_e X_2\circ i\circ \sigma_{eX_1}^{-1}}:eX_1\setminus X_1\to eX_2\setminus X_2\) is a \(k\)-homeomorphism of \(ef_1\setminus f_1\) onto \(ef_2\setminus f_2)\). If additionally, \(X_1\) and \(X_2\) are \(k\)-absolute spaces, then the remainders \(ef_1\setminus f_1\) and \(ef_2\setminus f_2\) are homeomorphic. Corollary 4.5[2]. Let \(X_1\), \(X_2\) be Tychonoff spaces and let \(eX_1\), \(eX_2\) be their Hausdorff compactifications. If \(K(eX_1)\) and \(K(eX_2)\) are poset isomorphic, then the remainders \(eX_1\setminus X_1\) and \(eX_2\setminus X_2\) are \(k\)-homeomorphic, and they are homeomorphic if, additionally, \(X_1\), \(X_2\) are \(k\)-absolute spaces. As the authors indicate, these corollaries were previously established in [\textit{I. V. Bludovo, G. Nordo} and \textit{B. A. Pasynkov}, Quest. Answers Gen. Topology 19, 95--105 (2001; Zbl 1019.54009)]. However, the corollaries clearly demonstrate why the current theorems generalize Magill's and Rayburn's results.