Research Article On λ-statistically Convergent Double Sequences of Fuzzy Numbers

Transcription

1 Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2008, Article ID 47827, 6 pages doi:0.55/2008/47827 Research Article On λ-statistically Convergent Double Sequences of Fuzzy Numbers Ekrem Savaş Department of Mathematics, Istanbul Ticaret University, Uskudar 36472, Istanbul, Turkey Correspondence should be addressed to Ekrem Savaş, ekremsavas@yahoo.com Received 7 July 2007; Accepted 3 December 2007 Recommended by Jewgeni H. Dshalalow We study the notion of λ-statistically convergent for double sequence of fuzzy numbers and also get some inclusion relations. Copyright q 2008Ekrem Savaş. 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.. Introduction Nanda studied sequence of fuzzy numbers and showed that the set of all convergent sequences of fuzzy numbers form a complete metric space. Nuray 2 proved the inclusion relations between the set of statistically convergent and lacunary statistically convergent sequences of fuzzy numbers. Kwon and Shim 3 studied statistical convergence and lacunary statistical convergence of sequences of fuzzy numbers, and they showed that Nuray s conditions are sufficient as well as necessary. Savaş 4 introduced and discussed double convergent sequence of fuzzy numbers and showed that the set of all double convergent sequences of fuzzy numbers is complete. In 5, Savaş generalized the statistical convergence by using de la Vallee-Poussin mean. Quite recently, Savaş and Mursaleen 6 introduced of statistically convergent and statistically Cauchy for double sequence of fuzzy numbers. In this paper, we continue to study the concepts of strongly double V, λ -summable and double S λ -convergent for double sequence of fuzzy numbers. 2. Preliminaries Before continuing with the discussion, we pause to establish some notation. Let C R n { A R n : A compact and convex }. The spaces C R n have a linear structure induced by the operations A B {a b, a A, b B}, 2. λa {λa, λ A}

