Hypercontinuous Domains and Quasi-hypercontinuous Domains

YANG Jin-bo,LUO Mao-kang

DOI: https://doi.org/10.3969/j.issn.1001-7402.2007.04.006

2007-01-01

Abstract:We discuss the properties of hypercontinuous domains and quasi-hypercontinuous domains respectively and prove that the category of hypercontinous semilattices with property M* is a reflective subcategoryof quasi-hypercontinuous domains.

What problem does this paper attempt to address?

Consistently Semicontinuous Domains

GUO Zhi-lian,ZHAO Bin

DOI: https://doi.org/10.3969/j.issn.1001-7402.2012.01.021

2012-01-01

Abstract:In this paper,the concepts of consistently semicontinuous domains and consistently strongly continuous domains are introduced,and some properties are given.The relations among consistently semicontinuous domains,consistently strongly continuous domains and consistently continuous domains are discussed.Moreover,the consistently semi-Scott topologies on consistently semicontinuous domains are given,and some related properties are discussed.
Continuous quantales and its category properties

LIANG Shao-hui,ZHAO Bin

2008-01-01

Abstract:Some properties of continuous quantales and the category of continuous quantales are studied,the definition of semicontinuous quantale is given,the relations of semicontinuous quantale,regular quantale and continuous quantale are then discussed.It is proved that a continuous quantale is regular when it is a strictly right-side quantale and that a strictly right-side left quantale is continuous if and only if it is a semicontinuous quantale.The concept of the ideal of a continous quantale is given.Some properties of the category of continuous quantales are discussed,it is proved that the category of continuous quantales is pointed and connected has a product,and that each projection of the category of continous quantales is a retract.
Precontinuous Domains and Stable Mappings

GUO Zhi-liao,ZHAO Bin

DOI: https://doi.org/10.3969/j.issn.1006-8341.2006.03.006

2006-01-01

Abstract:The products,substructures and quotients of precontinuous domains are studied.The congruence on bounded complete precontinuous domains is characterized.It is proved that the map keeping a directed subset′s sup on bounded complete proecontinuous domains is a stable map if and only if it keeps nonempty subset′s inf.Furthermore,it is proved that a map keeping finite subset′s inf on bounded complete precontinuous domains is a stable map if and only if it is continuous with respect to Lawson topology.
Quasicontinuous Spaces

Jing Lu,Bin Zhao,Kaiyun Wang,Dongsheng Zhao

DOI: https://doi.org/10.14712/1213-7243.2023.005

2023-01-01

Commentationes Mathematicae Universitatis Carolinae

Abstract:We lift the notion of quasicontinuous posets to the topology context, called quasicontinuous spaces, and further study such spaces. The main results are: (1) A T0 space (X, tau) is a quasicontinuous space if and only if SI(X) is locally hypercompact if and only if (tau SI, subset of) is a hypercontinuous lattice; (2) a T0 space X is an SI-continuous space if and only if X is a meet contin-uous and quasicontinuous space; (3) if a C-space X is a well-filtered poset under its specialization order, then X is a quasicontinuous space if and only if it is a quasicontinuous domain under the specialization order; (4) there exists an adjunction between the category of quasicontinuous do-mains and the category of quasicontinuous spaces which are well-filtered posets under their specialization orders.
Some Properties on Quasialgebraic Domain

ZHAO Bin,LIANG Xiao-rong

DOI: https://doi.org/10.3969/j.issn.1672-4291.2005.03.001

2005-01-01

Abstract:Based on the equivalent definition and construction of quasicontinuous Domain, some properties on quasialgebraic Domain are studied, and its equivalent propositions are given. Thus it can be concluded that quasialgebraic Domain is quasicontinuous Domain. By means of discussing the characteristic that Scott-continuous closure operators preserve the way below relation among sets, the fact that the image of quasialgebraic Domain under these operators is still quasialgebraic Domain is proved. It is obtained that quasialgebraic Domain with Scott topology and quasialgebraic lattice with Lawson topology are respectively Baire space and Priestley space.
Some Characteristic Theorems on Consistently Connected Continuous Domains

SHANG Yun,ZHAO Bin

DOI: https://doi.org/10.3770/j.issn.2095-2651.2005.04.025

2005-01-01

Abstract:In this paper, we introduce the concepts of consistently connected continuous domains, and obtain some properties of consistently connected continuous domains by using of the principal ideals and the lattice of connected closed sets. Moreover, we give some good properties of directed completions of consistently connected complete posets.
The category of supercontinuous posets

Bin Zhao,Yihui Zhou

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

IF: 1.417

2006-01-01

Journal of Mathematical Analysis and Applications

