About coincidence points theorems on 2-step Carnot groups with 1-dimensional centre equipped with Box-quasimetrics

1.   Introduction

The idea of statistical convergence was given by Zygmund ^[1] in the first edition of his monograph published in Warsaw in 1935. The concept of statistical convergence was introduced by Steinhaus ^[2] and Fast ^[3] and then reintroduced independently by Schoenberg ^[4]. Over the years and under different names, statistical convergence has been discussed in the Theory of Fourier Analysis, Ergodic Theory, Number Theory, Measure Theory, Trigonometric Series, Turnpike Theory and Banach Spaces. Later on it was further investigated from the sequence spaces point of view and linked with summability theory by Bilalov and Nazarova ^[5], Braha et al. ^[6], Cinar et al. ^[7], Colak ^[8], Connor ^[9], Et et al. (^{[10,11,12,13,14]}), Fridy ^[15], Isik et al. (^[16,17,18]), Kayan et al. ^[19], Kucukaslan et al. (^[20,21]), Mohiuddine et al. ^[22], Nuray ^[23], Nuray and Aydın ^[24], Salat ^[25], Sengul et al. (^{[26,27,28,29]}), Srivastava et al. (^[30,31]) and many others.

The idea of statistical convergence depends upon the density of subsets of the set $\mathbb{N}$ of natural numbers. The density of a subset $\mathbb{E}$ of $\mathbb{N}$ is defined by

provided that the limit exists, where $\chi _{\mathbb{E}}$ is the characteristic function of the set $\mathbb{E}$. It is clear that any finite subset of $\mathbb{N}$ has zero natural density and that

A sequence $x = \left(x_{k}\right) _{k\in \mathbb{N}}$ is said to be statistically convergent to $L$ if, for every $\varepsilon > 0,$ we have

In this case, we write \newline

In 1932, Agnew ^[32] introduced the concept of deferred Cesaro mean of real (or complex) valued sequences $x = (x_{k})$ defined by

where $p = \left(p_{n}\right)$ and $q = \left(q_{n}\right)$ are the sequences of non-negative integers satisfying

Let $K$ be a subset of $\mathbb{N}$ and denote the set $\left \{ k:k\in (p_{n}, q_{n}], k\in K\right \}$ by $K_{p, q}\left(n\right).$

Deferred density of $K$ is defined by

where, vertical bars indicate the cardinality of the enclosed set $K_{p, q}\left(n\right).$ If $q_{n} = n,$ $p_{n} = 0,$ then the deferred density coincides with natural density of $K.$

A real valued sequence $x = (x_{k})$ is said to be deferred statistically convergent to $L$, if for each $\varepsilon > 0$

In this case we write $S_{p, q}$-$\lim x_{k} = L$. If $q_{n} = n,$ $p_{n} = 0,$ for all $n\in \mathbb{N},$ then deferred statistical convergence coincides with usual statistical convergence ^[20].

2.   Main results

In this section, we give some inclusion relations between statistical convergence of order $\alpha$, deferred strong Cesàro summability of order $\alpha$ and deferred statistical convergence of order $\alpha$ in general metric spaces.

Definition 1. Let $\left(X, d\right)$ be a metric space, $\left(p_{n}\right)$ and $\left(q_{n}\right)$ be two sequences as above and $0 < \alpha \leq 1$. A metric valued sequence $x = \left(x_{k}\right)$ is said to be $S_{p, q}^{d, \alpha }$-convergent (or deferred $d$-statistically convergent of order $\alpha)$ to $x_{0}$ if there is $x_{0}\in X$ such that

where $B_{\varepsilon }\left(x_{0}\right) = \left \{ x\in X:d(x, x_{0}) < \varepsilon \right \}$ is the open ball of radius $\varepsilon$ and center $x_{0}.$ In this case we write $S_{p, q}^{d, \alpha }$-$\lim x_{k} = x_{0}$ or $x_{k}\rightarrow x_{0}\left(S_{p, q}^{d, \alpha }\right)$. The set of all $S_{p, q}^{d, \alpha }$-statistically convergent sequences will be denoted by $S_{p, q}^{d, \alpha }$. If $q_{n} = n$ and $p_{n} = 0,$ then deferred $d$-statistical convergence of order $\alpha$ coincides $d$ -statistical convergence of order $\alpha$ denoted by $S^{d, \alpha }$. In the special cases $q_{n} = n, p_{n} = 0$ and $\alpha = 1$ then deferred $d$ -statistical convergence of order $\alpha$ coincides $d$-statistical convergence denoted by $S^{d}$.

