Abstract

Two kinds of homomorphisms of fuzzy approximation spaces based on complete residuated lattice are proposed. The homomorphisms are structure-preserving maps in some sense. We also introduce the fuzzy approximation subspaces and investigate their correspondence with the homomorphisms. Given a fuzzy equivalence relation, the factor set of the fuzzy approximation space is discussed.

1. Introduction

The rough set theory proposed by Pawlak [1, 2] is a mathematical tool to deal with intelligent systems characterized by insufficient and incomplete information. Its key concept is a pair of lower and upper approximation operators based on an equivalence relation. Through the pair of operators, the hidden information may be unraveled. Rough set theory has received much attention in the past decades. The successful applications of rough set theory in a variety of problems have fully demonstrated the usefulness of rough set theory.

In Pawlak’s rough set theory, equivalence relation is an important concept. The lower and upper approximation operators are built from the equivalence classes. By replacing equivalence relations with arbitrary binary relations, generalizations of Pawlak’s rough set have been obtained. Fuzzy sets provide a convenient tool for representing vague concepts by allowing partial memberships. So by replacing the binary relations with fuzzy ones, various kinds of fuzzy rough sets could be obtained [310]. As in classical rough set theory, there are two approaches [11] to deal with the fuzzy case, named the constructive and axiomatic ones. Fuzzy rough sets based on residuated lattice were proposed by Radzikowska and Kerre in [12]. She and Wang discussed the axiomatic approach of the fuzzy rough sets based on residuated lattice in [13].

Sometimes it is necessary to construct the connection of two approximation spaces, in order to transmit information hidden in them. And also we want to deal with a small database rather than a large one, so building the communication between them is very important. The homomorphisms between rough sets are proposed by Graymala-Busse in [14], in order to deal with the correspondence between two information systems. It is very useful in dealing with data compression in information systems and approximation spaces. In [15, 16], Wang et al. proposed the type 1 and type 2 consistent functions, then introduced the homomorphisms in terms of the consistent function of information systems and the fuzzy information systems, respectively. Then Zhu and Wen revisited the homomorphisms between information systems (classical and fuzzy case, resp.) in [17, 18]. And the predecessor-consistent function and successor-consistent function have been introduced, they are just the type 1 and type 2 consistent functions in [17, 18]. The researchers explored more about invariant properties under the homomorphisms in the literature.

In this paper, we discuss the homomorphisms between fuzzy rough approximation spaces based on complete residuated lattice. We propose the homomorphisms between them as structure preserving maps and discuss their properties. The fuzzy approximation subspaces and the factor sets of fuzzy approximation spaces are introduced. The relationship between the factor sets and the homomorphisms is also investigated.

We focus on the homomorphism between fuzzy approximation spaces in this paper. It is organized as follows. In Section 2, we recall some fundamental properties of residuated lattice, -fuzzy sets and -fuzzy relations. Some basic properties of -fuzzy rough sets are also given in Section 2. In Section 3, we introduce the Z-homomorphisms induced by Zadeh’s forward operators and discuss their properties. The fuzzy approximation subspaces are proposed in Section 4 and the correspondence with the homomorphisms is also discussed. In Section 5, we propose another kind of homomorphisms that relies more heavily on the relations of the two fuzzy approximation spaces. The factor set of fuzzy approximation spaces is also introduced in this section. Section 6 carries the conclusions.

2. Preliminaries

A residuated lattice [19, 20] is an algebra with two binary operations on such that(1) is a bounded lattice with the greatest element 1 and the least element 0;(2) is a commutative monoid and is isotonic at both arguments;(3) are adjoint pairs; that is, if and only if for all .

A residuated lattice is said to be complete if the underlying lattice is complete.

In what follows, is sometimes called a generalized triangular norm and the implicator is called the residuum of . An implicator is called left monotonic (resp., right monotonic) if is decreasing for every (resp., is increasing). If is both left and right monotonic, it is called hybrid monotonic.

