Nonstandard and standard compactifications of ordered topological spaces (Q1207240): Difference between revisions

In the present paper, the main objects of study are the ordered topological spaces of \textit{L. Nachbin} [Topology and order (1965; Zbl 0131.379)]. Such a space is one with a distinguished partial ordering whose graph is closed in the Cartesian square of the space, and automatically satisfies the Hausdorff axiom. Ordinary Hausdorff spaces may then be viewed as partially ordered by equality. The Čech-Stone compactification operator for completely regular spaces has long been known to extend to the category of completely regular ordered spaces via what is commonly known as the Nachbin compactification. The first task of the paper is to show how this construction may be viewed in terms of ``ordered nonstandard hulls''. The second task of the paper is to use nonstandard techniques to do for the Hewitt realcompactification what Nachbin did for the Čech-Stone compactification. The authors define a notion of ordered realcompact space, in analogy with the accepted (unordered) definition, and show that it is precisely the ordered realcompact spaces that can be embedded as closed ordered subsets of Cartesian powers of the ordered space of reals [in answer to a question of \textit{T. H. Choe} and \textit{Y. H. Hong}, Pac.J. Math. 66, 37-48 (1976; Zbl 0348.54026)]. The authors then proceed to the ordered realcompactification of completely regular ordered spaces. This construction satisfies the universal mapping property, in analogy with the unordered case, and is therefore unique.