On maximal compact frames

Abstract

Every closed subset of a compact topological space is compact. Also every compact subset of a Hausdorff topological space is closed. It follows that compact subsets are precisely the closed subsets in a compact Hausdorff space. It is also proved that a topological space is maximal compact if and only if its compact subsets are precisely the closed subsets. A locale is a categorical extension of topological spaces and a frame is an object in its opposite category. We investigate to find whether the closed sublocales are exactly the compact sublocales of a compact Hausdorff frame. We also try to investigate whether the closed sublocales are exactly the compact sublocales of a maximal compact frame.