Abstract:In this paper, we study the order structure—supercontinuous poset, a generalization of completely distributive lattice. The Cartesian product of supercontinuous posets and some other properties of supercontinuous posets are investigated. Also, the case of superalgebraic posets are studied and some remarks on the category of supercontinuous posets are given.
Congruences on Continuous Lattices

Shi Xiaoping,He Wei

DOI: https://doi.org/10.3969/j.issn.1001-4616.2009.04.005

2009-01-01

Abstract:Congruences are important to study quotients of lattices.In this paper,a characterization of congruences on continuous lattices is given.Homomorphism theorems of continuous lattices are also discussed.
Discussion about Bounded Complete Domain

王习娟

DOI: https://doi.org/10.3969/j.issn.1671-6876.2004.02.004

2004-01-01

Abstract:In this paper, we gave various properties of bounded complete domain. And we proved, with Scott continuous functions as morphisms, the category of bounded complete domain is Cartesian closed; we also got the conclusion that bounded complete domain is a FS-domain and that the category of BP-domain is a full reflective subcategory of the category of FS-domain.
Upper powerdomains of quasicontinuous dcpos

Yuxu Chen,Hui Kou,Zhenchao Lyu

DOI: https://doi.org/10.1016/j.tcs.2024.114663

IF: 1.002

2024-06-02

Theoretical Computer Science

Abstract:The upper powerdomain of an arbitrary dcpo L can be constructed by the Scott completion of the directed upper powerspace of L . By means of this result, we investigate the upper powerdomains of quasicontinuous domains. The main results are: (1) The upper powerdomain PU(L) of a quasicontinuous domain L is quasicontinuous iff the directed upper powerspace of L is endowed with the Scott topology, iff PU(L) is isomorphic to Q(L) , the semilattice of nonempty Scott compact saturated subsets of L . (2) There exists a quasicontinuous dcpo whose upper powerdomain is not quasicontinuous. (3) The upper powerdomain of a strongly quasicontinuous domain L is isomorphic to Q(L) .

computer science, theory & methods
The Heredity,invariance and Mapping Space of Quasicontinuous Domains

ZHAO Na-na,ZHAO Bin

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

2010-01-01

Abstract:The heredity,invariance and mapping space of quasicontinuous Domains are discussed.It is proved that quasicontinuous Domains and quasialgebraic Domains are hereditary for scott open subsets and scott closed subsets,and the images of a quasicintinuous domain and a quasialgebraic Domain under the way below-preserving quasi-Scott continuous map are still quasicontinuous and quasialgebraic,respectively.It is shown that if X and L are bounded complete quasicontinuous Domains and L is totally ordered,then the mapping space of all Scott continuous maps is a bounded complete quasicontinuous Domain.
Two Cartesian Closed Subcategories of Fuzzy Domains

Min Liu,Bin Zhao

DOI: https://doi.org/10.1016/j.fss.2013.07.015

IF: 4.462

2014-01-01

Fuzzy Sets and Systems

Abstract:The aim of this paper is to search for cartesian closed subcategories of fuzzy domains. Based on the notion of retraction–embedding pair in the category of fuzzy dcpos, we prove that the category of fuzzy continuous lattices and the category of fuzzy algebraic lattices are cartesian closed.
Remarks on Quasi-Reinhardt Domains

Fengbai Li,Feng Rong

DOI: https://doi.org/10.1017/prm.2018.28

2019-01-01

Abstract:We present some fundamental properties of quasi-Reinhardt domains, in connection with Kobayashi hyperbolicity, minimal domains and representative domains. We also study proper holomorphic correspondences between quasi-Reinhardt domains.
On the Behavior of One Class of Mappings Acting Upon Domains with Locally Quasiconformal Boundary

Sevost'yanov, Evgeny,Dovhopiatyi, Oleksandr,Ilkevych, Nataliya,Androshchuk, Mariya

DOI: https://doi.org/10.1007/s11253-024-02357-0

2024-10-26

Ukrainian Mathematical Journal

Abstract:We study the mappings satisfying the so-called inverse Poletsky inequality. We consider mappings of the domains with quasiextreme distance, domains with locally quasiconformal boundary, and domains regular (in a sense of prime ends) onto the domains with locally quasiconformal boundary, regular domains, or domains that are locally Hölder equivalent to a half ball on their boundary. For these mappings, we prove their Hölder logarithmic continuity in a neighborhood of points of the boundary.

mathematics, applied
SI-continuous Spaces and Continuous Posets

Jing Lu,Bin Zhao,Kaiyun Wang

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

IF: 0.583

2019-01-01

Topology and its Applications

