- Research
- Open access
- Published:
Redefined intuitionistic fuzzy bi-ideals of ordered semigroups
Journal of Inequalities and Applications volume 2013, Article number: 397 (2013)
Abstract
In this article, we try to obtain a more general form than -intuitionistic fuzzy bi-ideals in ordered semigroups. The notion of an -intuitionistic fuzzy bi-ideal is introduced, and several properties are investigated. Characterizations of an -intuitionistic fuzzy bi-ideal are established. A condition for an -intuitionistic fuzzy bi-ideal to be an intuitionistic fuzzy bi-ideal is provided. It is shown that every -intuitionistic fuzzy bi-ideal is an -intuitionistic fuzzy bi-ideal, and every -intuitionistic fuzzy bi-ideal is an -intuitionistic fuzzy bi-ideal but the converse is not true. The important achievement of the study with an -intuitionistic fuzzy bi-ideal is that the notion of an -intuitionistic fuzzy bi-ideal is a special case of an -intuitionistic fuzzy bi-ideal, and, thus, several results in the paper (Jun et al. in Bi-ideals of ordered semigroups based on the intuitionistic fuzzy points (submitted)) are the corollaries of our results obtained in this paper.
1 Introduction
In mathematics, an ordered semigroup is a semigroup together with a partial order that is compatible with the semigroup operation. Ordered semigroups have many applications in the theory of sequential machines, formal languages, computer arithmetics, design of fast adders and error-correcting codes. The concept of a fuzzy filter in ordered semigroups was first introduced by Kehayopulu and Tsingelis in [1], where some basic properties of fuzzy filters and prime fuzzy ideals were discussed. A theory of fuzzy generalized sets on ordered semigroups can be developed. Mordeson et al. in [2] presented an up-to-date account of fuzzy sub-semigroups and fuzzy ideals of a semigroup. Murali [3] proposed the definition of a fuzzy point belonging to a fuzzy subset under a natural equivalence on fuzzy subset. The idea of quasi-coincidence of a fuzzy point with a fuzzy set played a vital role in generating different types of fuzzy subgroups. Bhakat and Das [4, 5] gave the concepts of -fuzzy subgroups by using the ‘belong to’ relation and ‘quasi-coincident with’ (q) relation between a fuzzy point and a fuzzy subgroup, and introduced the concept of -fuzzy subgroup. In [6], Davvaz started the generalized fuzzification in algebra. In [7], Jun et al. initiated the study of -fuzzy bi-ideals of an ordered semigroup. In [8], Davvaz and Khan studied -fuzzy generalized bi-ideals of an ordered semigroup. Shabir et al. [9] studied characterization of regular semigroups by -fuzzy ideals. Jun et al. [10] discussed a generalization of -fuzzy ideals of a -algebra. Using the idea of a quasi-coincidence of a fuzzy point with a fuzzy set, Jun et al. [11] introduced the concept of -intuitionistic fuzzy bi-ideals in an ordered semigroup. They introduced a new sort of intuitionistic fuzzy bi-ideals, called -intuitionistic fuzzy bi-ideals, and studied -intuitionistic fuzzy bi-ideals.
In this paper, we try to have more general form of an -intuitionistic bi-ideal of an ordered semigroup. We introduce the notion of an -intuitionistic bi-ideal of an ordered semigroup, and give examples which are -intuitionistic fuzzy bi-ideals but not -intuitionistic fuzzy bi-ideals. We discuss characterizations of -intuitionistic fuzzy bi-ideals in ordered semigroups. We provide a condition for an -intuitionistic fuzzy bi-ideal to be an intuitionistic fuzzy bi-ideal. The important achievement of the study with an -intuitionistic fuzzy bi-ideal is that the notion of an -intuitionistic fuzzy bi-ideal is a special case of an -intuitionistic fuzzy bi-ideal, and, thus, several results in the paper [11] are the corollaries of our results obtained in this paper.
2 Basic definitions and preliminary results
By an ordered semigroup (or po-semigroup) we mean a structure , in which the following are satisfied:
(OS1) is a semigroup,
(OS2) is a poset,
(OS3) () (, ).
In what follows, is simply denoted by xy for all .
A nonempty subset A of an ordered semigroup S is called a subsemigroup of S if . A non-empty subset A of an ordered semigroup S is called a bi-ideal of S if it satisfies
(b1) () () (),
(b2) () (),
(b3) .
An intuitionistic fuzzy set (briefly IFS) A in a non-empty set X is an object having the form , where the function and denote the degree of membership (namely, ) and the degree of non-membership (namely, ) for each element to the set A, respectively, and for all . For the sake of simplicity, we shall use the symbol for the intuitionistic fuzzy set .
Let be an ordered semigroup and be an IFS of S. Then is called an intuitionistic fuzzy subsemigroup of S [11] if
Let be an ordered semigroup and be an intuitionistic fuzzy subsemigroup of S. Then is called an intuitionistic fuzzy bi-ideal of S [11] if
(b4) () ( and ),
(b5) () ( and ),
(b6) () ( and ).
Let be an IFS of S and and . Then the sets
are called -level and -level cuts of the intuitionistic fuzzy set , respectively. For an IFS and , , we define the -level cut as follows
Clearly, .
Let x be a point of a non-empty set X. If and are two real numbers such that , then the IFS of the form
is called an intuitionistic fuzzy point (IFP for short) in X, where α (resp. β) is the degree of membership (resp. non-membership) of and is the support of .
Consider an IFP in S, an IFS and , we define as follows
(b7) (resp. ) means that and (resp. and ), and in this case, we say that belongs to (resp. quasi-coincident with) an IFS .
(b8) (resp. ) means that or (resp. and ).
By , we mean that does not hold.
3 -Intuitionistic fuzzy bi-ideals
Let k denote an arbitrary element of unless specified otherwise. For an IFP and an IFS of X, we say that
(c1) if and .
(c2) if or .
(c3) if does not hold for .
Theorem 3.1 Let be an IFS of an ordered semigroup S. Then the following are equivalent
-
(1)
() () ( is a bi-ideal of S).
-
(2)
satisfies the following assertions
for all .
Proof Assume that is a bi-ideal of S for all and with . If there exist such that condition (2.1) is not valid, that is, there exist with and , . Then , and . But and imply that . This is not possible. Hence (2.1) is valid. Suppose that (2.2) is false, that is,
and
for some . Then , and . But , since and . This is not possible, and so (2.2) is valid. If there exist such that (2.3) is not valid, that is,
and
Then , and . But , since and . This is a contradiction, and hence (2.3) is valid.
Conversely, assume that satisfies the three conditions (2.1), (2.2) and (2.3). Suppose that for all , and . Let be such that and . Then and . Using (2.1), we have and . Hence and , i.e., . If , then , and , . By using (2.2), we have
and
so that and , i.e., . Finally, if and , then , and , . By using (2.3), we have
and
so that and , i.e., . Therefore, is a bi-ideal of S. □
If we take in Theorem 3.1, then we have the following corollary.
Corollary 3.2 [[11], Theorem 3.1]
Let be an IFS of S. Then the following assertions are equivalent
-
(1)
() () ( is a bi-ideal of S).
-
(2)
satisfies the following conditions
for all .
Definition 3.3 An IFS in S is called an -intuitionistic fuzzy bi-ideal of S if for all , and it satisfies the following conditions
(q1) (, ),
(q2) ( and ),
(q3) ( and ).
An -intuitionistic fuzzy bi-ideal of S with is an -intuitionistic fuzzy bi-ideal of S.
Example 3.4 Consider the set with the order relation , , and and ∗-multiplication table (see Table 1 above).
-
(1)
Define an IFS by
and
Then is an -intuitionistic fuzzy bi-ideal of S.
-
(2)
Let be an intuitionistic fuzzy set given by
and
Then is an -intuitionistic fuzzy bi-ideal of S.
Theorem 3.5 An IFS of S is an -intuitionistic fuzzy bi-ideal of S if and only if it satisfies the following conditions
Proof Suppose that is an -intuitionistic fuzzy bi-ideal of S. Let be such that . Assume that and . If and , then and for some and . It follows , but . Since and , we get . Therefore, , which is a contradiction. Hence and . Now, if and , then , and so, , which implies that or , that is, and or and . Hence and . Otherwise, and , a contradiction. Consequently,
and
for all with . Let be such that and . We claim that and . If not, then and for some and . It follows that and , but and and , i.e., . This is a contradiction. Thus, and for all with and . If and , then and . Using (q2), we have
and so, and or and . If and , then
and
which is impossible. Consequently, and for all . Let be such that and . We claim that
If not, then and for some and . It follows that and , but and and , i.e., . This is a contradiction. Thus, and for all with and . If and , then and . Using (q3), we have
and so and or and . If and , then
and
which is impossible. Therefore, and for all .
Conversely, let be an IFS of S that satisfies the three conditions (1), (2) and (3). Let , and be such that and . Then and , and so,
and
It follows that and or and , i.e., or . Hence, . Let , and be such that and . Then , and , . It follows from (2) that
and
It follows that or and , i.e., . Therefore, . Let , and be such that and . Then , and , . It follows from (3) that
and
Thus, we have or and , i.e., . Therefore, . Thus, is an -intuitionistic fuzzy bi-ideal of S. □
If we take in Theorem 3.5, then we have the following corollary.
Corollary 3.6 [[11], Theorem 3.5]
An IFS of S is an -intuitionistic fuzzy bi-ideal of S if and only if it satisfies the conditions
Obviously, every intuitionistic fuzzy bi-ideal is an -intuitionistic fuzzy bi-ideal, and we know that every -intuitionistic fuzzy bi-ideal of S is an -intuitionistic fuzzy bi-ideal of S, and every -intuitionistic fuzzy bi-ideal is an -intuitionistic fuzzy bi-ideal of S. But the converse may not be true. The following example shows that every -intuitionistic fuzzy bi-ideal of S may not be an -intuitionistic fuzzy bi-ideal nor an intuitionistic fuzzy bi-ideal of S.
Example 3.7 Consider the ordered semigroup of Example 3.4 and define an IFS by
and
Then is an -intuitionistic fuzzy bi-ideal of S. But
-
(1)
is not an -intuitionistic fuzzy bi-ideal of S. Since and but .
-
(2)
is not an intuitionistic fuzzy bi-ideal of S. Since
and
In the following, we give a condition for an -intuitionistic fuzzy bi-ideal of S to be an ordinary intuitionistic fuzzy bi-ideal of S.
Theorem 3.8 Let be an -intuitionistic fuzzy bi-ideal of S. If and for all , then is an -intuitionistic fuzzy bi-ideal of S.
Proof The proof is straightforward by Theorem 3.5. □
Corollary 3.9 [[11], Theorem 3.8]
Let be an -intuitionistic fuzzy bi-ideal of S. If and for all , then is an -intuitionistic fuzzy bi-ideal of S.
Proof The proof follows from Theorem 3.8, by taking . □
Theorem 3.10 For an IFS of S, the following are equivalent:
-
(1)
is an -intuitionistic fuzzy bi-ideal of S.
-
(2)
() () () .
Proof Assume that is an -intuitionistic fuzzy bi-ideal of S, let and be such that . Using Theorem 3.5(1), we have
for any with and . It follows that and , so that . Let . Then , and , . Theorem 3.5(2) implies that
and
Thus, . Now let . Then , and , . Theorem 3.5(3) induces that
and
Thus, , therefore, is a bi-ideal of S.
Conversely, let be an IFS of S such that is non-empty and is a bi-ideal of S for all and . If there exist with and such that and , then and for some and . Then , a contradiction. Therefore, and for all with . Assume that there exist such that
and . Then
and
for some and . It follows that and , but . This is a contradiction. Hence
and
for all . Suppose that
and
for some . Then there exist and such that
and
Then and , but . This is impossible, and hence and
for all . Therefore, is an -intuitionistic fuzzy bi-ideal of S. □
By taking in Theorem 3.10, we get the following corollary.
Corollary 3.11 [[11], Theorem 3.10]
For an IFS of an ordered semigroup , the following are equivalent
-
(1)
is an -intuitionistic fuzzy bi-ideal of S.
-
(2)
() () ( is a bi-ideal of S) .
For an IFP of S and an IFS of S, we say that
(c4) if and ,
(c5) if and .
We denote by (resp. ) the set (resp. ), and . It is obvious that .
Proposition 3.12 If is an -intuitionistic fuzzy bi-ideal of S, then
Proof Assume that is an -intuitionistic fuzzy bi-ideal of S. Let and be such that . Let and be such that . Then and . By means of Theorem 3.5(1), we have
and
It follows that . Let . Then and , and . Using (2) of Theorem 3.5, we have that
and
Thus, . Let and . Then and , and . Using (3) of Theorem 3.5, we have that
and
Hence . Therefore, is a bi-ideal of S. □
Theorem 3.13 For any IFS of S, the following are equivalent
-
(1)
is an -intuitionistic fuzzy bi-ideal of S.
-
(2)
() () ( is a bi-ideal of S).
We call an -level bi-ideal of .
Proof Assume that is an -intuitionistic fuzzy bi-ideal of S, and let and be such that . Let and be such that . Then or , i.e., and or and . Using Theorem 3.5(1), we get
We consider two cases , and , . The first case implies from (3.1) that and . Thus, if and , then and , and so, . If and , then and , which implies that , i.e., . Combining the second case and (3.1), we have and . If and , then and , and hence . If and , then and , which implies that . Therefore, satisfies the condition (b1). Let . Then or and or , that is, , or , and , or , . We consider the following four cases
-
(i)
, and , ,
-
(ii)
, and , ,
-
(iii)
, and , ,
-
(iv)
, and , .
For the case (i), Theorem 3.5(2) implies that
and
Then or and , that is, . Hence . For the second case, assume that and , then and . Hence
and
Thus . Suppose that and . Then
and
Thus . We have a similar result for the case (iii). For the final case, if and , then and . Hence
and
and
and
Thus, . If and , then
and
which implies that . Let . Then or and or , that is, , or , and , or , . We consider the following four cases
-
(i)
, and , ,
-
(ii)
, and , ,
-
(iii)
, and , ,
-
(iv)
, and , .
For the case (i), Theorem 3.5(3) implies that
and
Then or and , that is, . Hence . For the second case, assume that and , then and . Hence
and
Thus, . Suppose that and . Then
and
Thus, . We have a similar result for the case (iii). For the final case, if and , then and . Hence
and
and
and
Thus, . If and , then
and
which implies that . Therefore, is a bi-ideal of S.
Conversely, suppose that (2) is valid. If there exist such that and
Then and for some and . It follows that but . Also we have and and so , i.e., . Therefore, , a contradiction. Hence and for all with . Suppose that there exist such that
and
Then
and
for and . It follows that and , so from (b2) . Thus, , or , , a contradiction. Therefore, and for all . Assume that there exist such that
and
Then and for and . It follows that and so from (b2) . Thus, , or , , a contradiction. Therefore, and for all . Thus, is an -intuitionistic fuzzy bi-ideal of S. □
Theorem 3.14 Let be a family of -intuitionistic fuzzy bi-ideals of S. Then is an -intuitionistic fuzzy bi-ideal of S, where and
Proof Let with , and be such that . Assume that . Then , and , , which imply that
Let and .
Then and . If , then , for all , and so, , , which is a contradiction. Hence , and so, , and , for every . It follows that and , so that and for all . Now, suppose that and for some . Let and be such that and . Then and , i.e., . But , and , , that is, . This is a contradiction, and so, and for all . Thus, and , which is impossible. Therefore, .
Let , and be such that and . Assume that . Then
and
It follows that and . Let and . Then and . If , then and for all , and so, and , which is a contradiction. Hence and , i.e., , . It follows that and , so that and for all . By a similar way, we have and for all . Now, suppose that and for some . Let and be such that and . Then , and , , i.e., and . But , and , , that is, . This is a contradiction. Thus, and for all . Therefore, and , which is invalid. Consequently, . Finally, suppose that , and be such that and . Assume that . Then
and
It follows that and . Let
and
Then and . If , then and for all , and so and which is a contradiction. Hence and
i.e.,
It follows that and , so that
and
for all . Similarly, we have
and
for all . Now, suppose that and for some . Let and be such that and . Then , and , , i.e., and . But
and
that is, . This is a contradiction. Thus, and for all . Therefore, and , which is invalid. Thus, . Therefore, is an -intuitionistic fuzzy bi-ideal of S. □
The following example shows that the union of two -intuitionistic fuzzy bi-ideals of S may not be an -intuitionistic fuzzy bi-ideal of S.
Example 3.15 Consider the ordered semigroup of Example 3.4 with the ∗-multiplication Table 1 and the IFS of Examples 3.4 and 3.7, then and , but .
Definition 3.16 An IFS of S is called an -intuitionistic fuzzy bi-ideal of S if for all , and , it satisfies the following conditions
(q4) ( with ),
(q5) ( or ),
(q6) ( or ).
Let be an -intuitionistic fuzzy bi-ideal of an ordered semigroup S. Suppose that there exist with such that
Then and for some and . It follows that , and , , i.e., . This is a contradiction, and so the following inequalities hold.
Suppose that and for some . Then and . Thus, , , , , i.e., and , , i.e., . This is impossible, and hence satisfies the following assertion
(e2) and for all .
Now, assume that
and
for some . Then
and
Thus, , , , i.e., and , , i.e., . This is a contradiction, and hence we have the following assertion
(e3) and for all .
Let be an IFS of S satisfying the three conditions (e1), (e2) and (e3). Let and be such that . Then there exist and , by using (e1), we get
and
Hence . Let be such that and . Then , and , . Using (e2), we get
and
which implies that and . Thus, . Now, suppose that and . Then , and , . Using (e3), we get
and
which implies that and . Thus, . Consequently, is a bi-ideal of S. Therefore, we conclude that if an IFS of S satisfies the three conditions (e1), (e2) and (e3), then the following assertion is valid
(e4) () () ( is a bi-ideal of S).
Now, let be an IFS of S satisfying (e4). Let with and and be such that . Then and . Hence and . Thus, by (e4), and so , , i.e., . This shows that (q4) is valid. Let , and be such that and . Then , and , , which implies that and . Since is bi-ideal of S by (e4), it follows by (b2) that , that is, , and , so that . Hence (q5) is valid. Finally, let , and be such that and . Then , and , , which implies that and . Since is bi-ideal of S by (e4), it follows by (b3) that , that is, , and , so that . Hence (q6) is valid.
Therefore, as a concluding remark, we have the following theorem.
Theorem 3.17 For an IFS of S, the following are equivalent
-
(1)
is an -intuitionistic fuzzy bi-ideal of S.
-
(2)
satisfies the condition (e4).
-
(3)
satisfies the three conditions (e1), (e2) and (e3).
For an IFS of S, we consider the following sets
Then
-
(1)
If and , then is an intuitionistic fuzzy bi-ideal of S.
-
(2)
If and , then is an -intuitionistic fuzzy bi-ideal of S.
-
(3)
If and , then is an -intuitionistic fuzzy bi-ideal of S.
-
(4)
If and , then is an -intuitionistic fuzzy bi-ideal of S.
References
Kehayopulu N, Tsingelis M: Fuzzy bi-ideals in ordered semigroups. Inf. Sci. 2005, 171: 13–28.
Mordeson JN, Malik DS, Kuroki N Studies in Fuzziness and Soft Computing 131. In Fuzzy Semigroups. Springer, Berlin; 2003.
Murali V: Fuzzy points of equivalent fuzzy subsets. Inf. Sci. 2004, 158: 277–288.
Bhakat SK, Das P:-fuzzy subgroups. Fuzzy Sets Syst. 1996, 80: 359–368.
Bhakat SK, Das P: Fuzzy subrings and ideals redefined. Fuzzy Sets Syst. 1996, 81: 383–393.
Davvaz B: Fuzzy R-subgroups with thresholds of near-rings and implication operators. Soft Comput. 2008, 12: 875–879.
Jun YB, Khan A, Shabir M:Ordered semigroups characterized by their -fuzzy bi-ideals. Bull. Malays. Math. Soc. 2009, 32(3):391–408.
Davvaz B, Khan A:Characterizations of regular ordered semigroups in terms of -fuzzy generalized bi-ideals. Inf. Sci. 2011, 181: 1759–1770.
Shabir M, Jun YB, Nawaz Y:Characterization of regular semigroups by -fuzzy ideals. Comput. Math. Appl. 2010, 59: 161–175.
Jun YB:Generalizations of -fuzzy subalgebras in BCK/BCI-algebras. Comput. Math. Appl. 2009, 58: 1383–1390.
Jun, YB, Khan, A, Sarmin, NH, Khan, H: Bi-ideals of ordered semigroups based on the intuitionistic fuzzy points (submitted)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
AK proposed the structure, reviewed the mathematical concepts and coordinated the manuscript. BD participated in its design and helped to check the examples constructed for new concepts in the manuscript. NHS linguistically edited, sequenced and drafted the manuscript. HK introduced new concepts, proofs to mathematical results and typed the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Khan, A., Davvaz, B., Sarmin, N.H. et al. Redefined intuitionistic fuzzy bi-ideals of ordered semigroups. J Inequal Appl 2013, 397 (2013). https://doi.org/10.1186/1029-242X-2013-397
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2013-397