Remote points and the like in pointfree topology
type: Item
instance of: scholarly article
title: Remote points and the like in pointfree topology
zbMATH Open document ID: 1199.06035
author: J. Blot
published in: Acta Mathematica Hungarica
publication date: 2009-12-29T00:00:00Z
review text: A point \(p\) of \(\beta X\), where \(X\) is a Tychonoff space, is called a remote point if for any nowhere dense \(D\subseteq X,\;p\notin cl_{\beta X}D\). A subset \(S\) of \(X\) is called round if whenever the closure in \(\beta X\) of a zero-set of \(X\) contains \(S\), then it is a neighborhood of \(S\). The purpose of this paper is to study these notions in the pointfree context. In the process, the author introduces N-homomorphisms and shows how the Stone extension of an N-homomorphism transfers remote points back and forth. The pointfree topology is in terms of frames. A frame is a complete lattice \(L\) satisfying \(a\wedge\bigvee S=\bigvee\{a\wedge x\mid x\in S\}\). For \(a,b\in L,\;a\prec\prec b\) means the existence of a sequence \((x_r)\) indexed by \(r\in{\mathbb Q}\cap[0,1]\) such that \(x_0=a,x_1=b\) and for every \(r,s\) with \(r<s\) there is an element \(T_{rs}\) such that \(a\wedge t_{rs}=0\) and \(b\vee t_{rs}=1\). A frame \(L\) is called completely regular if \(a=\bigvee\{x\in L\mid x\prec\prec a\}\) for all \(a\in L\). An ideal \(J\) of \(L\) is said to be completely regular if \(\forall\,x\in J\,\exists\,y\in J\,x\prec\prec y\). The frame of all completely regular ideals of a completely regular frame \(L\) is denoted by \(\beta L\). A quotient \(h:L\longrightarrow M\) is called nowhere dense if \(\forall\,x\neq0\,\exists\,y\neq0\,(y\leq x\, \&\, h(y)=0)\). A point \(I\in\beta L\) is called remote if for every nowhere dense quotient \(h\), \[ I\vee\{x\in L\mid x\prec\prec\bigvee h^{-1}(0)\}=\top. \] An N-homomorphism is a frame homomorphism \(h:L\longrightarrow M\) such that \(y\prec\prec h(x)\) implies \(y\prec\prec h(s)\) for some \(s\prec\prec x\). The notation \(\beta X\) is not explained.
reviewed by: Sergiu Rudeanu
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 54D15
zbMATH DE Number: 5652014
zbMATH Keywords: pointfree topology
zbMATH Keywords: frame
zbMATH Keywords: frame homomorphism
zbMATH Keywords: remote point
zbMATH Keywords: round quotient
zbMATH Keywords: nowhere dense quotient
MaRDI profile type: Publication
full work available at URL: s10474-009-8083-4
OpenAlex ID: W2013600934
cites work: Compactification and local connectedness of frames
cites work: Q4374682
cites work: Cozero bases of frames
cites work: Q3038176
cites work: Bounded quotients of frames
cites work: Some ring-theoretic properties of almost \(P\)-frames
cites work: Coz-onto frame maps and some applications
cites work: Remote Points in βR
cites work: Q3270120
cites work: Countable Paracompactness and Weak Normality Properties
cites work: Prime z-ideal structure of C(R)
cites work: Round \(z\)-filters and round subsets of \(\beta X\)
cites work: On a class of subalgebras of C(X) with applications to βX\X
cites work: Q4668868
cites work: Maps that Characterize Normality Properties and Pseudocompactness
DOI: 10.1007/S10474-009-8083-4
description: scientific article; zbMATH DE number 5652014