Order Topology and Bi-Scott Topology on a Poset

Bin Zhao,Kai Yun Wang

DOI: https://doi.org/10.1007/s10114-011-0273-7

2011-01-01

Abstract:In this paper, some properties of order topology and bi-Scott topology on a poset are obtained. Order-convergence in posets is further studied. Especially, a sufficient and necessary condition for order-convergence to be topological is given for some kind of posets.

What problem does this paper attempt to address?

Some further results on order-convergence in posets

Kaiyun Wang,Bin Zhao

DOI: https://doi.org/10.1016/j.topol.2012.09.018

IF: 0.583

2013-01-01

Topology and its Applications

Abstract:In this paper, we make some further investigations on order-convergence in posets. We give a necessary condition for order-convergence to be topological. Based on it, a sufficient and necessary condition for order-convergence to be topological is also given for a special class of posets.
Order Topology Orthosummability in Quantum Logics

Wu Junde,Zhou Su,Cho Minhyung

DOI: https://doi.org/10.1023/b:ijtp.0000048627.22776.5d

2004-01-01

International Journal of Theoretical Physics

Abstract:By using the Antosik–Mikusinski infinite matrix convergence theorem in quantum logics, we prove a theorem on orthosummability with respect to order topology in quantum logics.
Birkhoff'S Order-Convergence in Partially Ordered Sets

Tao Sun,Qingguo Li,Lankun Guo

DOI: https://doi.org/10.1016/j.topol.2016.05.001

IF: 0.583

2016-01-01

Topology and its Applications

Abstract:By introducing new approximation relations on posets, the notion of S⁎-doubly continuous posets is proposed and its relationship with doubly continuous posets is presented. Aslo the B-topology on posets is defined and the special properties of the B-topology on S⁎-doubly continuous posets are studied. Then, a sufficient and necessary condition for the Birkhoff's order-convergence in a poset being topological is obtained.
The Scott Topology on Posets and Continuous Posets

范丽红,贺伟

IF: 1.675

2009-01-01

Advances in Mathematics

Abstract:In this paper,we define the Scott topology on arbitrary poset by means of S-limit,which extends the Scott topology defined on a dcpo.We will show that the Scott topology defined on a poset or a continuous poset has many similar properties to those of the Scott topology defined on a dcpo or a domain.We also show that the category POSET of posets and Scott continuous maps is not Cartesian closed,thus the categories of FS-posets and B-posets are not Cartesian closed.As a corollary,we show that the category CDCPO of consistent directed complete posets(in short,cdcpos) and Scott continuous maps is a Cartesian closed full subcategory of POSET.
The Comparision of Scott Topology on Posets with Families of Partial Order

Wu Ligang,Fan Lei

DOI: https://doi.org/10.3969/j.issn.1004-9398.2007.05.004

2007-01-01

Abstract:Let (A,■) be a poset,ω natural number set,if forall n in ω,■_n is a partial order on A, and ■_ n+1 ■_n,∩_ n∈ω ■_n=■,then call (A,■) a poset with partial order family R={■_n|n∈ω}, R-poset for short. If forall n∈ω, A-n=(A,■_n) is a cpo(completely partial order), let T-n,T represent Scott topology conresponding ■_n, ■ respectively. The paper provides a sufficient condition that makes T_n weaker than T_ n+1 , and there is a simple application of that condition in the paper.
Order-convergence and Lim-Infm-convergence in Posets

Zhou Yihui,Zhao Bin

DOI: https://doi.org/10.1016/j.jmaa.2006.02.016

IF: 1.417

2006-01-01

Journal of Mathematical Analysis and Applications

Abstract:A sufficient condition for order-convergence to be topological in posets is given. And as a generalization of lim-inf-convergence and lim-inf2-convergence in posets, the concept of the so-called lim-infM-convergence and related theory are developed.
The B-topology on S∗-doubly Quasicontinuous Posets

Tao Sun,Qingguo Li,Zhiwei Zou

DOI: https://doi.org/10.1515/math-2021-0035

2021-01-01

Open Mathematics

Abstract:AbstractThe notions ofos{o}_{s}-convergence andS∗{S}^{\ast }-doubly quasicontinuous posets are introduced, which can be viewed as common generalizations of Birkhoff’s order-convergence andS∗{S}^{\ast }-doubly continuous posets, respectively. We first consider the relationship betweenos{o}_{s}-convergence and B-topology and show that the topology induced byos{o}_{s}-convergence according to the standard topological approach is the B-topology precisely. Then, the topological characterization for theS∗{S}^{\ast }-doubly quasicontinuity is presented. It is proved that a poset isS∗{S}^{\ast }-doubly quasicontinuous iff the poset equipped with the B-topology is locally hyperclosed iff the lattice of all B-open subsets of the poset is hypercontinuous. Finally, the order theoretical condition for theos{o}_{s}-convergence being topological is given and the complete regularity of B-topology onS∗{S}^{\ast }-doubly quasicontinuous posets is explored.
THE SCOTT TOPOLOGY AND LAWSON TOPOLOGY ON A Z-QUASICONTINUOUS DOMAIN

