A theorem on remainders of topological groups (Q517133)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A theorem on remainders of topological groups |
scientific article |
Statements
A theorem on remainders of topological groups (English)
0 references
16 March 2017
0 references
Recall that a \textit{remainder} of a Tychonoff topological space \(X\) is the subspace \(bX\setminus X\) of a Hausdorff compactification \(bX\) of \(X\). Moreover, \(X\) is \textit{perfect} if every closed subset of \(X\) is a \(G_\delta\)-set of \(X\). By a result in [\textit{A. V. Arhangel'skii}, Fundam. Math. 203, No. 2, 165--178 (2009; Zbl 1182.54043)], for a remainder \(Y\) of a topological group \(G\), if \(Y\) is perfect then \(Y\) is first-countable. The main theorem of the present paper extends this result in case \(G\) is non-locally compact, by showing that \(Y\) perfect implies that \(G\) is separable and metrizable, \(Y\) is hereditarily Lindelöf and first-countable; moreover, \(Y\) is a \(p\)-space with countable \(\pi\)-base and every compact subspace of \(Y\) has a countable base of open neighborhoods in \(Y\). An example shows that \(Y\) needs not be necessarily metrizable. Moreover, it is known that there exists a non-locally compact topological group that is not metrizable but admits a first-countable remainder. Consequences of the main theorem are that a remainder of a topological group is perfect precisely when it is hereditarily Lindelöf (this answers Problem 3.9 from [loc. cit.]), and that a non-locally compact topological group is separable and metrizable if and only if it admits a perfect remainder.
0 references
remainder
0 references
compactification
0 references
topological group
0 references
first-countable
0 references
perfect
0 references
metrizable
0 references
hereditarily Lindelöf
0 references
0 references