Remainders of extremally disconnected spaces and related objects (Q1800217)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Remainders of extremally disconnected spaces and related objects |
scientific article |
Statements
Remainders of extremally disconnected spaces and related objects (English)
0 references
23 October 2018
0 references
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.
0 references
extremally disconnected
0 references
homogeneous space
0 references
countably compact
0 references
pseudocompact
0 references
compactification
0 references
remainder
0 references
topological group
0 references
Banach space
0 references
Eberlein compactum
0 references
absolute
0 references