徐晓泉,刘应明

DOI: https://doi.org/10.3321/j.issn:1000-8134.2003.03.013

2003-01-01

Abstract:For a general subset system Z, the concept of a Z-quasicontinuous domain is introduced, and the following results are proved: (1) a Z-complete poset P is Z-quasicontinuous if and only if the complete lattice of all Z-Scott open subsets of P is hypercontinuous, (2) the Z-Scott topology σZ(P) on a Z-quasicontinuous poset P is Sober if and only if σZ(P) has the Rudin property, and (3) a Z-quasicontinuous poset P endowed with the Z-Lawson topology λZ(P) is a pospace. Furthermore, if all upper Z-Lawson open subsets of P are Z-Scott open and all lower Z-Lawson open subsets of P are open in (P, w(P)), then (P, λZ(P)) is a strictly completely regular ordered space.
Properties of Bi-Z-Continuous Lattices and Bi-Z-Scott Topology

Bin Zhao

2011-01-01

Abstract:Bi-Z-Continuous lattices and Bi-Z-Scott topology on complete lattices are introduced.Properties of Bi-Z-Scott topology are discussed.It is proved that Bi-Z-Scott topology is T2 when P is Z-quasicontinuous.Also it is proved that the image of Bi-Z-continuous lattices under Bi-Z-Scott continuous maps which preserves the z and z are still Bi-Z-continuous lattices.
CHARACTERIZATION OF POSETS FOR ORDER-CONVERGENCE BEING TOPOLOGICAL

Tao Sun,Qingguo Li

DOI: https://doi.org/10.1515/ms-2017-0075

2018-01-01

Mathematica Slovaca

Abstract:We study a basic problem: in what posets is the order-convergence topological? We introduce the notion of R*-doubly continuous posets, which extends the notion of doubly continuous posets, and then prove that the order-convergence in a poset is topological if and only if the poset is R*-doubly continuous. This is the main result which can be regarded as a complete characterization of posets for the order-convergence being topological. (C) 2018 Mathematical Institute Slovak Academy of Sciences
O2-convergence in Posets

Zhao Bin,Li Juan

DOI: https://doi.org/10.1016/j.topol.2006.01.004

IF: 0.583

2006-01-01

Topology and its Applications

Abstract:In this paper, o2-convergence in posets is further studied. Some properties of o2-convergence are obtained. Especially, a sufficient condition and a necessary condition for o2-convergence to be topological are given respectively.
Two Kinds of Order Convergence on Posets

YAO Wei,ZHAO Bin

DOI: https://doi.org/10.15983/j.cnki.jsnu.2010.05.001

2010-01-01

Abstract:The relations between the order convergence of nets and filters are studied.It is shown that Birkhoff-Frink′s order convergence is equivalent to Erné-Gatzke′s strong order convergence,and Wolk′s order convergence is equivalent to Erné-Gatzke′s order convergence.These two kinds of order convergence induce the same order topology if the poset is a lattice.The concept of order convergence lattices is introduced.It is shown that the order topology induced by an order convergence lattice is Hausdorff and regular,finite products of order convergence lattices are still order convergence lattices.As a subcategory of the category of posets,the category consisting of all order convergence complete lattices is Cartesian closed.
Topological posets and tropical phased matroids

Ulysses Alvarez,Ross Geoghegan

2024-05-29

Abstract:For a discrete poset $\mathcal X$ McCord proved that the natural map $|{\mathcal X}|\to {\mathcal X}$ from the order complex to the poset equipped with the Up topology is a weak homotopy equivalence. Much later, Zivaljević defined the notion of order complex for a topological poset. For a large class of such topological posets we prove the analog of McCord's theorem, namely that the natural map from the order complex to the topological poset with the Up topology is a weak homotopy equivalence. A familiar topological example is the Grassmann poset of proper non-zero linear subspaces of R^{n+1} partially ordered by inclusion. But our motivation in topological combinatorics is to apply the theorem to posets associated with tropical phased matroids over the tropical phase hyperfield, and in particular to elucidate the tropical version of the MacPhersonian Conjecture. This is explained in Section 2.

Combinatorics
A Result for O-2-Convergence to Be Topological in Posets

Qingguo Li,Zhiwei Zou

DOI: https://doi.org/10.1515/math-2016-0018

2016-01-01

Open Mathematics

Abstract:In this paper, the α waybelow relation, which is determined by O2-convergence, is characterized by the order on a poset, and a sufficient and necessary condition for O2-convergence to be topological is obtained.
On a Characterization Theorem for Continuous Posets

WANG Xijuan,LU Tao,HE Wei

DOI: https://doi.org/10.11845/sxjz.2010.39.01.0088

IF: 1.675

2010-01-01

Advances in Mathematics

