In this paper, the concept of asymptotically lacunary -invariant equivalence, the concepts of asymptotically lacunary σ2-equivalence and the concept of asymptotically lacunary invariant S2-equivalence for double sequences are defined. In addition, some relationships were obtained among these new equivalence concepts.
Many authors have studied on the concepts of invariant mean and invariant convergence (see, [10, 34]).
Let σ be a mapping of the positive integers into themselves. A continuous linear functional φ on ℓ∞, the space of real bounded sequences, is said to be an invariant mean or a σ-mean if it satisfies following conditions:
φ (x) ≥0, when the sequence x = (xn) has xn ≥ 0 for all n,
φ (e) =1, where e = (1, 1, 1,. . .) and
φ (xσ(n)) = φ (xn) forall x ∈ ℓ ∞.
The mappings σ are assumed to be one-to-one and such that σm (n) ≠ n for all positive integers n and m, where σm (n) denotes the m th iterate of the mapping σ at n. Thus, φ extends the limit functional on c, the space of convergent sequences, in the sense that φ (x) = lim x for all x ∈ c.
In the case σ is translation mappings σ (n) = n + 1, the σ-mean is often called a Banach limit.
Throughout the paper denotes the set of natural numbers.
The idea of -convergence was introduced by Kostyrko et al. [6] which is based on the structure of the ideal of subset of the set . For more detail, see [7, 29].
A family of sets is called an ideal if and only if (i) , (ii) For each we have , (iii) For each and each B ⊆ A we have
An ideal is called non-trivial if and non-trivial ideal is called admissible if for each .
Several convergence concepts for double sequences and some properties of these concepts which are noted following can be seen in [1, 33].
A double sequence x = (xkj) is said to be bounded if there exists an M > 0 such that |xkj| < M for all k and j, i.e., if .
The set of all bounded double sequences will be denoted by .
Mursaleen and Edely [12] introduced the concept of statistically convergence for double sequences.
A double sequence x = (xkj) is said to be statistically convergent to L if for every ɛ > 0
A double sequence θ2 = {(kr, ju)} is called double lacunary sequence if there exist two increasing sequence of integers such that
We use the following notations in the sequel:
Throughout the paper we take θ2 = {(kr, ju)} as a double lacunary sequence.
Using the double lacunary sequence concept, the concepts of lacunary statistically convergence and lacunary σ-statistically convergence for double sequences were defined by Patterson and Savaş [19] and Savaş and Patterson [27], respectively.
A double sequence x = (xkj) is said to be lacunary statistically convergent to L if for every ɛ > 0
It is denoted by .
A nontrivial ideal of is called strongly admissible ideal if and belong to for each i ∈ N.
It is evident that a strongly admissible ideal is admissible also.
Let (X, ρ) be a metric space and be a strongly admissible ideal in . A double sequence x = (xmn) in X is said to be -convergent to L ∈ X, if for any ɛ > 0
It is denoted by
Recently, the definitions of some invariant convergence for double sequences were presented in a study by Ulusu et al. [33] as below:
A double sequence x = (xkj) is said to be lacunary invariant convergent to L if
uniformly in m, n = 1, 2,. . . and it is denoted by .
A double sequence x = (xkj) is said to be strongly lacunary invariant convergent to L if
uniformly in m, n and it is denoted by .
A double sequence x = (xkj) is said to be strongly p-lacunary invariant convergent (0 < p < ∞) to L if
uniformly in m, n and it is denoted by .
Let θ2 = {(kr, ju)} be a double lacunary sequence, and
If the following limits exist
then they are called a lower lacunary σ-uniform density and an upper lacunary σ-uniform density of the set A, respectively.
If , then is called the lacunary σ-uniform density of A.
Denoted by the class of all with .
A double sequence x = (xkj) is said to be lacunary -invariant convergent or -convergent to the L if for every ɛ > 0, the set
i.e., . It is denoted by or .
Marouf [9] presented definitions for asymptotically equivalent sequences and asymptotic regular matrices. Then, the concept of asymptotically equivalence has been developed by many other researchers (see, [3–5, 32]).
Two nonnegative sequences x = (xk) and y = (yk) are said to be asymptotically equivalent if
It is denoted by x ∼ y.
Hazarika and Kumar [4] presented some asymptotically equivalence definitions for double sequences as follows:
Two nonnegative double sequences x = (xkl) and x = (ykl) are said to be P-asymptotically equivalent if
denoted by x ∼ Py .
Two nonnegative double sequences x = (xkl) and x = (ykl) are said to be asymptotically -equivalent of multiple L provided that for every ɛ > 0
denoted by and simply asymptotically -equivalent if L = 1.
Asymptotically lacunary -invariant equivalence
In this section, the concept of asymptotically lacunary -invariant equivalence, the concepts of asymptotically lacunary σ2-equivalence and the concept of asymptotically lacunary invariant S2-equivalence for double sequences are defined. In addition, some relationships were obtained among these new equivalence concepts.
Definition
Two nonnegative double sequence x = (xkj) and y = (ykj) are said to be asymptotically lacunary σ2-equivalent of multiple L if
uniformly in m, n. In this case, we write and simply asymptotically lacunary σ2-equivalent if L = 1.
Definition
Two nonnegative double sequences x = (xkj) and y = (ykj) are said to be asymptotically lacunary -invariant equivalent of multiple L if for every ɛ > 0
i.e., . In this case, we write and simply asymptotically lacunary -invariant equivalent if L = 1.
The set of all asymptotically lacunary -invariant equivalent of multiple L sequences will be denoted by .
Theorem
Suppose that x = (xkj) and y = (ykj) are bounded double sequences. Then,
Proof: Let be arbitrary and ɛ > 0. Now, we calculate
We have
where
and
For every m, n = 1, 2,. . ., we get t2 (θ2, m, n) < ɛ. The boundedness of x and y implies that there exists an M > 0 such that
for k, j ∈ Iru and for every m, n. Then, this implies that
hence .
The converse of Theorem 1 does not hold. For example, x = (xkj) and y = (ykj) are the sequences defined by following;
When σ (m) = m + 1 and σ (n) = n + 1, this sequences are asymptotically lacunary σ2-equivalent but they are not asymptotically lacunary -invariant equivalent.
Definition
Two nonnegative double sequence x = (xkj) and y = (ykj) are said to be strongly asymptotically lacunary σ2-equivalent of multiple L if
uniformly in m, n. In this case, we write and simply strongly asymptotically lacunary σ2-equivalent if L = 1.
Definition
Let 0< p < ∞. Two nonnegative double sequence x = (xkj) and y = (ykj) are said to be strongly p-asymptotically lacunary σ2-equivalent of multiple L if
uniformly in m, n. In this case, we write and simply strongly p-asymptotically lacunary σ2-equivalent if L = 1.
The set of all strongly p-asymptotically lacunary σ2-equivalent of multiple L sequences will be denoted by .
Theorem
Assume that x = (xkj) and y = (ykj) are double sequences. Then,
Proof: Let and given ɛ > 0. Then, for every we have
and so
and this implies that and so .
Theorem
Suppose that x = (xkj) and y = (ykj) are bounded double sequences. Then,
Proof: Let , and ɛ > 0. By assumption, we have . The boundedness of x and y implies that there exists an M > 0 such that
for k, j ∈ Iru and for every m, n. Observe that, for every we have
Hence, we obtain
uniformly in m, n.
Theorem
For every double lacunary sequence θ2 = {(kr, ju)},
Proof: This is an immediate consequence of Theorem 2.6 and Theorem 2.7.
Definition
Two nonnegative double sequences x = (xkj) and y = (ykj) are said to be asymptotically lacunary invariant S2-equivalent of multiple L if for every ɛ > 0
uniformly in m, n. In this case, we write and simply asymptotically lacunary invariant S2-equivalent if L = 1.
Now we shall state a theorem that gives a relationship between the concepts of asymptotically lacunary -invariant equivalence and asymptotically lacunary invariant S2-equivalence.
Theorem
Suppose that x = (xkj) and y = (ykj) are double sequences. Then,
Footnotes
Acknowledgements
This work is supported by the Scientific Research Project Fund of Afyon Kocatepe University under the project number 18.KARİYER.74
References
1.
DasP., KostyrkoP., WilczyńskiW. and MalikP., I and I*-convergence of double sequences, Math. Slovaca58(5) (2008), 605–620.
2.
DündarE. and AltayB., I2-convergence and I2-Cauchy of double sequences, Acta Mathematica Scientia34(2) (2014), 343–353.
HazarikaB. and KumarV., On asymptotically double lacunary statistical equivalent sequences in ideal context, Journal of Inequlities and Applications, 2013(543) (2013), 1–15.
5.
HazarikaB., On asymptotically ideal equivalent sequences, Journal of the Egyptian Mathematical Society23(1) (2015), 67–72.
6.
KostyrkoP., WilczyńskiW. and ŠalátT., I-convergence, Real Anal Exchange26(2) (2000), 669–686.
7.
KostyrkoP., MacajM., ŠalátT. and SleziakM., I-convergence and extermal I-limit points, Math. Slovaca55(4) (2005), 443–464.
8.
KumarV., On I and I*-convergence of double sequences, Math. Commun12(2) (2007), 171–181.
9.
MaroufM., Asymptotic equivalence and summability, Int. J. Math. Math. Sci16(4) (1993), 755–762.
10.
MursaleenM., Invariant means and some matrix transformations, Tamkang J. Math10(2) (1979), 183–188.
11.
MursaleenM., Matrix transformation between some new sequence spaces, Houston J. Math9(4) (1983), 505–509.
12.
MursaleenM. and EdelyO.H.H., Statistical convergence of double sequences, J. Math. Anal. Appl288(1) (2003), 223–231.
13.
MursaleenM. and EdelyO.H.H., On the invariant mean and statistical convergence, Appl. Math. Lett22(11) (2009), 1700–1704.
14.
MursaleenM., MohiuddineS.A. and EdelyO.H.H., On the ideal convergence of double sequences in intuitionistic fuzzy normed spaces, Comput. Math. Appl59(2) (2010), 603–611.
15.
MursaleenM. and MohiuddineS.A., On ideal convergence of double sequences in probabilistic normed spaces, Mathematical Reports, 12(62)(4) (2010), 359–371.
16.
MursaleenM. and AlotaibiA., On I-convergence in random 2-normed spaces, Mathematica Slovaca61(6) (2011), 933–940.
17.
NurayF., GökH. and UlusuU., Iσ-convergence, Math Commun16(2) (2011), 531–538.
18.
PancaroğluN. and NurayF., Statistical lacunary invariant summability, Theoretical Mathematics and Applications3(2) (2013), 71–78.
19.
PattersonR.F. and SavaşE., Lacunary statitistical convergence of double sequences, Math. Commun10(1) (2005), 55–61.
20.
PattersonR.F. and SavaşE., On asymptotically lacunary statistically equivalent sequences, Thai J Math4(2) (2006), 267–272.
21.
PringsheimA., Zur theorie der zweifach unendlichen Zahlenfolgen, Math Ann53(3) (1900), 289–321.
22.
RaimiR.A., Invariant means and invariant matrix methods of summability, Duke Math J30(1) (1963), 81–94.
23.
SavaşE., Some sequence spaces involving invariant means, Indian J Math31 (1989), 1–8.
24.
SavaşE., On lacunary strong σ-convergence, Indian J Pure Appl Math21(4) (1990), 359–365.
25.
SavaşE. and NurayF., On σ-statistically convergence and lacunary σ-statistically convergence, Math Slovaca43(3) (1993), 309–315.
26.
SavaşE. and PattersonR.F., σ-asymptotically lacunary statistical equivalent sequences, Open Mathematics4(4) (2006), 648–655.
27.
SavaşE. and PattersonR.F., Double σ-convergence lacunary statistical sequences, Journal of Computational Analysis and Applications11(4) (2009), x–x.
SavaşE., On I-lacunary statistical convergence of weight g of fuzzy numbers, Journal of Intelligent and Fuzzy System32 (2017), 1111–1117.
30.
SchaeferP., Infinite matrices and invariant means, Proc. Amer. Math. Soc36(1) (1972), 104–110.
31.
TürkmenM.R. and DündarE., On lacunary statistical convergence of double sequences and some properties in fuzzy normed spaces, Journal of Intelligent and Fuzzy SystemPrepres (2018), x–x.
UlusuU., DündarE. and NurayF., Lacunary I2-invariant convergence and some properties, International Journal of Analysis and Applications16(3) (2018), 317–327.
34.
U. Ulusu, F. Nuray, Lacunary I -convergence, (under review).