In the paper, always denotes a complete residuated lattice if not otherwise specified. The precomplement on is the map defined by for every . Some basic properties of complete residuated lattices are as follows (more properties about complete residuated lattices can be referred to in [19, 20]):(1), ;(2), ;(3);(4), ;(5);(6), ;(7), ;(8), ;(9);(10); .

If holds for every , then is called involutive. In this case, the following conditions hold:(11); ;(12).

When the operator is exactly the operator of the residuated lattice, it is called Heyting algebra. A complete Heyting algebra is a special case of complete residuated lattice, it is also called frame.

In [21], Goguen first introduced -fuzzy set as a generalization of Zadeh’s-fuzzy set, where is a complete residuated lattice. An -fuzzy set on is a map and all the -fuzzy sets on are denoted by . For every , we use to denote the constant -fuzzy set on . For , we denote if for every .

Given two -fuzzy sets and , new -fuzzy sets can be induced as follows:;;;;.

In [2227], various types of reflexivities, antisymmetries, and transitivities are investigated. According to these notions, proximity and similarity fuzzy relations, fuzzy partitions, and fuzzy orderings, fuzzy equivalences are introduced. Properties of these fuzzy binary relations and operations on them are also studied.

An -fuzzy relation [21] on is a map , where denotes the degree between and , .

is serial if for every , ; is reflexive if for all ; is transitive if for all ; is symmetric if for all ; is antisymmetric if for all , implies that .

A reflexive, symmetric, and transitive -fuzzy relation on a set is called a fuzzy equivalence relation [28]. The antisymmetric fuzzy equivalence relation is called a fuzzy equality. The set of fuzzy equivalence relations on forms a complete lattice. The meet coincides with the intersection of the -fuzzy relations, but the join does not coincide with the ordinary union.

Let be a fuzzy equivalence relation on a set . For every , is called a fuzzy equivalence class determined by , where for every . The set is called the factor set of with respect to .

Lemma 1 (see [28]). Let be a fuzzy equivalence relation on a set . Then, for every , the following is true: (1);(2).

The notion of fuzzy rough sets based on residuated lattice was proposed by Radzikowska and Kerre in [12]. By taking complete residuated lattices instead of as the truth value structures, it differs from the concept of fuzzy rough sets that are investigated in [410].

Definition 2 (see [12, 13]). Let be a complete residuated lattice, a nonempty set, and an -relation on . is called an -fuzzy approximation space. For every and every , and are defined as

and are called an upper and lower -fuzzy rough approximation of , respectively. The pair is called the fuzzy rough set of ; if , then is called -definable fuzzy set.

It is easy to check that fuzzy rough set defined above is a wide generalization of -fuzzy rough sets [10], where is a -norm and is the residual implicator based on . In the case when , and can be reduced to crisp subsets of and , respectively, and and are precisely the corresponding concepts in classical rough set theory. Nevertheless, , which is true in the classical case, is not true in the fuzzy setting.

The following proposition provides basic properties of the lower and upper -fuzzy rough approximation operators.

Proposition 3 (see [12, 13]). Let be a complete residuated lattice and an -fuzzy approximation space. Then for all and (for all ), (1), ; (2)If , then , ; (3), , ; (4), ; (5), ; (6), ; (7), ; (8), , where , defined by

It is necessary to mention that when is not involutive, and are not dual to each other. So many results of based on complete residuated lattice are not dual to as in many other kinds of fuzzy rough sets. However, the following proposition shows that and are dual to each other when the truth value is an involutive complete residuated lattice.

Proposition 4 (see [13]). Let be an involutive complete residuated lattice and an -fuzzy approximation space. Then for every , , .

For more details about fuzzy rough sets based on residuated lattices, please refer to [12, 13]. In the following, we use fuzzy instead of -fuzzy for the consistency of the context.

3. Homomorphism Determined by Zadeh’s Fuzzy Forward Operators

In this section, we always assume that is a complete residuated lattice. Let be a map, the Zadeh’s fuzzy forward operators and fuzzy backward operators are defined as follows:

In this section, we proposed the Z-homomorphisms determined by Zadeh’s forward operators between fuzzy approximation spaces based on complete residuated lattice. Some of their properties are discussed.

