Research Article | Open Access
Rajesh K. Thumbakara, "On Intuitionistic Fuzzy Filters of Intuitionistic Fuzzy Coframes", Journal of Mathematics, vol. 2013, Article ID 793824, 10 pages, 2013. https://doi.org/10.1155/2013/793824
On Intuitionistic Fuzzy Filters of Intuitionistic Fuzzy Coframes
Frame theory is the study of topology based on its open set lattice, and it was studied extensively by various authors. In this paper, we study quotients of intuitionistic fuzzy filters of an intuitionistic fuzzy coframe. The quotients of intuitionistic fuzzy filters are shown to be filters of the given intuitionistic fuzzy coframe. It is shown that the collection of all intuitionistic fuzzy filters of a coframe and the collection of all intutionistic fuzzy quotient filters of an intuitionistic fuzzy filter are coframes.
Frame theory is topology seen through notions of lattice theory; here one takes the lattice of open sets as the basic notion. The concept of Frames has been studied by many mathematicians including Banaschewski, Dowker, and Johnstone. For details one can refer to [1–3]. In 1965 Zadeh  introduced the concept of fuzzy sets as the generalization of ordinary subsets. The concept of ideals of a fuzzy subring was studied by Mordeson and Malik in  and Prajapati in . In 1983, Atanassov  proposed a generalization of the notion of fuzzy set, known as intuitionistic fuzzy sets. In our earlier paper [8, 9], we introduced the concept of intuitionistic fuzzy frames and intuitionistic fuzzy filters of a frame. In this paper, intuitionistic fuzzy filters of a coframe and intuitionistic fuzzy filters of an intuitionistic fuzzy coframe are studied and examined. Subcoframe of the collection of all intuitionistic fuzzy filters of the coframe is obtained.
In this section we will review some fundamental definitions.
Definition 1. Let be any set; then for any arbitrary , and .
Definition 6 (see ). Let be a nonempty set. An intuitionistic fuzzy set (IFS) of is an object of the form , where and define, respectively, the degree of membership and the degree of nonmembership of the element and , for all .
Definition 7 (see ). Let be a coframe then an IFS in is called an intuitionistic fuzzy coframe (IFCF) of if it satisfies the following conditions:(i) for all ,(ii) for arbitrary ,(iii) for all , where and are, respectively, the unit and zero element of the coframe .
Definition 8 (see ). If is a family of IFS of where , then
Definition 9 (see ). The operation of meet and join on a coframe can be extended to operations and on the set of all intuitionistic fuzzy set IFS of as follows.
For one has where and where and .
The original operation and on a coframe can be retrieved from and by embedding into IFS as the set of all intuitionistic fuzzy singletons each of which is an IFS, where
Lemma 10 (see ). Let ; then (i) (ii).
3. Intuitionistic Fuzzy Filter of a Coframe
In this section, we show that the collection of all intuitionistic fuzzy filters of the coframe is a coframe. We use to denote intuitionistic fuzzy filter of the coframe .
Definition 11 (see ). Let be a coframe; then an IFS on is said to be an if (F1), for all , for all ,(F2), for all , for all ,(F3) where is the unit element of .
Lemma 12 (see ). If and are any two , then, is an .
Result 1 (see ). Union of any two needs not be an .
Definition 13. Let be an IFS. Let where means and for all . Then is called the generated by .
Theorem 14. Let be two ; then is an and .
Proof. Let ; then Hence . Similarly, we have . Thus, . Also,(F1)(F2)
Similarly, we have for all .
Therefore, , for all
Similarly, we have for all .
Therefore, , for all .(F3) Since , clearly and since , we have .
Thus if , are , then is an .
Now let be any such that , then, Hence . Thus is the smallest filter of such that .
Proposition 15. Let , be two ; then .
Proof. We have, for , and . Hence .
Now since and hence and for Hence . Therefore .
Theorem 16. Given an arbitrary collection and of , then
Remark 17. If we interchange the roles of and in Theorem 16, only one-sided inequality holds.
Theorem 18. The set of all intuitionistic fuzzy filters of the coframe is a coframe.
4. Intuitionistic Fuzzy Filter of an Intuitionistic Fuzzy Coframe
Definition 19. Let be an intuitionistic fuzzy coframe (IFCF) of and an IFS with . Then is called an intuitionistic fuzzy filter of if(i) .(ii) for all . for all .(iii) and where is the unit element of .If is an , then we write .
Theorem 20. Let be an IFCF of and an . Then is an .
Proof. Obviously and(i)(ii)(iii) also clearly and where is the unit element of .
Theorem 21. Let be an IFCF of , and let , be two . Then is also an .
Proof. Clearly also(i)(ii)(iii) also and .
Theorem 22. Let be an IFCF of and an with . Then is an if and only if(i); for all ,(ii),(iii) and .
Proof. Suppose conditions (i), (ii), and (iii) holds to prove that is an .
Since , one has Also and for all .
Hence, Therefore is an .
Conversely if is an , we have , , and , from Definition 19.
Now for all with , and . Hence .
Theorem 23. Let be an IFCF of , and let , be two ; then is an and , .
Proof. (i) We have and from the proof of Theorem 14.
(ii) Now by Theorem 22 since , are IFF(), we have and .
Hence by Lemma 10.
(iii) Also clearly and .
Hence is an by Theorem 22.
Again and for every .
Hence . Similarly .
5. Quotient of Intuitionistic Fuzzy Filters of the Intuitionistic Fuzzy Coframe
Definition 24. Let be an IFCF of , and let , be . Then the quotient of by is denoted as and is defined as The collection of all quotients of any intuitionistic fuzzy filter of is denoted by .
Theorem 25. Let be an IFCF of , and let be . Then is an . Also .
Proof. Let . Suppose , then and are such that and . Now by Theorem 23 is an .
Now by Lemma 10 and since Hence .
Now also since .
Hence Now Similarly .
Thus Now Similarly .
Hence Also Now from (27), (29), (31), and (32), is an .
Also clearly . Since is an , we have by Theorem 22, .
Now by Lemma 10 since , we have . Hence and so . Thus .
Theorem 26. Let be an IFCF of , and let , , be . Then the following holds:(1)if ; then and ,(2)if ; then ,(3),(4).
Proof. Let . Let and .
If , then . Therefore and hence .
So and hence .
Similarly it can be shown that .
Let . We have . Also implies that .
Hence , and so . Also since is an , .
We have . So from Theorem 26(2) we have .
We have by Theorem 23 is an and .
Hence from Theorem 26(1).
Let and .
If , then . Now since , by Lemma 10.
Also by Theorem 22, implies . Hence .
Therefore, by Lemma 10, and hence .
So . Thus .
Corollary 27. Let be an IFCF of , and let , be . Then(1),(2),(3).
Theorem 28. Let be an IFCF of , and let , , be . Then .