Next Article in Journal
Systematically Constructing Mesoscopic Quantum States Relevant to Periodic Orbits in Integrable Billiards from Directionally Resolved Level Distributions
Previous Article in Journal
An Extended TODIM Method and Applications for Multi-Attribute Group Decision-Making Based on Bonferroni Mean Operators under Probabilistic Linguistic Term Sets
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Continuous Mapping of Covering Approximation Spaces and Topologies Induced by Arbitrary Covering Relations

1
Center for Applied Mathematics of Guangxi, Yulin Normal University, Yulin 537000, China
2
Guangxi Universities Key Lab of Complex System Optimization and Big Data Processing, Yulin Normal University, Yulin 537000, China
3
Department of Electrical and Computer Engineering, University of Alberta, Edmonton, AB T6G 1H9, Canada
*
Author to whom correspondence should be addressed.
Submission received: 17 July 2023 / Revised: 25 August 2023 / Accepted: 31 August 2023 / Published: 22 September 2023

Abstract

:
In rough set theory, there are many covering approximation spaces, so how to classify covering approximation spaces has become a hot issue. In this paper, we propose the concepts of a covering approximation T 1 -space, F-symmetry, covering rough continuous mapping, and covering rough homeomorphism mapping, and we obtain some interesting results. We have used the above definitions and results to classify covering approximation spaces. Finally, we find a new method for constructing topologies, obtain some properties, and provide an example to illustrate our method’s similarities and differences with other construction methods.

1. Introduction

With developments in science and technology, the task of data classification has become more important in many fields, including medical diagnosis, decision-making, data mining, and others. Data exist in various spaces, so information processing must rely on the relevant properties of that space. Therefore, how to obtain the properties of a space has become an urgent problem. To address this issue, fuzzy set theory and granular computing were proposed by L. A. Zadeh in 1965 and 1996 [1,2]. They have been used in various fields, including machine learning, approximation reasoning, and knowledge discovery. Although they can be used to deal with uncertainties and incompleteness, if we want to use them, we need to add human factors, which can lead to inaccurate results. Classical rough set theory is a suitable tool for dealing with incomplete and imprecise information systems and is also an effective tool for dealing with uncertain knowledge. Therefore, it has been successfully applied to many fields [3,4,5,6,7]. Lower and upper approximation operators are defined by classical rough sets based on the equivalence relation [8,9,10,11,12], which exhibits many limitations because the equivalence relation is too strong. In order to remove these limitations, Zakowski used the covering relation to replace the equivalence relation and defined the concept of a covering rough set [13]. Many scholars have carried out a lot of work in this field. For example, Zhang Y.L., et al. studied the invariance of covering rough sets using compatible mappings [14], and Li J.J. studied covering generalized approximation spaces using topological methods [15,16]. Wang P., et al. studied the necessary and sufficient conditions for the covering upper approximation operator to become a topological closure operator and investigated its membership functions [17,18]. Zhang W.X., et al. studied the rough set of general relations, and so on [19,20,21,22]. There are many ways to generate approximation operators from the above. Due to the large coverage space, it is unrealistic to study its properties individually. Whether we can classify the covering approximation spaces and study the nature of the class is a question worth thinking about.
A topological structure is one of the most crucial structures in mathematics, offering mathematical tools to deal with information systems and rough sets [22]. Using the topological method to study covering approximation spaces is a highly effective approach. For example, Yang L.Y., et al. defined topologies using a lower approximation operator. Z. Zhao proposed topologies induced by coverings [23] .Yu H., et al. obtained topologies using lower and upper covering approximation operators [24], and so on. Any topological concepts and symbols that we did not mention in this paper can be found in [25].
Continuous mapping plays a key role in general topology and other fields. Therefore, we can investigate the relationship between two topological spaces using continuous mapping, such as homeomorphism, separation, connectedness, and so on. Covering approximation spaces are an important part of generalized approximation spaces. To study the properties of covering approximation spaces, many scholars have studied the properties of covering approximation spaces by means of various relations. The important topological concept of continuity is not used. We define covering rough continuous mapping and covering rough homeomorphism mapping, obtain a covering approximation T 1 -space, and provide a classification method. In addition to this, we also propose a method to construct topologies. With the help of this method, we can provide a unified case for using a covering to construct a topology as well as relations to construct topologies. Compared with the topology we constructed, this topology becomes a special case. In other words, we generalize the method of constructing a topology.
The organization of this paper is as follows. In Section 1, the background is introduced. In Section 2, several preliminary concepts in rough approximation space are briefly recalled. In Section 3, we propose some new concepts regarding covering rough continuous mapping F-symmetry and covering rough homeomorphism mapping, and we obtain many interesting results. We also establish a classification method for covering approximation spaces using these definitions. In Section 4, by analyzing the properties of covering spaces using covering rough continuous mapping and covering rough homeomorphism mapping, we define the separation property of covering approximation spaces, obtain the T 1 covering approximation space, distinguish covering approximation spaces using T 1 separation, and then establish another classification method for covering approximation spaces. In Section 5, we successfully apply a rough set to construct a new topological space, obtaining a new topology induced by ∗. We also compare it with other topologies, find that this topology is finer than others, and research its properties. Section 6 concludes this paper.

2. Preliminaries