2 2 Journal of Inequalities and Applications for A, B C R n,andλ R. The Hausdorff distance between A and B of C R n is defined as δ A, B max { sup a A inf b B a b, sup b B } inf a b. 2.2 It is well known that C R n,δ is a complete not separable metric space. A fuzzy number is a function X from R n to 0, satisfying X is normal, that is, there exists an x 0 R n such that X x 0 ; 2 X is fuzzy convex, that is, for any x, y R n and 0 λ, a A X λx λ y min{x x,x y }; X is upper semicontinuous; 4 theclosureof { x R n : X x > 0 }, denoted by X 0, is compact. These properties imply that for each 0 <α, the α-level set X α { x R n : X x α } 2.4 is a nonempty compact convex, subset of R n, as is the support X 0.LetL R n denote the set of all fuzzy numbers. The linear structure of L R n induces addition X Y and scalar multiplication λx, λ R, in terms of α-level sets by [ ] α [ ] α [ ] α, X Y X Y [ ] α [ ] α 2.5 λx λ X for each 0 α. Define for each q<, { } /q ( d q X, Y δ X α,y α q dα and d sup 0 α δ ( X α,y α. Clearly, d X, Y lim q d q X, Y with d q d r if q r. Moreover, d q is a complete, separable, and locally compact metric space 7. Throughout the paper, d will denote d q with q. We will need the following definitions. Definition 2.. A double sequence X X kl of fuzzy numbers is said to be convergent in the Pringsheim s sense or P-convergent to a fuzzy number X 0 if for every ε>0, there exists N N such that <ɛ for k, l > N, 2.7 and we denote X X 0. The number X 0 is called the Pringsheim limit of X kl. More exactly, we say that a double sequence X kl converges to a finite number X 0 if X kl tend to X 0 as both k and l tends to independently of one another.

3 Ekrem Savaş 3 Let c 2 F denote the set of all double convergent sequences of fuzzy numbers. Definition 2.2. A double sequence X X kl of fuzzy numbers is bounded if there exists a positive number M such that d X kl,x 0 <Mfor all k and l, x,2 sup d ( X kl,x 0 <. k,l 2.8 We will denote the set of all bounded double sequences by l 2 F. Let K N Nbe a two-dimensional set of positive integers and let K m,n be the numbers of i, j in K such that i n and j m. Then the lower asymptotic density of K is defined as K m,n inf m,n mn δ 2 K. 2.9 In the case when the sequence K m,n /mn, m,n, has a limit, then we say that K has a natural density and is defined as m,n K m,n mn δ 2 K. 2.0 For example, let K { i 2,j 2 : i, j N},whereN is the set of natural numbers. Then K m,n m n δ 2 K m,n mn 0 m,n mn 2. i.e., the set K has double natural density zero. Definition 2.3. A double sequence X X kl of fuzzy numbers is said to be statistically convergent to X 0 provided that for each ε>0, {( j, k ; j m, k n : d ( } X kl,x 0 ɛ 0. m,n 2.2 In this case, we write st 2 lim k,l X k,l X 0 and we denote the set of all double statistically convergent sequences of fuzzy numbers by st 2 F. Definition 2.4. λ λ n and μ μ m could be two nondecreasing sequences of positive real numbers such that each tends to and λ n λ n, λ, μ m μ m, μ. 2.3 A double sequence X X kl of fuzzy numbers is said to be λ-summable if there is fuzzy number X 0 such that d ( X kl,x 0 0, 2.4 λ k I n l I m where I n n λ n,n, I m m μ m,m, and λ λ n μ m.

4 4 Journal of Inequalities and Applications In this case, we say that X is strongly double λ-summable to X 0 and we denote the set of all strongly double λ-summable sequences by V, λ F. Ifλ, then strongly double λ-summable reduces to C,, F, the space of strongly double Cesàro summable sequences defined as follows: mn k,l, Definition 2.5. A double sequence X X kl of fuzzy numbers is said to be double λ-statistically convergent or S λ -convergent to X 0 if for every ɛ>0, n,m λ { k I n,l I m : } P In this case, we write S λ lim X X 0 or X kl X0 S λ and we denote the set of all double S λ -statistically convergent sequences of fuzzy numbers by S λ F. If λ, for all n, m, then the set S λ F of S λ -convergent sequences reduces to the space st 2 F. We need the following proposition in future. A metric d on L R is said to be a translation invariant if d X Z, Y Z d X, Y for X, Y, Z L R. Proposition 2.6. If d is a translation invariant metric on L R, then d X Y, 0 d X, 0 d Y, Proof is clear so we omitted it. In the next theorem, we give some connections between strongly double λ-summable and double λ-statistical convergences. 3. Main results Theorem 3.. A double sequence X X kl of fuzzy numbers is strongly double λ-summable X 0,then it is double λ-statistically convergent to X 0. Proof. Let ɛ>0and since d ( X kl,x 0 k I n,l I m k I n,l I m,d (X kl,x 0 ɛ { k In,l I m : }. 3. This implies that if a sequence X X kl is strongly double λ-summable X 0,thenX is double λ-statistically convergent to X 0. This completes the proof. We have the following theorem. Theorem 3.2. If a bounded X kl is double λ-statistically convergent to X 0, then it is strongly double λ-summable X 0.

5 Ekrem Savaş 5 Proof. Suppose that X kl is bounded and double λ-statistically convergent to X 0. Since X is bounded we write M for all k, l. Also for given ɛ>0andn and m large we obtain λ d ( X kl,x 0 k I n,l I m λ k I n,l I m,d (X kl,x 0 ɛ λ k I n,l I m,d (X kl,x 0 <ɛ M λ { k In,l I m : } ɛ, 3.2 which implies that X is strongly double λ-summable X 0. This completes the proof. Theorem 3.3. If a sequence X X kl of fuzzy numbers is double statistically convergent to X 0,then it is double λ-statistically convergent to X 0 if and only if inf λ > Proof. For given ε>0, we have { k n, l m : d ( Xkl,X 0 } {k In,l I m : }. 3.4 Therefore, { k n, l m : d ( } X kl,x 0 ɛ { k I n,l I m : d (( } X kl,x 0 ɛ λ λ { k In,l I m : d (( X kl,x 0 }. 3.5 Taking the limit as n, m and using hypothesis, we get X is double λ-statistically convergent to X 0. Conversely, suppose that X st 2 F and since λ λ n μ m,either n inf λ n /n 0 or m inf μ m /m 0 or both are zero. Then we can choose subsequences n p p and m q q such that λ n p /n p < /p and μ m q /m q < /q. Define a sequence X X kl by if k I n p,l I m q p, q, 2,..., X kl 0 otherwise. 3.6 Then X C,, F and hence, by 6, Theorem6 a, X st 2 F. But on the other hand, X/ V, λ F and from Theorem 3., X / S λ F ; a contradiction and hence 3.3 must hold. Finally, we conclude this paper by stating a definition which generalizes Definition 2.4.

6 6 Journal of Inequalities and Applications Definition 3.4. Let X X kl be a double sequence of fuzzy numbers and let p be positive real numbers. The sequence X is said to be strongly double λ p -summable if there is fuzzy number X 0 such that λ k I n l I m p In this case, we say that X is strongly double λ p -summable to X 0.Ifλ, then strongly double λ p -summable reduces to strongly double p-cesàro summable to X 0. Theorem 3.5. Let p 0,. If a double sequence X X kl of fuzzy numbers is strongly double λ p -summable X 0,thenitisdoubleλ-statistically convergent to X 0. 2 Let p 0,. If a bounded X kl is double λ-statistically convergent to X 0,thenitis strongly double λ p -summable X 0. Proof. The proof of theorem is similar to that of Theorems 3. and 3.2 so we omitted it. References S. Nanda, On sequences of fuzzy numbers, Fuzzy Sets and Systems, vol. 33, no., pp , F. Nuray, Lacunary statistical convergence of sequences of fuzzy numbers, Fuzzy Sets and Systems, vol. 99, no. 3, pp , J. S. Kwon and H. T. Shim, Remark on lacunary statistical convergence of fuzzy numbers, Fuzzy Sets and Systems, vol. 23, no., pp , E. Savaş, A note on double sequences of fuzzy numbers, Turkish Journal of Mathematics, vol. 20, no. 2, pp , E. Savaş, On strongly λ-summable sequences of fuzzy numbers, Information Sciences, vol. 25, no. 4, pp. 8 86, E. Savaş and Mursaleen, On statistically convergent double sequences of fuzzy numbers, Information Sciences, vol. 62, no. 3-4, pp , P. Diamond and P. Kloeden, Metric spaces of fuzzy sets, Fuzzy Sets and Systems, vol. 35, no. 2, pp , 990.