Representation of bifinite domains by BF-closure spaces

2021 ◽  
Vol 71 (3) ◽  
pp. 565-572
Author(s):  
Lingjuan Yao ◽  
Qingguo Li

Abstract In this paper, we propose the notion of BF-closure spaces as concrete representation of bifinite domains. We prove that every bifinite domain can be obtained as the set of F-closed sets of some BF-closure space under set inclusion. Furthermore, we obtain that the category of bifinite domains and Scott-continuous functions is equivalent to that of BF-closure spaces and F-morphisms.

Mathematics ◽  
2021 ◽  
Vol 9 (11) ◽  
pp. 1225
Author(s):  
Ria Gupta ◽  
Ananga Kumar Das

New generalizations of normality in Čech closure space such as π-normal, weakly π-normal and κ-normal are introduced and studied using canonically closed sets. It is observed that the class of κ-normal spaces contains both the classes of weakly π-normal and almost normal Čech closure spaces.


2021 ◽  
Vol 179 (3) ◽  
pp. 295-319
Author(s):  
Longchun Wang ◽  
Lankun Guo ◽  
Qingguo Li

Formal Concept Analysis (FCA) has been proven to be an effective method of restructuring complete lattices and various algebraic domains. In this paper, the notion of contractive mappings over formal contexts is proposed, which can be viewed as a generalization of interior operators on sets into the framework of FCA. Then, by considering subset-selections consistent with contractive mappings, the notions of attribute continuous formal contexts and continuous concepts are introduced. It is shown that the set of continuous concepts of an attribute continuous formal context forms a continuous domain, and every continuous domain can be restructured in this way. Moreover, the notion of F-morphisms is identified to produce a category equivalent to that of continuous domains with Scott continuous functions. The paper also investigates the representations of various subclasses of continuous domains including algebraic domains and stably continuous semilattices.


2013 ◽  
Vol 31 (2) ◽  
pp. 191
Author(s):  
Chinnapazham Santhini ◽  
M. Lellis Thivagar

In this paper,we introduce and investigate the notions of Iˆω -closed sets andI ˆω -continuous functions,maximal Iˆω -closed sets and maximal Iˆω -continuous functionsin ideal topological spaces.We also introduce a new class of spaces calledMTˆω -spaces.


1996 ◽  
Vol 19 (2) ◽  
pp. 303-310 ◽  
Author(s):  
J. Dontchev

In 1989 Ganster and Reilly [6] introduced and studied the notion ofLC-continuous functions via the concept of locally closed sets. In this paper we consider a stronger form ofLC-continuity called contra-continuity. We call a functionf:(X,τ)→(Y,σ)contra-continuous if the preimage of every open set is closed. A space(X,τ)is called stronglyS-closed if it has a finite dense subset or equivalently if every cover of(X,τ)by closed sets has a finite subcover. We prove that contra-continuous images of stronglyS-closed spaces are compact as well as that contra-continuous,β-continuous images ofS-closed spaces are also compact. We show that every stronglyS-closed space satisfies FCC and hence is nearly compact.


2004 ◽  
Vol 19 (4) ◽  
pp. 995-1002 ◽  
Author(s):  
Jin Keun Park ◽  
Jin Han Park ◽  
Bu Young Lee

1992 ◽  
Vol 46 (3) ◽  
pp. 449-458 ◽  
Author(s):  
H. Linda Byun ◽  
Lothar Redlin ◽  
Saleem Watson

It is known that the maximal ideals in the rings C(X) and C*(X) of continuous and bounded continuous functions on X, respectively, are in one-to-one correspondence with βX. We have shown previously that the same is true for any ring A(X) between C(X) and C*(X). Here we consider the problem for rings A(X) contained in C*(X) which are complete rings of functions (that is, they contain the constants, separate points and closed sets, and are uniformly closed). For every noninvertible f ∈ A(X), we define a z–filter ZA(f) on X which, in a sense, provides a measure of where f is ‘locally invertible’. We show that the map ZA generates a correspondence between ideals of A(X) and z–filters on X. Using this correspondence, we construct a unique compactification of X for every complete ring of functions. Each such compactification is explicitly identified as a quotient of βX. In fact, every compactification of X arises from some complete ring of functions A(X) via this construction. We also describe the intersections of the free ideals and of the free maximal ideals in complete rings of functions.


10.37236/3068 ◽  
2013 ◽  
Vol 20 (1) ◽  
Author(s):  
Masataka Nakamura ◽  
Kenji Kashiwabara

A rooted circuit is firstly introduced for convex geometries (antimatroids). We generalize it for closure systems or equivalently for closure operators. A rooted circuit is a specific type of a pair $(X,e)$ of a subset $X$, called a stem, and an element $e\not\in X$, called a root. We introduce a notion called a 'prime stem', which plays the key role in this article. Every prime stem is shown to be a pseudo-closed set of an implicational system. If the sizes of stems are all the same, the stems are all pseudo-closed sets, and they give rise to a canonical minimum implicational basis. For an affine convex geometry, the prime stems determine a canonical minimum basis, and furthermore  gives rise to an optimal basis. A 'critical rooted circuit' is a special case of a rooted circuit defined for an antimatroid. As a precedence structure, 'critical rooted circuits' are necessary and sufficient to fix an antimatroid whereas critical rooted circuits are not necessarily sufficient to restore the original antimatroid as an implicational system. It is shown through an example.


The main view of this article is the extended version of the fine topological space to the novel kind of space say fine fuzzy topological space which is developed by the notion called collection of quasi coincident of fuzzy sets. In this connection, fine fuzzy closed sets are introduced and studied some features on it. Further, the relationship between fine fuzzy closed sets with certain types of fine fuzzy closed sets are investigated and their converses need not be true are elucidated with necessary examples. Fine fuzzy continuous function is defined as the inverse image of fine fuzzy closed set is fine fuzzy closed and its interrelations with other types of fine fuzzy continuous functions are obtained. The reverse implication need not be true is proven with examples. Finally, the applications of fine fuzzy continuous function are explained by using the composition.


Sign in / Sign up

Export Citation Format

Share Document