Definition 5. Let , be fuzzy approximation spaces and a map. Then is called an upper Z-homomorphism if it satisfies , for every ; is called a lower Z-homomorphism if it satisfies , for every ; is called a Z-homomorphism if it is both fuzzy upper and fuzzy lower Z-homomorphism.

We call a map relation-preserving if and only if ; is called relation-embedding if ; is called relation-isomorphism if is bijective and relation-embedding. For every , denotes the fuzzy subset of , where

Theorem 6. Let , be fuzzy approximation spaces and a map. Then is an upper Z-homomorphism if and only if is relation-preserving.

Proof. For every , Since is an upper Z-homomorphism, we have ; that is, is relation-preserving.
On the other hand, for every , , Since is a relation-preserving map, we have , for such that . So . Hence, Therefore, .

Corollary 7. Let , be fuzzy approximation spaces and a map. Then is an upper Z-homomorphism if and only if for every .

Proof. The claim is easily derived from Theorem 6.

Corollary 8. Let , be fuzzy approximation spaces and a surjective upper Z-homomorphism. Then the following assertions hold: (1)If is serial, then is serial;(2)If is reflexive, then is reflexive.

Proof. Since is surjective, for every , there exists a , such that .(1)Assume that is serial, we have Hence, is serial.(2), so we have that is reflexive.

Proposition 9. Let ,  be fuzzy approximation spaces and a lower Z-homomorphism. If , are reflexive and transitive, then .

Proof. For every , , , is reflexive and transitive as follows: Since is a lower Z-homomorphism, we have . Therefore, .

Theorem 10. Let be an involutive complete residuated lattice, , be fuzzy approximation spaces, and be bijective. Then the following assertions hold: (1) is an upper Z-homomorphism if and only if ;(2) is a lower Z-homomorphism if and only if ;(3) is a Z-homomorphism if and only if and . Moreover, .

Proof. Since is bijective, there exists a unique such that for every . So for every , we have . Therefore, is an upper Z-homomorphism The duality of and is guaranteed when is involutive.
It could be proved similarly as .
It follows , , and Definition 5. From Theorem 6, we have .

Proposition 11. If is not involutive, is a bijective Z-homomorphism, we also have .

Proof. Since is bijective, for every , there exists a unique such that . So for every , Because is a homomorphism, we have and is relation-preserving. Therefore, . So .

Proposition 12. Let be an involutive complete residuated lattice, , be fuzzy approximation spaces, and be a bijective map. Then is a Z-homomorphism if and only if is a Z-homomorphism.

Proof. Assume that is a bijective Z-homomorphism, for every , we have From Theorem 10, . We can also prove that via direct computing. Therefore, is a Z-homomorphism. The converse could be proved similarly.

Remark 13. Assume that is not involutive, and , are fuzzy approximation spaces. (1) is a bijective Z-homomorphism, we could not deduce that is a bijective Z-homomorphism in general.(2)If and are both bijective upper Z-homomorphisms, then . Certainly, if and are both bijective Z-homomorphism, we also have .

Proposition 14. Let be an involutive complete residuated lattice, , fuzzy approximation spaces, and a bijective Z-homomorphism, then the following assertions hold: (1) is serial if and only if is serial; (2) is reflexive if and only if is reflexive; (3) is symmetric if and only if is symmetric; (4) is transitive if and only if is transitive.

Proof. It is easy to verify from Theorem 10.

4. Approximation Subspaces

In this section, we introduce the fuzzy approximation subspaces. Let be fuzzy approximation space and a fuzzy equivalence relation, we firstly investigate some properties of -definable fuzzy sets.

Lemma 15. Let be fuzzy approximation space and a fuzzy equivalence relation. Then for every , (1), for every ;(2), for every ;(3) is a -definable fuzzy set if and only if , for every .

Proof. If , then for every . So for every , we have . And this is equivalent to for every .
Conversely, for every , implies that for every . Since is reflexive, we have .
It could be proved similarly as in .
It is immediately a deduction of and .

