Hostname: page-component-586b7cd67f-rdxmf Total loading time: 0 Render date: 2024-11-28T17:01:16.989Z Has data issue: false hasContentIssue false
  • English
  • Français

Stably compact spaces

Published online by Cambridge University Press:  15 September 2010

JIMMIE LAWSON
JIMMIE LAWSON*
Affiliation:
Department of Mathematics, Louisiana State University, Baton Rouge, LA 70803, U.S.A. Email: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

The purpose of this paper is to develop the basic theory of stably compact spaces (viz. compact, locally compact, coherent sober spaces) and introduce in an accessible manner and with a minimum of prerequisites some significant new lines of investigation and application arising from recent research, which has arisen primarily in the theoretical computer science community. Three primary themes have developed:

  1. (i) the property of stable compactness is preserved under a large variety of constructions involving powerdomains, hyperspaces and function spaces;

  2. (ii) the underlying de Groot duality of stably compact spaces, which finds varied expression, is reflected by duality theorems involving the just mentioned constructions; and

  3. (iii) the notion of inner and outer pavings is a useful and natural tool for such studies of stably compact spaces.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 21 , Issue 1 , February 2011 , pp. 125 - 169
Copyright
Copyright © Cambridge University Press 2010

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Abramsky, S. (1987) Domain theory in logical form. In: Symposium on Logic in Computer Science, IEEE Computer Science Society Press 47–53.Google Scholar
Abramsky, S. and Jung, A. (1995) Domain Theory. In: Abramsky, S. et al. (eds.) Handbook of Logic in Computer Science, Volume 3, Clarendon Press.Google Scholar
Banaschewski, B., Brümmer, G. and Hardie, K. (1983) Biframes and bispaces. Proc. Symposium on Categorical Algebra and Topology (Cape Town, 1981). Quaestiones Math. 6 13–25.Google Scholar
Choquet, G. (1954) Theory of capacities, Annales de l'Institut Fourier 5 131–295.Google Scholar
de Groot, J., Strecker, G. and Wattel, E. (1966) The compactness operator in general topology. In: Proceedings of the Second Prague Topological Symposium 161–163.Google Scholar
Erné, M. (1981) Scott convergence and Scott topology in partially ordered sets II. In: Banaschewski, B. and Hoffmann, R.-E. (eds.) Continuous Lattices. Proceedings, Bremen 1979. Springer-Verlag Lecture Notes in Mathematics 871 61–96.Google Scholar
Erné, M. (1991) The ABC of order and topology. In: Herrlich, H. and Porst, H.-E. (eds.) Category Theory at Work, Heldermann Verlag 57–83.Google Scholar
Ershov, Yu. L. (1993) Theory of domains and nearby. In: Bjorner, D. et al. (eds.) Methods in Programming and their Applications. Springer-Verlag Lecture Notes in Computer Science 735 1–7.Google Scholar
Ershov, Yu. L. (1997) The bounded complete hull of an α-space. Theoretical Computer Science 175 3–13.Google Scholar
Gierz, G., Hofmann, K., Keimel, K., Lawson, J., Mislove, M. and Scott, D. (2003) Continuous Lattices and Domains, Cambridge University Press.Google Scholar
Goubault-Larrecq, J. (2007) Continuous capacities on continuous state spaces. In: Arge, L., Cachin, Ch., Jurdziński, T. and Tarlecki, A. (eds.) Proceedings ICALP'07. Springer-Verlag Lecture Notes in Computer Science 4596 764–776.Google Scholar
Goubault-Larrecq, J. (2010) De Groot duality and models of choice: angels, demons and nature. Mathematical Structures in Computer Science 20 (2)169–237.Google Scholar
Heckmann, R. (1997) Abstract valuations: A novel representation of the Plotkin powerdomain and Vietoris hyperspace. In: Proc. MFPS '97. Electronic Notes in Theoretical Computer Science 6.Google Scholar
Holwerda, H. and Vervaat, W. (1993) Order and topology in spaces of capacities. In: Topology and Order: some investigations motivated by probability theory, Nijmegen University Press 45–64.Google Scholar
Jung, A. (2004) Stably compact spaces and the probabilistic powerspace construction. Electronic Notes in Theoretical Computer Science 87. (Available at http://www.elsevier.nl/locate/entcs/volume87.html.)Google Scholar
Jung, A., Kegelmann, M. and Moshier, M. A. (2001) Stably compact spaces and closed relations. In: Brookes, S. and Mislove, M. (eds.) 17th Conference, MFPS. Electronic Notes in Theoretical Computer Science 45.Google Scholar
Jung, A. and Moshier, M. A. (2006) On the bitopological nature of Stone duality (preprint). (Available at ftp://ftp.cs.bham.ac.uk/pub/tech-reports/2006/CSR-06-13.pdf.)Google Scholar
Jung, A. and Moshier, M. A. (2008) A Hofmann–Mislove theorem for bitopological spaces. Journal of Logic and Algebraic Programming 76 161–174.Google Scholar
Jung, A. and Sünderhauf, P. (1996) On the duality of compact vs. open. In: Andima, S., Flagg, R. C., Itzkowitz, G., Misra, P., Kong, Y. and Kopperman, R. (eds.) Papers on General Topology and Applications: Eleventh Summer Conference at the University of Southern Maine. Annals of the New York Academy of Sciences 806 214–230.Google Scholar
Kegelmann, M. (2002) Continuous Domains in Logical Form. Electronic Notes in Theoretical Computer Science 49.Google Scholar
Künzi., H.-P. A. and Brummer, G. C. L. (1987) Sobrification and bicompletion of totally bounded quasi-uniform spaces. Math. Proc. Camb. Phil. Soc. 10 237–247.Google Scholar
Nachbin, L. (1965) Topology and Order, Van Nostrand.Google Scholar
Priestley, H. (1970) Representations of distributive lattices by means of ordered Stone spaces. Bull. London Math. Soc. 2 186–190.Google Scholar
Priestley, H. (1972) Ordered topological spaces and representations of distributive lattices. Proc. London Math. Soc. 507–530.Google Scholar
Schalk, A. (1993) Algebras for Generalized Power Constructions, Master's Thesis, Technical University, Darmstadt.Google Scholar
Skula, L. (1969) On a reflective subcategory of the category of all topological spaces. Trans. Amer. Math. Soc. 37–41.Google Scholar
Smyth, M. (1983) Powerdomains and predicate transformers: a topological view. In: Diaz, J. (ed.) Automata, Languages, and Programming. Springer-Verlag Lecture Notes in Computer Science 154 662–675.Google Scholar
Smyth, M. (1991) Totally bounded spaces and compact ordered spaces as domains of computation. In: Reed, M., Roscoe, W. and Wachter, R. (eds.) Topology and Category Theory in Computer Science, Oxford University Press 207–229.Google Scholar
Stone, M. (1936) The theory of representations for Boolean algebras. Trans. Amer. Math. Soc. 37–111.Google Scholar
Stone, M. (1937) Topological representations of distributive lattices and Brouwerian logics. Aasopis pro Pěstováni Mat. a Fysiky 67 1–25.Google Scholar
Wyler, O. (1981) Dedekind complete posets and Scott topologies. In: Banaschewski, B. and Hoffmann, R.-E. (eds.) Continuous Lattices. Proceedings, Bremen 1979. Springer-Verlag Lecture Notes in Mathematics 871 384–389.Google Scholar