Remainders of extremally disconnected spaces and related objects (Q1800217): Difference between revisions

Recall that a space \(X\) is an absolute of a space \(Y\) if there exists a perfect irreducible mapping \(f\) of \(X\) onto \(Y\). A space \(X\) is called \(k\)-trivial if every compact subspace of \(X\) is finite. \(X\) is a \(k\)-space if \(X\) is a quotient of a locally compact Hausdorff space. The author studies remainders of extremally disconnected spaces and remainders of some related spaces. He proves that the absolute of a non-discrete separable metrizable space cannot be densely embedded in a homogeneous space. This extends the theorem of Frolík on non-homogeneity of infinite extremally disconnected compact spaces. He proves that if an extremally disconnected space \(X\) is a dense subspace of a homogeneous \(k\)-space \(Z\) then \(X\) and \(Z\) are discrete. This generalizes the theorem of Comfort and van Mill saying that every pseudocompact extremally disconnected topological group is discrete. The author proves that if \(X\) is a \(k\)-trivial space with no isolated points, then every remainder \(Y\) of \(X\) in a compactification of \(X\) is pseudocompact. He also proves that if \(X\) is an extremally disconnected space with a homogeneous extension, then, for any compactification \(bX\), the remainder \(Y=bX\setminus X\) is countably compact. New results are also the theorems on remainders of Banach spaces and on remainders of normal topological groups.