Abstract:In this paper we will give a direct proof of a characterization theorem for continuous posers and also a parallel result for algebraic posets. We also show that a continuous poset P is locally compact with respect to the Scott topology. These results generalize the corresponding results for dcpos.
Order and interval topologies on complete Boolean algebras

Dominic van der Zypen

DOI: https://doi.org/10.48550/arXiv.1612.04652

2016-10-27

Abstract:We introduce and examine order convergence and the interval topology on partially ordered sets in general. Problem 76 of Birkhoff's "Lattice Theory" asks whether for complete Boolean algebras the order topology and the interval topology coincide. We answer this question in the negative.

Logic
Two Counterexamples Concerning the Scott Topology on a Partial Order

Peter Hertling

DOI: https://doi.org/10.48550/arXiv.1607.04128

2016-07-14

Abstract:We construct a complete lattice $Z$ such that the binary supremum function $\sup:Z\times Z\to Z$ is discontinuous with respect to the product topology on $Z\times Z$ of the Scott topologies on each copy of $Z$. In addition, we show that bounded completeness of a complete lattice $Z$ is in general not inherited by the dcpo $C(X,Z)$ of continuous functions from $X$ to $Z$ where $X$ may be any topological space and where on $Z$ the Scott topology is considered.

Logic in Computer Science,General Topology
The Up Topology for Mirrored Topological Posets

Ulysses Alvarez,Ross Geoghegan

DOI: https://doi.org/10.48550/arXiv.2009.05156

2021-07-13

Abstract:For a discrete poset $\mathcal X$, McCord proved that the natural map $|{\mathcal X}|\to {\mathcal X}$, from the order complex to the poset with the Up topology, is a weak homotopy equivalence. Much later, uZivaljević defined the notion of order complex for a topological poset. For a large class of such topological posets we prove the analog of McCord's theorem, namely that the natural map from the order complex to the topological poset with the Up topology is a weak homotopy equivalence. An example is the Grassmann poset of proper non-zero linear subspaces of $\R^{n+1}$. Here, Vassiliev had computed the homotopy type of the order complex. Our theorem allows us to transfer that information (up to weak homotopy type) to the Grassmann poset itself with the Up topology.

Combinatorics,Algebraic Topology
Essential and Density Topologies on S(2)-Continuous Posets

Chongxia Lu,Qingguo Li

DOI: https://doi.org/10.1017/s0960129517000238

2017-01-01

Abstract:Recently, Rusu and Ciobanu established that for a continuous domainL, a subsetBofLis a basis if and only ifBis dense with respect to thed-topology, called the density topology, onL. In situations where directed completeness fails, Erné has proposed in 1991 an alternative definition of continuity calleds2-continuity which remedied the lack of stability of continuity under the classical Dedekind–MacNeille completion. In this paper, we show how the ‘Rusu–Ciobanu’ type of characterization can be formulated and established over the class ofs2-continuous posets with appropriate modifications. Although we obtain more properties of essential topologies and density topologies ons2-continuous posets, respectively.
A TOPOLOGICAL DUALITY FOR STRONG BOOLEAN POSETS

Zhenzhu Yuan,Qingguo Li

DOI: https://doi.org/10.1515/ms-2017-0242

2019-01-01

Mathematica Slovaca

Abstract:In this paper, we define a new class of posets which are complemented and ideal-distributive, we call these posets strong Boolean. This definition is a generalization of Boolean lattices on posets, and is different from Boolean posets. We give a topology on the set of all prime Frink ideals in order to obtain the Stone's topological representation for strong Boolean posets. A discussion of a duality between the categories of strong Boolean posets and BP-spaces is also presented.

Order Topology and Bi-Scott Topology on a Poset

Some further results on order-convergence in posets

Order Topology Orthosummability in Quantum Logics

Birkhoff'S Order-Convergence in Partially Ordered Sets

The Scott Topology on Posets and Continuous Posets

The Comparision of Scott Topology on Posets with Families of Partial Order

Order-convergence and Lim-Infm-convergence in Posets

The B-topology on S∗-doubly Quasicontinuous Posets

THE SCOTT TOPOLOGY AND LAWSON TOPOLOGY ON A Z-QUASICONTINUOUS DOMAIN

Properties of Bi-Z-Continuous Lattices and Bi-Z-Scott Topology

CHARACTERIZATION OF POSETS FOR ORDER-CONVERGENCE BEING TOPOLOGICAL

O2-convergence in Posets

Two Kinds of Order Convergence on Posets

Topological posets and tropical phased matroids

A Result for O-2-Convergence to Be Topological in Posets

On a Characterization Theorem for Continuous Posets

Order and interval topologies on complete Boolean algebras

Two Counterexamples Concerning the Scott Topology on a Partial Order

The Up Topology for Mirrored Topological Posets

Essential and Density Topologies on S(2)-Continuous Posets

A TOPOLOGICAL DUALITY FOR STRONG BOOLEAN POSETS