Abstract:Recently, Zhao and Ho introduced and studied SI-continuous spaces, which can be seen as topological counterparts of continuous posets. The main purpose of this paper is to investigate the relationships between SI-continuous spaces and continuous posets. We prove that a C-space is an SI-continuous space if and only if it is a continuous poset under the specialization order. Furthermore, we introduce the notion of strong SI-continuous spaces and construct an adjunction between the category of domains and the category of strong SI-continuous spaces.
Representations of domains via closure spaces in the quantale-valued setting

Guojun Wu,Wei Yao,Qingguo Li

2024-06-26

Abstract:With a commutative unital quantale $L$ as the truth value table, this study focuses on the representations of $L$-domains by means of $L$-closure spaces. First, the notions of interpolative generalized $L$-closure spaces and directed closed sets are introduced. It is proved that in an interpolative generalized $L$-closure space (resp., $L$-closure space), the collection of directed closed sets with respect to the inclusion $L$-order forms a continuous $L$-dcpo (resp., an algebraic $L$-dcpo). Conversely, it is shown that every continuous $L$-dcpo (resp., algebraic $L$-dcpo) can be reconstructed by an interpolative generalized $L$-closure space (resp., $L$-closure space). Second, when $L$ is integral, the notion of dense subspaces of generalized $L$-closure spaces is introduced. By means of dense subspaces, an alternative representation for algebraic $L$-dcpos is given. Moreover, the concept of $L$-approximable relations between interpolative generalized $L$-closure spaces is introduced. Consequently, a categorical equivalence between the category of interpolative generalized $L$-closure spaces (resp., $L$-closure spaces) with $L$-approximable relations and that of continuous $L$-dcpos (resp., algebraic $L$-dcpos) with Scott continuous mappings is established.

General Topology
On behavior of one class of mappings acting onto domains with a locally quasiconformal boundary

M.V. Androschuk,O. P. Dovhopiatyi,N. S. Ilkevych,E. A. Sevost'yanov

2023-09-30

Abstract:The article is devoted to the study of mappings that satisfy the so-called inverse Poletsky inequality. We consider mappings of quasiextremal distance domains, domains with a locally quasiconformal boundary, and domains which are regular in the sense of prime ends onto domains with a locally quasiconformal boundary, regular domains, or domains which are locally Hölder equivalent to a half-ball on its boundary. For such mappings, we have obtained the Hölder logarithmic continuity in some neighborhood of its boundary points.

Complex Variables
Some Properties of Fuzzy Semicontinuous Lattices

韩艳伟,赵彬

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

2011-01-01

Abstract:A new kind of fuzzy way-below relation on fuzzy complete lattices is defined.Based on it,the concept of fuzzy semicontinuous lattice is introduced.We show that such a fuzzy semicontinuous lattice is a generalization of a semicontinuous lattice.Some properties of the fuzzy way-below relation on fuzzy semicontinuous lattices are discussed.An equivalent characterization of fuzzy semicontinuous lattices is given by using fuzzy Galois connections.
Directed Completions of Consistent FS-domains and Related Categorical Properties

WANG Xi-juan,XU Luo-shan

DOI: https://doi.org/10.3969/j.issn.1001-7402.2005.03.017

2005-01-01

Abstract:The new concept of consistent FS-domains is introduced. Some basic properties of consis- tent FS-domains are given. The following are the main obtained results: (1) Retracts and continuous function spaces of consistent FS-domains are consistent FS-domains; (2) Consistent FS-domains are all finitely upper generated and Scott compact; (3) Directed completions of consistent FS-domains are FS-domains; (4) If L is an FS-domain with a top 1, then L\\{1} is a consistent FS-domain; (5) The category FS-CDOM of consistent FS-domains and Scott continuous functions is Cartesian closed and has the category FS-DOM of FS-domains and Scott continuous functions as a full reflective subcategory.
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.

Hypercontinuous Domains and Quasi-hypercontinuous Domains

Consistently Semicontinuous Domains

Continuous quantales and its category properties

Precontinuous Domains and Stable Mappings

Quasicontinuous Spaces

Some Properties on Quasialgebraic Domain

Some Characteristic Theorems on Consistently Connected Continuous Domains

The category of supercontinuous posets

Congruences on Continuous Lattices

Discussion about Bounded Complete Domain

Upper powerdomains of quasicontinuous dcpos

The Heredity,invariance and Mapping Space of Quasicontinuous Domains

Two Cartesian Closed Subcategories of Fuzzy Domains

Remarks on Quasi-Reinhardt Domains

On the Behavior of One Class of Mappings Acting Upon Domains with Locally Quasiconformal Boundary

SI-continuous Spaces and Continuous Posets

Representations of domains via closure spaces in the quantale-valued setting

On behavior of one class of mappings acting onto domains with a locally quasiconformal boundary

Some Properties of Fuzzy Semicontinuous Lattices

Directed Completions of Consistent FS-domains and Related Categorical Properties

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