Definition 1 
(Covering [13]). Let U be a universe of discourse and C be a family of subsets of U; no subsets in C are empty. If C = U , then C is called a covering of U.
Let U be a non-empty set and ∗ be an arbitrary relation on U. Then, ( U , ) is called an approximation space. For any X U , the lower and upper approximations of X are defined as follows:
R ̲ ( X ) = { x U : ( x ) X } R ¯ ( X ) = { x U : ( x ) X Ø } .
If ∗ is an equivalence relation on U, then ( x ) = [ x ] ; if ∗ is a binary relation on U, then ( x ) = s ( x ) , where s ( x ) = { y U : ( x , y ) } ; and if ∗ is a covering relation on U, then ( x ) = { C C : x C } , where C is a cover of U. We have the following:
D ̲ ( X ) = { s ( x ) : s ( x ) X } D ¯ ( X ) = { s ( x ) : s ( x ) X Ø } .
A binary relation ∗ on U is said to be reflexive if for any x U , ( x , x ) ; ∗ is said to be symmetric if for any x , y U , ( x , y ) implies ( y , x ) ; and ∗ is called a Euclidean relation if for any x , y , z U , ( x , y ) and ( x , z ) imply ( y , z ) .
Definition 2 
(Covering approximation space [13]). Let U be a universe of discourse and C be a covering of U. Then, we call U together with covering C a covering approximation space, denoted by ( U , C ) .
Definition 3. 
Let ( U , C ) be a covering approximation space. For any X U , the operators are defined as follows:
a p r ̲ ( X ) = { y U : N ( y ) X , N ( y ) = C i , C i C , y C i } a p r ¯ ( X ) = { y U : N ( y ) X Ø , N ( y ) = C i , C i C , y C i }
Lemma 1. 
Let X and Y be two sets and f : X Y be a mapping; then, we have the following:
(1) 
For any A X , we have A f 1 ( f ( A ) ) ;
(2) 
For any B Y , we have f ( f 1 ( B ) ) B ; if f is a surjection, then there is f ( f 1 ( B ) ) = B ;
(3) 
For any A X and B Y , there is f ( A ) B if and only if A f 1 ( B ) .

3. Covering Rough Continuous Mapping and Covering Rough Homeomorphism Mapping

