On openness and surjectivity of lifted frame homomorphisms
type: Item
instance of: scholarly article
title: On openness and surjectivity of lifted frame homomorphisms
zbMATH Open document ID: 1205.06008
author: Themba Dube
author: Inderasan Naidoo
published in: Topology and its Applications
publication date: 2010-08-27T00:00:00Z
review text: It is well known that the functors \(\beta\) (Stone-Čech compactification), \(\lambda\) (universal Lindelöfication) and \(\upsilon\) (Hewitt realcompactification) on the category of completely regular frames lift any frame homomorphism \(h:L\rightarrow M\) to a unique frame homomorphism \(h^{\gamma}:\gamma L\rightarrow \gamma M\) such that \(\sigma_M\cdot h^{\gamma}=h\cdot \sigma_L\) (\(\gamma=\beta,\lambda,\upsilon\), respectively), where \(\sigma_K\) is the join map \(\gamma K\rightarrow K\) for any completely regular frame \(K\). However, openness of \(h\) is not preserved by \(\beta\); indeed, this already fails in the spatial case: it is possible for an open map \(f:X\rightarrow Y\) between Tychonoff spaces to be open whilst its Stone-Čech extension \(f^{\beta}:\beta X\rightarrow \beta Y\) is not open [\textit{S. Larson}, ``Images and open subspaces of SV spaces'', Commun. Algebra 36, No. 2, 352--364 (2008; Zbl 1147.54008)]. In this paper, the authors present a condition on the frame homomorphisms \(h\) such that maps satisfying the condition are open precisely when their lifts to the Stone-Čech compactifications are open. The condition is that the frame homomorphism \(h:L\rightarrow M\) should satisfy \(h^{\beta}\cdot r_L=r_M\cdot h\) (where \(r_K\) denotes the right adjoint of the join map \(\beta K\rightarrow K\), for any completely regular frame \(K\)). This is the point-free counterpart of what \textit{R. G. Woods} in [``Maps that characterize normality properties and pseudocompactness'', J. Lond. Math. Soc., II. Ser. 7, 453--461 (1974; Zbl 0271.54005)] calls an \(N\)-map, namely a continuous function \(f:X\rightarrow Y\) such that \(\text{cl}_{\beta X}f^{-1}[K]=(f^{\beta})^{-1}[\text{cl}_{\beta Y} K]\) for each closed set \(K\) in \(Y\). Accordingly, such a frame homomorphism \(h\) is called an \(N\)-map. Somewhat surprisingly, the same condition works for functors \(\lambda\) and \(\upsilon\): an \(N\)-map \(h\) is open iff \(h^\lambda\) is open, iff \(h…
reviewed by: Jorge Picado
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 54D35
zbMATH DE Number: 5775735
zbMATH Keywords: frame
zbMATH Keywords: completely regular frame
zbMATH Keywords: open map
zbMATH Keywords: nearly open map
zbMATH Keywords: Stone-Čech compactification
zbMATH Keywords: universal Lindelöfication
zbMATH Keywords: Hewitt realcompactification
zbMATH Keywords: \(\upsilon\)-embedding
zbMATH Keywords: \(N\)-map
MaRDI profile type: Publication
full work available at URL: j.topol.2010.05.012
OpenAlex ID: W2054683969
cites work: C- and C*-quotients in pointfree topology
cites work: Q4374682
cites work: Realcompactness and the cozero part of a frame
cites work: Paracompactness revisited
cites work: Variants of openness
cites work: Q4778037
cites work: Some notes on \(C\)- and \(C^*\)-quotients of frames
cites work: A little more on coz-unique frames
cites work: Remote points and the like in pointfree topology
cites work: Coz-onto frame maps and some applications
cites work: Mappings and spaces
cites work: Q3965241
cites work: Images and Open Subspaces of SV Spaces
cites work: Q4852559
cites work: Q4464693
cites work: Maps that Characterize Normality Properties and Pseudocompactness
DOI: 10.1016/J.TOPOL.2010.05.012
description: scientific article; zbMATH DE number 5775735