scholarly journals A new convergence inducing the SI-topology

Filomat ◽  
2018 ◽  
Vol 32 (17) ◽  
pp. 6017-6029 ◽  
Author(s):  
Hadrian Andradi ◽  
Chong Shen ◽  
Weng Ho ◽  
Dongsheng Zhao
Keyword(s):  
Topological Space ◽  
Domain Theory ◽  
Scott Topology ◽  
Convergence Structure ◽  
Equivalent Conditions

In their attempt to develop domain theory in situ T0 spaces, Zhao and Ho introduced a new topology defined by irreducible sets of a resident topological space, called the SI-topology. Notably, the SI-topology of the Alexandroff topology of posets is exactly the Scott topology, and so the SI-topology can be seen as a generalisation of the Scott topology in the context of general T0 spaces. It is well known that the convergence structure that induces the Scott topology is the Scott-convergence - also known as lim-inf convergence by some authors. Till now, it is not known which convergence structure induces the SI-topology of a given T0 space. In this paper, we fill in this gap in the literature by providing a convergence structure, called the SI-convergence structure, that induces the SI-topology. Additionally, we introduce the notion of I-continuity that is closely related to the SI-convergence structure, but distinct from the existing notion of SI-continuity (introduced by Zhao and Ho earlier). For SI-continuity, we obtain here some equivalent conditions for it. Finally, we give some examples of non-Alexandroff SI-continuous spaces.

scholarly journals Scott convergence and fuzzy Scott topology on L-posets

2017 ◽  
Vol 15 (1) ◽  
pp. 815-827 ◽  
Author(s):  
Hongping Liu ◽  
Ling Chen
Keyword(s):  
Topological Space ◽  
Scott Topology ◽  
Convergence Structure

Abstract We firstly generalize the fuzzy way-below relation on an L-poset, and consider its continuity by means of this relation. After that, we introduce a kind of stratified L-generalized convergence structure on an L-poset. In terms of that, L-fuzzy Scott topology and fuzzy Scott topology are considered, and the properties of fuzzy Scott topology are discussed in detail. At last, we investigate the Scott convergence of stratified L-filters on an L-poset, and show that an L-poset is continuous if and only if the Scott convergence on it coincides with the convergence with respect to the corresponding topological space.

Lattice-valued Scott topology on dcpos

2015 ◽  
Vol 27 (4) ◽  
pp. 516-529
Author(s):  
WEI YAO
Keyword(s):  
Topological Space ◽  
Continuous Semigroup ◽  
Scott Topology ◽  
Completely Distributive ◽  
Sober Space ◽  
Truth Value

This paper studies the fuzzy Scott topology on dcpos with a *-continuous semigroup (L, *) as the truth value table. It is shown that the fuzzy Scott topological space on a continuous dcpo is an ιL-sober space. The fuzzy Scott topology is completely distributive iff L is completely distributive and the underlying dcpo is continuous. For (L, *) being an integral quantale, semantics of L-possibility of computations is studied by means of a duality.

scholarly journals Continuity of Partially Ordered Soft Sets via Soft Scott Topology and Soft Sobrification

2014 ◽  
Vol 9 ◽  
pp. 79-88
Author(s):  
A.F. Sayed
Keyword(s):  
Computer Science ◽  
Theoretical Computer Science ◽  
Soft Set ◽  
Domain Theory ◽  
Scott Topology ◽  
Soft Sets ◽  
Theoretical Computer ◽  
Partially Ordered ◽  
Completely Distributive ◽  
Characterization Theorems

This paper, based on the concept of partially ordered soft sets (possets, for short) which proposed by Tanay and Yaylali [23], we will give some other concepts which are developing the possets and helped us in obtaining a generalization of some important results in domain theory which has an important and central role in theoretical computer science. Moreover, We will establish some characterization theorems for continuity of possets by the technique of embedded soft bases and soft sobrification via soft Scott topology, stressing soft order properties of the soft Scott topology of possets and rich interplay between topological and soft order-theoretical aspects of possets. We will see that continuous possets are all embedded soft bases for continuous directed completely partially ordered soft set (i.e., soft domains), and vice versa. Thus, one can then deduce properties of continuous possets directly from the properties of continuous soft domains by treating them as embedded bases for continuous soft domains. We will see also that a posset is continuous if its soft Scott topology is a complete completely distributive soft lattice.

scholarly journals Maximal point spaces of posets with relative lower topology

Filomat ◽  
2021 ◽  
Vol 35 (8) ◽  
pp. 2645-2661
Author(s):  
Chong Shen ◽  
Xiaoyong Xi ◽  
Dongsheng Zhao
Keyword(s):  
Topological Space ◽  
Domain Theory ◽  
New Models ◽  
Different Types ◽  
Maximal Point ◽  
Order Structures ◽  
Maximal Points

In domain theory, by a poset model of a T1 topological space X we usually mean a poset P such that the subspace Max(P) of the Scott space of P consisting of all maximal points is homeomorphic to X. The poset models of T1 spaces have been extensively studied by many authors. In this paper we investigate another type of poset models: lower topology models. The lower topology ?(P) on a poset P is one of the fundamental intrinsic topologies on the poset, which is generated by the sets of the form P\?x, x ? P. A lower topology poset model (poset LT-model) of a topological space X is a poset P such that the space Max?(P) of maximal points of P equipped with the relative lower topology is homeomorphic to X. The studies of such new models reveal more links between general T1 spaces and order structures. The main results proved in this paper include (i) a T1 space is compact if and only if it has a bounded complete algebraic dcpo LT-model; (ii) a T1 space is second-countable if and only if it has an ?-algebraic poset LT-model; (iii) every T1 space has an algebraic dcpo LT-model; (iv) the category of all T1 space is equivalent to a category of bounded complete posets. We will also prove some new results on the lower topology of different types of posets.

