Remainders of rectifiable spaces

\(\pi \)-base \(p\)-space compactification countable type homogeneous algebra Lindelöf space metrizability pseudocompact space rectifiable space remainder topological group

Mathematics Subject Classification ID

Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Subspaces in general topology (54B05) Remainders in general topology (54D40) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80) Topological groups (topological aspects) (54H11)

Review text

All spaces considered are Tychonoff. A remainder of a space \(X\) is the subspace \(bX\setminus X\) of a Hausdorff compactification \(bX\) of \(X\). This paper studies the class of spaces which can serve as remainders of rectifiable spaces. A rectification on a space \(X\) is a homeomorphism \(\phi: X\times X\to X\times X\) such that {\parindent5mm \begin{itemize}\item[i)] \(\phi(\{x\}\times X)= \{x\}\times X\), for every \(x\in X\) and \item[ii)] there exists \(e\in X\) such that \(\phi(x,x)= (x, e)\) for every point \(x\in X\). \end{itemize}} A space with a rectification is called a rectifiable space. Since all topological spaces are rectifiable spaces, the results in this article generalize previous results of the first author obtained on topological groups [Commentat. Math. Univ. Carol. 49, No. 1, 119--126 (2008; Zbl 1212.54086)]. After developing some properties of rectifiable spaces, the main result is presented. Theorem 3.1. For every rectifiable space \(G\), any remainder of \(G\) in a compactification \(bG\) is either pseudocompact or Lindelöf. Some consequences of this theorem and related results are also established. The next section studies the remainders of several other generalizations of topological groups. For example, a group \(G\) and topology \({\mathfrak J}\) is called a paratopological group if the multiplication \((x, y)\to x\cdot y\) is a continuous mapping of \(G\times G\) onto \(G\). Theorem 4.4. Suppose that \(G\) is a \(k\)-gentle paratopological group. Then any remainder of \(G\) in a compactification \(bG\) of \(G\) is either pseudocompact or Lindelöf. For a paratopological group to be \(k\)-gentle, it is required that the image of compact sets be compact under the inverse mapping \(x\to x^{-1}\). The final section presents several open questions related to results established earlier in the article. Partial answers, insights and relevant examples concerning these questions are provided.

Recommendations

Cites work

Cited in

(40)

This page was built for publication: Remainders of rectifiable spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2268635)