- Research
- Open access
- Published:
Regularly ideal invariant convergence of double sequences
Journal of Inequalities and Applications volume 2021, Article number: 131 (2021)
Abstract
In this paper, we introduce the notions of regularly invariant convergence, regularly strongly invariant convergence, regularly p-strongly invariant convergence, regularly \((\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-convergence, regularly \((\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-convergence, regularly \((\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2} )\)-Cauchy double sequence, regularly \((\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-Cauchy double sequence and investigate the relationship among them.
1 Introduction and background
Throughout the paper, \(\mathbb{N}\) and \(\mathbb{R}\) denote the set of all positive integers and the set of all real numbers, respectively. The concept of convergence of real sequences was extended to statistical convergence independently by Fast [18] and Schoenberg [42]. This concept was extended to the double sequences by Mursaleen and Edely [29].
The idea of \(\mathcal{I}\)-convergence was introduced by Kostyrko et al. [19] as a generalization of statistical convergence. Das et al. [5] introduced the concept of \(\mathcal{I}\)-convergence of double sequences in a metric space and studied some properties of this convergence. Tripathy and Tripathy [45] studied \(\mathcal{I}\)-convergent and regularly \(\mathcal{I}\)-convergent double sequences. Dündar and Altay [11] introduced \(\mathcal{I}_{2}\)-convergence and regularly \(\mathcal{I}\)-convergence of double sequences. Also, Dündar [7] introduced regularly \(\mathcal{I}\)-convergence and regularly \(\mathcal{I}\)-Cauchy double sequences of functions. Recently, Dündar and Akın [8] introduced the notions of \(R(\mathcal{I}_{W_{2}},\mathcal{I}_{W})\)-convergence, \(R(\mathcal{I}_{W_{2}}^{*},\mathcal{I}_{W}^{*})\)-convergence, \(R(\mathcal{I}_{W_{2}},\mathcal{I}_{W})\)-Cauchy, and \(R(\mathcal{I}_{W_{2}}^{*},\mathcal{I}_{W}^{*})\)-Cauchy double sequence of sets and investigated the relationship among them. A lot of development has been made in this area after the works of [6, 9, 12, 13, 15, 20, 22, 23, 26, 28, 31–34, 36, 43].
Several authors have studied invariant convergent sequences (see, [4, 24, 25, 30, 35, 38–41, 44]). Recently, the concepts of σ-uniform density of the set \(A\subseteq \mathbb{N}\), \(\mathcal{I}_{\sigma }\)-convergence and \(\mathcal{I}^{*}_{\sigma }\)-convergence of sequences of real numbers were defined by Nuray et al. [35]. The concept of σ-convergence of double sequences was studied by Çakan et al. [4], and the concept of σ-uniform density of \(A\subseteq \mathbb{N}\times \mathbb{N}\) was defined by Tortop and Dündar [44]. Dündar et al. [16] studied ideal invariant convergence of double sequences and some properties.
Now, we recall the basic definitions and concepts (see [1–5, 9–15, 17, 19–21, 27, 34, 36, 37, 43–46]).
A double sequence \(x=(x_{kj})_{k,j \in \mathbb{N}}\) of real numbers is said to be convergent to \(L \in \mathbb{R}\) in Pringsheim’s sense if, for any \(\varepsilon >0\), there exists \(N_{\varepsilon }\in \mathbb{N}\) such that \(\vert x_{kj} -L \vert < \varepsilon \), whenever \(k,j> N_{\varepsilon }\). In this case, we write \(P-\lim_{k,j \rightarrow \infty } x_{kj} = \lim_{k,j \rightarrow \infty } x_{kj} = L\).
A family of sets \(\mathcal{I}\subseteq 2^{\mathbb{N}}\) is called an ideal if and only if
\((i)\) \(\emptyset \in \mathcal{I}\), \((\mathit{ii})\) For each \(A,B\in \mathcal{I}\), we have \(A\cup B\in \mathcal{I}\), \((\mathit{iii})\) For each \(A\in \mathcal{I}\) and each \(B\subseteq A\), we have \(B\in \mathcal{I}\).
An ideal is called nontrivial if \(\mathbb{N}\notin \mathcal{I}\), and nontrivial ideal is called admissible if \(\{ n \} \in \mathcal{I}\) for each \(n\in \mathbb{N}\).
Throughout the paper we take \(\mathcal{I}\) as an admissible ideal in \(\mathbb{N}\).
A family of sets \(\mathcal{F}\subseteq 2^{\mathbb{N}}\) is called a filter if and only if
\((i)\) \(\emptyset \notin \mathcal{F}\), \((\mathit{ii})\) For each \(A,B\in \mathcal{F}\), we have \(A\cap B\in \mathcal{F}\), \((\mathit{iii})\) For each \(A\in \mathcal{F}\) and each \(B\supseteq A\), we have \(B\in \mathcal{F}\).
For any ideal there is a filter \(\mathcal{F}(\mathcal{I})\) corresponding to \(\mathcal{I}\), given by
An admissible ideal \(\mathcal{I} \subset 2^{\mathbb{N}}\) is said to satisfy the property (AP) if, for every countable family of mutually disjoint sets \(\{A_{1},A_{2}, \ldots \}\) belonging to \(\mathcal{I}\), there exists a countable family of sets \(\{B_{1},B_{2}, \ldots \}\) such that \(A_{j} \Delta B_{j}\) is a finite set for \(j \in \mathbb{N}\) and \(B = \bigcup_{j=1}^{\infty }B_{j} \in \mathcal{I}\).
A nontrivial ideal \(\mathcal{I}_{2}\) of \(\mathbb{N} \times \mathbb{N}\) is called strongly admissible ideal if \(\{i\}\times \mathbb{N}\) and \(\mathbb{N}\times \{i\} \) belong to \(\mathcal{I}_{2}\) for each \(i \in N\).
It is evident that a strongly admissible ideal is admissible also.
Throughout the paper we take \(\mathcal{I}_{2}\) as a strongly admissible ideal in \(\mathbb{N} \times \mathbb{N}\).
\(\mathcal{I}_{2}^{0} = \{A \subset \mathbb{N}\times \mathbb{N}: ( \exists m(A)\in \mathbb{N})\ (i,j \geq m(A) \Rightarrow (i,j) \notin A) \}\). Then \(\mathcal{I}_{2}^{0}\) is a strongly admissible ideal and clearly an ideal \(\mathcal{I}_{2}\) is strongly admissible if and only if \(\mathcal{I}_{2}^{0} \subset \mathcal{I}_{2}\).
An admissible ideal \(\mathcal{I}_{2} \subset 2^{\mathbb{N}\times \mathbb{N}}\) satisfies the property (AP2) if, for every countable family of mutually disjoint sets \(\{E_{1},E_{2}, \ldots \}\) belonging to \(\mathcal{I}_{2}\), there exists a countable family of sets \(\{F_{1},F_{2}, \ldots \}\) such that \(E_{j} \Delta F_{j} \in \mathcal{I}_{2}^{0}\), i.e., \(E_{j} \Delta F_{j} \) is included in the finite union of rows and columns in \(\mathbb{N}\times \mathbb{N}\) for each \(j \in \mathbb{N}\) and \(F = \bigcup_{j=1}^{\infty }F_{j} \in \mathcal{I}_{2}\) (hence \(F_{j}\in \mathcal{I}_{2}\) for each \(j \in \mathbb{N}\)).
Let σ be a mapping of the positive integers into themselves. A continuous linear functional ϕ on \(\ell _{\infty }\), the space of real bounded sequences, is said to be an invariant mean or a σ-mean if it satisfies following conditions:
-
1
\(\phi (x)\geq 0\), when the sequence \(x=(x_{n})\) has \(x_{n}\geq 0\) for all n,
-
2
\(\phi (e)=1\), where \(e=(1,1,1,\ldots)\), and
-
3
\(\phi (x_{\sigma (n)})=\phi (x_{n})\) for all \(x\in \ell _{\infty }\).
The mappings σ are assumed to be one-to-one and such that \(\sigma ^{m}(n)\neq n\) for all positive integers n and m, where \(\sigma ^{m}(n)\) denotes the mth iterate of the mapping σ at n. Thus, ϕ extends the limit functional on c, the space of convergent sequences, in the sense that \(\phi (x)=\lim x\) for all \(x\in c\).
In the case σ is translation mappings \(\sigma (n)=n+1\), the σ-mean is often called a Banach limit and the space \(V_{\sigma }\), the set of bounded sequences all of whose invariant means are equal, is the set of almost convergent sequences ĉ.
It can be shown that
Let \(A\subseteq \mathbb{N}\) and
and
If the limits \(\underline{V}(A)=\lim_{m\rightarrow \infty }\frac{s_{m}}{m} \), \(\overline{V}(A)=\lim_{m\rightarrow \infty }\frac{S_{m}}{m}\) exist, then they are called a lower and upper σ-uniform density of the set A, respectively. If \(\underline{V}(A)=\overline{V}(A)\), then \(V(A)=\underline{V}(A)=\overline{V}(A)\) is called σ-uniform density of A.
Denote by \(\mathcal{I}_{\sigma }\) the class of all \(A\subseteq \mathbb{N}\) with \(V(A)=0\).
Let \(\mathcal{I}_{\sigma }\subset 2^{\mathbb{N}}\) be an admissible ideal. A sequence \(x=(x_{k})\) is said to be \(\mathcal{I}_{\sigma }\)-convergent to the number L if, for every \(\varepsilon >0\), \(A_{\varepsilon }=\{k: \vert x_{k}-L \vert \geq \varepsilon \}\in \mathcal{I}_{\sigma }\), that is, \(V(A_{\varepsilon })=0\). In this case, we write \(\mathcal{I}_{\sigma }-\lim_{k}=L\).
Let \(\mathcal{I}_{\sigma }\subset 2^{\mathbb{N}}\) be an admissible ideal. A sequence \(x=(x_{k})\) is said to be \(\mathcal{I}^{*}_{\sigma }\)-convergent to the number L if there exists a set \(M=\{m_{1}< m_{2}<\cdots \}\in \mathcal{F}(\mathcal{I}_{\sigma })\) such that \(\lim_{k\rightarrow \infty }x_{m_{k}}=L\). In this case, we write \(\mathcal{I}^{*}_{\sigma }-\lim_{k}=L\).
Let \(A\subseteq \mathbb{N}\times \mathbb{N}\) and
and
If the limits exist, \(\underline{V_{2}}(A)=\lim_{m,n\rightarrow \infty } \frac{s_{mn}}{mn}\), \(\overline{V_{2}}(A)=\lim_{m,n \rightarrow \infty }\frac{S_{mn}}{mn}\) exist, then they are called a lower and an upper σ-uniform density of the set A, respectively. If \(\underline{V_{2}}(A)=\overline{V_{2}}(A)\), then \(V_{2}(A)=\underline{V_{2}}(A)=\overline{V_{2}}(A)\) is called the σ-uniform density of A.
Denote by \(\mathcal{I}_{2}^{\sigma }\) the class of all \(A\subseteq \mathbb{N}\times \mathbb{N}\) with \(V_{2}(A)=0\).
Throughout the paper we let \(\mathcal{I}^{\sigma }_{2}\subset 2^{\mathbb{N}\times \mathbb{N}}\) be a strongly admissible ideal.
A double sequence \(x=(x_{kj})\) is said to be \(\mathcal{I}_{2}\)-invariant convergent or \(\mathcal{I}_{2}^{\sigma }\)-convergent to L if, for every \(\varepsilon >0\), \(A(\varepsilon )= \{(k,j): \vert x_{kj}-L \vert \geq \varepsilon \}\in \mathcal{I}^{\sigma }_{2}\), that is, \(V_{2} (A(\varepsilon ) )=0\). In this case, we write \(\mathcal{I}_{2}^{\sigma }-\lim x=L\) or \(x_{kj}\rightarrow L(\mathcal{I}^{\sigma }_{2})\).
A double sequence \((x_{kj})\) is \(\mathcal{I}^{*}_{2}\)-invariant convergent or \(\mathcal{I}^{{\sigma }*}_{2}\)-convergent to L if and only if there exists a set \(M_{2}\in \mathcal{F}(\mathcal{I}^{\sigma }_{2})\) (\(\mathbb{N}\times \mathbb{N}\backslash M_{2}=H\in \mathcal{I}^{\sigma }_{2}\)) such that, for \((k,j)\in M_{2}\), \(\lim_{k,j\rightarrow \infty }x_{kj}=L\). In this case, we write \(\mathcal{I}^{{\sigma }*}_{2}-\lim_{k,j\rightarrow \infty }x_{kj}= L\) or \(x_{kj} \rightarrow L(\mathcal{I}^{{\sigma }*}_{2})\).
A double sequence \((x_{kj})\) is said to be \(\mathcal{I}_{2}\)-invariant Cauchy or \(\mathcal{I}^{\sigma }_{2}\)-Cauchy sequence if, for every \(\varepsilon >0\), there exist numbers \(r=r(\varepsilon )\), \(s=s(\varepsilon )\in \mathbb{N}\) such that \(A(\varepsilon )= \{(k,j): \vert x_{kj}-x_{rs} \vert \geq \varepsilon \} \in \mathcal{I}_{2}^{\sigma }\), that is, \(V_{2} (A(\varepsilon ) )=0\).
A double sequence \((x_{kj})\) is \(\mathcal{I}^{*}_{2}\)-invariant Cauchy or \(\mathcal{I}^{{\sigma }*}_{2}\)-Cauchy sequence if there exists a set \(M_{2}\in \mathcal{F}(\mathcal{I}^{\sigma }_{2})\) (i.e., \(\mathbb{N}\times \mathbb{N} \backslash M_{2} =H \in \mathcal{I}^{ \sigma }_{2}\)) such that, for every \((k,j),(r,s)\in M_{2}\), \(\lim_{k,j,r,s\rightarrow \infty } \vert x_{kj}-x_{rs} \vert =0\).
A double sequence \(x = (x_{kj})\) is said to be regularly \((\mathcal{I}_{2},\mathcal{I})\)-convergent (\(r(\mathcal{I}_{2}, \mathcal{I})\)-convergent) if it is \(\mathcal{I}_{2}\)-convergent in Pringsheim’s sense and for every \(\varepsilon >0\) the following hold:
A double sequence \(x = (x_{kj})\) is said to be \(r(\mathcal{I}_{2}^{*},\mathcal{I}^{*})\)-convergent if there exist the sets \(M \in \mathcal{F}(\mathcal{I}_{2})\), \(M_{1} \in \mathcal{F}(\mathcal{I})\), and \(M_{2} \in \mathcal{F}(\mathcal{I})\) (i.e., \(\mathbb{N}\times \mathbb{N} \setminus M \in \mathcal{I}_{2}\), \(\mathbb{N} \setminus M_{1} \in \mathcal{I}\) and \(\mathbb{N} \setminus M_{2} \in \mathcal{I}\)) such that the limits
exist. Note that if \(x = (x_{kj})\) is regularly convergent to L, then the limits \(\lim_{k\rightarrow \infty }\lim_{j\rightarrow \infty }x_{kj}\) and \(\lim_{j\rightarrow \infty }\lim_{k\rightarrow \infty }x_{kj}\) exist and are equal to L.
A double sequence \(x = (x_{kj})\) is said to be regularly \((\mathcal{I}_{2},\mathcal{I})\)-Cauchy (\(r(\mathcal{I}_{2}, \mathcal{I})\)-Cauchy) if it is \(\mathcal{I}_{2}\)-Cauchy in Pringsheim’s sense and for every \(\varepsilon >0\) there exist \(m_{j}=m_{j}(\varepsilon )\), \(n_{k}=n_{k}(\varepsilon ) \in \mathbb{N}\) such that the following hold:
A double sequence \(x = (x_{kj})\) is said to be regularly \((\mathcal{I}_{2}^{*},\mathcal{I}^{*})\)-Cauchy (\(r(\mathcal{I}_{2}^{*}, \mathcal{I}^{*})\)-Cauchy) if there exist the sets \(M \in \mathcal{F}(\mathcal{I}_{2})\), \(M_{1} \in \mathcal{F}(\mathcal{I})\), and \(M_{2} \in \mathcal{F}(\mathcal{I})\) (i.e., \(\mathbb{N}\times \mathbb{N} \setminus M \in \mathcal{I}_{2}\), \(\mathbb{N} \setminus M_{1} \in \mathcal{I}\), and \(\mathbb{N} \setminus M_{2} \in \mathcal{I}\)) and for every \(\varepsilon >0\) there exist \(N=N(\varepsilon ) \in \mathbb{N}\), \(s=s(\varepsilon )\), \(t=t(\varepsilon )\), \(m_{j}=m_{j}(\varepsilon )\), \(n_{k}=n_{k}(\varepsilon )\in \mathbb{N}\) such that whenever \(k,j, m_{j},n_{k} >N\), we have
Lemma 1
([16])
Suppose that \(x=(x_{kj})\) is a bounded double sequence. If \(x=(x_{kj})\) is \(\mathcal{I}^{\sigma }_{2}\)-convergent to L, then \(x=(x_{kj})\) is invariant convergent to L.
Lemma 2
([16])
Let \(0< p<\infty \).
-
(i)
If \(x_{kj}\rightarrow L ([V_{\sigma }^{2}]_{p} )\), then \(x_{kj}\rightarrow L (\mathcal{I}^{\sigma }_{2} )\).
-
(ii)
If \((x_{kj})\in \ell _{\infty }^{2}\) and \(x_{kj}\rightarrow L (\mathcal{I}^{\sigma }_{2} )\), then \(x_{kj}\rightarrow L ([V_{\sigma }^{2}]_{p} )\).
-
(iii)
If \((x_{kj})\in \ell _{\infty }^{2}\), then \(x_{kj} \rightarrow L (\mathcal{I}^{\sigma }_{2} )\) if and only if \(x_{kj}\rightarrow L ([V_{\sigma }^{2}]_{p} )\).
Lemma 3
([16])
If a double sequence \((x_{kj})\) is \(\mathcal{I}^{{\sigma }*}_{2}\)-convergent to L, then this sequence is \(\mathcal{I}^{\sigma }_{2}\)-convergent to L.
Lemma 4
([16])
Let \(\mathcal{I}^{\sigma }_{2}\) have the property \((\mathit{AP}2)\). If \((x_{kj})\) is \(\mathcal{I}^{\sigma }_{2}\)-convergent to L, then \((x_{kj})\) is \(\mathcal{I}^{{\sigma }*}_{2}\)-convergent to L.
Lemma 5
([16])
If a double sequence \((x_{kj})\) is \(\mathcal{I}^{\sigma }_{2}\)-convergent, then \((x_{kj})\) is an \(\mathcal{I}^{{\sigma }}_{2}\)-Cauchy double sequence.
Lemma 6
([16])
If a double sequence \((x_{kj})\) is \(\mathcal{I}^{{\sigma }*}_{2}\)-Cauchy, then this sequence is \(\mathcal{I}^{\sigma }_{2}\)-Cauchy.
2 Main results
Now, we denote the notions of regularly invariant convergence, regularly strongly invariant convergence, regularly p-strongly invariant convergence, regularly \((\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-convergence, regularly \((\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-convergence, regularly \((\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2} )\)-Cauchy double sequence, regularly \((\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-Cauchy double sequence and investigate the relationship among them.
Definition 2.1
A double sequence \(x=(x_{kj})\) is said to be regularly invariant convergent (\(r(\sigma ,\sigma _{2})\)-convergent) if it is invariant convergent in Pringsheim’s sense and the following limits hold:
for some \(L_{j}\in X\) and each \(j\in \mathbb{N}\), and
for some \(M_{k}\in X\) and each \(k\in \mathbb{N}\). Note that if \(x=(x_{kj})\) is \(r(\sigma ,\sigma _{2})\)-convergent to L, the following limits hold:
and
In this case, we write
Definition 2.2
A double sequence \(x=(x_{kj})\) is said to be regularly strongly invariant convergent (\(r[\sigma ,\sigma _{2}]\)-convergent) if it is strongly invariant convergent in Pringsheim’s sense and the following limits hold:
for some \(L_{j}\in X\) and each \(j\in \mathbb{N}\), and
for some \(M_{k}\in X\) and each \(k\in \mathbb{N}\).
Note that if \(x=(x_{kj})\) is \(r[\sigma ,\sigma _{2}]\)-convergent to L, the following limits hold:
and
In this case, we write
Definition 2.3
Let \(0< p<\infty \). A double sequence \(x=(x_{kj})\) is said to be regularly p-strongly invariant convergent (\(r[\sigma ,\sigma _{2}]_{p}\)-convergent) if it is p-strongly invariant convergent in Pringsheim’s sense and the following limits hold:
for some \(L_{j}\in X\) and each \(j\in \mathbb{N}\), and
for some \(M_{k}\in X\) and each \(k\in \mathbb{N}\).
Note that if \(x=(x_{kj})\) is \(r[\sigma ,\sigma _{2}]_{p}\)-convergent to L, the following limits hold:
and
In this case, we write
Definition 2.4
A double sequence \(x=(x_{kj})\) is said to be regularly ideal invariant convergent (\(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-convergent) if it is ideal invariant convergent in Pringsheim’s sense and for every \(\varepsilon >0\) the following hold:
for some \(L_{j}\in X\) and each \(j\in \mathbb{N}\), and
for some \(M_{k}\in X\) and each \(k\in \mathbb{N}\).
Note that if \(x=(x_{kj})\) is \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-convergent to L, then we write
Theorem 2.1
Suppose that \(x=(x_{kj})\) is a bounded double sequence. If \(x=(x_{kj})\) is \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-convergent, then \(x=(x_{kj})\) is \(r(\sigma ,\sigma _{2})\)-convergent.
Proof
Let \(x=(x_{kj})\) be a bounded double sequence and \(x=(x_{kj})\) be regularly ideal invariant convergent to L. Then \(x=(x_{kj})\) is ideal invariant convergent in Pringsheim’s sense and for every \(\varepsilon >0\) the following hold:
for some \(L_{j}\in X\) and each \(j\in \mathbb{N}\), and
for some \(M_{k}\in X\) and each \(k\in \mathbb{N}\). Since \(x=(x_{kj})\) is ideal invariant convergent in Pringsheim’s sense, then by Lemma 1\(x=(x_{kj})\) is invariant convergent to L.
Now, let \(\varepsilon >0\). We estimate
for some \(L_{j}\in X\) and each \(j\in \mathbb{N}\). Then we have
where
and
for some \(L_{j}\in X\) and each \(j\in \mathbb{N}\). Therefore, we have \(u^{2}(m,s)<\varepsilon \) for every \(s=1,2,\ldots \) . The boundedness of \((x_{kj})\) implies that there exists \(K>0\) such that
then this implies that
and so \((x_{kj})\) is σ-convergent to \(L_{j}\).
Similarly, we can show that \((x_{kj})\) is σ-convergent to \(M_{k}\). Hence, \(x=(x_{kj})\) is \(r(\sigma ,\sigma _{2})\)-convergent. □
Theorem 2.2
Let \(0< p<\infty \).
-
(i)
If \((x_{kj})\) is \(r[\sigma ,\sigma _{2}]_{p}\)-convergent, then \((x_{kj})\) is \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-convergent.
-
(ii)
If \((x_{kj})\in \ell _{\infty }^{2}\) and \((x_{kj})\) is \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-convergent, then \((x_{kj})\) is \(r[\sigma ,\sigma _{2}]_{p}\)-convergent.
-
(iii)
If \((x_{kj})\in \ell _{\infty }^{2}\), then \((x_{kj})\) is \(r[\sigma ,\sigma _{2}]_{p}\)-convergent if and only if \((x_{kj})\) is \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\) is convergent.
Proof
\((i)\) Let \(x=(x_{kj})\) be \(r[\sigma ,\sigma _{2}]_{p}\)-convergent. Then it is p-strongly invariant convergent in Pringsheim’s sense and the following limits hold:
for some \(L_{j}\in X\) and each \(j\in \mathbb{N}\), and
for some \(M_{k}\in X\) and each \(k\in \mathbb{N}\). Since \(x=(x_{kj})\) is p-strongly invariant convergent in Pringsheim’s sense, then by Lemma 2\(x=(x_{kj})\) is \(\mathcal{I}^{\sigma }_{2}\)-convergent.
Also, for every \(\varepsilon >0\), some \(L_{j}\in X\), and each \(j\in \mathbb{N}\), we can write
and
for every \(s=1,2,\ldots \) . This implies \(\lim_{m\rightarrow \infty }\frac{S_{m}}{m}=0\), and so \((x_{kj})\) is \(\mathcal{I}_{\sigma }\)-convergent to \(L_{j}\).
Similarly, we can show that \((x_{kj})\) is \(\mathcal{I}_{\sigma }\)-convergent to \(M_{k}\). Hence, \(x=(x_{kj})\) is \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-convergent.
\((\mathit{ii})\) Let \((x_{kj})\in \ell _{\infty }^{2}\) and \((x_{kj})\) be \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-convergent. Then \(x=(x_{kj})\) is ideal invariant convergent in Pringsheim’s sense and for every \(\varepsilon >0\) the following hold:
for some \(L_{j}\in X\) and each \(j\in \mathbb{N}\), and
for some \(M_{k}\in X\) and each \(k\in \mathbb{N}\). Since \(x=(x_{kj})\) is ideal invariant convergent in Pringsheim’s sense, then by Lemma 2, \(x=(x_{kj})\) is p-strongly \(\sigma _{2}\)-convergent. Let \(0< p<\infty \) and \(\varepsilon >0\). Since \((x_{kj})\) is bounded, \((x_{kj})\) implies that there exists \(K>0\) such that
for all \(k,s\in \mathbb{N}\). Then, for every \(s=1,2,\ldots \) , we have
Hence, we obtain
uniformly in s, and so \(x=(x_{kj})\) is p-strongly σ-convergent to \(L_{j}\).
Similarly, we show that \((x_{kj})\) is p-strongly σ-convergent to \(M_{k}\). Hence, \(x=(x_{kj})\) is \(r[\sigma ,\sigma _{2}]_{p}\)-convergent.
\((\mathit{iii})\) This is an immediate consequence of (i) and (ii). □
Definition 2.5
A double sequence \(x=(x_{kj})\) is said to be regularly \((\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-convergent (\(r(\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-convergent) if and only if there exist the sets \(M \in \mathcal{F}(\mathcal{I}^{\sigma }_{2})\), \(M_{1} \in \mathcal{F}(\mathcal{I}_{\sigma })\) and \(M_{2}\in \mathcal{F}(\mathcal{I}_{\sigma })\) (i.e., \(\mathbb{N}\times \mathbb{N} \setminus M \in \mathcal{I}^{\sigma }_{2}\), \(\mathbb{N} \setminus M_{1} \in \mathcal{I}_{\sigma }\), and \(\mathbb{N} \setminus M_{2} \in \mathcal{I}_{\sigma }\)) such that the following limits hold:
Note that if \(x=(x_{kj})\) is \(r(\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-convergent to L, then we write
Theorem 2.3
If a double sequence \(x=(x_{kj})\) is \(r(\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-convergent, then \((x_{kj})\) is \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-convergent.
Proof
Let \((x_{kj})\) be \(r(\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-convergent. Then \((x_{kj})\) is \(\mathcal{I}^{\sigma *}_{2}\)-convergent, and so by Lemma 3\((x_{kj})\) is \(\mathcal{I}^{\sigma }_{2}\) convergent. Also, there exist the sets \(M_{1},M_{2} \in \mathcal{F}(\mathcal{I}_{\sigma })\) such that
for some \(L_{j}\) and each \(j \in \mathbb{N}\), and
for some \(M_{k}\) and each \(k \in \mathbb{N}\). Hence, we have
for \(H_{1}, H_{2} \in \mathcal{I}_{\sigma }\). Since \(\mathcal{I}_{\sigma }\) is an admissible ideal, we get
and therefore \(A(\varepsilon )\in \mathcal{I}_{\sigma }\) and \(B(\varepsilon ) \in \mathcal{I}_{\sigma }\). This shows that the double sequence \((x_{kj})\) is \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-convergent. □
Theorem 2.4
Let \(\mathcal{I}_{\sigma }\) have the property \((\mathit{AP})\) and \(\mathcal{I}^{\sigma }_{2}\) have the property \((\mathit{AP}2)\). If a double sequence \((x_{kj})\) is \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2} )\)-convergent, then \((x_{kj})\) is \(r(\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-convergent.
Proof
Let a double sequence \((x_{kj})\) be \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2} )\)-convergent. Then \((x_{kj})\) is \(\mathcal{I}^{\sigma }_{2}\)-convergent, and so by Lemma 4\((x_{kj})\) is \(\mathcal{I}^{\sigma *}_{2}\)-convergent. Also, for each \(\varepsilon > 0\), we have
for some \(L_{j}\) and each \(j \in \mathbb{N}\), and
for some \(M_{k}\) and each \(k \in \mathbb{N}\).
Now put
for \(t\geq 2\), some \(L_{j}\), and each \(j \in \mathbb{N}\). It is clear that \(A_{m}\cap A_{n}=\emptyset \) for \(m\neq n\) and \(A_{m}\in \mathcal{I}_{\sigma }\) for each \(m\in \mathbb{N}\). By the property (AP) there is a countable family of sets \(\{B_{1},B_{2},\ldots \}\) in \(\mathcal{I}_{\sigma }\) such that \(A_{n}\bigtriangleup B_{n} \) is a finite set for each \(n \in \mathbb{N}\) and \(B=\bigcup_{n=1}^{\infty }B_{n} \in \mathcal{I}_{\sigma }\).
We prove that
for \(M=\mathbb{N}\backslash B \in \mathcal{F}(\mathcal{I}_{\sigma })\). Let \(\delta >0\) be given. Choose \(t\in \mathbb{N}\) such that \(1/t<\delta \). Then we have
Since \(A_{n}\bigtriangleup B_{n}\) is a finite set for \(n\in \{1,2,\ldots,t\}\), there exists \(k_{0} \in \mathbb{N}\) such that
If \(k\geq k_{0}\) and \(k\notin B\), then
Thus, we have \(\vert x_{kj}-L_{j} \vert < \frac{1}{t}< \delta \) for some \(L_{j}\) and each \(j \in \mathbb{N}\). This implies that
for \(k\in M\). Hence, we have
for some \(L_{j}\) and each \(j \in \mathbb{N}\).
Similarly, for the set
we have
for some \(M_{k}\) and each \(k \in \mathbb{N}\). Hence, a double sequence \((x_{kj})\) is \(r(\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-convergent. □
Definition 2.6
A double sequence \((x_{kj})\) is said to be regularly \((\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2} )\)-Cauchy double sequence (\(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-Cauchy double sequence) if it is \(\mathcal{I}_{2}^{\sigma }\)-Cauchy in Pringsheim’s sense and for every \(\varepsilon >0\) there exist numbers \(m_{j}=m_{j}(\varepsilon )\), \(n_{k}=n_{k}(\varepsilon )\in \mathbb{N}\) such that
Theorem 2.5
If a double sequence \((x_{kj})\) is \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-convergent, then \((x_{kj})\) is an \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-Cauchy double sequence.
Proof
Let \((x_{kj})\) be \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-convergent. Then \((x_{kj})\) is \(\mathcal{I}^{\sigma }_{2}\)-convergent, and by Lemma 5, it is \(\mathcal{I}^{\sigma }_{2}\)-Cauchy double sequence. Also, for every \(\varepsilon >0\), we have
for some \(L_{j}\) and each \(j \in \mathbb{N}\), and
for some \(M_{k}\) and each \(k \in \mathbb{N}\). Since \(\mathcal{I}_{\sigma }\) is an admissible ideal, the sets
for some \(L_{j}\) and each \(j \in \mathbb{N}\), and
for some \(M_{k}\) and each \(k \in \mathbb{N}\) are nonempty and belong to \(\mathcal{F}(\mathcal{I}_{\sigma })\). For \(m_{j} \in A_{1}^{c}(\frac{\varepsilon }{2})\), (\(j \in \mathbb{N}\) and \(m_{j} > 0\)) we have
for some \(L_{j}\) and each \(j \in \mathbb{N}\). Now, for each \(\varepsilon >0\), we define the set
where \(m_{j}=m_{j}(\varepsilon )\in \mathbb{N}\). We must prove \(B_{1}(\varepsilon )\subset A_{1}(\frac{\varepsilon }{2})\). Let \(k\in B_{1}(\varepsilon )\). Then, for \(m_{j} \in A_{1}^{c}(\frac{\varepsilon }{2})\), (\(j \in \mathbb{N}\) and \(m_{j} > 0\)) we have
for some \(L_{j}\) and each \(j \in \mathbb{N}\). This shows that \(\frac{\varepsilon }{2}< \vert x_{kj}-L_{j} \vert \), and so \(k \in A_{1}(\frac{\varepsilon }{2})\). Hence, we have \(B_{1}(\varepsilon ) \subset A_{1}(\frac{\varepsilon }{2})\).
Similarly, for each \(\varepsilon >0\) and for \(n_{k} \in A_{2}^{c}(\frac{\varepsilon }{2})\) (\(k \in \mathbb{N}\) and \(n_{k} > 0\)), we have
for some \(M_{k}\) and each \(k \in \mathbb{N}\). Therefore, it can be seen that
where
where \(n_{k}=n_{k}(\varepsilon )\in \mathbb{N}\) and each \(k \in \mathbb{N}\).
Hence, we have \(B_{1}(\varepsilon )\in \mathcal{I}_{\sigma }\) and \(B_{2}(\varepsilon )\in \mathcal{I}_{\sigma }\). This shows that \(\{x_{kj}\}\) is \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-Cauchy double sequence. □
Definition 2.7
A double sequence \((x_{kj})\) is regularly \((\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-Cauchy double sequence (\(r(\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-Cauchy double sequence) if there exist the sets \(M\in \mathcal{F}(\mathcal{I}^{\sigma }_{2})\), \(M_{1}\in \mathcal{F}(\mathcal{I}^{\sigma })\) and \(M_{2}\in \mathcal{F}(\mathcal{I}^{\sigma })\) (that is, \(\mathbb{N}\times \mathbb{N} \backslash M =H \in \mathcal{I}^{\sigma }_{2}\), \(\mathbb{N}\backslash M_{1}\in \mathcal{I}_{\sigma }\), and \(\mathbb{N}\backslash M_{2}\in \mathcal{I}_{\sigma }\)) and for every \(\varepsilon >0\), there exist \(N=N(\varepsilon )\), \(s=s(\varepsilon )\), \(t=t(\varepsilon )\), \(m_{j}=m_{j}(\varepsilon )\), \(n_{k}=n_{k}(\varepsilon )\in \mathbb{N}\) such that whenever \(k,j,s,t,m_{j},n_{k}\geq N\), we have
Theorem 2.6
If a double sequence \((x_{kj})\) is \(r(\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-Cauchy double sequence, then \((x_{kj})\) is \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-Cauchy double sequence.
Proof
Since a double sequence \((x_{kj})\) is \(r(\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-Cauchy, then \((x_{kj})\) is \(\mathcal{I}^{\sigma *}_{2}\)-Cauchy implies \(\mathcal{I}^{\sigma }_{2}\)-Cauchy by Lemma 6. Also, since \((x_{kj})\) is \(r(\mathcal{I}_{\sigma }^{*},\mathcal{I}^{\sigma *}_{2})\)-Cauchy, there exist the sets \(M_{1}\in \mathcal{F}(\mathcal{I}^{\sigma })\) and \(M_{2}\in \mathcal{F}(\mathcal{I}^{\sigma })\) (that is, \(\mathbb{N}\backslash M_{1}\in \mathcal{I}_{\sigma }\) and \(\mathbb{N}\backslash M_{2}\in \mathcal{I}_{\sigma }\)), and for every \(\varepsilon >0\), there exist \(N=N(\varepsilon )\), \(m_{j}=m_{j}(\varepsilon )\), \(n_{k}=n_{k}(\varepsilon )\in \mathbb{N}\) such that we have
whenever \(k,j,m_{j},n_{k}\geq N\). Therefore, \(H_{1}=\mathbb{N}\backslash M_{1}\in \mathcal{I}_{\sigma }\) and \(H_{2}=\mathbb{N}\backslash M_{2}\in \mathcal{I}_{\sigma }\) we have
for each \(k\in M_{1}\) and
for each \(j\in M_{2}\). Since \(\mathcal{I}_{\sigma }\) is an admissible ideal, \(H_{1}\cup \{1,2,3,\ldots,(N-1)\}\in \mathcal{I}_{\sigma }\) and \(H_{2}\cup \{1,2,3,\ldots,(N-1)\}\in \mathcal{I}_{\sigma }\). Hence, we have \(A_{1}(\varepsilon )\in \mathcal{I}_{\sigma }\) and \(A_{2}(\varepsilon )\in \mathcal{I}_{\sigma }\), and so \((x_{kj})\) is an \(r(\mathcal{I}_{\sigma },\mathcal{I}^{\sigma }_{2})\)-Cauchy double sequence. □
3 Conclusions
We investigated the concepts of regularly invariant convergence types and regularly ideal invariant convergence and Cauchy sequence types. These concepts can also be studied for the lacunary sequence in the future.
Availability of data and materials
Not applicable.
References
Altay, B., Başar, F.: Some new spaces of double sequences. J. Math. Anal. Appl. 309(1), 70–90 (2005)
Belen, C., Mohiuddine, S.A.: Generalized weighted statistical convergence and application. Appl. Math. Comput. 219(18), 9821–9826 (2013)
Braha, N.L., Srivastava, H.M., Mohiuddine, S.A.: A Korovkin’s type approximation theorem for periodic functions via the statistical summability of the generalized de la Vallée Poussin mean. Appl. Math. Comput. 228, 162–169 (2014)
C̣akan, C., Altay, B., Mursaleen, M.: The σ-convergence and σ-core of double sequences. Appl. Math. Lett. 19, 1122–1128 (2006)
Das, P., Kostyrko, P., Wilczyński, W., Malik, P.: \(\mathcal{I}\) and \(\mathcal{I}^{*}\)-convergence of double sequences. Math. Slovaca 58(5), 605–620 (2008)
Dems, K.: On \(\mathcal{I}\)-Cauchy sequences. Real Anal. Exch. 30, 123–128 (2004/2005)
Dündar, E.: Regularly \((\mathcal{I}_{2},\mathcal{I})\)-convergence and \((\mathcal{I}_{2},\mathcal{I})\)-Cauchy double sequences of functions. Pioneer J. Algebra Number Theory Appl. 1(2), 85–98 (2011)
Dündar, E., Akın, N.P.: Wijsman regularly ideal convergence of double sequences of sets. J. Intell. Fuzzy Syst. 37(6), 8159–8166 (2019)
Dündar, E., Altay, B.: On some properties of \(\mathcal{I}_{2}\)-convergence and \(\mathcal{I}_{2}\)-Cauchy of double sequences. Gen. Math. Notes 7(1), 1–12 (2011)
Dündar, E., Altay, B.: Multipliers for bounded \(\mathcal{I}_{2}\)-convergent of double sequences. Math. Comput. Model. 55(3–4), 1193–1198 (2012)
Dündar, E., Altay, B.: \(\mathcal{I}_{2}\)-Convergence and \(\mathcal{I}_{2}\)-Cauchy of double sequences. Acta Math. Sci. 34B(2), 343–353 (2014)
Dündar, E., Altay, B.: \(\mathcal{I}_{2}\)-Convergence of double sequences of functions. Electron. J. Math. Anal. Appl. 3(1), 111–121 (2015)
Dündar, E., Altay, B.: \(\mathcal{I}_{2}\)-Uniform convergence of double sequences of functions. Filomat 30(5), 1273–1281 (2016)
Dündar, E., Talo, Ö.: \(\mathcal{I}_{2}\)-Convergence of double sequences of fuzzy numbers. Iran. J. Fuzzy Syst. 10(3), 37–50 (2013)
Dündar, E., Türkmen, M.R., Akın, N.P.: Regularly ideal convergence of double sequences in fuzzy normed spaces. Bull. Math. Anal. Appl. 12(2), 12–26 (2020)
Dündar, E., Ulusu, U., Nuray, F.: On ideal invariant convergence of double sequences and some properties. Creative Math. Inform. 27(2), 161–169 (2018)
Dündar, E., Ulusu, U., Pancaroǧlu, N.: Strongly \(\mathcal{I}_{2}\)-lacunary convergence and \(\mathcal{I}_{2}\)-lacunary Cauchy double sequences of sets. Aligarh Bull. Math. 35(1–2), 1–15 (2016)
Fast, H.: Sur la convergence statistique. Colloq. Math. 2, 241–244 (1951)
Kostyrko, P., Šalát, T., Wilczyński, W.: \(\mathcal{I}\)-Convergence. Real Anal. Exch. 26(2), 669–686 (2000)
Kumar, V.: On \(\mathcal{I}\) and \(\mathcal{I}^{*}\)-convergence of double sequences. Math. Commun. 12, 171–181 (2007)
Mohiuddine, S.A., Alamri, B.A.S.: Generalization of equi-statistical convergence via weighted lacunary sequence with associated Korovkin and Voronovskaya type approximation theorems. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 113(3), 1955–1973 (2019)
Mohiuddine, S.A., Hazarika, B.: Some classes of ideal convergent sequences and generalized difference matrix operator. Filomat 31(6), 1827–1834 (2017)
Mohiuddine, S.A., Hazarika, B., Alghamdi, M.A.: Ideal relatively uniform convergence with Korovkin and Voronovskaya types approximation theorems. Filomat 33(14), 4549–4560 (2019)
Mursaleen, M.: On finite matrices and invariant means. Indian J. Pure Appl. Math. 10, 457–460 (1979)
Mursaleen, M.: Matrix transformation between some new sequence spaces. Houst. J. Math. 9, 505–509 (1983)
Mursaleen, M., Alotaibi, A.: On \(\mathcal{I}\)-convergence in random 2-normed spaces. Math. Slovaca 61(6), 933–940 (2011)
Mursaleen, M., Çakan, C., Mohiuddine, S.A., Savaş, E.: Generalized statistical convergence and statistical core of double sequences. Acta Math. Sin. Engl. Ser. 26(11), 2131–2144 (2010)
Mursaleen, M., Debnath, S., Rakshit, D.: \(\mathcal{I}\)-Statistical limit superior and \(\mathcal{I}\)-statistical limit inferior. Filomat 31(7), 2103–2108 (2017)
Mursaleen, M., Edely, O.H.H.: Statistical convergence of double sequences. J. Math. Anal. Appl. 288, 223–231 (2003)
Mursaleen, M., Edely, O.H.H.: On the invariant mean and statistical convergence. Appl. Math. Lett. 22(11), 1700–1704 (2009)
Mursaleen, M., Mohiuddine, S.A.: On ideal convergence of double sequences in probabilistic normed spaces. Math. Rep. 12(62)(4), 359–371 (2010)
Mursaleen, M., Mohiuddine, S.A.: On ideal convergence in probabilistic normed spaces. Math. Slovaca 62(1), 49–62 (2012)
Mursaleen, M., Mohiuddine, S.A., Edely, O.H.H.: On the ideal convergence of double sequences in intuitionistic fuzzy normed spaces. Comput. Math. Appl. 59, 603–611 (2010)
Nabiev, A., Pehlivan, S., Gürdal, M.: On \(\mathcal{I}\)-Cauchy sequences. Taiwan. J. Math. 11(2), 569–576 (2007)
Nuray, F., Gök, H., Ulusu, U.: \(\mathcal{I}_{\sigma}\)-Convergence. Math. Commun. 16, 531–538 (2011)
Nuray, F., Ruckle, W.H.: Generalized statistical convergence and convergence free spaces. J. Math. Anal. Appl. 245, 513–527 (2000)
Pringsheim, A.: Zur theorie der zweifach unendlichen Zahlenfolgen. Math. Ann. 53, 289–321 (1900)
Raimi, R.A.: Invariant means and invariant matrix methods of summability. Duke Math. J. 30(1), 81–94 (1963)
Savaş, E.: Some sequence spaces involving invariant means. Indian J. Math. 31, 1–8 (1989)
Savaş, E.: Strongly σ-convergent sequences. Bull. Calcutta Math. Soc. 81, 295–300 (1989)
Schaefer, P.: Infinite matrices and invariant means. Proc. Am. Math. Soc. 36, 104–110 (1972)
Schoenberg, I.J.: The integrability of certain functions and related summability methods. Am. Math. Mon. 66, 361–375 (1959)
Sever, Y., Dündar, E.: Regularly ideal convergence and regularly ideal Cauchy double sequences in 2-normed spaces. Filomat 28(5), 907–915 (2015)
Tortop, Ş., Dündar, E.: Wijsman \(\mathcal{I}_{2}\)-invariant convergence of double sequences of sets. J. Inequal. Spec. Funct. 9(4), 90–100 (2018)
Tripathy, B., Tripathy, B.C.: On \(\mathcal{I}\)-convergent double sequences. Soochow J. Math. 31, 549–560 (2005)
Ulusu, U., Dündar, E.: Asymptotically lacunary \(\mathcal{I}_{2}\)-invariant equivalence. J. Intell. Fuzzy Syst. 36(1), 467–472 (2019). https://doi.org/10.3233/JIFS-181796
Acknowledgements
I would like to express thanks to Professor Erdinç DÜNDAR, Department of Mathematics, Afyon Kocatepe University, Afyonkarahisar, Turkey, for his careful reading of an earlier version of this paper and the constructive comments which improved the presentation of the paper. Also, I highly appreciate anonymous reviewers for helpful comments and valuable suggestions.
Funding
This work is not sponsored by any institution.
Author information
Authors and Affiliations
Contributions
The author was the only one to contribute to the writing of this paper. The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Pancaroǧlu Akın, N. Regularly ideal invariant convergence of double sequences. J Inequal Appl 2021, 131 (2021). https://doi.org/10.1186/s13660-021-02664-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-021-02664-1