Definition 2. Let $\left(X, d\right)$ be a metric space, $\left(p_{n}\right)$ and $\left(q_{n}\right)$ be two sequences as above and $0 < \alpha \leq 1$. A metric valued sequence $x = \left(x_{k}\right)$ is said to be strongly $w_{p, q}^{d, \alpha }$-summable (or deferred strongly $d$-Ces àro summable of order $\alpha$) to $x_{0}$ if there is $x_{0}\in X$ such that

In this case we write $w_{p, q}^{d, \alpha }$-$\lim x_{k} = x_{0}$ or $x_{k}\rightarrow x_{0}\left(w_{p, q}^{d, \alpha }\right)$. The set of all strongly $w_{p, q}^{d, \alpha }$-summable sequences will be denoted by $w_{p, q}^{d, \alpha }.$ If $q_{n} = n$ and $p_{n} = 0,$ for all $n\in \mathbb{N},$ then deferred strong $d$-Cesàro summability of order $\alpha$ coincides strong $d$-Cesàro summability of order $\alpha$ denoted by $w^{d, \alpha }$. In the special cases $q_{n} = n, p_{n} = 0$ and $\alpha = 1$ then deferred strong $d$-Cesàro summability of order $\alpha$ coincides strong $d$-Ces àro summability denoted by $w^{d}$.

Theorem 1. Let $\left(p_{n}\right)$ and $\left(q_{n}\right)$ be sequences of non-negative integers satisfying the condition $(1)$, $\left(X, d\right)$ be a linear metric space and $x = \left(x_{k}\right), y = \left(y_{k}\right)$ be metric valued sequences, then

$\left(i\right)$ If $S_{p, q}^{d, \alpha }$-$\lim x_{k} = x_{0}$ and $S_{p, q}^{d, \alpha }$-$\lim y_{k} = y_{0},$ then $S_{p, q}^{d, \alpha }$-$\lim \left(x_{k}+y_{k}\right) = x_{0}+y_{0},$

$\left(ii\right)$If $S_{p, q}^{d, \alpha }$-$\lim x_{k} = x_{0}$ and $c\in \mathbb{C},$ then $S_{p, q}^{d, \alpha }$-$\lim \left(cx_{k}\right) = cx_{0},$

$\left(iii\right)$ If $S_{p, q}^{d, \alpha }$-$\lim x_{k} = x_{0}, S_{p, q}^{d, \alpha }$-$\lim y_{k} = y_{0}$ and $x, y\in \ell _{\infty }\left(X\right),$ then $S_{p, q}^{d, \alpha }$-$\lim \left(x_{k}y_{k}\right) = x_{0}y_{0}.$

Proof. Omitted.

Theorem 2. Let $\left(p_{n}\right)$ and $\left(q_{n}\right)$ be sequences of non-negative integers satisfying the condition $(1)$ and $\alpha$ and $\beta$ be two real numbers such that $0 < \alpha \leq \beta \leq 1.$ If a sequence $x = \left(x_{k}\right)$ is deferred strongly $d$-Cesàro summable of order $\alpha$ to $x_{0}$, then it is deferred $d$-statistically convergent of order $\beta$ to $x_{0},$ but the converse is not true.

Proof. First part of the proof is easy, so omitted. For the converse, take $X = \mathbb{R}$ and choose $q_{n} = n, p_{n} = 0$ $($for all $n\in \mathbb{N)}, d\left(x, y\right) = \left \vert x-y\right \vert$ and define a sequence $x = \left(x_{k}\right)$ by

Then for every $\varepsilon > 0,$ we have

where $\frac{1}{2} < \alpha \leq 1$, that is $x_{k}\rightarrow 0\left(S_{p, q}^{d, \alpha }\right).$ At the same time, we get

for $\alpha = \frac{1}{6}$ and

for $0 < \alpha < \frac{1}{6},$ i.e., $x_{k}\nrightarrow 0\left(w_{p, q}^{d, \alpha }\right)$ for $0 < \alpha \leq \frac{1}{6}.$

From Theorem 2 we have the following results.

Corollary 1. ⅰ) Let $\left(p_{n}\right)$ and $\left(q_{n}\right)$ be sequences of non-negative integers satisfying the condition $(1)$ and $\alpha$ be a real number such that $0 < \alpha \leq 1.$ If a sequence $x = \left(x_{k}\right)$ is deferred strongly $d$-Cesàro summable of order $\alpha$ to $x_{0}$, then it is deferred $d$-statistically convergent of order $\alpha$ to $x_{0},$ but the converse is not true.

ⅱ) Let $\left(p_{n}\right)$ and $\left(q_{n}\right)$ be sequences of non-negative integers satisfying the condition $(1)$ and $\alpha$ be a real number such that $0 < \alpha \leq 1.$ If a sequence $x = \left(x_{k}\right)$ is deferred strongly $d$-Cesàro summable of order $\alpha$ to $x_{0}$, then it is deferred $d$-statistically convergent to $x_{0},$ but the converse is not true.

ⅲ) Let $\left(p_{n}\right)$ and $\left(q_{n}\right)$ be sequences of non-negative integers satisfying the condition $(1)$. If a sequence $x = \left(x_{k}\right)$ is deferred strongly $d$-Cesàro summable to $x_{0}$, then it is deferred $d$-statistically convergent to $x_{0},$ but the converse is not true.

Remark Even if $x = \left(x_{k}\right)$ is a bounded sequence in a metric space, the converse of Theorem 2 (So Corollary 1 i) and ii)) does not hold, in general. To show this we give the following example.

Example 1. Take $X = \mathbb{R}$ and choose $q_{n} = n, p_{n} = 0$ $($for all $n\in \mathbb{N)}, d\left(x, y\right) = \left \vert x-y\right \vert$ and define a sequence $x = \left(x_{k}\right)$ by

It is clear that $x\in \ell _{\infty }$ and it can be shown that $x\in S^{d, \alpha }-w^{d, \alpha }$ for $\frac{1}{3} < \alpha < \frac{1}{2}.$

In the special case $\alpha = 1,$ we can give the followig result.

Theorem 3. Let $\left(p_{n}\right)$ and $\left(q_{n}\right)$ be sequences of non-negative integers satisfying the condition $(1)$ and $x = \left(x_{k}\right)$ is a bounded sequence in a metric space. If a sequence $x = \left(x_{k}\right)$ is deferred $d$-statistically convergent to $x_{0}$, then it is deferred strongly $d$-Cesàro summable to $x_{0}.$

Proof. Let $x = \left(x_{k}\right)$ be deferred $d$-statistically convergent to $x_{0}$ and $\varepsilon > 0$ be given. Then there exists $x_{0}\in X$ such that

Since $x = \left(x_{k}\right)$ is a bounded sequence in a metric space $X,$ there exists $x_{0}\in X$ and a positive real number $M$ such that $d(x_{k}, x_{0}) < M$ for all $k\in \mathbb{N}.$ So we have

Takin limit $n\rightarrow \infty,$ we get $w_{p, q}^{d}$-$\lim x_{k} = x_{0}.$

Theorem 4. Let $\left(p_{n}\right)$ and $\left(q_{n}\right)$ be sequences of non-negative integers satisfying the condition $(1)$ and $\alpha$ be a real number such that $0 < \alpha \leq 1.$ If $\lim \inf_{n} \dfrac{q_{n}}{p_{n}} > 1,$ then $S^{d, \alpha }\subseteq S_{p, q}^{d, \alpha }.$

Proof. Suppose that $\lim \inf_{n}\dfrac{q_{n}}{p_{n}} > 1;$ then there exists a $\nu > 0$ such that $\dfrac{q_{n}}{p_{n}}\geq 1+\nu$ for sufficiently large $n,$ which implies that

If $x_{k}\rightarrow x_{0}\left(S^{d, \alpha }\right),$ then for every $\varepsilon > 0$ and for sufficiently large $n,$ we have

This proves the proof.

Theorem 5. Let $\left(p_{n}\right)$ and $\left(q_{n}\right)$ be sequences of non-negative integers satisfying the condition $(1)$ and $\alpha$ and $\beta$ be two real numbers such that $0 < \alpha \leq \beta \leq 1.$ If $\lim_{n\rightarrow \infty }\dfrac{\left(q_{n}-p_{n}\right) ^{\alpha }}{q_{n}^{\beta }} = s > 0$, then $S^{d, \alpha }\subseteq S_{p, q}^{d, \beta }.$

