We present some results about selection properties in the class of double sequences of real numbers.
1. Introduction
In 1900, Pringsheim introduced the concept of convergence of real double sequences: a double sequence X=(xm,n)m,n∈ℕ converges to a∈ℝ (notation P-limX=a or P-limxm,n=a), if for every ε>0 there is n0∈ℕ such that |xm,n-a|<ε for all m,n>n0 (see [1], and also [2, 3]). The limit a is called the Pringsheim limit of X.
In this paper we denote by c2a the set of all double real sequences converging to a point a∈ℝ in Pringsheim's sense.
A considerable number of papers which appeared in recent years study the set c2a and its subsets from various points of view (see [4–13]). Some results in this investigation are generalizations of known results concerning simple sequences to certain classes of double sequences, while other results reflect a specific nature of the Pringsheim convergence (e.g., the fact that a double sequence may converge without being bounded). In this paper we begin with a quite different investigation of double sequences related to selection principles (and games corresponded to them): for a given sequence (Xn:n∈ℕ) of double sequences that belong to one class 𝒜 we select from each Xn a subset Yn by a prescribed procedure so that Yn's may be arranged to a new double sequence Y which belongs to another class ℬ(not necessarily distinct from 𝒜) of double sequences. (For selection principles theory see [14, 15], and for selection properties of some classes of simple sequences see [16–19]). Moreover, our investigation suggests also introduction of new selection principles: instead of a sequence of double sequences from a class 𝒜 we start with a double sequence of double sequences from 𝒜 (see Definitions 2.1 and 2.7). The classes of double sequences considered in this article are subsets of the class c2a and will be defined below.
If P-lim|X|=∞, (equivalently, for every M>0 there are n1,n2∈ℕ such that |xm,n|>M whenever m≥n1, n≥n2), then X is said to be definitely divergent.
A double sequence X=(xm,n)m,n∈ℕ is bounded if there is M>0 such that |xm,n|<M for all m,n∈ℕ.
Notice that a P-convergent double sequence need not be bounded.
A number L∈ℝ is said to be a Pringsheim limit point of a double sequence X=(xm,n)m,n∈ℕ if there exist two increasing sequences m1<m2⋯<mi,⋯ and n1<n2⋯<ni,⋯ such that
(1.1)limi→∞xmi,ni=L.
In [20], Hardy introduced the notion of regular convergence for double sequences: a double sequence X=(xm,n)m,n∈ℕ regularly converges to a point a if it P-converges to a and for each m∈ℕ and each n∈ℕ there exist the following two limits:
(1.2)limn→∞xm,n=Rm,limm→∞xm,n=Cn.
The symbol c¯2a denotes the set of elements (xm,n)m,n∈ℕ in c2a which are bounded, regular and such that limm→∞xm,n=limn→∞xm,n=a.
2. Results
We begin with the following new selection principle for classes of double sequences.
Definition 2.1.
Let 𝒜 and ℬ be subclasses of c2a. Then S1(d)(𝒜,ℬ) denotes the selection hypothesis: for each double sequence (Am,n:m,n∈ℕ) of elements of 𝒜 there are elements am,n∈Am,n such that the double sequence (am,n)m,n∈ℕ belongs to ℬ.
Theorem 2.2.
For a∈ℝ the selection principle S1(d)(c2a,c2a) is true.
Proof.
Let (Xj,k:j,k∈ℕ) be a double sequence of elements in c2a. Suppose that Xj,k=(xm,nj,k)m,n∈ℕ for all j,k∈ℕ. Let us construct a double sequence Y=(ym,n)m,n∈ℕ in the following way:
y1,1=xm1,m11,1∈X1,1, where m1∈ℕ is such that |xm,n1,1-a|≤1/2 for each m≥m1 and each n≥m1.
y1,2=xm2,m21,2∈X1,2, where m2∈ℕ is such that |xm,n1,2-a|≤1/22 for each m≥m2 and each n≥m2.
y2,1=xm3,m32,1∈X2,1 with m3∈ℕ such that |xm,n2,1-a|≤1/22 for each m≥m3 and each n≥m3.
y2,2=xm4,m42,2∈X2,2 with m4∈ℕ such that |xm,n2,2-a|≤1/22 for each m≥m4 and each n≥m4.
In general, for s,t∈ℕ, q=max{s,t}≥3, we put ys,t=xmp,mps,t, where
(2.1)p={(q-1)2+t,ifq=s,(q-1)2+2t-s,ifq=t,
and |xm,ns,t-a|≤1/2q for each m≥mp and each n≥mp.
We prove that the double sequence Y=(ym,n)m,n∈ℕ∈c2a. Let ε>0 be given. Pick r∈ℕ such that 1/2r<ε. For each m≥r and each n≥r, by construction of Y, we have |ym,n-a|≤1/2r<ε. This just means Y∈c2a. As ym,n∈Xm,n for all m,n∈ℕ, the theorem is proved.
Remark 2.3.
The double sequence Y from the proof of Theorem 2.2 has also the following properties: (i) Y is bounded; (ii) Y is regular and limm→∞ym,n=limn→∞ym,n=a for each m∈ℕ and each n∈ℕ, that is Y∈c¯2a.
Definition 2.4 (see [15]).
Let 𝒜 and ℬ be subclasses of c2a. Then α2(𝒜,ℬ) denotes the selection hypothesis: for each sequence (An:n∈ℕ) of elements of 𝒜 there is an element B in ℬ such that B∩An is infinite for all n∈ℕ.
Lemma 2.5.
For a∈ℝ, the selection principle α2(c2a,c2a) is satisfied.
Proof.
Let (Sk:k∈ℕ) be a sequence of elements from c2a and let for each k∈ℕ, Sk=(xm,nk)m,n∈ℕ.
Form first an increasing sequence j1<j2<⋯<ji<⋯ in ℕ so that:
Let i≥2. Find pi=min{n0∈ℕ:|xm,ni-a|≤1/2iforallm,n≥n0}, and then define
(2.2)ji={pi,ifpi>ji-1;ji-1+1,ifpi≤ji-1.
Define now a double sequence Y=(ys,t)s,t∈ℕ in this way:
ys,t=xs,t1 for each 1≤s<j2, t∈ℕ, and each 1≤t<j2, s∈ℕ;
for i≥2, ys,t=xs,ti, for ji≤s<ji+1, t≥ji, and ji≤t<ji+1, s≥ji.
By construction, Y∈c2a and Y has infinitely many common elements with each Xk, k∈ℕ; that is, the selection principle α2(c2a,c2a) is satisfied.
Remark 2.6.
Using the technique from [17] we can prove that the double sequence Y in the proof of the previous lemma can be chosen in such a way that Y has infinitely many common elements with each Xk, k∈ℕ, but on the same (corresponding) positions.
Let for each k∈ℕ, xk denote the sequence (xm,mk)m∈ℕ. Then each xk converges to a, so that we have the sequence (xk:k∈ℕ) of sequences converging to a. Let 2=p1<p2<p3<⋯ be a sequence of prime natural numbers. Take sequence x1=(xm,m1)m∈ℕ. For each i∈ℕ, replace the elements of x1 on the positions pih, h∈ℕ, by the corresponding elements of the sequence xi+1. One obtains the sequence (zm)m∈ℕ converging to a which has infinitely many common elements with each xk on the same positions as in xk. Define now the double sequence Y=(ys,t)s,t∈ℕ so that ys,s=zs, s∈ℕ, and ys,t=a whenever s≠t. By construction, Y∈c¯2a and has infinitely many common positions with each Xk.
The following definition gives a double sequence version of the selection property α2(𝒜,ℬ).
Definition 2.7.
Let 𝒜 and ℬ be subclasses of c2a. Then α2(d)(𝒜,ℬ) denotes the selection hypothesis: for each double sequence (Am,n:m,n∈ℕ) of elements of 𝒜 there is an element B in ℬ such that B∩Am,n is infinite for all (m,n)∈ℕ×ℕ.
Theorem 2.8.
Let a∈ℝ be given. The selection principle α2(d)(c2a,c2a) is true.
Proof.
Let (Xj,k:j,k∈ℕ) be a double sequence of elements in c2a and let Xj,k=(xm,nj,k)m,n∈ℕ. In a standard way (see [2]) form from this double sequence a sequence (Xi:i∈ℕ) of double sequences Xi=(xm,ni)m,n∈ℕ. Apply now Lemma 2.5 to this sequence and find a double sequence Y∈c2a such that Y∩Xi is infinite for each i∈ℕ. But then Y∩Xj,k is infinite for all j,k∈ℕ.
Remark 2.9.
Notice that the double sequence Y from the proofs of Lemma 2.5 and Theorem 2.8 satisfies: (a) Y is bounded; (b) Y is regular, and limn→∞ym,n=limm→∞ym,n=a for each m∈ℕ and each n∈ℕ.
Theorem 2.10.
Let a∈ℝ and let (Xk:k∈ℕ) be a sequence of double sequences in c2a, Xk=(xm,nk)m,n∈ℕ. Then there is a double sequence Y=(ys,t)s,t∈ℕ in c2a such that for each k∈ℕ the set {(s,t)∈ℕ×ℕ:ys,t=xm,nkfor some(m,n)∈ℕ×ℕ} is infinite.
Proof.
The double sequence Y is defined in the following way.
Let k∈ℕ. There is ik∈ℕ such that |xm,nk-a|<2-k for all m,n≥ik. Let
(2.3)s*={ik,for s=k,ik+p,fors=k+p,p∈ℕ,t*={ik,for t=k,ik+p,for t=k+p,p∈ℕ.
For t≥k let yk,t=xik,t*k, and for s≥k let ys,k=xs*,ikk. The double sequence Y=(ys,t)s,t∈ℕ constructed in this way is as required, because Y has the following properties:
Y∈c2a;
the set Bk={yk,t:t≥k}∪{ys,k:s≥k} is a subset of Ak={xm,nk:m,n∈ℕ};
for each k∈ℕ, Bk is countable;
⋃k∈ℕBk={ys,t:s,t∈ℕ}.
Another similar result is given in the next theorem.
Theorem 2.11.
Let a∈ℝ and let (Xk:k∈ℕ) be a sequence of double sequences in c2a, Xk=(xm,nk)m,n∈ℕ. Then there is a double sequence Y=(ys,t)s,t∈ℕ in c2a which has one common row with Xk for each k∈ℕ.
Proof.
For each k∈ℕ there is n0(k)∈ℕ such that |xm,nk-a|<2-k for all m,n≥n0(k), n0(k1)>n0(k2) whenever k1>k2, and n0(k)≥min{i(k)∈ℕ:|xm,nk+1-a|<2-kfor all m,n≥i(k)}. Then the desired double sequence Y is defined in such a way that its n0(k)th row is the n0(k)th row of Xk, that is yn0(k),n=xn0(k),nk (n∈ℕ), and ys,t=a otherwise. Let us prove that Y∈c2a. Indeed, if ε>0 is given, then choose p∈ℕ such that 2-p<ε. Then for each k∈ℕ we have |xm,nk-a|<ε for all m,n≥p. By construction of Y we have actually that |ym,n-a|<ε for all m,n≥p, that is Y∈c2a.
Consider now an order on the set ℕ×ℕ. Let φ:ℕ×ℕ→ℕ be a bijection. Set (m1,n1)≤φ(m2,n2)⇔φ(m1,n1)≤φ(m2,n2), where ≤ is the natural order in ℕ.
Definition 2.12.
Let 𝒜 and ℬ be subclasses of c2a. Then S1φ(𝒜,ℬ) denotes the selection hypothesis: for each sequence (An:n∈ℕ) of elements of 𝒜 there is an element B=(bφ-1(n))n∈ℕ in ℬ such that bφ-1(n)∈An for all n∈ℕ.
Theorem 2.13.
Let a∈ℝ and let ≤φ be as previously mentioned. Then the selection hypothesis S1φ(c2a,c¯2a) is satisfied.
Proof.
Let (Xk:k∈ℕ), Xk=(xm,nk)m,n∈ℕ, be a sequence in c2a. Construct a double sequence Y=(ys,t)s,t∈ℕ as follows.
Fix k∈ℕ. Let (s(k),t(k))=φ-1(k), and let p(k)=max{s(k),t(k)}. There is n0(k)∈ℕ such that |xm,nk-a|<2-p(k) for all m,n≥n0(k). Set ys(k),t(k)=xn0(k),n0(k)k and Y=(ys(k),t(k))k∈ℕ. Then, by the construction, Y∈c¯2a and Y have exactly one common element with Xk for each k∈ℕ, that is Y is the desired selector.
3. Concluding Remarks
We considered here selection properties of some classes of convergent double sequences. It would be interesting also to study similar properties for classes of divergent double sequences, as well as selections related to the Pringsheim limit points instead of the P-limits.
Acknowledgments
The authors are supported by MES RS.
PringsheimA.Zur Theorie der zweifach unendlichen Zahlenfolgen190053328932110.1007/BF014489771511092HobsonE. W.192622ndCambridge, UKCambridge University PressRobisonG. M.Divergent double sequences and series1926281507310.2307/19891721501332ÇakalliH.SavaşE.Statistical convergence of double sequences in topological groups20101224214262650448ZBL1204.40006KayadumanK.ÇakanC.The Cesàro core of double sequences20112011910.1155/2011/950364950364MursaleenEdelyO. H. H.Statistical convergence of double sequences2003288122323110.1016/j.jmaa.2003.08.0042019757ZBL1032.40001MursaleenM.MohiuddineS. A.Statistical convergence of double sequences in intuitionistic fuzzy normed spaces20094152414242110.1016/j.chaos.2008.09.0182548325ZBL1198.40007MursaleenM.MohiuddineS. A.On lacunary statistical convergence with respect to the intuitionistic fuzzy normed space2009233214214910.1016/j.cam.2009.07.0052568512ZBL1183.46070MursaleenM.MohiuddineS. A.EdelyO. H. H.On the ideal convergence of double sequences in intuitionistic fuzzy normed spaces201059260361110.1016/j.camwa.2009.11.0022575550ZBL1189.40003PattersonR. F.SavaşE.A category theorem for double sequences201124101680168410.1016/j.aml.2011.04.0172803006SavaşE.(Aσ)-double sequence spaces defined by Orlicz function and double statistical convergence20085561293130110.1016/j.camwa.2007.04.0412394368ZBL1183.40003SavaşE.PattersonR. F.Double sequence spaces defined by Orlicz functions20073121831882441981SavaşE.PattersonR. F.Double sequence spaces defined by a modulus201161224525610.2478/s12175-011-0009-22786698KočinacL. D. R.Selected results on selection principlesProceedings of the 3rd Seminar on Geometry & TopologyJuly 2004Tabriz, Iran711042090207KočinacL. D. R.αi-selection principles and games2011533Providence, RI, USAAmerican Mathematical Society107124Contemporary Mathematics10.1090/conm/533/105052777746ZBL1221.54001DjurčićD.KočinacLj. D. R.ŽižovićM. R.Some properties of rapidly varying sequences200732721297130610.1016/j.jmaa.2006.05.0242280005ZBL1116.26002DjurčićD.KočinacLj. D. R.ŽižovićM. R.Relations between sequences and selection properties2007200784308110.1155/2007/430812353780ZBL1153.40300DjurčićD.KočinacLj. D. R.ŽižovićM. R.A few remarks on divergent sequences: rates of divergence. II2010367270570910.1016/j.jmaa.2009.12.0362607294ZBL1196.40002DjurčićD.KočinacL. D. R.ŽižovićM. R.Summability of sequences and selection properties20112011721381610.1155/2011/2138162800070ZBL1231.40001HardyG. H.On the convergence of certain multiple series1917198695