Two Forms of Pairwise Lindelöfness and Some Results Related to Hereditary Class in a Bigeneralized Topological Space

2017 ◽  
Vol 13 (02) ◽  
pp. 181-193 ◽  
Author(s):  
Santanu Acharjee ◽  
Binod Chandra Tripathy ◽  
Kyriakos Papadopoulos
Keyword(s):  
Topological Space ◽  
Hereditary Class ◽  
Equivalent Conditions

Bigeneralized topology was introduced in 2010. In this paper, we aim to contribute in the development of this area by proving results with respect to the hereditary class that defines two types of Lindelöf spaces in a bigeneralized topological space (BGTS). Some results on strong BGTS (briefly SBGTS) are proved by defining a [Formula: see text]-perfect mapping. We also prove some equivalent conditions with respect to the hereditary class.

scholarly journals Soft Semi Local Functions in Soft Ideal Topological Spaces

2019 ◽  
Vol 12 (3) ◽  
pp. 857-869
Author(s):  
Fatouh Gharib ◽  
Alaa Mohamed Abd El-latif
Keyword(s):  
Topological Space ◽  
Topological Spaces ◽  
Local Function ◽  
Soft Sets ◽  
Soft Topology ◽  
Local Functions ◽  
Equivalent Conditions

In this paper, we define a soft semi local function (F, E) ∗s ( ˜I, τ ) by using semi open soft sets in a soft ideal topological space (X, τ, E, ˜I). This concept is discussed with a view to find new soft topologies from the original one, called ∗s-soft topology. Some properties and characterizations of soft semi local function are explored. Finally, the notion of soft semi compatibility of soft ideals with soft topologies is introduced and some equivalent conditions concerning this topic are established here.

scholarly journals Dcpo models of T1 spaces

10.29007/prcv ◽  
2018 ◽  
Author(s):  
Zhao Dongsheng ◽  
Xi Xiaoyong
Keyword(s):  
Topological Space ◽  
Positive Answer ◽  
Scott Topology ◽  
Maximal Points

A poset model of a topological space X is a poset P such that the subspace Max(P) of the Scott space ΣP consisting of all maximal points of P is homeomorphic to X. Every T<sub>1</sub> space has a (bounded complete algebraic) poset model. It is, however, not known whether every T<sub>1</sub> space has a dcpo model and whether every sober T<sub>1</sub> space has a dcpo model whose Scott topology is sober. In this paper we give a positive answer to these two problems. For each T<sub>1</sub> space X we shall construct a dcpo A that is a model of X, and prove that X is sober if and only if the Scott topology of A is sober. One useful by-product is a method that can be used to construct more non-sober dcpos.

scholarly journals RegularL-fuzzy topological spaces and their topological modifications

2000 ◽  
Vol 23 (10) ◽  
pp. 687-695 ◽  
Author(s):  
T. Kubiak ◽  
M. A. de Prada Vicente
Keyword(s):  
Topological Space ◽  
The Other ◽  
Regular Space ◽  
Continuous Lattice ◽  
Topological Spaces ◽  
Scott Topology ◽  
Fuzzy Topological Spaces

ForLa continuous lattice with its Scott topology, the functorιLmakes every regularL-topological space into a regular space and so does the functorωLthe other way around. This has previously been known to hold in the restrictive class of the so-called weakly induced spaces. The concepts ofH-Lindelöfness (á la Hutton compactness) is introduced and characterized in terms of certain filters. RegularH-Lindelöf spaces are shown to be normal.

Directed complete poset models of T1 spaces

2016 ◽  
Vol 164 (1) ◽  
pp. 125-134 ◽  
Author(s):  
DONGSHENG ZHAO ◽  
XIAOYONG XI
Keyword(s):  
Topological Space ◽  
Positive Answer ◽  
Scott Topology ◽  
Maximal Points

AbstractA poset model of a topological space X is a poset P such that the subspace Max(P) of the Scott space ΣP is homeomorphic to X, where Max(P) is the set of all maximal points of P. Every T1 space has a (bounded complete algebraic) poset model. It was, however, not known whether every T1 space has a directed complete poset model and whether every sober T1 space has a directed complete poset model whose Scott topology is sober. In this paper we give a positive answer to each of these two problems. For each T1 space X, we shall construct a directed complete poset E that is a model of X, and prove that X is sober if and only if the Scott space Σ E is sober. One useful by-product is a method for constructing more directed complete posets whose Scott topology is not sober.

scholarly journals A Functional Analytic Description of Normal Spaces

1972 ◽  
Vol 24 (1) ◽  
pp. 45-49 ◽  
Author(s):  
E. Binz ◽  
W. Feldman
Keyword(s):  
Topological Space ◽  
Continuous Functions ◽  
Closed Ideal ◽  
Analytic Description ◽  
Completely Regular ◽  
Hausdorff Topological Space ◽  
Continuous Convergence ◽  
Convergence Structure

Throughout the paper, X will denote a completely regular (Hausdorff) topological space and C(X) the R-algebra of all real-valued continuous functions on X. When this algebra carries the continuous convergence structure [1], we write CC(X). We note that CC(X)is a complete [5] convergence R-algebra [1].Our description of normality reads as follows. A completely regular topological space X is normal if and only if CC(X)/J (endowed with the obvious quotient structure; see § 1) is complete for every closed ideal J ⊂ CC(X).

Sign in / Sign up

Export Citation Format

Share Document