Some further results on order-convergence in posets
type: Item
instance of: scholarly article
title: Some further results on order-convergence in posets
zbMATH Open document ID: 1280.06003
author: Bin Zhao
author: Kaiyun Wang
published in: Topology and its Applications
publication date: 2013-01-03T00:00:00Z
review text: This paper deals with the question of when order-convergence in a poset is topological. The authors show that if order-convergence is topological in a poset then the poset is \(\mathcal{O}\)-doubly continuous. A poset is \(\mathcal{O}\)-doubly continuous if for each \(y\in P\), \(\{x\in P\mid x\ll_{\mathcal{O}}y\}\) is directed, \(\{x\in P\mid x\vartriangleright_{\mathcal{O}}y\}\) is filtered and \(\sup\{x\in P\mid x\ll_{\mathcal{O}}y\}=y=\inf\{x\in P\mid x\vartriangleright_{\mathcal{O}}y\}\). The relations \(x\ll_{\mathcal{O}}y\) and \(x\vartriangleright_{\mathcal{O}}y\) are defined as follows: Let \((y_{i})_{i\in I}\) be a net in \(P\) which order-converges to \(y,\) then \(x\ll_{\mathcal{O}}y\) (\(x\vartriangleright_{\mathcal{O}}y\)) if eventually \(y_{i}\geq x\) (\(y_{i}\leq x).\) The paper concludes with a necessary and sufficient condition (Condition \(\Delta\): In \(P,\;x\ll_{\mathcal{O}}y\leq z\) implies \(x\ll_{\mathcal{O}}z\) and \(s\vartriangleright_{\mathcal{O}}t\geq u\) implies \(s\vartriangleright_{\mathcal{O}}u\)), for order-convergence to be topological in the case of \(\mathcal{O}\)-doubly continuous posets.
reviewed by: Thomas Riedel
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 06A06
Mathematics Subject Classification ID: 54H12
zbMATH DE Number: 6121485
zbMATH Keywords: order-convergence
zbMATH Keywords: double continuous poset
zbMATH Keywords: \(\mathcal{O}\)-doubly continuous poset
MaRDI profile type: Publication
full work available at URL: j.topol.2012.09.018
OpenAlex ID: W2073751259
DOI: 10.1016/J.TOPOL.2012.09.018
description: scientific article; zbMATH DE number 6121485