It is well known that a covering approximation space is the most important generalized approximation space. Many scholars have defined many covering approximation operators. It is very important to distinguish these operators. In this section, we propose a covering rough continuous mapping and a covering rough homeomorphism mapping using the upper operator a p r ¯ and obtain some properties of the covering rough continuous mapping and the covering rough homeomorphism mapping.
Lemma 2. 
Let ( U , C ) be a covering approximation space. For any X U and X i U ( i I ) , we have the following:
(1) 
a p r ¯ ( X c ) = ( a p r ̲ ( X ) ) c ;
(2) 
a p r ̲ ( i I X i ) = i I a p r ̲ ( X i ) ;
(3) 
a p r ¯ ( i I X i ) = i I a p r ¯ ( X i ) ;
(4) 
a p r ¯ ( X ) = x X a p r ¯ ( { x } ) , where X c represents the complement of X in U.
Proof. 
(1) For any y a p r ¯ ( X c ) , by Definition 3 , we have N ( y ) ( U \ X ) Ø ; then, N ( y ) X . Hence, y a p r ̲ ( X ) by Definition 3, and it follows that y ( a p r ̲ ( X ) ) c , which implies a p r ¯ ( X c ) ( a p r ¯ ( X ) ) c .
We only need to prove the converse. For any x ( a p r ̲ ( X ) ) c , we have x a p r ̲ ( X ) . By Definition 3, we can obtain N ( x ) X and claim that N ( x ) ( U \ X ) Ø . If N ( x ) ( U \ X ) = Ø , then N ( x ) X . It is a contradiction to N ( x ) X . In other words, N ( x ) X c Ø . From Definition 3, we have x a p r ¯ ( X c ) . It follows that a p r ¯ ( X c ) = ( a p r ̲ ( X ) ) c .
(2) For any i I , since i I X i X i , then a p r ̲ ( i I X i ) a p r ̲ ( X i ) ; thus, a p r ̲ ( i I X i ) i I a p r ̲ ( X i ) , and we shall prove the converse.
For any x i I a p r ̲ ( X i ) , we have x a p r ̲ ( X i ) for any i I . According to Definition 3, we can obtain N ( x ) X i . By the arbitrariness of i, we have N ( x ) i I X i . Thus, we have x a p r ̲ ( i I X i ) . From the above, we know that a p r ̲ ( i I X i ) = i I a p r ̲ ( X i ) .
(3) The proof is similar to (2).
(4) It is easy to prove that x X a p r ¯ ( { x } ) a p r ¯ ( X ) by (2); we only need to prove a p r ¯ ( X ) x X a p r ¯ ( { x } ) . For any y a p r ¯ ( X ) , according to Definition 3, we obtain N ( y ) X Ø . Thus, there exists x 0 N ( y ) X such that N ( y ) { x 0 } Ø . Therefore, y a p r ¯ ( { x 0 } ) . By the arbitrariness of y, we can obtain a p r ¯ ( X ) x X a p r ¯ ( { x } ) . From the above, it follows that a p r ¯ ( X ) = x X a p r ¯ ( { x } ) . □
Definition 4. 
Let ( U 1 , C 1 ) and ( U 2 , C 2 ) be two covering approximation spaces and f : U 1 U 2 be a mapping. If f ( a p r ¯ ( X ) ) a p r ¯ ( f ( X ) ) for any X U 1 , then we call f a covering rough continuous mapping from ( U 1 , C 1 ) to ( U 2 , C 2 ) . If f is a bijective, f and f 1 are covering rough continuous mappings; then, f is called a covering rough homeomorphism mapping from ( U 1 , C 1 ) to ( U 2 , C 2 ) , where f ( X ) = { f ( x ) : x X } .
From Definition 4, we can obtain the properties of a covering rough continuous mapping as follows:
Proposition 1. 
Let ( U 1 , C 1 ) and ( U 2 , C 2 ) be two covering approximation spaces and f : U 1 U 2 be a mapping. Then, the followings are equivalent:
(1) 
f is a covering rough continuous mapping from ( U 1 , C 1 ) to ( U 2 , C 2 ) ;
(2) 
For any Y U 2 , a p r ¯ ( f 1 ( Y ) ) f 1 ( a p r ¯ ( Y ) ) ;
(3) 
For any Y U 2 , f 1 ( a p r ̲ ( Y ) ) a p r ̲ ( f 1 ( Y ) ) ;
(4) 
For any x U 1 , f ( a p r ¯ { x } ) a p r ¯ ( f ( x ) ) .
Proof. 
( 1 ) ( 2 ) . For any Y U 2 , by Definition 4 and Lemma 2 (2), it is not difficult to prove f ( a p r ¯ ( f 1 ( Y ) ) ) a p r ¯ ( f ( f 1 ( Y ) ) ) a p r ¯ ( X ) . It follows that a p r ¯ ( f 1 ( Y ) ) f 1 ( a p r ¯ ( Y ) ) according to Lemma 2 (3).
( 2 ) ( 1 ) . For any X U 1 , we have f 1 ( a p r ¯ ( f ( X ) ) ) a p r ¯ ( f 1 ( f ( X ) ) ) a p r ¯ ( X ) by ( 2 ) . So, f ( a p r ¯ ( X ) ) a p r ¯ ( f ( X ) ) by Lemma 2 (3). Hence, f is a covering rough continuous mapping from ( U 1 , C 1 ) to ( U 2 , C 2 ) .
( 2 ) ( 3 ) . For any Y U 2 , f 1 ( a p r ¯ ( Y c ) ) a p r ¯ ( f 1 ) ( Y c ) ) by ( 2 ) . From Lemma 2 (1), we have f 1 ( a p r ¯ ( Y c ) ) = f 1 ( ( a p r ̲ ( Y ) ) c ) = ( f 1 ( a p r ̲ ( Y ) ) ) c , which implies that f 1 ( a p r ̲ ( Y ) ) a p r ̲ ( f 1 ( Y ) ) for any Y U 2 .
( 3 ) ( 2 ) . It is easy to prove, so we omit the proof.
( 1 ) ( 4 ) . It is obvious by Definition 4.
( 4 ) ( 1 ) . For any X U 1 , X = x X { x } . We have f ( a p r ¯ { x } ) a p r ¯ ( f ( x ) ) by (4). From Lemma 2 (4), f preserves the union operations; thus, f ( a p r ¯ ( X ) ) = f ( a p r ¯ ( U x X { x } ) ) = U x X f ( a p r ¯ ( { x } ) ) U x X a p r ¯ ( f ( x ) ) = a p r ¯ ( f ( x ) ) . Therefore, ( 1 ) ( 4 ) . □
Theorem 1. 
Let ( U 1 , C 1 ) , ( U 2 , C 2 ) , and ( U 3 , C 3 ) be covering approximation spaces. If f : ( U 1 , C 1 ) ( U 2 , C 2 ) and g : ( U 2 , C 2 ) ( U 3 , C 3 ) are both covering rough continuous mappings, then g f : ( U 1 , C 1 ) ( U 3 , C 3 ) is also a covering rough continuous mapping.
Proof. 
For any X U 1 , f is a covering rough continuous mapping. According to Definition 4, we have f ( a p r ¯ ( X ) ) a p r ¯ ( f ( X ) ) . Since f ( X ) U 2 and g is a covering rough continuous mapping, it is easy to obtain that g ( a p r ¯ ( f ( X ) ) ) a p r ¯ ( g ( f ( X ) ) ) . Therefore, g ( f ( a p r ¯ ( X ) ) ) a p r ¯ ( g ( f ( X ) ) ) , and thus, g f ( a p r ¯ ( X ) ) a p r ¯ ( g f ( X ) ) . From Definition 4, we have that g f is a covering rough continuous mapping. □
By Definition 4, Proposition 1, and Theorem 1, it is easy to obtain theorems of covering rough homeomorphism mappings:
Theorem 2. 
Let ( U 1 , C 1 ) and ( U 2 , C 2 ) be two covering approximation spaces and f be a bijective mapping. Then, the following cases are equivalent:
(1) 
If f is a covering rough homeomorphism mapping from ( U 1 , C 1 ) to ( U 2 , C 2 ) , then f 1 is a covering rough homeomorphism mapping from ( U 2 , C 2 ) to ( U 1 , C 1 ) ;
(2) 
For any X U 1 , f ( a p r ¯ ( X ) ) = a p r ¯ ( f ( X ) ) ;
(3) 
For any Y U 2 , f 1 ( a p r ̲ ( Y ) ) = a p r ̲ ( f 1 ( Y ) ) ;
(4) 
For any Y U 2 , f 1 ( a p r ¯ ( Y ) ) = a p r ¯ ( f 1 ( Y ) ) .
Theorem 3. 
Let ( U 1 , C 1 ) , ( U 2 , C 2 ) , and ( U 3 , C 3 ) be covering approximation spaces. Then, we have the following:
(1) 
Identity mapping i : ( U 1 , C 1 ) ( U 1 , C 1 ) is a covering rough homeomorphism mapping.
(2) 
If f : ( U 1 , C 1 ) ( U 2 , C 2 ) is a covering rough homeomorphic mapping, then f 1 : ( U 2 , C 2 ) ( U 1 , C 1 ) is also a covering rough homeomorphism mapping.
(3) 
If f : ( U 1 , C 1 ) ( U 2 , C 2 ) and g : ( U 2 , C 2 ) ( U 3 , C 3 ) are covering rough homeomorphism mappings, then g f : ( U 1 , C 1 ) ( U 3 , C 3 ) is also a covering rough homeomorphism mapping.

4. Separation Properties of Covering Approximation Spaces

