Abstract
The core of a point in a topological space is the intersection of its neighborhoods. We construct certain completions and compactifications for densely core-generated spaces, i.e., T 0-spaces having a subbasis of open cores such that the points with open cores are dense in the associated patch space. All T 0-spaces with a minimal basis are in that class. Densely core-generated spaces admit not only a coarsest quasi-uniformity (the unique totally bounded transitive compatible quasi-uniformity), but also a purely order-theoretical description by means of their specialization order and a suitable join-dense subset (join-basis). It turns out that the underlying ordered sets of the completions and compactifications obtained are, up to isomorphism, certain ideal completions of the join-basis. The topology of the resulting completion or compactification is the Lawson topology or the Scott topology, or a slight modification of these.
Similar content being viewed by others
References
Adámek, J., Herrlich, H. and Strecker, G.: Abstract and Concrete Categories, Wiley Interscience, New York, 1990.
Alexandroff, P.: Diskrete Räume, Mat. Sb. (N.S.) 2 (1937), 501–518.
Banaschewski, B. and Hoffmann, R.-E. (eds): Continuous Lattices, Bremen 1979, Lecture Notes in Math. 871, Springer-Verlag, Berlin, Heidelberg, New York, 1981.
Erné, M.: Scott convergence and Scott topologies on partially ordered sets II, in: [6], pp. 61–96.
Erné, M.: Adjunctions and standard constructions for partially ordered sets, in: G. Eigenthaler et al. (eds), Contributions to General Algebra 2, Proc. Klagenfurt Conf. 1982, Hölder-Pichler-Tempsky, Wien, 1983, pp. 77–106.
Erné, M.: Order extensions as adjoint functors, Quaestiones Math. 9 (1986), 149–206.
Erné, M.: Compact generation in partially ordered sets, J. Austral. Math. Soc. (A) 42 (1987), 69–83.
Erné, M.: The ABC of order and topology, in: H. Herrlich and H.-E. Porst (eds), Category Theory at Work, Heldermann, Berlin, 1991, pp. 57–83.
Erné, M.: Algebraic ordered sets and their generalizations, in: I. Rosenberg and G. Sabidussi (eds), Algebras and Orders, Proc. Montreal 1991, Kluwer Acad. Publ., Dordrecht, Boston, London, 1993.
Erné, M.: Generalized ideals of ordered sets, Preprint, Universität Hannover, 1997.
Erné, M. and Palko, V.: Uniform ideal completions, Math. Slovaca 48 (1998), 327–335.
Fell, J. M. G.: A Hausdorff topology for the closed subsets of a locally compact non-Hausdorff space, Proceedings Amer. Math. Soc. 13 (1962), 472–476.
Fletcher, P. and Lindgren, W. F.: Quasi-uniform Spaces, Marcel Dekker, New York, 1982.
Frink, O.: Ideals in partially ordered sets, Amer. Math. Monthly 61 (1954), 223–234.
Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. and Scott, D. S.: A ompendium of Continuous Lattices, Springer-Verlag, Berlin, Heidelberg, New York, 1980.
Herrlich, H.: Topologie I: Topologische Räume, Heldermann, Berlin, 1986.
Herrlich, H.: Topologie II: Uniforme Räume, Heldermann, Berlin, 1988.
Hoffmann, R.-E.: Sobrification of partially ordered sets, Semigroup Forum 17 (1979), 123–138.
Hoffmann, R.-E.: Essentially complete T 0-spaces II. A lattice-theoretical approach, Math. Z. 179 (1982), 73–90.
Hoffmann, R.-E.: The Fell compactification revisited, in: [22], 57–116.
Hoffmann, R.-E.: The injective hull and the \({\mathcal{C}}{\mathcal{L}}\)-compactification of a continuous poset, Canad. J. Math. 37 (1985), 810–853.
Hoffmann, R.-E. and Hofmann, K. H. (eds): Continuous Lattices and Their Applications, Bremen 1982, Lecture Notes in Pure and Appl. Math. 101, Marcel Dekker, New York, 1985.
Johnstone, P. T.: Stone Spaces, Cambridge Univ. Press, Cambridge, 1982.
Künzi, H. P. A.: The Fell compactification and quasi-uniformities, Top. Proc. 10 (1985), 305–328.
Künzi, H. P. A.: Topological spaces with a coarsest compatible quasi-proximity, Quaestiones Math. 10 (1986), 179–196.
Künzi, H. P. A. and Brümmer, G. C. L.: Sobrification and bicompletion of totally bounded quasi-uniform spaces, Math. Proc. Camb. Phil. Soc. 101 (1987), 237–247.
Lawson, J. D.: Order and strongly sober compactifications, in: G. M. Reed, A. W. Roscoe and R. F. Wachter (eds), Topology and Category Theory in Computer Science, Clarendon Press, Oxford, 1991, pp. 171–206.
Nachbin, L.: Topology and Order, D. van Nostrand, Princeton, 1965.
Priestley, H. A.: Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc. (3) 24 (1972), 507–530.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Erné, M. Ideal Completions and Compactifications. Applied Categorical Structures 9, 217–243 (2001). https://doi.org/10.1023/A:1011260817824
Issue Date:
DOI: https://doi.org/10.1023/A:1011260817824