Article thumbnail

An α-disconnected space has no proper monic preimage

By Richard N. Ball, Anthony W. Hager and Anthony J. Macula

Abstract

AbstractAll spaces are compact Hausdorff. α is an uncountable cardinal or the symbol ∞. A continuous map τ:X→Y is called an α-SpFi morphism if τ-1(G) is dense in X whenever G is a dense α-cozero set of Y. We thus have a category α-SpFi (spaces with the α-filter) which, like any category, has its monomorphisms; these need not be one-to-one. For general α, we cannot say what the α-SpFi monics are, but we show, and R.G. Woods showed, that ∞-SpFi monic means range-irreducible. The main theorem here is: X has no proper α-SpFi monic preimage if and only if X is α-disconnected. This generalizes (by putting in α = ∞) the well-known fact: X has no proper irreducible preimage if and only if X is extremally disconnected. If, in our theorem, we restrict to Boolean spaces and apply Stone duality, we have the theorem of R. Lagrange, that in Boolean α-algebras, epimorphisms are surjective.The theory of spaces with filters has a lot of connections with ordered algebra—Boolean algebras of course, but also lattice-ordered groups and frames. This paper is a contribution to the development of this topological theory

Publisher: Published by Elsevier B.V.
Year: 1990
DOI identifier: 10.1016/0166-8641(90)90059-B
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • https://s3-eu-west-1.amazonaws... (external link)
  • https://s3.amazonaws.com/prod-... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.