Separation properties play an important role in many spaces. In this section, we will define a T 1 -space and discuss its properties. In this segment, we provide a new method for the classification of covering approximation spaces.
Definition 5. 
Let ( U , C ) be a covering approximation space. For any x U , if a p r ¯ ( { x } ) = { x } , covering approximation space ( U , C ) is called a T 1 space.
Example 1. 
Let U be an arbitrary non-empty universe and C = { { x } : x U } . By Definition 3 and Definition 5, it is easy to check that ( U , C ) is a covering approximation space and a T 1 space.
Example 2. 
Let U be an arbitrary non-empty universe, taking C = { U } . By Definition 5, we can easily obtain that ( U , C ) is a covering approximation space but not a T 1 space.
Let U be an arbitrary non-empty universe and C be a covering of U. Then, C can induce a topology τ . Since τ is related to C , we use τ C instead of τ . We say that topological space ( U , τ C ) is induced by covering approximation space ( U , C ) .
Lemma 3. 
Topological space ( U , τ C ) is a topological T 1 space if and only if every single point set in ( U , τ C ) is a closed set.
Theorem 4. 
Let ( U , C ) be a covering approximation space and ( U , τ C ) be a topological space induced by ( U , C ) . Then, covering approximation space ( U , C ) is a T 1 space if and only if ( U , τ C ) is a topological T 1 space.
Proof. 
(⇒) Let covering approximation space ( U , C ) be a T 1 space; by Definition 5, we claim that { x } = N ( x ) for any x U . Otherwise, there exists a N ( x ) such that x a . From Definition 3, we have x a p r ¯ ( { x } ) . Since a p r ¯ ( { x } ) has more than two elements, it contradicts that ( U , C ) is a T 1 space.
We shall prove that { x } ¯ is a closed set. { x } ¯ = { C : C C } = N ( x ) = { x } . By Lemma 3, we obtain that ( U , τ C ) is a topological T 1 space.
(⇐) Let ( U , τ C ) be a topological T 1 space. Then, for any x U , by Definition 3, a p r ¯ ( { x } ) = { y : N ( y ) { x } Ø } = { y : x N ( y ) } = { y : x { y } } = { x } ; therefore, covering approximation space ( U , C ) is a T 1 space. □
Theorem 5. 
Let ( U 1 , C 1 ) and ( U 2 , C 2 ) be two covering approximation spaces and f be a covering rough homeomorphism mapping from covering approximation space ( U 1 , C 1 ) to covering approximation space ( U 2 , C 2 ) ; then, covering approximation space ( U 1 , C 1 ) is a T 1 space if and only if covering approximation space ( U 2 , C 2 ) is a T 1 space.
Proof. 
(⇒) Let covering approximation space ( U 1 , C 1 ) be a T 1 space and f be a mapping from the covering approximation space ( U 1 , C 1 ) to the covering approximation space ( U 2 , C 2 ) ; then, for any y U 2 , there exists a unique x U 1 such that x = f 1 ( y ) . Since the covering approximation space ( U 1 , C 1 ) is a T 1 space, a p r ¯ ( { x } ) = { x } = f 1 ( y ) ; therefore, f ( a p r ¯ ( { x } ) ) = { y } . By Theorem 2, we obtain a p r ¯ ( f ( { x } ) ) = a p r ¯ ( { y } ) = { y } ; thus, ( U 2 , C 2 ) is a T 1 space.
(⇐) We can use a similar method to prove the converse; therefore, we omit it here.
The topological operator plays an important role in general topology and rough sets and provides a method for exchanging information systems [22]. We discuss the necessary and sufficient conditions for D ¯ to be a topological closure operator. □
Theorem 6. 
Let U be a universe and ∗ be a preorder and Euclidean relation on U; then, D ¯ is a topological closure operator on U.
Proof. 
Let R be a binary on U; ∗ is a preorder and Euclidean relation. We shall prove that D ¯ is a topological closure operator on U. Since ∗ is a preorder, then for any X U , we can obtain D ̲ ( X ) X , X D ¯ ( X ) , and D ¯ ( D ¯ ( X ) ) D ¯ ( X ) , and we have X D ¯ ( X ) . We only need to prove that D ¯ satisfies D ¯ ( X Y ) = D ¯ ( X ) D ¯ ( Y ) and D ¯ ( Ø ) = Ø for any X , Y U . By definition D ¯ , we can obtain D ¯ ( Ø ) = Ø . We shall prove D ¯ ( X Y ) = D ¯ ( X ) D ¯ ( Y ) . For any X , Y U , we know that D ¯ ( X ) D ¯ ( X Y ) and D ¯ ( Y ) D ¯ ( X Y ) by X X Y ; thus, D ¯ ( X ) D ¯ ( Y ) D ¯ ( X Y ) . We prove the converse.
For any y D ¯ ( X Y ) , by definition D ¯ , there exists x 0 U such that y s ( x 0 ) and s ( x 0 ) ( X Y ) Ø . Therefore ( s ( x 0 ) X ) ( s ( x 0 ) Y ) Ø ; thus, s ( x 0 ) X Ø or s ( x 0 ) Y Ø . By definition D ¯ , we have y D ¯ ( X ) or y D ¯ ( Y ) . □
In Theorem 6, the converse may not true.
Example 3. 
Let U = { a , b } , = { ( a , a ) , ( a , b ) , ( b , b ) } . By definition D ¯ , we have s ( { a } ) = { a , b } , s ( { b } ) = { b } :
(1) 
D ¯ ( Ø ) = Ø ;
(2) 
D ¯ ( D ¯ ( Ø ) ) = Ø = D ¯ ( Ø ) ;
D ¯ ( D ¯ ( { a } ) ) = { a , b } = D ¯ ( { a } ) ;
D ¯ ( D ¯ ( { b } ) ) = { a , b } = D ¯ ( { b } ) ;
D ¯ ( D ¯ ( { a , b } ) ) = { a , b } = D ¯ ( { a , b } ) ;
(3) 
Ø D ¯ ( Ø ) ;
{ a } D ¯ ( { a } ) ,
{ b } D ¯ ( { b } ) ;
{ a , b } D ¯ ( { a , b } ) ;
(4) 
D ¯ ( Ø ) D ¯ ( Ø ) = Ø = D ¯ ( Ø Ø ) ;
D ¯ ( Ø ) D ¯ ( { a } ) = { a , b } = D ¯ ( Ø { a } ) ;
D ¯ ( Ø ) D ¯ ( { b } ) = { a , b } = D ¯ ( Ø { b } ) ;
D ¯ ( Ø ) D ¯ ( { a , b } ) = { a , b } = D ¯ ( Ø { a , b } ) ;
D ¯ ( { a } ) D ¯ ( { b } ) = { a , b } = D ¯ ( { a } { b } ) ,
D ¯ ( { a } ) D ¯ ( { a , b } ) = { a , b } = D ¯ ( { a } { a , b } ) ,
D ¯ ( { b } ) D ¯ ( { a , b } ) = { a , b } = D ¯ ( { b } { a , b } ) ,
D ¯ ( { a , b } ) D ¯ ( { a , b } ) = { a , b } = D ¯ ( { a , b } { a , b } ) ,
b s ( { a } ) and a s ( { a } ) , but a s ( { b } ) .
From the above, we know that D ¯ is a topological closure operator on U, but ∗ is not a Euclidean relation.
It is natural to inquire about the necessary and sufficient conditions for it to be a topological closure operator.
Definition 6 
([23]). Let = R be an arbitrary binary relation on U. The smallest transitive relation on U containing the relation R is called the transitive closure of R. They denote the transitive closure of R by t ( R ) .
Yu H. et al. obtained that if R is a reflexive relation, then t ( R ) is also a reflexive relation. D, Pei, et al. showed that R is a binary relation on U; then, t ( R ) = R R 2 R n . It is then natural to ask what other properties it has. We will discuss this question.
Definition 7. 
Let U be a non-empty universe and R a binary relation on U. R is called F symmetry if for any x , y U , we have ( x , y ) R and ( y , x ) R .
Theorem 7. 
Let U be a universe, R be an F symmetry relation on U, and n 2 ; then, t ( R ) is a reflexive and F symmetry relation on U.
Proof. 
Since R t ( R ) , we have that t ( R ) is an F symmetry relation. We only need to prove that t ( R ) is a reflexive relation. For any x , y U , we have ( x , y ) R and ( y , x ) R . Thus, ( x , x ) R 2 and ( y , y ) R 2 by n 2 and the composition of R 2 . □

