Realcompact Alexandroff frames (Q386173): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Themba Dube / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06D22 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54C30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54D20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54D60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54E15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6236576 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
completely regular \(\sigma\)-frame | |||
Property / zbMATH Keywords: completely regular \(\sigma\)-frame / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Alexandroff frame | |||
Property / zbMATH Keywords: Alexandroff frame / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
pseudocompact | |||
Property / zbMATH Keywords: pseudocompact / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
realcompact | |||
Property / zbMATH Keywords: realcompact / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.topol.2013.09.005 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1982259743 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4396195 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A uniform view of localic realcompactness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the function ring functor in pointfree topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Realcompactness and the cozero part of a frame / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cozero bases of frames / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rings of continuous functions on \(\sigma \)-frames / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4267646 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pseudocompact σ-Frames / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4449470 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3270120 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: REAL COMPACTIFICATIONS THROUGH ZERO-SET SPACES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rings of functions determined by zero-sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Inverse-Closed Subalgebras of <i>C</i> (<i>X</i> )<sup>†</sup> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rings of Real-Valued Continuous Functions. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: THE WALLMAN COMPACTIFICATION OF FRAMES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Frames and Locales / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:03, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Realcompact Alexandroff frames |
scientific article |
Statements
Realcompact Alexandroff frames (English)
0 references
9 December 2013
0 references
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.
0 references
completely regular \(\sigma\)-frame
0 references
Alexandroff frame
0 references
pseudocompact
0 references
realcompact
0 references