E-compactness in pointfree topology

• Main Author: Marcus, Nizar
• Other Authors: Gilmour, Christopher Robert Anderson
• Format: Doctoral Thesis
• Language: English
• Published: University of Cape Town 2014
• Subjects: Mathematics
• Online Access: http://hdl.handle.net/11427/9572

Bibliography: leaves 100-107. === The main purpose of this thesis is to develop a point-free notion of E-compactness. Our approach follows that of Banascheski and Gilmour in [17]. Any regular frame E has a fine nearness and hence induces a nearness on an E-regular frame L. We show that the frame L is complete with respect this nearness iff L is a closed quotient of a copower of E. This resembles the classical definition, but it is not a conservative definition: There are spaces that may be embedded as closed subspaces of powers of a space E, but their frame of opens are not closed quotients of copowers of the frame of opens of E. A conservative definition of E-compactness is obtained by considering Cauchy completeness with respect to this nearness. Another central notion in the thesis is that of K-Lindelöf frames, a generalisation of Lindelöf frames introduced by J.J. Madden [59]. In the last chapter we investigate the interesting relationship between the completely regular K-Lindelöf frames and the K-compact frames.