5. Topologies Induced by Relation ∗

Zhao defined the topology of coverings in [23] using only covering approximation spaces. L. Yang et al. defined an open set with R ̲ ( X ) = A 0 and constructed a topology. We shall use relation ∗ and a subset of P ( U ) to construct a topology. If ∗ is a covering relation, the topology induced by ∗ is finer than Zhao’s; if ∗ is a relation R, the topology induced by R is finer than Yang’s. In other words, we propose a new method of constructing topologies using ∗ and take the topology that they constructed as our special case. That is to say, we generalize their methods of constructing topologies.
Lemma 4 
([25]). Let X be a topological space. For every A X , the following conditions are equivalent:
(1) 
Point x belongs to A ¯ ;
(2) 
For every neighborhood U of x, we have U A Ø .
Lemma 5 
([23]). Let ( U , C ) be a covering approximation space. The topology T induced by the covering C is defined as follows: a subset G of U is said to be open in U if for each x G , there are finite elements C 1 , C 2 , , C n of C such that x i = 1 n C i G .
Theorem 8. 
Let U be an arbitrary non-empty universe and ∗ a reflexive relation on U. We construct topology τ using ∗ as follows: V U is called an open set in U if for any x V , there exists a finite family { X i : i I } P ( U ) such that x ̲ ( i I X i ) V .
Proof. 
We prove that τ is a topology.
(1)
It is obvious that Ø and U in τ by the definition condition of an open set.
(2)
For any V 1 , V 2 τ , we show that V 1 V 2 τ . For any x V 1 V 2 , there exist finite families { X i k : k I } and { X j m : m L } such that x ̲ ( k I X i k ) V 1 and x ̲ ( m L X i m ) V 2 . Thus, x ( ̲ ( k I X i k ) ) ( ̲ ( m L X i m ) ) = ̲ ( ( m L X i m ) ( k I X i k ) ) V 1 V 2 . This prove that any finite intersections of elements of τ are still in τ .
(3)
Let { V α : α J } be a family of elements of τ . We need to prove that V = α G V α τ . For any x V , an indexed α 0 J must exist such that x V α 0 . Since V α 0 is open and ∗ is a reflexive relation on U, we can find a finite family { X i : i I } P ( U ) such that x ̲ ( i I X i ) V α 0 V , so V is open. Therefore, the desired result is proved.
Example 4. 
Let U = { a , b , c } be an arbitrary non-empty universe, taking C = { { a , c } , { b , c } } , A = { { b } , { a , b } } P ( U ) , and X = { b } U . By Definition 2, we have ( U , C ) as a covering approximation space, but X is not an open set, by Lemma 5. We also know that A = { { b } , { a , b } } is not a covering of U, but we can obtain b ̲ ( A ) X ; thus, X is an open set in U by Theorem 8.
From Example 4 and Lemma 5, we obtain a topology, which is { Ø , U , { b , c } } . This topology no longer contains more elements. From this angle, we can say that the method of defining the topology in Lemma 5 is limited by coverings. We can construct a finer topology, which is P ( U ) , using Example 4 and Theorem 8. Our method solves the limitation of coverings.
Remark 1. 
(1) For any X U , if x X and ∗ is a reflexive relation on U, we have ̲ ( X ) τ by Theorem 8.
(2) If ∗ is a reflexive relation and ̲ ( X ) = X 0 , we have ̲ ( i I X i ) ̲ ( X ) = X 0 by Theorem 8 and X 0 τ . Therefore, our topology τ induced by ∗ is finer than Yang’s. We generalize Yang’s results.
(3) If ∗ is a reflexive relation and { ̲ ( X ) : X U } = C is a covering of U, then T = τ by Lemma 5 and Theorem 8. We can conclude that our topology is much finer than Zhao’s because ̲ ( i I X i ) ̲ ( X ) X . We also generalize their definition, and their definitions become a special case of our definition.
Theorem 9. 
Let U be an arbitrary non-empty universe, ∗ be a reflexive relation on U, and τ be a topology induced by ∗. Then, we have the following properties:
(1) 
For each x U , { X i : i I } P ( U ) is all the subsets of U which contain x and ∗ is a reflexive relation on U. If V τ is a subset of U and x V , then ̲ ( i I X i ) is the smallest subset of U and x ̲ ( i I X i ) V , denoted by C ( x ) = { ̲ ( X i ) : x ̲ ( X i ) , i I } .
(2) 
If V τ is a subset of U, then V =   x V C ( x ) .
(3) 
Let { ̲ ( X i ) : x ̲ ( X i ) , i I } ; then, { x } ¯ = U \ x ̲ ( X i ) , i I ̲ ( X i ) ;
(4) 
Let ∗ be a reflexive relation on U. For every X U , we have i n t ( ̲ ( X ) ) = ̲ ( X ) , where i n t ( ̲ ( X ) ) represents the interior of ̲ ( X ) .
(5) 
Let { ̲ ( X i ) : x ̲ ( X i ) , i I } be a family subsets of U; then, { ̲ ( X i ) : x ̲ ( X i ) , i I } is a base for ( U , τ ) at point x.
Proof. 
(1) Let V τ be a subset of U and x V . There is a finite subset family { X k : k K } P ( U ) such that x ̲ ( i I X i ) V by Theorem 8. { X i : i I } P ( U ) is all the subsets of U which contains x; then, C ( x ) is the smallest subset of U containing x and C ( x ) ̲ ( k K X k ) . Thus, x C ( x ) ̲ ( k K X k ) V .
(2) Let V τ be a subset of U and x V ; then, we can obtain C ( x ) V by (1). Since { C ( x ) : x V } is a cover of V, V x G C ( x ) ; thus, we have V = x V C ( x ) .
(3) Picking M ( x ) = x ̲ ( X i ) , i I ̲ ( X i ) , ̲ ( X i ) is an open subset of U for very i I by Remark 1 (1), and the union x ̲ ( X i ) , i I ̲ ( X i ) is an open one by ( O 3 ) . It follows that the set U \ x ̲ ( X i ) , i I ̲ ( X i ) is closed, and x ( U \ x ̲ ( X i ) , i I ̲ ( X i ) ) . It is easily seen that { x } ¯ is the smallest closed set containing x. Obviously, { x } ¯ U \ x ̲ ( X i ) , i I ̲ ( X i ) . We shall prove the converse.
For any y U \ { x } ¯ . Since U \ { x } ¯ is an open set containing y, C ( y ) U \ { x } ¯ by (1); therefore, C ( y ) { x } ¯ = Ø and x C ( y ) . There exists a ̲ ( X i 0 ) of { ̲ ( X i ) : x ̲ ( X i ) , i I } such that y ̲ ( X i 0 ) x ̲ ( X i 0 ) . Thus, y M ( x ) and U \ { x } ¯ M ( x ) ; therefore, U \ M ( x ) { x } ¯ .
(4) Let ∗ be a reflexive relation on U, for every X U , from Remark 1 (1), it follows that ̲ ( X ) is an open set. Then, we obtain ̲ ( X ) = i n t ( ̲ ( X ) ) directly by definition of an open set.
(5) Let B ( x ) = { ̲ ( X i ) : x ̲ ( X i ) , i I } . For any V 1 , V 2 B ( x ) and every x V 1 V 2 , there exist finite collections { X i k : k I } and { X j m : m L } such that x ̲ ( k I X i k ) V 1 and x ̲ ( m L X i m ) V 2 . Thus, x ( ̲ ( k I X i k ) ) ( ̲ ( m L X i m ) ) = ̲ ( ( m L X i m ) ( k I X i k ) ) V 1 V 2 . Picking X 0 = ( m L X i m ) ( k I X i k ) , ̲ ( X 0 ) B ( x ) , which satisfies ( B 1 ) of Definition 2.6. B ( x ) obviously satisfies ( B 2 ) of Definition 2.6. We have { ̲ ( X i ) : x ̲ ( X i ) , i I } as a base for ( U , τ ) at point x. □
Theorem 10. 
Let U be an arbitrary non-empty universe, ∗ be a reflexive relation on U, and τ be a topology induced by ∗; then, we have the following properties:
(1) 
For any A U and x U , we have x A ¯ if and only if C ( x ) A Ø if and only if there exists a base B ( x ) at x such that for every V B ( x ) , V A Ø .
(2) 
For any x , y U and x y , C ( x ) = C ( y ) if and only if { x } ¯ = { y } ¯ .
(3) 
Let P x { ̲ ( X i ) : i I } = { y U : i I , ̲ ( X i ) { ̲ ( X i ) : i I } ( x ̲ ( X i ) y ̲ ( X i ) ) } . For any x U , P x { ̲ ( X i ) : i I } = N ( x ) { x } ¯ .
(4) 
Let F be a closed subset of U; then, F = x F { x } ¯ = x F P x { ̲ ( X i ) : i I } .
Proof. 
(1) For any x A ¯ , from Lemma 4, x A ¯ if and only if C ( x ) A Ø can be proved in a similar way.
If C ( x ) A Ø , then V A Ø is obvious. It remains to be shown that if there exists a base B ( x ) at x such that for every V B ( x ) , V A Ø , then x A ¯ . Suppose that x A ¯ does not hold, i.e., x A ¯ . There exists a closed set F such that x F . For the open set V = U \ F , we have x V and V A = Ø . For every base B ( x ) at x, there exists a V B ( x ) such that x V V , and from V A = Ø , it follows that V A = Ø , i.e., for every V B ( x ) , V A Ø does not hold.
(2) If C ( x ) = C ( y ) , we have x { y } ¯ and y { x } ¯ from (1). It is well known that { x } ¯ is the smallest closed set containing x; thus, { x } ¯ { y } ¯ . Similarly, { y } ¯ { x } ¯ ; therefore, we have { x } ¯ = { y } ¯ . If { x } ¯ = { y } ¯ , we shall prove C ( x ) = C ( y ) . Since x { y } ¯ , we have { y } C ( x ) Ø . Thus, y C ( x ) , and therefore, C ( y ) C ( x ) . Similarly, we have C ( x ) C ( y ) ; thus, C ( x ) = C ( y ) .
(3) It is not difficult to prove that P x { ̲ ( X i ) : i I } = { y U : i I , ̲ ( X i ) { ̲ ( X i ) : i I } ( x ̲ ( X i ) y ̲ ( X i ) ) } = { y U : C ( x ) = C ( y ) } . Suppose that y is an element of P x { ̲ ( X i ) : i I } ; then, x C ( y ) . Thus, y { x } ¯ , and then, y C ( x ) { x } ¯ . Therefore, P x { ̲ ( X i ) : i I } C ( x ) { x } ¯ . We shall prove the converse. For any y C ( x ) { x } ¯ . We have y C ( x ) and x C ( y ) by (1); therefore, C ( x ) = C ( y ) . Thus, we have y P x { ̲ ( X i ) : i I } .
(4) For any x F , we have { x } ¯ F , and then, x F { x } ¯ F . { { x } ¯ : x F } is a closed covering of F; thus, we have F x F { x } ¯ . Therefore, F = x F { x } ¯ . F x F P x { ̲ ( X i ) : i I } x F { x } ¯ = F by (3). □
Zhao defined the upper approximation operator COM + ( X ) in [23] by U / as follows: COM + ( X ) = { Y i U / : Y i X Ø } . The following property gives its characterizations.
Proposition 2. 
COM + ( X ) = { Y i U / : Y i X Ø } is a topological closure operator on U.
Proof. 
COM + ( Ø ) = { Y i U / : Y i Ø Ø } = satisfies ( C 3 ) by the definition of closure operator ; for any X U , we claim that X COM + ( X ) = { Y i U / : Y i X Ø } . x X , since U / is a partition of U, there exists Y i 0 U / such that x Y i 0 ; thus, Y i 0 { x } Ø , so we have x COM + ( { x } ) . Therefore, X COM + ( X ) satisfies ( C 2 ) by the definition of closure operator. We shall prove that COM + satisfies ( C 1 ). For any X , Y U , COM + ( X ) ∪ COM + ( Y ) ⊆ COM + ( X Y ) is obvious. We only need to prove the converse.
For any x COM + ( X Y ) , there exists a Y i 0 U / such that x Y i 0 and Y i 0 ( X Y ) Ø . Thus, ( Y i 0 X ) ( Y i 0 Y ) Ø , and then, at least one of ( Y i 0 X ) Ø and ( Y i 0 Y ) Ø is satisfied. Therefore, x COM + ( X ) or x COM + ( Y ) . We have COM + ( X Y ) COM + ( X ) ∪ COM + ( Y ) , which satisfies ( C 1 ) by the definition of closure operator.
Finally, we prove that COM + satisfies ( C 4 ) by the definition of closure operator. For any X U , COM + ( X ) ⊆ COM + (COM + ( X ) ) is obvious. We need to prove the converse. For any x COM + (COM + ( X ) ), there exists Y i 0 U / such that x Y i 0 and Y i 0 COM + ( X ) Ø . Then, there exists an x 0 such that x 0 Y i 0 COM + ( X ) ; therefore, there exists a Y i 1 U / such that x 0 Y i 1 and Y i 1 X Ø . Since U / is a partition of U and x 0 Y i 0 , x 0 Y i 1 ; then, Y i 0 = Y i 1 . Thus, x Y i 1 and Y i 1 X Ø , and then, x COM + ( X ) . We can obtain COM + (COM + ( X ) )⊆ COM + ( X ) . □

