Realcompact Alexandroff frames
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.
- A uniform view of localic realcompactness
- Cozero bases of frames
- Frames and Locales
- scientific article; zbMATH DE number 3152563 (Why is no real title available?)
- scientific article; zbMATH DE number 1347863 (Why is no real title available?)
- scientific article; zbMATH DE number 1164976 (Why is no real title available?)
- scientific article; zbMATH DE number 2039372 (Why is no real title available?)
- On Inverse-Closed Subalgebras of C (X )†
- On the function ring functor in pointfree topology
- Pseudocompact \(\sigma \)-frames
- REAL COMPACTIFICATIONS THROUGH ZERO-SET SPACES
- Realcompactness and the cozero part of a frame
- Rings of continuous functions on -frames
- Rings of functions determined by zero-sets
- Rings of Real-Valued Continuous Functions. I
- THE WALLMAN COMPACTIFICATION OF FRAMES
This page was built for publication: Realcompact Alexandroff frames
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q386173)
