Realcompact Alexandroff frames (Q386173)

An Alexandroff frame is a pair \((L,S)\) where \(L\) is a frame and \(S\) a completely regular sub-\(\sigma\)-frame which \({\vee}\)-generates \(L\). The prototype example is \((L,\text{Coz} L)\) where \(L\) is a completely regular frame and \(\text{Coz} L\) its cozero part. A morphism \((L_1,S_1)\to(L_2,S_2)\) of Alexandroff frames is a frame homomorphism \(L_1\to L_2\) which sends elements of \(S_1\) into \(S_2\). The resulting category is denoted \(\mathbf{AlexFrm}\). Let \(\mathfrak{L}(\mathbb{R})\) denote the usual frame of reals. The authors define a real-valued continuous function on an Alexandorff frame \((L,S)\) to be a frame homomorphism \(\mathfrak{L}(\mathbb{R})\to L\) whose image resides inside \(S\). This is a natural definition if one takes into account the fact that the image of an arbitrary real-valued continuous function on a completely regular frame is a subset of the cozero part of the frame. With this concept of real-valued continuous functions on Alexandorff frames, the authors define pseudocompactness, realcompactness and other related notions in \(\mathbf{AlexFrm}\) similarly to the way they are defined (or characterised) in \(\mathbf{CRFrm}\). A number of results which are known in \(\mathbf{CRFrm}\) pertaining these concepts carry over to \(\mathbf{AlexFrm}\). To name a few: (i) strongly realcompact Alexandroff frames form a coreflective subcategory in \(\mathbf{AlexFrm}\), (ii) an Alexandroff frame is realcompact if and only if its frame part is Cauchy complete in the real uniformity of the Alexandrof frame, (iii) an Alexandroff frame is compact if and only if it is both realcompact and pseudocompact. The proofs in \(\mathbf{AlexFrm}\) are not obtained by merely copying from \(\mathbf{CRFrm}\), modifying slightly, and pasting. The authors had to devise new techniques.