Lemma 16. Let be fuzzy approximation space and a fuzzy equivalence relation. If , are -definable fuzzy sets, then , , , are -definable fuzzy sets. -definable fuzzy sets of are closed under arbitrary intersection and union.

Proof. Assume that , are -definable fuzzy sets as follows: According to Lemma 15, we have which is -definable fuzzy set. The claim that , , are -definable fuzzy sets could be proved similarly.

Lemma 17. Let be fuzzy approximation space and a fuzzy equivalence relation. Then every fuzzy equivalence class is -definable fuzzy set for . Moreover, , where is the set of -definable fuzzy sets.

Proof. Since is transitive, for every , we have and ; that is, and . Because is symmetric, we have . Therefore, . Obviously, . So we have since every fuzzy equivalence is a -definable fuzzy set. For every , . Hence, .

We propose the fuzzy approximation subspaces induced by fuzzy sets and investigate some of their properties. Let be a fuzzy approximation space, a fuzzy equivalence relation, and . We define , where for every . Obviously, is a fuzzy equivalence relation on .

Definition 18. Let be fuzzy approximation space, an equivalence relation, and . If and for every , is called a fuzzy approximation subspace of .

The next theorem characterizes the correspondence between -definable fuzzy sets and fuzzy approximation subspaces.

Theorem 19. Let be fuzzy approximation space, a fuzzy equivalence relation, and . Then the following is equivalent: (1) is a -definable fuzzy set;(2) for every ;(3) for every ;(4) is fuzzy approximation subspace of .

Proof. . Since is a -definable fuzzy set, we have . So for every .
Conversely, for every . We assume that , for all , then for every , that is, . Therefore, . That is to say, is a -definable fuzzy set.
. We only prove that for every which implies that is a -definable fuzzy set. Assume that , for all , we have for every ; that is, . Hence, is a -definable fuzzy set.
. It is obvious from the verification of , , and Definition 18.

We could construct fuzzy approximation subspaces via given ones. Let be fuzzy approximation space and an equivalence relation. Then the union, intersection, and negation of the fuzzy approximation subspaces are defined as follows. Let ,

Proposition 20. Let be fuzzy approximation space, an equivalence relation, and , are -definable fuzzy sets. Then the following assertions hold. (1), , , , ; (2), , , , are fuzzy approximation subspaces of . Moreover, the set of all fuzzy approximation subspaces of is a complete lattice.

Proof. Since , are -definable fuzzy sets, is -definable fuzzy set. So we have , , . Hence, . Similarly, the equations in could be proved.
According to and Theorem 19, it is easy to verify that and are -definable fuzzy set. Therefore, the set of all fuzzy approximation subspaces of is a complete lattice.

5. Homomorphisms between Fuzzy Rough Approximation Spaces

In this section, we proposed the homomorphisms between two fuzzy approximation spaces based on Frames. Let , be fuzzy approximation spaces and a map. We define the fuzzy forward operators as follows. For every , , And we define the fuzzy backward operators as follows. For every , , Let be a crisp binary relation on a set , for any ; we use the notation and .

When , , are crisp relations on , , respectively, and , , then So are defined as generalizations of , , ; are generalizations of preimage operators of , , .

Next, we introduce homomorphisms between fuzzy approximation spaces according to the fuzzy forward operators.

Definition 21. Let , be fuzzy approximation spaces and a map. Then is called an upper homomorphism if it satisfies , for every ; is called a lower homomorphism if it satisfies , for every ; is called a homomorphism between fuzzy approximation space if it is both fuzzy upper and fuzzy lower homomorphism.

Remark 22. We can also define homomorphisms between fuzzy approximation spaces according to . The three kinds of homomorphisms are the same when is symmetric. And in the paper, we only discuss the homomorphisms in Definition 21. Most of their properties could be generalized to the other two kinds.

Theorem 23. Let , be fuzzy approximation spaces and a map. When is reflexive and transitive, is an upper homomorphism if and only if is relation-preserving.