6. Conclusions

In this paper, we have proposed new concepts and investigated the relationship among covering approximation spaces. We have obtained some interesting properties of covering spaces by covering rough continuous mapping and covering rough homeomorphism mapping. We can provide a method for the classification of covering approximation spaces. In future work, it is worth investigating the properties of the other approximation spaces and obtaining the method for general approximation spaces.

Author Contributions

X.S. established a theoretical framework and completed some proofs. P.W. assisted X.S. in completing the theoretical proof, while R.W. and H.E. assisted in proving and revising the paper. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the Natural Science Foundation of China (NO.12261096), and the Guangxi One Thousand Young and Middle-aged College and University Backbone Teachers Cultivation Program (No. [2019] 5).

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare that they have no known competing financial interest or personal relationships that could have appeared to influence the work reported in this paper.

References

  1. Zadeh, L.A. Fuzzy sets. Inf. Control 1965, 8, 338–353. [Google Scholar] [CrossRef]
  2. Zadeh, L.A. Fuzzy logic=computing with words. IEEE Trans. Fuzzy Syst. 1996, 4, 103–111. [Google Scholar] [CrossRef]
  3. Pawlak, Z. Rough Sets: Theoretical Aspects of Reasoning about Data; Kluwer Academic Publishers: Boston, Germany, 1991. [Google Scholar]
  4. Mrozek, A. Methodology of rough controller synthesis. In Proceedings of the IEEE International Conference on Fuzzy Systems, New Orleans, LA, USA, 8–11 September 1996; pp. 1135–1139. [Google Scholar]
  5. Tsumoto, S. Automated discovery of medical expert system rules from clinical database on rough set. In Proceedings of the Second International Conference on Knowledge Discovery and Datamining, Portland, OR, USA, 2–4 August 1996; Volume 32, pp. 63–72. [Google Scholar]
  6. Wang, J.C.; Dai, H.P.; Huang, F.; Sun, Y.X. Study on the application of rough set theory in substrate feeding control and fault diagnosis in fermentation process. Comput. Eng. Appl. 2004, 16, 203–205. (In Chinese) [Google Scholar]
  7. Yang, B.; Hu, B. A fuzzy covering-based rough set model and its generalization over fuzzy lattice. Inf. Sci. 2016, 367–368, 463–486. [Google Scholar] [CrossRef]
  8. Kondo, M. On the structure of generalized rough sets. Inf. Sci. 2005, 176, 589–600. [Google Scholar] [CrossRef]
  9. Pawlak, Z. Rough sets. Int. J. Comput. Inf. Sci. 1982, 11, 341–356. [Google Scholar] [CrossRef]
  10. Wang, P.; Li Q., G. The characterizations of upper approximation operators based on covering. Soft Comput. 2019, 23, 3217–3228. [Google Scholar] [CrossRef]
  11. Pawlak, Z.; Skowron, A. Rudimentsofroughsets. Inf. Sci. 2007, 177, 3–27. [Google Scholar] [CrossRef]
  12. Pawlak, Z.; Skowron, A. Rough sets: Some extensions. Inf. Sci. 2007, 177, 28–40. [Google Scholar] [CrossRef]
  13. Zakowski, W. Approximations in the space (U,C). Demonstr. Math. 1983, 16, 761–769. [Google Scholar]
  14. Zhang, Y.L.; Luo, M.K. Relationshipsbeweencovering-basedrough sets and relation-based rough sets. Inf. Sci. 2013, 225, 55–71. [Google Scholar] [CrossRef]
  15. Chen, J.K.; Lin, Y.J.; Lin, G.P.; Li, J.J.; Ma, Z.M. Intuitionistic Fuzzy Rough Set-Based Granular Structures and Attribute Subset Selection. Inf. Sci. 2015, 325, 87–97. [Google Scholar] [CrossRef]
  16. Li, J. Topological Method in Covering Generalized Rough Set Theory. Pattern Recognit. Artif. Intell. 2004, 17, 7–10. (In Chinese) [Google Scholar]
  17. Wang, P.; Li, Q.G. The rough membership function based on C ¯ 10 and its applications. J. Intell. Fuzzy Syst. 2017, 32, 279–289. [Google Scholar] [CrossRef]
  18. Wang, P.; Wu, Q.J.; He, J.; Shang, X. Approximation Operator Based on Neighborhoods Systems. Symmetry 2018, 10, 539. [Google Scholar] [CrossRef]
  19. Zhang, W.; Wu, W.; Liang, J.; Li, D. Rough Set Theory and Method; Beijing Science Press: Beijing, China, 2001. (In Chinese) [Google Scholar]
  20. Zhu, W. Topological approaches to covering rough sets. Inf. Sci. 2007, 177, 1499–1508. [Google Scholar] [CrossRef]
  21. Ge, X.; Li, Z. Definable subset in covering approximation spaces. Int. J. Comput. Math. Sci. 2011, 5, 31–34. [Google Scholar]
  22. He, J.; Wang, P.; Li, Z. Uncertainty Measurement for a Set-Valued Information System: Gaussian Kernel Method. Symmetry 2019, 11, 199. [Google Scholar] [CrossRef]
  23. Zhao, Z. On some type of covering rough sets from topological points of view. Int. J. Approx. Reason. 2016, 68, 1–14. [Google Scholar] [CrossRef]
  24. Yang, L.; Xu, L. Topological properties of generalized approximation spaces. Inf. Sci. 2011, 181, 3570–3580. [Google Scholar] [CrossRef]
  25. Engelking, R. General Topology; Polish Scientific Publishers: Warsaw, Poland, 1977. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Shang, X.; Wang, P.; Wu, R.; E, H. Continuous Mapping of Covering Approximation Spaces and Topologies Induced by Arbitrary Covering Relations. Symmetry 2023, 15, 1808. https://0-doi-org.brum.beds.ac.uk/10.3390/sym15101808

AMA Style

Shang X, Wang P, Wu R, E H. Continuous Mapping of Covering Approximation Spaces and Topologies Induced by Arbitrary Covering Relations. Symmetry. 2023; 15(10):1808. https://0-doi-org.brum.beds.ac.uk/10.3390/sym15101808

Chicago/Turabian Style

Shang, Xiao, Pei Wang, Ronghuo Wu, and Hanyu E. 2023. "Continuous Mapping of Covering Approximation Spaces and Topologies Induced by Arbitrary Covering Relations" Symmetry 15, no. 10: 1808. https://0-doi-org.brum.beds.ac.uk/10.3390/sym15101808

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop