AAA Abstract and Applied Analysis 1687-0409 1085-3375 Hindawi Publishing Corporation 215612 10.1155/2013/215612 215612 Research Article Statistical Summability of Double Sequences through de la Vallée-Poussin Mean in Probabilistic Normed Spaces Mohiuddine S. A. http://orcid.org/0000-0001-7780-8137 Alotaibi Abdullah Mursaleen Mohammad Department of Mathematics Faculty of Science King Abdulaziz University P.O. Box 80203 Jeddah 21589 Saudi Arabia kau.edu.sa 2013 21 11 2013 2013 21 09 2013 26 10 2013 2013 Copyright © 2013 S. A. Mohiuddine and Abdullah Alotaibi. 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.

The purpose of this paper is to define some new types of summability methods for double sequences involving the ideas of de la Vallée-Poussin mean in the framework of probabilistic normed spaces and establish some interesting results.

1. Introduction and Preliminaries

Throughout the paper, the symbols and will denote the set of all natural and real numbers, respectively. The notion of convergence for double sequence was introduced by Pringsheim : we say that a double sequence x=(xj,k)j,k of reals is convergent to L in Pringsheim’s sense (briefly, (P) convergent) provided that given ϵ>0 there exists a positive integer N such that |xj,k-L|<ϵ whenever j,kN.

The idea of statistical convergence is a generalization of convergence of real sequences which was first presented by Fast  and Steinhaus , independently. Some of its basic properties and interesting concepts, especially, the notion of statistically Cauchy sequence, were proved by Schoenberg , Šalát , and Fridy . See, for instance,  and references therein. Mursaleen and Edely  introduced the two-dimensional analogue of natural (or asymptotic) density as follows: let A× and A(h,l)={jh,kl:(j,k)A}, where h,l. Then (1)δ-2(A)=(P)limsuph,l|A(h,l)|hl,δ_2(A)=(P)liminfh,l|A(h,l)|hl are called the upper and lower asymptotic densities of a two-dimensional set A, respectively, where the vertical bars stand for cardinality of the enclosed set. If δ-2(A)=δ_2(A), then (2)δ2(A)=(P)limh,l|A(h,l)|hl is called the double natural density of the set A. In the same paper, using the notion of double natural density, they extended the idea of statistical convergence from single to double sequences (for recent work, see ).

The double sequence x=(xj,k) is statistically convergent to the number L if, for each ϵ>0, the set {(j,k),jh,kl:|xj,k-L|ϵ} has double natural density zero. We denote this by S-limx=L (or xj,kL(S)).

Mursaleen initiated the notion of λ-statistical convergence (single sequences) with the help of de la Vallée-Poussin mean, in . For detail of λ-statistical convergence, one can be referred to  and many others. In , Mursaleen et al. presented the notion of (λ,μ)-statistical convergence and (λ,μ)-statistically bounded for double sequences and showed that (λ,μ)-statistically bounded double sequences are (λ,μ)-statistical convergence if and only if (λ,μ)-statistical limit infimum of x=(xj,k) is equal to (λ,μ)-statistical limit supremum of x (also see ).

Suppose that λ=(λm) and μ=(μn) are two nondecreasing sequences of positive real numbers such that (3)λm+1λm+1,λ1=0,μn+1μn+1,μ1=0 and each tends to infinity.

Recall that (λ,μ)-density of the set K× is given by (4)δλ,μ(K)=(P)limm,n1λmμn×|{m-λm+1jm,n-μn+1kn:(j,k)K}| provided that the limit exists.

We remark, that, for λm=m and μn=n, the above density reduces to the double natural density.

The generalized double de la Vallée-Poussin mean is defined as (5)tm,n(x)=1λmμnjJmkInxj,k, where Jm=[m-λm+1,m] and In=[n-μn+1,n].

We say that x=(xj,k) is (λ,μ)-statistically convergent to the number L if, for every ϵ>0, (6)(P)limm,n1λmμn|{jJm,kIn:|xj,k-L|ϵ}|=0. We denote this by Sλ,μ-limx=L.

The symbol Δ+ will denote the set of all distribution functions (d.f.) f:[0,1] which are nondecreasing, left continuous on , equal to zero on [-,0], and such that f(+)=1. The space Δ+ is partially ordered by the usual pointwise ordering of functions.

A triangular norm (or a t-norm)  is a binary operation τ:[0,1]×[0,1][0,1] which satisfies the following conditions. For all h1,h2,h3[0,1]

τ(τ(h1,h2),h3)=τ(h1,τ(h2,h3)),

τ(h1,h2)=τ(h2,h1),

τ(h1,h3)τ(h2,h3) whenever h1h2,

τ(h1,1)=h1.

In the literature, we have two definitions of probabilistic normed space or, briefly, PN-space; the original one is given by Šerstnev  in 1962 who used the concept of Menger  to define such space and the other one by Alsina et al.  (for more details, see ).

According to Šerstnev , a probabilistic normed space is a triple (X,ν,τ), where X is a real linear space, ν is the probabilistic norm, that is, ν is a function from X into Δ+, for xX, the d.f. ν(x) is denoted by νx, νx(t) which is the value of νx at t, and τ is a t-norm that satisfies the following conditions:

νx(0)=0;

νx(t)=1 for all t>0 if and only if x=0;

ναx(t)=νx(t/|α|) for all t>0, α with α0 and xX;

νx+y(t1+t2)τ(νx(t1),νy(t2)) for all x,yX and t1,t2+={x:x0}.

2. Main Results

We define the notions of (λ,μ)-summable, statistically (λ,μ)-summable, statistically (λ,μ)-Cauchy, and statistically (λ,μ)-complete for double sequences with respect to PN-space and establish some interesting results.

Definition 1.

A double sequence x=(xj,k) is said to be (λ,μ)-summable in (X,ν,τ) (or, shortly, ν(λ,μ)-summable) to L if for each ϵ>0, θ(0,1) there exists N such that νtm,n(x)-L(ϵ)>1-θ for all m,nN. In this case, one writes ν(λ,μ)-limx=L.

Definition 2.

A double sequence x=(xj,k) is said to be statistically  (λ,μ)-summable in (X,ν,τ) (or, shortly, ν(Sλ,μ)-summable) to L if δ2(Kλ,μ)=0, where Kλ,μ={(m,n)×:νtm,n(x)-L(ϵ)1-θ}; that is, if, for each ϵ>0, θ(0,1), (7)(P)limh,l1hl|{mh,nl:νtm,n(x)-L(ϵ)1-θ}|=0 or equivalently (8)(P)limh,l1hl|{mh,nl:νtm,n(x)-L(ϵ)>1-θ}|=1. In this case, we write ν(Sλ,μ)-limx=L, and L is called the ν(Sλ,μ)-limit of x.

Definition 3.

A double sequence x=(xj,k) is said to be statistically (λ,μ)-Cauchy in (X,ν,τ) (or, shortly, ν(Sλ,μ)-Cauchy) if, for every ϵ>0 and θ(0,1), there exist M,N such that, for all m,pM, n,qM, the set Sϵ(λ,μ)={(m,n)×:νtm,n(x)-tp,q(x)(ϵ)1-θ} has double natural density zero; that is, (9)(P)limh,l1hl|{mh,nl:νtm,n(x)-tp,q(x)(ϵ)1-θ}|=0.

Theorem 4.

If a double sequence x=(xj,k) is statistically (λ,μ)-summable in (X,ν,τ), that is, ν(Sλ,μ)-lim x=L exists, then ν(Sλ,μ)-limit of (xj,k) is unique.

Proof.

Assume that ν(Sλ,μ)-lim x=L1 and ν(Sλ,μ)-lim x=L2. We have to prove that L1L2. For given ϵ>0, choose q>0 such that (10)τ((1-q),(1-q))>1-ϵ. Then, for any t>0, we define (11)Mq(λ,μ)={(m,n)×:νtm,n(x)-L1(t)1-q},Mq′′(λ,μ)={(m,n)×:νtm,n(x)-L2(t)1-q}. Since ν(Sλ,μ)-lim x=L1 implies δ2(Mq(λ,μ))=0 and similarly we have δ2(Mq′′(λ,μ))=0. Now, let Mq(λ,μ)=Mq(λ,μ)Mq′′(λ,μ). It follows that δ2(Mq(λ,μ))=0 and hence the complement Mqc(λ,μ) is nonempty set and δ2(Mqc(λ,μ))=1. Now, if (m,n)×Mq(λ,μ), then (12)νL1-L2(t)τ(νtm,n(x)-L1(t2),νtm,n(x)-L2(t2))>τ((1-q),(1-q))>1-ϵ. Since ϵ>0 was arbitrary, we obtain νL1-L2(t)=1 for all t>0. Hence L1=L2. This means that ν(Sλ,μ)-limit is unique.

Theorem 5.

If a double sequence x=(xj,k) is ν(λ,μ)-summable to L, then it is ν(Sλ,μ)-summable to the same limit.

Proof.

Let us consider that ν(λ,μ)-lim x=L. For every ϵ>0 and t>0, there exists a positive integer N such that (13)νtm,n(x)-L(t)>1-ϵ holds for all m,nN. Since (14)Kϵ(λ,μ){(m,n)×:νtm,n(x)-L(t)1-ϵ} is contained in ×, hence δ2(Kϵ(λ,μ))=0; that is, x=(xj,k) is ν(Sλ,μ)-summable to L.

Example 6.

