Realcompactness and the Cozero Part of a Frame

Author: Banaschewski B.  

Publisher: Springer Publishing Company

ISSN: 0927-2852

Source: Applied Categorical Structures, Vol.9, Iss.4, 2001-07, pp. : 395-417

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

We consider realcompactness of frames on the basis of their cozero parts. Consequently we can (a) describe the corresponding coreflection as the relatively spatial reflection of the Lindelöf coreflection of the frame, and (b) characterize realcompactness by the elegant condition that every Cauchy filter in an appropriate uniformity be convergent. We relate the above to a frame analogue of Nachbin's approach to realcompact spaces and discuss the zero-dimensional analogue of realcompactness in the frame setting.