Hindawi Publishing Corporation The Scientific World Journal Volume 2013, Article ID 476057, 5 pages http://dx.doi.org/10.1155/2013/476057
Research Article On Abelian and Related Fuzzy Subsets of Groupoids Seung Joon Shin,1 Hee Sik Kim,2 and J. Neggers3 1
Department of Physics, University of Michigan, Ann Arbor, MI 48109, USA Department of Mathematics, Research Institute for Natural Sciences, Hanyang University, Seoul 133-791, Republic of Korea 3 Department of Mathematics, University of Alabama, Tuscaloosa, AL 35487-0350, USA 2
Correspondence should be addressed to Hee Sik Kim;
[email protected] Received 12 August 2013; Accepted 15 September 2013 Academic Editors: M. Aiguier and M. I. Ali Copyright Β© 2013 Seung Joon Shin et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. We introduce the notion of abelian fuzzy subsets on a groupoid, and we observe a variety of consequences which follow. New notions include, among others, diagonal symmetric relations, several types of quasi orders, convex sets, and fuzzy centers, some of whose properties are also investigated.
1. Introduction
(π, β) and (π, β) of Bin(π), define a product ββ»β on these groupoids as follows:
The notion of a fuzzy subset of a set was introduced by Zadeh [1]. His seminal paper in 1965 has opened up new insights and applications in a wide range of scientific fields. Rosenfeld [2] used the notion of a fuzzy subset to set down corner stone papers in several areas of mathematics. Mordeson and Malik [3] published a remarkable book, Fuzzy commutative algebra, presented a fuzzy ideal theory of commutative rings, and applied the results to the solution of fuzzy intersection equations. The book included all the important work that has been done on πΏ-subspaces of a vector space and on πΏsubfields of a field. Kim and Neggers [4] introduced the notion of Bin(π) and obtained a semigroup structure. Fayoumi [5] introduced the notion of the center πBin(π) in the semigroup Bin(π) of all binary systems on a set π and showed that a groupoid (π, β) β πBin(π) if and only if it is a locally zero groupoid. In this paper, we introduce the notion of abelian fuzzy subgroupoids on a groupoid and discuss diagonal symmetric relations, convex sets, and fuzzy centers on Bin(π).
Let πBin(π) denote the collection of elements (π, β) of Bin(π) such that (π, β) β» (π, β) = (π, β) β» (π, β), for all (π, β) β Bin(π); that is, πBin(π) = {(π, β) β Bin(π) | (π, β) β» (π, β) = (π, β) β» (π, β), for all (π, β) β Bin(π)}. We call πBin(π) the center of the semigroup Bin(π).
2. Preliminaries
Proposition 2 (see [5]). If (π, β) β ππ΅ππ(π), then π₯ β π₯ = π₯ for all π₯ β π.
Given a nonempty set π, we let Bin(π) denote the collection of all groupoids (π, β), where β : π Γ π β π is a map and β(π₯, π¦) is written in the usual product form. Given elements
Proposition 3 (see [5]). Let (π, β) β ππ΅ππ(π). If π₯ =ΜΈ π¦ in π, then ({π₯, π¦}, β) is either a left-zero-semigroup or a right-zerosemigroup.
(π, β) β» (π, β) = (π, β») ,
(1)
π₯ β» π¦ = (π₯ β π¦) β (π¦ β π₯)
(2)
where
for any π₯, π¦ β π. Using that notion, Kim and Neggers proved the following theorem. Theorem 1 (see [4]). (π΅ππ(π), β») is a semigroup; that is, the operation ββ»β as defined in general is associative. Furthermore, the left-zero-semigroup is the identity for this operation.
2
The Scientific World Journal
3. Abelian Fuzzy Groupoids Let (π, β) β Bin(π). A map π : π β [0, 1] is said to be abelian fuzzy if π(π₯ β π¦) = π(π¦ β π₯) for all π₯, π¦ β π. Example 4. Let (π, β) be a left-zero-semigroup; that is, π₯βπ¦ = π₯ for all π₯, π¦ β π. Let π : π β [0, 1] be an abelian fuzzy subset of π. Then, π(π₯) = π(π₯ β π¦) = π(π¦ β π₯) = π(π¦) for all π₯, π¦ β π. It follows that π is a constant map. Similarly, every abelian fuzzy subset of a right-zerosemigroup is also a constant function. Proposition 5. If (π, β) β ππ΅ππ(π), then every abelian fuzzy subset on (π, β) is a constant function. Proof. Assume that π is an abelian fuzzy subset of (π, β). Then, π(π₯ β π¦) = π(π¦ β π₯) for all π₯, π¦ β π. Let (π, β) β πBin(π). By Proposition 3, if π₯ =ΜΈ π¦ in π, then ({π₯, π¦}, β) is either a left-zero-semigroup or a right-zero-semigroup. It follows that either π₯βπ¦ = π₯, π¦βπ₯ = π¦ or π₯βπ¦ = π¦, π¦βπ₯ = π₯. In either cases, we obtain π(π₯) = π(π¦) for all π₯, π¦ β π, proving that π is a constant function. Given a groupoid (π, β) β Bin(π), we denote the set of all abelian fuzzy subgroupoids on (π, β) by π΄(π, β). Proposition 6. Let (π, β) β π΅ππ(π). Then, (π, β) is commutative if and only if π΄(π, β) = [0, 1]π . Proof. Assume that (π, β) is not commutative; that is, there exist π₯, π¦ β π such that π₯βπ¦ =ΜΈ π¦βπ₯. If we let πΌ := π₯βπ¦ and let π := ππΌ be the characteristic function of πΌ, then π(π₯ β π¦) = 1, π(π¦ β π₯) = 0, proving that π is not an abelian fuzzy subset of (π, β). The converse is straightforward. Given (π, β) β Bin(π), we define a fuzzy subset ππΌ : π β [0, 1] by ππΌ (π₯) := πΌ for all π₯ β π, where πΌ β [0, 1]. Denote by πΆ(π, β) := {ππΌ |πΌ β [0, 1]}. Then, πΆ(π, β) β π΄(π, β) for all groupoids (π, β) whatsoever. Thus, the extreme of noncommutativity is the situation πΆ(π, β) = π΄(π, β). Proposition 7. Let π β π΄(π, β). If π is one-one, then (π, β) is commutative. Proof. If π β π΄(π, β), then π(π₯ β π¦) = π(π¦ β π₯) for all π₯, π¦ β π. Since π is one-one, we have π₯ β π¦ = π¦ β π₯ for all π₯, π¦ β π. Given (π, β) β Bin(π), we define a set (π, β)π := {(π₯, π¦) β π Γ π | π₯ β π¦ = π¦ β π₯}. Note that (π₯, π¦) β (π, β)π implies (π¦, π₯) β (π, β)π as well. If we let ] := π(π,β)π be the characteristic function of (π, β)π , then ] is an abelian fuzzy subgroupoid on π Γ π. Proposition 8. Let π : π β [0, 1] be a fuzzy subset of π. If we define (π, β)ππ := {(π₯, π¦) β π Γ π | π(π₯ β π¦) = π(π¦ β π₯)}, then (i) (π, β)π β
(π, β)ππ ,
(ii) if π is one-one, then (π, β)π = (π, β)ππ ,
(iii) if π is constant, then (π, β)ππ = π Γ π. Proof. It is straightforward.
Theorem 9. If (π, β) β π΅ππ(π), then there exists a fuzzy subset π of π such that (π, β)π = (π, β)ππ . Proof. Assume that there exists (π, β) β Bin(π) such that (π, β)π =ΜΈ (π, β)ππ for any fuzzy subset π of π. Then, there exists an element (π₯, π¦) β (π, β)ππ \ (π, β)π . It follows that π(π₯ β π¦) = π(π¦ β π₯), but π₯ β π¦ =ΜΈ π¦ β π₯ for some π₯, π¦ β π. If we let πΌ := π₯ β π¦ and let π := ππΌ be the characteristic function of πΌ, then π(π₯ β π¦) = 1, but π(π¦ β π₯) = 0, which proves that (π₯, π¦) β (π, β)ππ . Proposition 10. Let (π, β) β π΅ππ(π) and let β
be the usual product on the set of real numbers. If π : (π, β) β ([0, 1], β
) is a homomorphism, then π β π΄(π, β) and (π, β)ππ = π Γ π. Proof. If π : (π, β) β ([0, 1], β
) is a homomorphism, then π(π₯ β π¦) = π(π₯) β
π(π¦) = π(π¦) β
π(π₯) = π(π¦ β π₯) for all π₯, π¦ β π; that is, π β π΄(π, β). If (π₯, π¦) β π Γ π, then π(π₯ β π¦) = π(π₯) β
π(π¦) = π(π¦ β π₯), proving that (π₯, π¦) β (π, β)ππ . Example 11. Let (π, β) β Bin(π). Define a binary operation βββ on [0, β) by π₯ β π¦ := (1/2)(π₯ + π¦) for all π₯, π¦ β [0, β). If π : (π, β) β ([0, β), β) is a homomorphism, then π(π₯ β π¦) = π(π₯) β π(π¦) = (1/2)(π₯ + π¦) = π(π¦ β π₯) for all π₯, π¦ β π, which proves that π β π΄(π, β) and (π, β)ππ = π Γ π.
4. Diagonal Symmetric Relations Given (π, β) β Bin(π), we denote β³(π) := {(π₯, π₯) | π₯ β π}. Then, β³(π) β (π, β)π . In particular, if (π, β) is a left-zerosemigroup, then β³(π) = (π, β)π . Let π := R be the set of all real numbers, and let βββ be the usual subtraction on π. Then, (π, β)π = {(π₯, π¦) | π₯ β π¦ = π¦ β π₯} = {(π₯, π¦)|π₯ = π¦} = β³(π). Let π := R be the set of all real numbers, and let (π, β, π) be a leftoid; that is, π₯ β π¦ := π(π₯) for all π₯, π¦ β π, where π : R β R is an even function. If we denote β³σΈ (π) := {(π₯, βπ₯) | π₯ β π}, then π₯ β (βπ₯) = π(π₯) = π(βπ₯) = βπ₯ β π₯ for all π₯ β π. It follows that β³σΈ (π) β (π, β, π). Let π be a nonempty set, and let π β π Γ π such that β³(π) β π. π is said to be diagonal symmetric if (π₯, π¦) β π, then (π¦, π₯) β π as well. If (π, β) β Bin(π), then (π, β)π is diagonal symmetric. Define a map Ξ¦π : Bin(π) β π(π Γ π) by Ξ¦π (π, β) := (π, β)π . Proposition 12. If π is a diagonal symmetric relation on π, then there exists (π, β) β π΅ππ(π) such that Ξ¦π (π, β) = π. Proof. Let π be a diagonal symmetric relation on π. Define a binary operation βββ on π by π₯ π₯ β π¦ := { π§
if (π₯, π¦) β π, otherwise,
(3)
The Scientific World Journal
3
where π§ is an element of π satisfying π§ = π₯ β π¦ = π¦ β π₯. Then, (π, β)π = π. In fact, if (π₯, π¦) β π, then π₯ β π¦ = π¦ β π₯, and hence, (π₯, π¦) β (π, β)π . Assume that (π₯, π¦) β (π, β)π \ π. Then, since π is symmetric diagonal, we have π₯ β π¦ = π₯ and (π¦, π₯) β π. It follows that π₯ β π¦ = π₯, π¦ β π₯ = π¦. Since (π₯, π¦) β (π, β)π , we have π₯ = π₯ β π¦ = π¦ β π₯ = π¦, proving that (π₯, π¦) = (π₯, π₯) β β³(π) β π, a contradiction. Hence, Ξ¦π (π, β) = (π, β)π = π. If π and π are diagonal symmetric relations on π, then the same is true for π β© π and for π βͺ π, while β³(π) itself is also a diagonal symmetric relation on π. In the latter case, the left-zero-semigroup is among the possible groupoids for which Ξ¦π (π, β) = (π, β)π = β³(π). Proposition 13. Let (π, β), (π, β) β π΅ππ(π). If (π, β») = (π, β) β» (π, β), then (π, β)π β (π, β»)π . Proof. If (π₯, π¦) β (π, β)π , then π₯ β π¦ = π¦ β π₯, and hence, π₯ β» π¦ = (π₯ β π¦) β (π¦ β π₯) = (π¦ β π₯) β» (π₯ β π¦) = π¦ β» π₯. Hence, (π₯, π¦) β (π, β»)π . Thus, if (π, β) and (π, β») are given and the question comes up whether (π, β») = (π, β) β» (π, β) for some (π, β), then (π, β)π β (π, β»)π is a necessary precondition for this to be the case. For example, if β³(π) = (π, β»)π , then (π, β)π = β³(π) as well. Thus, we find that in (Bin(π), β»), βthe product does not decrease commutativityβ as a general principle. Proposition 14. Let (π, β) β π΅ππ(π). If (π΄, β) is a subgroupoid of (π, β), then (π, β)π β© (π΄ Γ π΄) = (π΄, β)π . Proof. The proof is straightforward. Proposition 15. Let (π, β), (π, β) β π΅ππ(π). If (π, β») = (π, β) β» (π, β), then π΄(π, β) β π΄(π, β»). Proof. If π β π΄(π, β), then π(π₯ β π¦) = π(π¦ β π₯) for all π₯, π¦ β π. It follows that π (π₯ β» π¦) = π ((π₯ β π¦) β (π¦ β π₯)) = π ((π¦ β π₯) β (π₯ β π¦)) = π (π¦ β» π₯) .
(4)
Proposition 16. Let (π, β) β π΅ππ(π) satisfy the condition: for any π, π β π, there exist π₯, π¦ β π such that π = π₯βπ¦, π = π¦βπ₯. If (π, β») = (π, β) β» (π, β), then π΄(π, β) = π΄(π, β»). Proof. If π β π΄(π, β»), then π(π₯ β» π¦) = π(π¦ β» π₯) for all π₯, π¦ β π. Given π, π β π, by assumption, we have π₯, π¦ β π such that π = π₯ β π¦, π = π¦ β π₯. It follows that π (π β π) = π ((π₯ β π¦) β (π¦ β π₯)) (5)
= π ((π¦ β π₯) β (π₯ β π¦)) = π (π β π) . Hence, π β π΄(π, β); that is, π΄(π, β») Proposition 15, we prove the proposition.
β
Proposition 17. The relation β€ is a quasi order on π΅ππ(π). Proof. Since (π, β)ππ β (π, β)ππ for any fuzzy subset π : π β [0, 1], we have (π, β) β€ (π, β) for all (π, β) β Bin(π). If (π, β) β€ (π, β) and (π, β) β€ (π, β), then (π, β)ππ β (π, β)ππ and (π, β)ππ β (π, β)ππ , and hence, (π, β)ππ β (π, β)ππ , for any fuzzy subset π : π β [0, 1]. It follows that (π, β) β€ (π, β). Note that the relation β€ described in Proposition 17 need not be a partial order on Bin(π), since (π, β)ππ = (π, β)ππ for any fuzzy subset π : π β [0, 1] does not imply (π, β) = (π, β). Given (π, β) β Bin(π), we define [(π, β)] := {(π, β) β Bin (π) | (π, β)ππ = (π, β)ππ ,
βπ : fuzzy subset of π} .
(6)
Let β¨Bin(π)β© := {[(π, β)] | (π, β) β Bin(π)}. If we define a relation β€π on β¨Bin(π)β© by [(π, β)] β€π [(π, β)] ββ (π, β) β€ (π, β) .
(7)
then it is easy to see that (β¨Bin(π), β€π β©) is a partially ordered set. For partially ordered sets, we refer to [6]. Proposition 18. If [(π, β)] = [(π, β)] in β¨π΅ππ(π)β©, then π΄(π, β) = π΄(π, β). Proof. Assume that [(π, β)] = [(π, β)]. Then, (π, β)ππ = (π, β)ππ for any fuzzy subset π : π β [0, 1]. It follows that π β π΄ (π, β) ββ π (π₯ β π¦) = π (π¦ β π₯)
βπ₯, π¦ β π
ββ (π, β)ππ = π Γ π = (π, β)ππ ββ π (π₯ β π¦) = π (π¦ β π₯)
(8)
βπ₯, π¦ β π
ββ π β π΄ (π, β) ,
Hence, π β π΄(π, β»).
= π (π₯ β» π¦) = π (π¦ β» π₯)
Let (π, β), (π, β) β Bin(π). Define a relation ββ€β on Bin(π) by (π, β) β€ (π, β) if and only if (π, β)ππ β (π, β)ππ for any fuzzy subset π : π β [0, 1].
π΄(π, β). By
proving that π΄(π, β) = π΄(π, β).
5. Convex Sets Proposition 19. Let π, ] be fuzzy subsets of (π, β). If π := π‘π + (1 β π‘)], where π‘ β [0, 1], then (π, β)ππ β© (π, β)]π β (π, β)ππ . Proof. If (π₯, π¦) β (π, β)ππ β© (π, β)]π , then π(π₯ β π¦) = π(π¦ β π₯) and ](π₯ β π¦) = ](π¦ β π₯) for all π₯, π¦ β π. It follows that π (π₯ β π¦) = π‘π (π₯ β π¦) + (1 β π‘) ] (π₯ β π¦) = π‘π (π¦ β π₯) + (1 β π‘) ] (π¦ β π₯) = π (π¦ β π₯) , proving that (π₯, π¦) β (π, β)ππ .
(9)
4
The Scientific World Journal
In Proposition 19, the equality does not hold in general. See the following example. Example 20. Let π := [0, 1]. Define a binary operation βββ on π by π₯ β π¦ := π₯ for all π₯, π¦ β π; that is, (π, β) is a left-zero-semigroup. Define two fuzzy subsets π, ] on π by π(π₯) := π₯, ](π₯) := 1 β π₯ for all π₯ β π. Then, π and ] are oneone mappings. Let β be a real number such that 0