The Nachbin compactification via convergence ordered spaces

Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05)

Review text

The Nachbin (or Stone-Čech-ordered) compactification \(\beta_ 0X\) of a \(T_{3,5}\)-ordered topological ordered space \(X\) is defined as the largest \(T_ 2\)-ordered topological ordered compactification of this space. Suppose that \(X\) is a convergence ordered space. In this paper a convergence ordered compactification \((X^*,\varphi)\) of \(X\) is constructed, where \(X^*=\{\dot x:x \in X\}\cup X'\), \(X'\) is the set of all non-convergent maximal convex filters on \(X\) and \(\varphi(x)=\dot x\) for \(x\in X\). On \(X^*\) an equivalence relation \({\mathcal R}\) is defined such that \(X^*/{\mathcal R}\) is a compact, \(T_ 2\)-ordered convergence ordered space. Under special conditions \(C\) and 0 for \(X\), \(X^*/{\mathcal R}\) is a \(T_ 2\)-ordered convergence ordered compactification of \(X\) and the topological modification \(\lambda X\) of \(X\) has the Nachbin compactification \(\lambda(X^*/{\mathcal R})\). At conclusion the language of category theory is used, in particular it is shown that \(D\) is an epireflective subcategory of \(C\), where \(C\) means the category of all \(T_{3,5}\)-ordered convergence ordered spaces with increasing continuous maps as morphisms and \(D\) is the full subcategory of \(C\) consisting of all regular, compact, \(T_ 2\)-ordered convergence ordered spaces.

Recommendations

Cited in

(10)

This page was built for publication: The Nachbin compactification via convergence ordered spaces

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