Proof. For every , Since is an upper homomorphism and is reflexive, transitive, we have ; that is, is relation-preserving.
On the other hand, for every , , Since is a relation-preserving map, we have , for every . So, Therefore, .

Corollary 24. Let , be fuzzy approximation spaces and a map. When is reflexive and transitive, is an upper homomorphism if and only if for every .

Proof. The claim is easily derived from Theorem 23.

Corollary 25. Let , be fuzzy approximation spaces, reflexive and transitive, then is an upper Z-homomorphism if and only if it is an upper homomorphism.

Proof. The claim is easily derived from Theorems 6 and 23.

Proposition 26. Let , be fuzzy approximation spaces. (1)If is a lower homomorphism, , are reflexive and transitive, then . (2)If is an upper homomorphism and , are fuzzy equivalence relations on , , respectively, then .

Proof. For every , , , is reflexive and transitive as follows: Since is a lower homomorphism, we have . Therefore, .
Since is an upper homomorphism, we have for every . For every , Since is an upper homomorphism, . The converse is obvious.

Corollary 27. Let , be fuzzy approximation spaces, a bijective map, and , fuzzy equivalence relations on , , respectively. If and are both upper homomorphisms, then for every . Moreover, for every .

Proof. The claim is followed from Proposition 26. Since is bijective, for every , in terms of (20), Theorem 23.

Corollary 28. Let , be fuzzy approximation spaces and a map, , are fuzzy equivalence relations on , , respectively. If is a relation isomorphism, then is -definable set when is -definable set, for every .

Proof. Since is relation isomorphism, is bijective and for every . From a direct computation, we obtain that is a homomorphism between , . So for every . Assume that is a -definable fuzzy set, then . Hence , because is a homomorphism. The converse is obvious, since is a fuzzy equivalence relation.

Let be a fuzzy approximation space and a fuzzy equivalence relation on . We define a fuzzy relation on the quotient set via for every .

First, we show that is a map. For every , such that , we have

Proposition 29. Let be a fuzzy approximation space and a fuzzy equivalence relation on . is the fuzzy relation defined by (25). Then the following assertions hold: (1)If is reflexive, then is reflexive; (2)If is symmetric, then is symmetric.

Proof. The claim is easy to verify from (25).

If is transitive, we could not obtain that is transitive in general. Moreover, even is a fuzzy equivalence relation; is not transitive in general. In the following, our discussion is limited within the scope of fuzzy equivalence relations. Let , be fuzzy approximation spaces and a surjective homomorphism. We define a fuzzy equivalence relation on , for every , by Obviously, is a fuzzy equivalence relation on and . For convenience, we let ; then is a fuzzy equivalence relation on .

Since the homomorphisms of fuzzy approximation spaces play an important role in data compression and information transmission, so next we introduce the quotient homomorphism.

Proposition 30. Let , be fuzzy approximation spaces, where , are fuzzy equivalence relations. If is a surjective homomorphism, then the quotient map is a homomorphism.

Proof. For every , , Since is a homomorphism, we have ; that is, is a lower homomorphism. Similarly, we could prove that is an upper homomorphism.

Proposition 31. Let , be fuzzy approximation spaces, where , are fuzzy equivalence relations. If is a surjective homomorphism and is a fuzzy equality, then is a bijective homomorphism, where for every .

Corollary 32. Let be a fuzzy approximation space and , fuzzy equivalence relations on . If , then the quotient map is a homomorphism.

6. Conclusions

We have discussed two kinds of homomorphisms between fuzzy approximation spaces based on complete residuated lattices in this paper. The notion of homomorphism established the communication of two universes, so we can deal with one fuzzy approximation space in terms of information of another one. We also have investigated fuzzy approximation subspaces and their correspondence with definable fuzzy sets. Under some particular conditions, the factor sets of fuzzy approximations spaces are also discussed. In the future, we will intend to study the application of homomorphisms of fuzzy approximation spaces. Moreover, we will investigate the communication between the fuzzy covering rough sets.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

The author would like to thank editor Kazutake Komori and the anonymous referees for their valuable suggestions in improving this paper.