Hostname: page-component-848d4c4894-cjp7w Total loading time: 0 Render date: 2024-07-03T08:22:27.816Z Has data issue: false hasContentIssue false
  • English
  • Français

Cocompactness in algebra and topology

Part of: Fairly general properties

Published online by Cambridge University Press:  09 April 2009

Graham J. Logan
Graham J. Logan
Affiliation:
Department of Applied Sciences Christchurch Polytechnic, New Zealand
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

This paper discusses two notions, developed independently and both termed “cocompactness”. The first arises in the area of topology, where J. de Groot and others have studied spaces which are, in a certain sense, complementary to a given space. If the given space is compact then the complementary spaces are said to be cocompact. The second concept arises in the area of logic and general algebra. Loosely speaking a logic is compact if every inconsistent set of formulas has a finite inconsistent subset. This notion of compactness may be generalized to any closure algebra and the use of the term “cocompactness” to describe the generalization was suggested to the author by Dr. R. A. Bull.

It is shown here that topological and algebraic cocompactness are related in the following ways. Firstly, if a closure algebra is algebraically cocompact then its dual space is topologjcally cocompact, and conditions may be given for the implication to be reversible.3 Furthermore any cocompact topological space may be represented as the continuous 1-1 image of the dual space of a cocompact closure algebra. A final result relates another class of closure algebras with those topological spaces which are compact.

MSC classification

Secondary: 54D30: Compactness
Type
Research Article
Information
Journal of the Australian Mathematical Society , Volume 31 , Issue 4 , December 1981 , pp. 385 - 389
Copyright
Copyright © Australian Mathematical Society 1981

References

[1]Aarts, J. M., de Groot, J., McDowell, R. H., ‘Cotopology for Metrizable Spaces’, Duke Math. J. 37 (1970), 291–295.CrossRefGoogle Scholar
[2]Aarts, J. M., de Groot, J., McDowell, R. H., ‘Cocompactness’, Nieuw Arch. Wisk. (3) 28 (1970), 2–15.Google Scholar
[3]Brown, D. J. and Susko, R., ‘Abstract Logics’, Dissertations Math. 102 (1973), 9–41.Google Scholar
[4]De Groot, J., ‘Subcompactness and the Baire Category Theorem’, Indag. Math. 25 (1963), 761–700.CrossRefGoogle Scholar
[5]Logan, G. J., ‘Closure Algebras and T1-spaces’, Z. Math. Logik Grundlagen Math. 23 (1977), 91–92.CrossRefGoogle Scholar
[6]Logan, G. J., ‘Closure Algebras and Boolean Algebras’, Z. Math. Logik Grundlagen Math. 23 (1977), 92–93.CrossRefGoogle Scholar
[7]Logan, G. J., ‘On the Representation of Metric Spaces’, Bull. Austral Math. Soc. 20 (1979), 367–375.CrossRefGoogle Scholar
[8]Tarski, A., ‘Fundamental Concepts of the Methodology of the Deductive Sciences’, Reprint in Logic, Semantics, Metamathematics (Oxford University Press (1956), 60–109).Google Scholar