Double density by moduli and statistical convergence (Q1932155)

A function \(f:\mathbb{R}^+\to\mathbb{R}^+\) is called a modulus function if it satisfies the following conditions: 1. \(f(x)=0\) if and only if \(x=0\); 2. \(f(x+y)\leq f(x)+f(y)\) for every \(x,y\in\mathbb{R}^+\); 3. \(f\) is increasing and continuous from the right at 0. For an unbounded modulus function \(f\) the authors define the \(f\)-density of a set \(A\subset\mathbb{N}^2\) by \[ d_{2,f}=\lim_{i,j}\lim_{p,q}\frac{f(| A(p,q,i,j)|)}{f(pq)} \] in the case that the outer limit exists, where \(A(p,q,i,j)=\{(a,b)\in A:i\leq a\leq p,~j\leq b\leq q\}\). A double sequence \((x_{ij})\) in a normed space \(X\) is called \(f\)-statistically convergent to \(x\) if for every \(\varepsilon>0\) we have \(d_{2,f}(\{(i,j)\in\mathbb{N}^2:\| x_{ij}-x\|>\varepsilon\})=0\). Similarly, \((x_{ij})\) is called \(f\)-statistically Cauchy if for every \(\varepsilon>0\) and every \(l\in\mathbb{N}\) there exist \(M,N\geq l\) such that \(d_{2,f}(\{(i,j)\in\mathbb{N}^2:\| x_{ij}-x_{MN}\|>\varepsilon\})=0\). The authors prove that if \(X\) is a Banach space, \(f\) is an unbounded modulus and \((x_{ij})\) is a double sequence in \(X\), then \((x_{ij})\) is \(f\)-statistically Cauchy if and only if \((x_{ij})\) is \(f\)-statistically convergent. Moreover, if for every unbounded modulus \(f\) there exists the \(f\)-statistical limit of \((x_{ij})\), then all these limits are the same \(x\in X\) and \((x_{ij})\) also converges to \(x\) in Pringsheim's sense.