Proof. Let $\lim_{n\rightarrow \infty }\dfrac{\left(q_{n}-p_{n}\right) ^{\alpha }}{q_{n}^{\beta }} = s > 0$. Notice that for each $\varepsilon > 0$ the inclusion

is satisfied and so we have the following inequality

Therefore $S^{d, \alpha }\subseteq S_{p, q}^{d, \beta }.$

Theorem 6. Let $\left(p_{n}\right), \left(q_{n}\right), \left(p_{n}^{\prime }\right)$ and $\left(q_{n}^{\prime }\right)$ be four sequences of non-negative real numbers such that

and $\alpha, \beta$ be fixed real numbers such that $0 < \alpha \leq \beta \leq 1,$ then

$\left(i\right)$ If

then $S_{p^{\prime }, q^{\prime }}^{d, \beta }\subseteq S_{p, q}^{d, \alpha },$

$\left(ii\right)$ If

then $S_{p, q}^{d, \alpha }\subseteq S_{p^{\prime }, q^{\prime }}^{d, \beta }.$

Proof. $\left(i\right)$ Let $\left(3\right)$ be satisfied. For given $\varepsilon > 0$ we have

and so

Therefore $S_{p^{\prime }, q^{\prime }}^{d, \beta }\subseteq S_{p, q}^{d, \alpha }.$

$\left(ii\right)$ Let $\left(4\right)$ be satisfied and $x = \left(x_{k}\right)$ be a deferred $d$-statistically convergent sequence of order $\alpha$ to $x_{0}.$ Then for given $\varepsilon > 0,$ we have

Therefore $S_{p, q}^{d, \alpha }\subseteq S_{p^{\prime }, q^{\prime }}^{d, \beta }$.

Theorem 7. Let $\left(p_{n}\right), \left(q_{n}\right), \left(p_{n}^{\prime }\right)$ and $\left(q_{n}^{\prime }\right)$ be four sequences of non-negative integers defined as in $\left(2\right)$ and $\alpha, \beta$ be fixed real numbers such that $0 < \alpha \leq \beta \leq 1.$

$\left(i\right)$ If $\left(3\right)$ holds then $w_{p^{\prime }, q^{\prime }}^{d, \beta }\subset w_{p, q}^{d, \alpha },$

$\left(ii\right)$ If $\left(4\right)$ holds and $x = \left(x_{k}\right)$ be a bounded sequence, then $w_{p, q}^{d, \alpha }\subset w_{p^{\prime }, q^{\prime }}^{d, \beta }.$

Proof.

$i)$ Omitted.

$ii)$ Suppose that $w_{p, q}^{d, \alpha }$-$\lim x_{k} = x_{0}$ and $\left(x_{k}\right) \in \ell _{\infty }\left(X\right).$ Then there exists some $M > 0$ such that $d\left(x_{k}, x_{0}\right) < M$ for all $k,$ then

Theorem 8. Let $\left(p_{n}\right), \left(q_{n}\right), \left(p_{n}^{\prime }\right)$ and $\left(q_{n}^{\prime }\right)$ be four sequences of non-negative integers defined as in $\left(2\right)$ and $\alpha, \beta$ be fixed real numbers such that $0 < \alpha \leq \beta \leq 1.$ Then

$\left(i\right)$ Let $\left(3\right)$ holds, if a sequence is strongly $w_{p^{\prime }, q^{\prime }}^{d, \beta }$-summable to $x_{0},$ then it is $S_{p, q}^{d, \alpha }$-convergent to $x_{0},$

$\left(ii\right)$ Let $\left(4\right)$ holds and $x = \left(x_{k}\right)$ be a bounded sequence in $\left(X, d\right)$, if a sequence is $S_{p, q}^{d, \alpha }$-convergent to $x_{0}$ then it is strongly $w_{p^{\prime }, q^{\prime }}^{d, \beta }$-summable to $x_{0}.$

Proof. $(i)$ Omitted.

$\left(ii\right)$ Suppose that $S_{p, q}^{d, \alpha }$-$\lim x_{k} = x_{0}$ and $\left(x_{k}\right) \in \ell _{\infty }.$ Then there exists some $M > 0$ such that $d\left(x_{k}, x_{0}\right) < M$ for all $k,$ then for every $\varepsilon > 0$ we may write

This completes the proof.

Conflict of interest

The authors declare that they have no conflict of interests.