Annals of Fuzzy Mathematics and Informatics Volume 11, No. 5, (May 2016), pp. 681–700 @FMI ISSN: 2093–9310 (print version) c Kyung Moon Sa Co. ISSN: 2287–6235 (electronic version) http://www.kyungmoon.com http://www.afmi.or.kr
Some results on fuzzy bicomplex numbers
Sanjib Kumar Datta, Tanmay Biswas
Received 6 July 2015; Accepted 30 September 2015 Abstract. In this paper we wish to define fuzzy bicomplex numbers and establish some properties of it.
2010 AMS Classification: 08A72, 30G35, 32A30 Keywords: Fuzzy set, Fuzzy number, Fuzzy bicomplex number, Fuzzy bicomplex set. Corresponding Author: Sanjib Kumar Datta (sanjib kr [email protected])
1. Introduction, definitions and notations
The space of bicomplex numbers C2 is the first in an infinite sequence of mul- ticomplex spaces which are the generalizations of the space of complex numbers C. We write regular complex number as z = x + iy where x and y are real numbers and i2 = −1. To start our paper we just recall the following definitions: Definition 1.1. The set of bicomplex numbers is defined as :
C2 = {w : w = p0 + i1p1 + i2p2 + i1i2p3, pk ∈ R, 0 ≤ k ≤ 3} . Since each elements in C2 can be written as
w = p0 + i1p1 + i2 (p2 + i1p3) or w = z1 + i2z2, we can express C2 as C2 = {w = z1 + i2z2 | z1, z2 ∈ C} , where z1 = p0 + i1p1, z2 = p2 + i1p3 and i1, i2 are independent imaginary units such 2 2 that i1 = −1 = i2. the product of i1 and i2 defines a hyperbolic unit j such that j2 = 1. The products of all units is commutative and satisfies
i1i2 = j, i1j = −i2, i2j = −i1. S. K. Datta et al. /Ann. Fuzzy Math. Inform. 11 (2016), No. 5, 681–700
Definition 1.2. Three kinds of conjugate can be defined on bicomplex numbers. The bicomplex conjugates wt of w are defined as
t1 t2 t3 (i) w = z1 + i2z2, (ii) w = z1 − i2z2, and (iii) w = z1 − i2z2, − where the bar denotes the complex conjugate in C. Definition 1.3. With each kind of conjugate, one can define a specific bicomplex modulus in the following manner: 2 t1 2 2 (i) |w|t1 = w.w = |z1| − |z2| + 2i2< (z1z2) ,
2 t2 2 2 (ii) |w|t2 = w.w = z1 + z2 and 2 t3 2 2 (iii) |w|t3 = w.w = |z1| + |z2| + 2j= (z1z2) .
Definition 1.4. For a bicomplex number w = z1 + i2z2, the norm denoted as ||w = z1 + i2z2|| is defined in the following manner: 1 2 2 2 kz1 + i2z2k = |z1| + |z2|
1 ! 2 |z − i z |2 + |z + i z |2 = 1 1 2 1 1 2 . 2
When w = p0 + i1p1 + i2p2 + i1i2p3, for pk ∈ R, 0 ≤ k ≤ 3 then 1 2 2 2 2 2 kwk = p0 + p1 + p2 + p3 . Remark 1.5. We observe that the bicomplex conjugates wtk | k = 1, 2, 3 of w satisfy the following properties : tk t tk k tk tk (1) w = w , (2) (w1 ± w2) = w1 ± w2 , w tk wtk (3) (w · w )tk = wtk · wtk , (4) 1 = 1 , 1 2 1 2 tk w2 w2 t t (5) |w| = w k and (6) kwk = w k . tk tk The idea of fuzzy subset µ of a set X was primarily introduced by L.A. Zadeh [9] as a function µ : X → [0, 1] . Fuzzy set theory is a useful tool to describe situations in which the data are imprecise or vague. Fuzzy sets handle such situation by attributing a degree to which a certain object belongs to a set. Among the various types of fuzzy sets, those which are defined on the universal set of real numbers or complex numbers under certain conditions, be viewed as fuzzy real numbers or fuzzy complex numbers respectively. Several researchers have done extensive works in the field of fuzzy complex numbers. For references one can see [2,3,4,8,9]. Now we wish to give a suitable definition of fuzzy bicomplex number in the following manner:
Definition 1.6. A fuzzy set wf may be defined by its membership function µ (w | wf ) which is a mapping from the bicomplex numbers C2 into [0, 1] where w is a regular bicomplex number as w = z1 + i2z2, is called a fuzzy bicomplex number if it satisfies the following conditions: 1. µ (w | wf ) is continuous, 682 S. K. Datta et al. /Ann. Fuzzy Math. Inform. 11 (2016), No. 5, 681–700
α 2. An α-cut of wf which is defined as wf = {w | µ (w | wf ) > α} , where 0 ≤ α < 1, is open, bounded, connected and simply connected and 1 3. wf = {w | µ (w | wf ) = 1} is non-empty, compact, arc wise connected and simply connected.
α If wf where 0 ≤ α < 1 is open and connected then it is automatically arc wise α connected. The simply connected assumption is to assure that wf , 0 ≤ α ≤ 1, will 1 not contain any holes. wf being non-empty means that all fuzzy bicomplex numbers are normalized i.e., µ (w | wf ) = 1 for some w. In the sequel we now present some definitions that are also used in this paper.
tk Definition 1.7. The bicomplex conjugates wf | k = 1, 2, 3 of wf may be defined as t1 t1 (i) µ w | wf = µ w | wf , t2 t2 (ii) µ w | wf = µ w | wf and t3 t3 (iii) µ w | wf = µ w | wf . where wtk | k = 1, 2, 3 are the bicomplex conjugates of w stated in Definition 1.2.
tk The bicomplex conjugates wf | k = 1, 2, 3 of a fuzzy bicomplex number wf is also t1 a fuzzy bicomplex number because the mappings w = z1 + i2z2 → w = z1 + i2z2, t2 t3 w = z1 +i2z2 → w = z1 −i2z2 and w = z1 +i2z2 → w = z1 −i2z2 are continuous.
Definition 1.8. The modulus |wf | | k = 1, 2, 3 of a fuzzy bicomplex number wf tk may be defined by 1 h 2 2 i 2 (i) µ (|w|t1 | |wf |) = sup µ (w | wf ) | |w|t1 = |z1| − |z2| } + 2i2< (z1z2) ,
n 1 o 2 2 2 (ii) µ (|w|t2 | |wf |) = sup µ (w | wf ) | |w|t2 = z1 + z2 and 1 h 2 2 i 2 (iii) µ (|w|t3 | |wf |) = sup µ (w | wf ) | |w|t3 = |z1| + |z2| + 2j= (z1z2) .
Definition 1.9. The norm kwf k of a fuzzy bicomplex number wf may be defined in the following manner:
µ (r | kwf k) = sup {µ (w | wf ) | kwk = r} , where r is the norm of w.
If we consider f (w1, w2) = y be any mapping from C2 × C2 into C2, then we may extend f to C2 × C2 into C2 using the extension principle where C2 denotes the space of fuzzy bicomplex numbers. So we may write f w , w = y if f1 f2 f
µ(y | yf ) = sup {Λ(w1, w2) | f (w1, w2) = y} , where Λ(w , w ) = min µ(w | w ), µ(w | w ) . 1 2 1 f1 2 f2 683 S. K. Datta et al. /Ann. Fuzzy Math. Inform. 11 (2016), No. 5, 681–700
One obtains y = w + w or y = w · w by using f (w , w ) = w + w f f1 f2 f f1 f2 1 2 1 2 or f (w1, w2) = w1 · w2 respectively. For subtraction, we first define −wf in the following manner:
µ(w | −wf ) = µ(−w | wf ) , and then set w − w = w + (−w ) . f1 f2 f1 f2 We also define the reciprocal w−1 of w as f f
µ(w | w−1) = µ(w−1 | w ) . f f
Now we consider some open surface centered at 0 (0 + i10 + i20 + i1i20) disjoint 0 0 −1 from wf . If wf is not bounded away from zero, then w remains undefined. When f 0 belongs to supp w , then supp w−1 will not be bounded and by our definition f f of fuzzy bicomplex numbers, w−1 will not be fuzzy bicomplex number. f For the division of two fuzzy bicomplex numbers w and w , we may write f1 f2 w f1 = w · w−1. f1 f2 wf2 Next we wish to give an alternative definition of fuzzy bicomplex number in terms of fuzzy complex numbers in the following way:
Definition 1.10. If z and z are any two fuzzy complex numbers with member- f1 f2 ship functions µ(z | z ) and µ(z | z ) respectively, then 1 f1 2 f2 w = z + i z f f1 2 f2 is a fuzzy bicomplex number with membership function
µ(w | w ) = min µ(z | z ) , µ(z | z ) f 1 f1 2 f2 where w = z1 + i2z2.
In this paper we wish to establish some few results related to fuzzy bicomplex numbers on the basis of its definitions stated above.
2. Lemmas In this section we present some lemmas which will be needed in the sequel.
α α Lemma 2.1 ([1]). If zf be any fuzzy complex number then |zf | = zf where 0 ≤ α ≤ 1 and |zf | is a truncated real fuzzy number.
Lemma 2.2 ([5]). If M and N be any two real fuzzy numbers then (M + N)α = M α + N α and if M ≥ 0,N ≥ 0 then (M.N)α = M α.N α . 684 S. K. Datta et al. /Ann. Fuzzy Math. Inform. 11 (2016), No. 5, 681–700
3. Main results In this section we present the main results of the paper.
Theorem 3.1. Let wf1 , wf2 , .....wfn be any n number of fuzzy bicomplex numbers.
Also let B = wf1 + wf2 + .... + wfn . Then for any α, 0 ≤ α ≤ 1, Aα = Bα . holds where Aα = w + w + .... + w | (w , w ...w ) ∈ wα × wα × .... × wα . 1 2 3 1 2, n f1 f2 fn Proof. Case I. Let us suppose 0 ≤ α < 1 . Now let α (3.1) w1 + w2 + .... + wn = w ∈ B . Then it follows from (3.1) that
Λ(w1, w2,...wn) > α as µ (w | B) > α . This implies that µ w | w > α, µ (w | w ) > α, ··· and µ (w | w ) > α 1 f1 2 f2 n fn which implies that (w , w ...w ) ∈ wα × wα × .... × wα 1 2, n f1 f2 fn (3.2) i.e., w ∈ Bα ⇒ w ∈ Aα . Again let us suppose that α (3.3) w1 + w2 + .... + wn = w ∈ A . Therefore from (3.3) we obtain that µ w | w > α, µ (w | w ) > α, ··· and µ (w | w ) > α 1 f1 2 f2 n fn which implies that Λ(w1, w2,...wn) > α . Therefore from above it follows that µ (w | B) also exceeds α and so (3.4) w ∈ Aα ⇒ w ∈ Bα . Thus from (3.2) and (3.4) we get that (3.5) Aα = Bα for 0 ≤ α < 1 . Case II. Let α = 1 . We may find n number of fuzzy bicomplex numbers w1, w2,... and wn so that 1 w1 + w2 + ... + wn = w and w ∈ B . We can also find w in supp w , w in supp (w ) ··· and w in supp w 1m f1 2m f2 nm fn so that wf1m + wf2m + .... + wfnm = w where m = 2, 3, 4, ····· and 1 Λ(w , w , ..., w ) > 1 − . 1 2 n m
Since the supports are compact we may choose a subsequence w1mk → w1, w2mk → w2 ··· and w1nk → wn with w1 +w2 +...+wn = w and Λ (w1, w2, ..., wn) ≥ 1 because Λ is continuous. 685 S. K. Datta et al. /Ann. Fuzzy Math. Inform. 11 (2016), No. 5, 681–700
This implies that w ∈ w1 , w ∈ w1 ··· w ∈ w1 . 1 f1 2 f2 n fn So (3.6) w ∈ B1 ⇒ w ∈ A1 . Also let 1 w1 + w2 + ... + wn = w ∈ A , which implies that Λ(w1, w2, ..., wn) = 1 . Therefore from above it follows that µ (w | B) = 1
(3.7) i.e., w ∈ A1 ⇒ w ∈ B1 . Now from (3.6) and (3.7) we obtain that (3.8) Aα = Bα for α = 1 . Thus the theorem follows from (3.5) and (3.8) .
Theorem 3.2. Let wf , wf , .....wf be any n number of fuzzy bicomplex numbers. 1 n 2 n o Also let us suppose M α = w · w · .... · w | (w , w ...w ) ∈ wα × wα × .... × wα 1 2 n 1 2, n f1 f2 fn and D = wf1 · wf2 · .... · wfn , then for 0 ≤ α ≤ 1 M α = Dα . Proof. Case I. First of all we assume that 0 ≤ α < 1 . Also let w ∈ M α. Therefore we may find n number of fuzzy bicomplex numbers w1, w2 ... wn so that w1 · w2... · wn = w. Now we obtain from above that µ w | w > α for k = 1, 2 ...n k fk which implies that Λ(w1, w2,...wn) > α . Thus it follows from above that µ (w | D) exceeds α and so (3.9) w ∈ M α ⇒ w ∈ Dα . α Again suppose that w ∈ D where w = w1 · w2... · wn . Then from above we get that
Λ(w1, w2,...wn) > α since µ (w | D) > α i.e., µ w | w > α for k = 1, 2 ...n , k fk which implies that (w , w ...w ) ∈ wα × wα × .... × wα 1 2, n f1 f2 fn (3.10) i.e., w ∈ Dα ⇒ w ∈ M α . 686 S. K. Datta et al. /Ann. Fuzzy Math. Inform. 11 (2016), No. 5, 681–700
Thus from (3.9) and (3.10) we get that (3.11) M α = Dα for 0 ≤ α < 1 . Case II. Let α = 1 . 1 Now let w1 · w2... · wn = w ∈ M where w1, w2 ...and wn are n number of fuzzy bicomplex numbers. Hence
Λ(w1, w2,...wn) = 1 . So we get from above that µ (w | D) = 1
(3.12) i.e., w ∈ M 1 ⇒ w ∈ D1 . Also suppose that 1 w1 · w2 · ... · wn = w ∈ D . Therefore we can find w in supp w , w in supp (w ) ··· and w in 1m f1 2m f2 nm supp (wfn ) so that w1m · w2m · ...w2m = w where m = 2, 3, 4, ····· and 1 Λ(w , w , ..., w ) > 1 − . 1m 2m nm m
As the supports are compact, we may choose a subsequence w1mk → w1, w2mk → w2
... and wnmk → wn with w1 · w2 · ... · wn = w and Λ (w1, w2, ..., wn) ≥ 1 because Λ is continuous. Thus w ∈ w1 for k = 1, 2, ..., n · k fk So (3.13) w ∈ D1 ⇒ w ∈ M 1 . Now from (3.12) and (3.13) we get that (3.14) M α = Dα for α = 1 .
Therefore the theorem follows from (3.11) and (3.14) . Remark 3.3. In view of Theorem 3.1 and Theorem 3.2 it can also be said that α α α α w + wf2 + ... + wfn = w + w ... + w and f1 f1 f2 fn α α α α w · wf2 · ... · wfn = w · w · ... · w for 0 ≤ α ≤ 1 . f1 f1 f2 fn
tk Also for bicomplex conjugates wf | k = 1, 2, 3 of a fuzzy bicomplex number wf , α tk αtk wf = wf holds for any α with 0 ≤ α ≤ 1 .
Theorem 3.4. let us suppose B = wf1 + wf2 + .... + wfn or B = wf1 · wf2 · .... · wfn where wf1 , wf2 , .... and wfn are any n number of fuzzy bicomplex numbers. Also 0 suppose bm bm ∈ B converges to b and µ (bm | B) converges to ρ in [0, 1] . Then µ (b | B) ≥ ρ · 687 S. K. Datta et al. /Ann. Fuzzy Math. Inform. 11 (2016), No. 5, 681–700
Proof. Suppose B = wf1 + wf2 + .... + wfn . 0 0 0 Now for every ε (> 0) there exists w1m in w , w2m in w ... and wnm in w f1 f2 fn so that w1m + w2m + ... + wnm = bm and
µ (bm | B) ≥ Λ(w1m, w2m, ..., wnm) > µ (bm | B) − ε .
Now all the w1m, w2m, ..., wnm and bm belong to compact sets. So we may choose a subsequence so that w1mk → w1, w2mk → w2, ... wnmk → wn and bmk → b where w1 + w2 + ... + wn = b and obviously
ρ ≥ Λ(w1, w2, ..., wn) > ρ − ε , because Λ is continuous. As ε is arbitrary, we have from above that
ρ = Λ (w1, w2, ..., wn) , which implies that µ (b | B) ≥ ρ . This proves the first part of the theorem. Analogously one may easily prove the second part of the theorem for B = wf1 · wf2 · .... · wfn and hence the proof is omitted.
Theorem 3.5. Let wf1 , wf2 , .....wfn be any n number of fuzzy bicomplex numbers
. Also let B = wf1 + wf2 + .... + wfn or B = wf1 · wf2 · .... · wfn . Then for any α (0 ≤ α < 1) ,Bα is open.
Proof. Let B = wf1 + wf2 + .... + wfn . Also let b ∈ Bα for any α, 0 ≤ α < 1 . Now in view of Theorem 3.1, we get that (w , w ...w ) ∈ wα × wα × .... × wα 1 2, n f1 f2 fn where b = w1 + w2 + ... + wn . Now in view of Definition 1.4, wα , wα , ...., wα are all open. f2 f3 fn So we can choose an open interval O (w2,, ε), O (w3,, ε), ... and O (wn,, ε) centered at w2,, w3,.. and wn respectively with radius ε > 0. Therefore it is natural that O (w2,, ε), O (w3,, ε), ... and O (wn,, ε) contained in wα , wα , .... and wα respectively. f2 f3 fn So the set w1 + O (w2,, ε) + O (w3,, ε) ... + O (wn,, ε) is an open set containing b. Also in view of Theorem 3.1, the set w1 + O (w2,, ε) + O (w3,, ε) ... + O (wn,, ε) wholely1. Wholly inside Bα . Therefore Bα is open. Hence the first part of the theorem follows.
Similarly one may easily prove the second part of the theorem for B = wf1 · wf2 ·
.... · wfn and hence the proof is omitted.
Theorem 3.6. If wf1 , wf2 , .....wfn be any n number of fuzzy bicomplex numbers, then (i) w + w + ... + w and f1 f2 fn (ii) w · w · ... · w f1 f2 fn are also fuzzy bicomplex numbers. 688 S. K. Datta et al. /Ann. Fuzzy Math. Inform. 11 (2016), No. 5, 681–700
Proof. Let us suppose that P = w + w + ... + w . f1 f2 fn We have to show that µ (p | P ) is continuous by arguing that pn → p implies µ (pn | P ) → µ (p | P ) . 0 It suffices to choose that pn in P .
Since µ (pn | P ) belongs to [0, 1] there is a subsequence µ (pnk | P ) converging to some ρ in [0, 1] . We know that {cf. p. 31,[6]}
lim inf µ (pn | P ) ≤ ρ ≤ lim sup µ (pn | P ) . Also Theorem 3.5 implies that b | µ (p | P ) ≤ t is closed for all t. Therefore µ (p | P ) is lower semicontinuous and it follows that {cf. p. 74,[7]}
lim inf µ (pn | P ) ≥ lim sup µ (p | P ) . However from Theorem 3.4 we obtain that µ (p | P ) ≥ ρ . Hence lim inf µ (pn | P ) = ρ = µ (p | P ) . Therefore there is a subsequence µ pnj | P converging to lim sup µ (pn | P )([6], p. 32). Also Theorem 3.4 implies that
lim inf µ (p | P ) ≥ µ (pn | P ) . Therefore lim inf µ (pn | P ) = µ (p | P ) = lim sup µ (pn | P ) . So in view of ( [6], p. 31) we have
lim inf µ (pn | P ) = µ (p | P ) and µ (p | P ) is continuous. In view of Theorem 3.1, it can be easily shown that P α, 0 ≤ α ≤ 1 is bounded because it is the sum of n numbers of bounded sets. Also from Theorem 3.5 we get P α is open for all 0 ≤ α ≤ 1 and P 1 is closed because µ (p | P ) is continuous. Finally we argue that P α is connected, arc wise connected and simply connected for 0 ≤ α ≤ 1. Now wα , i = 1, 2, 3...n are connected, arc wise connected and simply connected fi and therefore wα × wα × .... × wα is also connected, arc wise connected and simply f1 f2 fn connects for 0 ≤ α ≤ 1 . Also from Theorem 3.1 we get that Bα is the continuous image of wα × wα × f1 f2 .... × wα , it follows that P α = Bα is also connected, simply connected and arc wise fn connected for all 0 ≤ α ≤ 1. Thus we have shown that P satisfies all the conditions to be a fuzzy bicomplex number. Hence the first part of the theorem follows. 689 S. K. Datta et al. /Ann. Fuzzy Math. Inform. 11 (2016), No. 5, 681–700
The proof of the second part of the theorem is similar to the first part and so it is omitted.
Corollary 3.7. Suppose wf and wf2 be any two fuzzy bicomplex numbers . Then w 1 f1 (i) wf − wf2 and (ii) are also fuzzy bicomplex numbers. 1 wf2
Proof. As wf2 is a fuzzy bicomplex number,
then −wf2 is also a fuzzy bicomplex number. Therefore w − w = w + (−w ) is also a fuzzy bicomplex number. f1 f2 f1 f2 This proves the first part of the corollary. α −1 −1 −1 α Since the mapping w2 → w ,w2 6= 0 is continuous and w = w for 2 f2 f2 −1 any α, 0 ≤ α ≤ 1, we see that w is a fuzzy bicomplex number as wf2 is a fuzy f2 bicomplex number. w Thus f1 is a fuzzy bicomplex number. wf2 Hence the second part of the corollary follows. Remark 3.8. In view of Theorem 3.1 and Corollary 3.7, it can also be said that