This example proves that the converse of Theorem 5 need not be true. We denote by (,|·|) the set of all real numbers with the usual norm and τ(a,b)=ab for all a,b[0,1]. Assume that νx(t)=t/(t+|x|) for all xX and all t>0. Here, we observe that (,ν,τ) is a PN-space. The double sequence x=(xj,k) is defined by (15)tm,n(x)={mn;if  m,n=w2,w0;otherwise. For ϵ>0 and t>0, write (16)Kϵ(λ,μ)={(m,n)×:νtm,n(x)(t)1-ϵ}. It is easy to see that (17)νtm,n(x)(t)=tt+|tm,n(x)|={tt+mn,for  m,n=w2,w;1,otherwise; and hence (18)limνtm,n(x)(t)={0,for  if  m,n=w2,w;1,otherwise. We see that the sequence (xj,k) is not (λ,μ)-summable in (,ν,τ). But the set Kϵ(λ,μ) has double natural density zero since Kϵ(λ,μ){(1,1),(4,4),(9,9),(16,16),}. From here, we conclude that the converse of Theorem 5 need not be true.

Theorem 7.

A double sequence x=(xj,k) is ν(Sλ,μ)-summable to L if and only if there exists a subset K={(jm,kn):j1<j2<<jm<;k1<k2<<kn<}× such that δ2(K)=1 and ν(λ,μ)-lim xjm,kn=L.

Proof.

Assume that there exists a subset K = {(jm,kn):j1<j2<<jm<; k1 < k2 < < kn < }× such that δ2(K)=1 and ν(λ,μ)-lim xjm,kn=L. Then there exists N such that (19)νtm,n(x)-L(t)>1-ϵ holds for all m,n>N. Put Kϵ(λ,μ)={(m,n)×:νtjm,kn(x)-ξ(t)1-ϵ} and K = {(jN+1,kN+1), (jN+2,kN+2),}. Then δ2(K) = 1 and Kϵ(λ,μ)-K which implies that δ2(Kϵ(λ,μ))=0. Hence x=(xj,k) is statistically (λ,μ)-summable to L in PN-space.

Conversely, suppose that x=(xj,k) is ν(Sλ,μ)-summable to L. For q=1,2,3, and t>0, write (20)Kq(λ,μ)={(m,n)×:νtjm,kn(x)-L(t)1-1q},Mq(λ,μ)={(m,n)×:νtjm,kn(x)-L(t)>1q}. Then δ2(Kq(λ,μ))=0 and (21)M1(λ,μ)M2(λ,μ)Mi(λ,μ)Mi+1(λ,μ),(22)δ2(Mq(λ,μ))=1,q=1,2,.

Now, we have to show that, for (m,n)Mq(λ,μ), x=(xjm,kn) is ν(λ,μ)-summable to L. Suppose that x=(xjm,kn) is not ν(λ,μ)-summable to L. Therefore, there is ϵ>0 such that νtjm,kn-L(t)ϵ for infinitely many terms. Let (23)Mϵ(λ,μ)={(m,n)×:νtjm,kn-ξ(t)>ϵ}, and ϵ>1/q with q=1,2,3,. Then (24)δ(Mϵ(λ,μ))=0, and by (21), Mq(λ,μ)Mϵ(λ,μ). Hence δ(Mq(λ,μ))=0, which contradicts (22) and therefore x=(xjm,kn) is ν(λ,μ)-summable to L.

Theorem 8.

If a double sequence x=(xj,k) is statistically (λ,μ)-summable in PN-space, then it is statistically (λ,μ)-Cauchy.

Proof.

Suppose that ν(Sλ,μ)-lim x=L. Let ϵ>0 be a given number so that we choose q>0 such that (25)τ((1-q),(1-q))>1-ϵ. Then, for t>0, we have (26)δ2(Aq(λ,μ))=0, where Aq(λ,μ)={(m,n)×:νtm,n(x)-L(t/2)1-q} which implies that (27)δ2(Aqc(λ,μ))=δ2({(m,n)×:νtm,n(x)-L(t2)>1-q})=1. Let (f,g)Aqc(λ,μ). Then νtf,g(x)-L(t/2)>1-q.

Now, let (28)Bϵ(λ,μ)={(m,n)×:νtm,n(x)-tf,g(x)(t)1-ϵ}. We need to show that Bϵ(λ,μ)Aq(λ,μ). Let (m,n)Bϵ(λ,μ)Aq(λ,μ). Then νtm,n(x)-tf,g(x)(t)1-ϵ,    νtm,n(x)-L(t/2)>1-q, and in particular νtf,g(x)-L(t/2)>1-q. Then (29)1-ϵνtm,n(x)-tf,g(x)(t)τ(νtm,n(x)-L(t2),νtf,g(x)-L(t2))>τ((1-q),(1-q))>1-ϵ, which is not possible. Hence Bϵ(λ,μ)Aq(λ,μ). Therefore, by (26) δ2(Bϵ(λ,μ))=0. Hence, x is statistically (λ,μ)-Cauchy in PN-space.

Definition 9.

Let (X,ν,τ) be a PN-space. Then,

PN-space is said to be complete if every Cauchy double sequence is P-convergent in (X,ν,τ);

PN-space is said to be statistically (λ,μ)-complete (or, shortly, ν(Sλ,μ)-complete) if every statistically (λ,μ)-Cauchy sequence in PN-space is statistically (λ,μ)-summable.

Theorem 10.

Every probabilistic normed space (X,ν,τ) is ν(Sλ,μ)-complete but not complete in general.

Proof.

Suppose that x=(xj,k) is ν(Sλ,μ)-Cauchy but not ν(Sλ,μ)-summable. Then there exist M,N such that, for all m,pM, n,qM, the set Eϵ(λ,μ)={(m,n)×:νtm,n(x)-tp,q(x)(t)1-ϵ} has double natural density zero; that is, δ2(Eϵ(λ,μ))=0 and (30)δ2(Fϵ(λ,μ))=δ2({(m,n)×:νtm,n(x)-L(t2)>1-ϵ})=0. This implies that δ2(Fϵc(λ,μ))=1, since (31)νtm,n(x)-tp,q(x)(t)2νtm,n(x)-L(t2)>1-ϵ, if νtm,n(x)-L(t/2)>(1-ϵ)/2. Therefore δ2(Eϵc(λ,μ))=0; that is, δ2(Eϵ(λ,μ))=1, which leads to a contradiction, since x=(xj,k) was ν(Sλ,μ)-Cauchy. Hence x=(xj,k) must be ν(Sλ,μ)-summable.

To see that a probabilistic normed space is not complete in general, we have the following example.

Example 11.

Let X=(0,1] and νx(t)=t/(t+|x|) for t>0. Then (X,ν,τ) is a probabilistic normed space but not complete, since the double sequence (1/mn) is Cauchy with respect to (X,ν,τ) but not P-convergent with respect to the present PN-space.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, under Grant no. (303/130/1433). The authors, therefore, acknowledge with thanks DSR technical and financial support.

Pringsheim A. Zur theorie der zweifach unendlichen zahlenfolgen Mathematische Annalen 1900 53 3 289 321 10.1007/BF01448977 MR1511092 Fast H. Sur la convergence statistique Colloquium Mathematicum 1951 2 241 244 MR0048548 ZBL0044.33605 Steinhaus H. Sur la convergence ordinaire et la convergence asymptotique Colloquium Mathematicum 1951 2 73 74 Schoenberg I. J. The integrability of certain function and related summability methods The American Mathematical Monthly 1959 66 361 375 10.2307/2309950 Šalát T. On statistically convergent sequences of real numbers Mathematica Slovaca 1980 30 2 139 150 MR587239 ZBL0437.40003 Fridy J. A. On statistical convergence Analysis 1985 5 4 301 313 MR816582 ZBL0588.40001 Çakalli H. Khan M. K. Summability in topological spaces Applied Mathematics Letters 2011 24 3 348 352 10.1016/j.aml.2010.10.021 MR2741044 ZBL1216.40009 Hazarika B. On generalized statistical convergence in random 2-normed spaces Scientia Magna 2012 8 1 58 67 Mohiuddine S. A. Alghamdi M. A. Statistical summability through a lacunary sequence in locally solid Riesz spaces Journal of Inequalities and Applications 2012 2012, article 225 10.1186/1029-242X-2012-225 MR3017298 Mohiuddine S. A. Aiyub M. Lacunary statistical convergence in random 2-normed spaces Applied Mathematics & Information Sciences 2012 6 3 581 585 MR2950573 Mohiuddine S. A. Şevli H. Cancan M. Statistical convergence in fuzzy 2-normed space Journal of Computational Analysis and Applications 2010 12 4 787 798 MR2649299 ZBL1198.40002 Mursaleen M. On statistical convergence in random 2-normed spaces Acta Scientiarum Mathematicarum 2010 76 1-2 101 109 MR2668409 ZBL06151151 Mursaleen M. Edely O. H. H. Generalized statistical convergence Information Sciences 2004 162 3-4 287 294 10.1016/j.ins.2003.09.011 MR2076242 ZBL1062.40003 Mursaleen M. Karakaya V. Ertürk M. Gürsoy F. Weighted statistical convergence and its application to Korovkin type approximation theorem Applied Mathematics and Computation 2012 218 18 9132 9137 10.1016/j.amc.2012.02.068 MR2923012 ZBL1262.40004 Şahiner A. Gürdal M. Saltan S. Gunawan H. Ideal convergence in 2-normed spaces Taiwanese Journal of Mathematics 2007 11 5 1477 1484 MR2368664 ZBL1134.46302 Yamancı U. Gürdal M. On lacunary ideal convergence in random 2-normed space Journal of Mathematics 2013 2013 8 868457 10.1155/2013/868457 Mursaleen M. Edely O. H. H. Statistical convergence of double sequences Journal of Mathematical Analysis and Applications 2003 288 1 223 231 10.1016/j.jmaa.2003.08.004 MR2019757 ZBL1032.40001 Mursaleen M. Mohiuddine S. A. Statistical convergence of double sequences in intuitionistic fuzzy normed spaces Chaos, Solitons & Fractals 2009 41 5 2414 2421 10.1016/j.chaos.2008.09.018 MR2548325 ZBL1198.40007 Mohiuddine S. A. Şevli H. Cancan M. Statistical convergence of double sequences in fuzzy normed spaces Filomat 2012 26 4 673 681 10.2298/FIL1204673M MR3099006 ZBL06221190 Çolak R. Altin Y. Statistical convergence of double sequences of order α̃ Journal of Function Spaces and Applications 2013 2013 5 682823 10.1155/2013/682823 Mohiuddine S. A. Alotaibi A. Mursaleen M. Statistical convergence of double sequences in locally solid Riesz spaces Abstract and Applied Analysis 2012 2012 9 719729 10.1155/2012/719729 ZBL1262.40005 Mohiuddine S. A. Hazarika B. Alotaibi A. Double lacunary density and some inclusion results in locally solid Riesz spaces Abstract and Applied Analysis 2013 2013 8 10.1155/2013/507962 507962 MR3073505 Dutta H. A characterization of the class of statistically pre-Cauchy double sequences of fuzzy numbers Applied Mathematics & Information Sciences 2013 7 4 1437 1440 10.12785/amis/070423 MR3054696 ZBL1269.26014 Mursaleen M. λ -statistical convergence Mathematica Slovaca 2000 50 1 111 115 MR1764349 ZBL0953.40002 Belen C. Mohiuddine S. A. Generalized weighted statistical convergence and application Applied Mathematics and Computation 2013 219 18 9821 9826 10.1016/j.amc.2013.03.115 MR3049603 Çolak R. Bektaş C. A. λ -statistical convergence of order α Acta Mathematica Scientia B 2011 31 3 953 959 10.1016/S0252-9602(11)60288-9 MR2830535 ZBL1240.40016 Dutta H. Bilgin T. Strongly (Vλ,A,Δvmn,p)-summable sequence spaces defined by an Orlicz function Applied Mathematics Letters 2011 24 7 1057 1062 10.1016/j.aml.2011.01.022 MR2784157 Edely O. H. H. Mohiuddine S. A. Noman A. K. Korovkin type approximation theorems obtained through generalized statistical convergence Applied Mathematics Letters 2010 23 11 1382 1387 10.1016/j.aml.2010.07.004 MR2718516 ZBL1206.40003 Et M. Çınar M. Karakaş M. On λ-statistical convergence of order α of sequences of function Journal of Inequalities and Applications 2013 2013, article 204 10.1186/1029-242X-2013-204 MR3057250 Mohiuddine S. A. Lohani Q. M. D. On generalized statistical convergence in intuitionistic fuzzy normed space Chaos, Solitons & Fractals 2009 42 3 1731 1737 10.1016/j.chaos.2009.03.086 MR2547052 ZBL1200.46067 Mohiuddine S. A. Alotaibi A. Mursaleen M. A new variant of statistical convergence Journal of Inequalities and Applications 2013 2013, article 309 10.1186/1029-242X-2013-309 MR3081707 Mursaleen M. Çakan C. Mohiuddine S. A. Savaş E. Generalized statistical convergence and statistical core of double sequences Acta Mathematica Sinica 2010 26 11 2131 2144 10.1007/s10114-010-9050-2 MR2727294 ZBL1219.40004 Savaş E. Mohiuddine S. A. λ ̅ -statistically convergent double sequences in probabilistic normed spaces Mathematica Slovaca 2012 62 1 99 108 10.2478/s12175-011-0075-5 MR2886657 ZBL06010532 Klement E. P. Mesiar R. Pap E. Triangular Norms 2000 8 Dordrecht, The Netherlands Kluwer Academic Publishers xx+385 Trends in Logic MR1790096 Šerstnev A. N. Random normed spaces: problems of completeness Kazanskij Gosudarstvennyj Universitet Imeni V.I. Ul'janova-Lenina. Učenye Zapiski 1962 122 4 3 20 MR0174032 Menger K. Statistical metrics Proceedings of the National Academy of Sciences of the United States of America 1942 28 535 537 MR0007576 10.1073/pnas.28.12.535 ZBL0063.03886 Alsina C. Schweizer B. Sklar A. On the definition of a probabilistic normed space Aequationes Mathematicae 1993 46 1-2 91 98 10.1007/BF01834000 MR1220724 ZBL0792.46062 Schweizer B. Sklar A. Statistical metric spaces Pacific Journal of Mathematics 1960 10 313 334 MR0115153 10.2140/pjm.1960.10.313 ZBL0096.33203 Schweizer B. Sklar A. Probabilistic Metric Spaces 1983 New York, NY, USA Elsevier Schweizer B. Sklar A. Probabilistic Metric Spaces 2005 2nd Mineola, NY, USA Dover Publication