A note on statistical convergence on time scale

Abstract

In the present paper, we will give some new notions, such as Δ-convergence and Δ-Cauchy, by using the Δ-density and investigate their relations. It is important to say that the results presented in this work generalize some of the results mentioned in the theory of statistical convergence.

MSC:34N05.

1 Introduction and background

In [1] Fast introduced an extension of the usual concept of sequential limits which he called statistical convergence. In [2] Schoenberg gave some basic properties of statistical convergence. In [3] Fridy introduced the concept of a statistically Cauchy sequence and proved that it is equivalent to statistical convergence.

The theory of time scales was introduced by Hilger in his PhD thesis supervised by Auldbach [4] in 1988. The measure theory on time scales was first constructed by Guseinov [5], and then further studies were performed by Cabada-Vivero [6] and Rzezuchowski [7]. In [8] Deniz-Ufuktepe define Lebesgue-Stieltjes Δ and ▽-measures, and by using these measures, they define an integral adapted to a time scale, specifically Lebesgue-Steltjes Δ-integral.

A time scale $\mathbb{T}$ is an arbitrary nonempty closed subset of the real numbers ℝ. The time scale $\mathbb{T}$ is a complete metric space with the usual metric. We assume throughout the paper that a time scale $\mathbb{T}$ has the topology that it inherits from the real numbers with the standard topology.

For $t\in \mathbb{T}$, we define the forward jump operator $\sigma :\mathbb{T}\to \mathbb{T}$ by

$$\sigma (t):=inf\{s\in \mathbb{T}\text{: }s>t\}.$$

In this definition, we put $inf\mathrm{\varnothing }=sup\mathbb{T}$.

For $a,b\in \mathbb{T}$ with $a\le b$, we define the interval $[a,b]$ in $\mathbb{T}$ by

$$[a,b]=\{t\in \mathbb{T}\text{: }a\le t\le b\}.$$

Open intervals and half-open intervals etc. are defined accordingly.

Let $\mathbb{T}$ be a time scale. Denote by $\mathcal{S}$ the family of all left-closed and right-open intervals of $\mathbb{T}$ of the form $[a,b)=\{t\in \mathbb{T}:a\le t<b\}$ with $a,b\in \mathbb{T}$ and $a\le b$. The interval $[a,a)$ is understood as an empty set. $\mathcal{S}$ is a semiring of subsets of $\mathbb{T}$. Obviously, the set function $m:\mathcal{S}\to [0,\mathrm{\infty }]$ defined by $m([a,b))=b-a$ is a countably additive measure. An outer measure $m^{\ast }:\mathcal{P}(\mathbb{T})\to [0,\mathrm{\infty }]$ generated by m is defined by

$$m^{\ast }(A)=inf\{\sum _{n=1}^{\mathrm{\infty }}m(A_n):(A_n)\text{ is a sequence of }\mathcal{S}\text{ with }A\subset \bigcup _{n=1}^{\mathrm{\infty }}{A}_n\}.$$

If there is no sequence $(A_n)$ of $\mathcal{S}$ such that $A\subset {\bigcup }_{n=1}^{\mathrm{\infty }}{A}_n$, then we let $m^{\ast }(A)=\mathrm{\infty }$. We define the family $\mathcal{M}(m^{\ast })$ of all $m^{\ast }$-measurable subsets of $\mathbb{T}$, i.e.,

$$\mathcal{M}\left(m^{\ast }\right)=\{E\subset \mathbb{T}:m^{\ast }(A)=m^{\ast }(A\cap E)+m^{\ast }(A\cap E^c)\text{ for all }A\subset \mathbb{T}\}.$$

The collection $\mathcal{M}(m^{\ast })$ of all $m^{\ast }$-measurable sets is a σ-algebra, and the restriction of $m^{\ast }$ to $\mathcal{M}(m^{\ast })$, which we denote by ${\mu }_{\mathrm{\Delta }}$, is a countably additive measure on $\mathcal{M}(m^{\ast })$. We call this measure ${\mu }_{\mathrm{\Delta }}$, which is the Carathéodory extension of the set function m associated with the family $\mathcal{S}$, the Lebesgue Δ-measure on $\mathbb{T}$.

We call $f:\mathbb{T}\to \mathbb{R}$ a measurable function, if $f^{-1}(\mathcal{O})\in \mathcal{M}(m^{\ast })$ for every open subset of $\mathcal{O}$ of ℝ.

Theorem 1 (see [5])

For each $t_0$ in $\mathbb{T}-\{max\mathbb{T}\}$, the single point set $\{t_0\}$ is Δ-measurable, and its Δ-measure is given by

$${\mu }_{\mathrm{\Delta }}(\{t_0\})=\sigma (t_0)-t_0.$$

Theorem 2 (see [5])

If $a,b\in \mathbb{T}$ and $a\le b$, then

$${\mu }_{\mathrm{\Delta }}([a,b))=b-a,{\mu }_{\mathrm{\Delta }}((a,b))=b-\sigma (a).$$

If $a,b\in \mathbb{T}-\{max\mathbb{T}\}$ and $a\le b$, then

$${\mu }_{\mathrm{\Delta }}((a,b])=\sigma (b)-\sigma (a),{\mu }_{\mathrm{\Delta }}([a,b])=\sigma (b)-a.$$

It can easily be seen from Theorem 1 that the measure of a subset of ℕ is equal to its cardinality.

2 Δ-density, Δ-convergence, Δ-Cauchy

It is well known that the notions of statistical convergence and statistical Cauchy are closely related to the density of the subset of ℕ. In the present section, first of all, we will define the density of the subset of the time scale. By using this definition, we will define Δ-convergence and Δ-Cauchy for a real valued function defined on the time scale. Then we will show that these notions are equivalent.

Throughout this paper, we consider the time scales which are unbounded from above and have a minimum point.

Let A be a Δ-measurable subset of $\mathbb{T}$ and let $a=min\mathbb{T}$. Δ-density of A in $\mathbb{T}$ (or briefly Δ-density of A) is defined by

$${\delta }_{\mathrm{\Delta }}(A)=\underset{t\to \mathrm{\infty }}{lim}\frac{{\mu }_{\mathrm{\Delta }}(A(t))}{\sigma (t)-a}$$

(if this limit exists), where

$$A(t)=\{s\in A:s\le t\}$$

(2.1)

and $t\in \mathbb{T}$.

From the identity $A(t)=A\cap [a,t]$, the measurability of A implies the measurability of $A(t)$.

If $f:\mathbb{T}\to \mathbb{R}$ is a function such that $f(t)$ satisfies the property P for all t except a set of Δ-density zero, then we say that $f(t)$ satisfies P for ‘Δ-almost all t’, and we abbreviate this by ‘Δ-a.a. t’. Let

Lemma 1

• (i) If $A,B\in {\mathcal{M}}_d$ and $A\subset B$, then ${\delta }_{\mathrm{\Delta }}(A)\le {\delta }_{\mathrm{\Delta }}(B)$.

• (ii) If $A\in {\mathcal{M}}_d$, then $0\le {\delta }_{\mathrm{\Delta }}(A)\le 1$.

• (iii) $\mathbb{T}\in {\mathcal{M}}_d$ and ${\delta }_{\mathrm{\Delta }}(\mathbb{T})=1$.

• (iv) If $A\in {\mathcal{M}}_d$, then $A^c\in {\mathcal{M}}_d$ and ${\delta }_{\mathrm{\Delta }}(A)+{\delta }_{\mathrm{\Delta }}(A^c)=1$.

• (v) If $A,B\in {\mathcal{M}}_d$ and $A\subset B$, then $B-A\in {\mathcal{M}}_d$ and ${\delta }_{\mathrm{\Delta }}(B-A)={\delta }_{\mathrm{\Delta }}(B)-{\delta }_{\mathrm{\Delta }}(A)$.

• (vi) If $A_1,A_2,\dots ,A_n$ is a mutually disjoint sequence in ${\mathcal{M}}_d$, then ${\bigcup }_{k=1}^n{A}_k\in {\mathcal{M}}_d$ and

  $${\delta }_{\mathrm{\Delta }}\left(\bigcup _{k=1}^n{A}_k\right)=\sum _{k=1}^n{\delta }_{\mathrm{\Delta }}(A_k).$$

• (vii) If $A_1,A_2,\dots ,A_n$ in ${\mathcal{M}}_d$ and ${\bigcup }_{k=1}^n{A}_k\in {\mathcal{M}}_d$, then

  $${\delta }_{\mathrm{\Delta }}\left(\bigcup _{k=1}^n{A}_k\right)\le \sum _{k=1}^n{\delta }_{\mathrm{\Delta }}(A_k).$$

• (viii) If A is a measurable set and $B\in {\mathcal{M}}_d^0$ with $A\subset B$, then $A\in {\mathcal{M}}_d^0$.

• (ix) If $A_1,A_2,\dots ,A_n$ in ${\mathcal{M}}_d^0$, then ${\bigcup }_{k=1}^n{A}_k$, ${\bigcap }_{k=1}^n{A}_k\in {\mathcal{M}}_d^0$.

• (x) Every bounded measurable subset of $\mathbb{T}$ belongs to ${\mathcal{M}}_d^0$.

• (xi) If $A\in {\mathcal{M}}_d^0$ and $B\in {\mathcal{M}}_d$, then ${\delta }_{\mathrm{\Delta }}(A\cup B)={\delta }_{\mathrm{\Delta }}(B)$.

Proof (i) Let $A,B\in {\mathcal{M}}_d$ and $A\subset B$. Clearly, $A(t)\subset B(t)$, and since ${\mu }_{\mathrm{\Delta }}$ is a measure function, one has ${\mu }_{\mathrm{\Delta }}(A)\le {\mu }_{\mathrm{\Delta }}(B)$. Thus, we have

$${\delta }_{\mathrm{\Delta }}(A)=\underset{t\to \mathrm{\infty }}{lim}\frac{{\mu }_{\mathrm{\Delta }}(A(t))}{\sigma (t)-a}\le \underset{t\to \mathrm{\infty }}{lim}\frac{{\mu }_{\mathrm{\Delta }}(B(t))}{\sigma (t)-a}={\delta }_{\mathrm{\Delta }}(B).$$

• (ii) Note that $A(t)\subset [a,t]$. The required inequalities follow from the following inequalities:

  $$0\le \frac{{\mu }_{\mathrm{\Delta }}(A(t))}{\sigma (t)-a}\le \frac{{\mu }_{\mathrm{\Delta }}([a,t])}{\sigma (t)-a}=\frac{\sigma (t)-a}{\sigma (t)-a}=1.$$

• (iii) It is clear that $\mathbb{T}$ is measurable. The Δ-density of $\mathbb{T}$ is obtained from the following equalities:

  $${\delta }_{\mathrm{\Delta }}(\mathbb{T})=\underset{t\to \mathrm{\infty }}{lim}\frac{{\mu }_{\mathrm{\Delta }}(\mathbb{T}(t))}{\sigma (t)-a}=\underset{t\to \mathrm{\infty }}{lim}\frac{{\mu }_{\mathrm{\Delta }}([a,t])}{\sigma (t)-a}=1.$$

• (iv) Since A is measurable, so is $A^c$, namely $A^c(t)=\{s\le t:s\in A^c\}$ is measurable. On the other hand, $A(t)\cup A^c(t)=[a,t]$ and

  $$1=\frac{{\mu }_{\mathrm{\Delta }}([a,t])}{\sigma (t)-a}=\frac{{\mu }_{\mathrm{\Delta }}(A(t))}{\sigma (t)-a}+\frac{{\mu }_{\mathrm{\Delta }}(A^c(t))}{\sigma (t)-a}$$

imply that the required statement holds as $t\to \mathrm{\infty }$.

• (v) Since A and B are measurable, so are $B-A$. The statement can be easily shown by considering $A(t)\cup (B-A)(t)\cup B^c(t)=[a,t]$.

• (vi) Since the Δ-density of for each subset $A_k$ exists, one can write

  $$\begin{array}{rcl}\sum _{k=1}^n{\delta }_{\mathrm{\Delta }}(A_k)& =& \sum _{k=1}^n\underset{t\to \mathrm{\infty }}{lim}\frac{{\mu }_{\mathrm{\Delta }}(A_k(t))}{\sigma (t)-a}\\ =& \underset{t\to \mathrm{\infty }}{lim}\sum _{k=1}^n\frac{{\mu }_{\mathrm{\Delta }}(A_k(t))}{\sigma (t)-a}\\ =& \underset{t\to \mathrm{\infty }}{lim}\frac{{\mu }_{\mathrm{\Delta }}({\bigcup }_{k=1}^n{A}_k(t))}{\sigma (t)-a}\\ =& \underset{t\to \mathrm{\infty }}{lim}\frac{{\mu }_{\mathrm{\Delta }}(({\bigcup }_{k=1}^n{A}_k)(t))}{\sigma (t)-a}\\ =& {\delta }_{\mathrm{\Delta }}\left(\bigcup _{k=1}^n{A}_k\right).\end{array}$$

• (vii) The proof is similar to that of the previous proof.

• (viii) It can be easily seen from (i).

• (ix) Considering ${\delta }_{\mathrm{\Delta }}(A_k)=0$ for $k=1,2,\dots ,n$ and (vii), one can obtain ${\bigcup }_{k=1}^n{A}_k\in {\mathcal{M}}_d^0$. And ${\bigcap }_{k=1}^n{A}_k\in {\mathcal{M}}_d^0$ can be obtained from (viii).

• (x) Let A be a bounded set. For a sufficiently large $M\in \mathbb{T}$, we can write $A\subset [a,M]$. Then one has

  $$0\le \frac{{\mu }_{\mathrm{\Delta }}(A(t))}{\sigma (t)-a}\le \frac{{\mu }_{\mathrm{\Delta }}([a,M])}{\sigma (t)-a}\to 0(t\to \mathrm{\infty }),$$

which implies that ${\delta }_{\mathrm{\Delta }}(A)=0$.

• (xi) (i) and (vii) yield ${\delta }_{\mathrm{\Delta }}(B)\le {\delta }_{\mathrm{\Delta }}(A\cup B)\le {\delta }_{\mathrm{\Delta }}(A)+{\delta }_{\mathrm{\Delta }}(B)={\delta }_{\mathrm{\Delta }}(B)$. This completes the proof. □

It is clear that the family ${\mathcal{M}}_d^0$ is a ring of subsets of $\mathbb{T}$. According to (iv), the Δ-density of the complement of a subset whose Δ-density is 0 is equal to 1, ${\mathcal{M}}_d^0$ is not closed under the operation complement. So, it is not an algebra. Note that the Δ-density of a subset of ℕ is equal to its natural density.

Example 1 Let $\mathbb{T}=[0,\mathrm{\infty })$, l and r be arbitrary two positive real numbers. Let also $A={\bigcup }_{n=0}^{\mathrm{\infty }}{A}_n$, where $A_n=[nl+nr,(n+1)l+nr]$. According to Lemma 1(x), each $A_n$ is bounded and so ${\delta }_{\mathrm{\Delta }}(A_n)=0$. In addition, let $A(t)$ be defined as in (2.1), we have

$${\mu }_{\mathrm{\Delta }}(A(t))=\{\begin{array}{cc}t-nr,\hfill & nl+nr\le t\le (n+1)l+nr,\hfill \\ (n+1)l,\hfill & (n+1)l+nr\le t\le (n+1)l+(n+1)r\hfill \end{array}$$

$(n=0,1,2,\dots )$, and hence

$${\delta }_{\mathrm{\Delta }}(A)=\underset{t\to \mathrm{\infty }}{lim}\frac{{\mu }_{\mathrm{\Delta }}(A(t))}{\sigma (t)-a}=\underset{t\to \mathrm{\infty }}{lim}\frac{{\mu }_{\mathrm{\Delta }}(A(t))}{t-0}=\frac{l}{l+r}.$$

Note that since

$$\frac{l}{l+r}={\delta }_{\mathrm{\Delta }}(A)>\sum _{n=0}^{\mathrm{\infty }}{\delta }_{\mathrm{\Delta }}(A_n)=0,$$

${\delta }_{\mathrm{\Delta }}$ does not define a measure.

Example 2 Let $\mathbb{T}=\mathbb{N}$. The Δ-density of $A=\{2,4,6,\dots \}$ in ℕ is given by

$${\delta }_{\mathrm{\Delta }}(A)=\underset{t\to \mathrm{\infty }}{lim}\frac{{\mu }_{\mathrm{\Delta }}(A(t))}{\sigma (t)-a}=\underset{t\to \mathrm{\infty }}{lim}\frac{[t/2]}{t}=\frac{1}{2}.$$

Definition 1 (Δ-convergence)

The function $f:\mathbb{T}\to \mathbb{R}$ is Δ-convergent to the number L provided that for each $\epsilon >0$, there exists $K_{\epsilon }\subset \mathbb{T}$ such that ${\delta }_{\mathrm{\Delta }}(K_{\epsilon })=1$ and $|f(t)-L|<\epsilon$ holds for all $t\in K_{\epsilon }$.

We will use notation $\mathrm{\Delta }\text{-}{lim}_{t\to \mathrm{\infty }}f(t)=L$.

Definition 2 (Δ-Cauchy)

The function $f:\mathbb{T}\to \mathbb{R}$ is Δ-Cauchy provided that for each $\epsilon >0$, there exists $K_{\epsilon }\subset \mathbb{T}$ and $t_0\in \mathbb{T}$ such that ${\delta }_{\mathrm{\Delta }}(K_{\epsilon })=1$ and $|f(t)-f(t_0)|<\epsilon$ holds for all $t\in K_{\epsilon }$.

Proposition 1 Let $f:\mathbb{T}\to \mathbb{R}$ be a measurable function. Δ-${lim}_{t\to \mathrm{\infty }}f(t)=L$ if and only if, for each $\epsilon >0$, ${\delta }_{\mathrm{\Delta }}(\{t\in \mathbb{T}:|f(t)-L|\ge \epsilon \})=0$.

Proof Let $\mathrm{\Delta }\text{-}{lim}_{t\to \mathrm{\infty }}f(t)=L$ and $\epsilon >0$ be given. In this case, there exists a subset $K_{\epsilon }\subset \mathbb{T}$ such that ${\delta }_{\mathrm{\Delta }}(K_{\epsilon })=1$ and $|f(t)-L|<\epsilon$ holds for all $t\in K_{\epsilon }$. Since $K_{\epsilon }\subset \{t\in \mathbb{T}:|f(t)-L|<\epsilon \}$, we obtain ${\delta }_{\mathrm{\Delta }}(\{t\in \mathbb{T}:|f(t)-L|<\epsilon \})=1$. Hence, we get ${\delta }_{\mathrm{\Delta }}(\{t\in \mathbb{T}:|f(t)-L|\ge \epsilon \})=0$.

Another case of the proof is straightforward. □

Proposition 2 Let $f:\mathbb{T}\to \mathbb{R}$ be a measurable function. f is Δ-Cauchy if and only if, for each $\epsilon >0$, there exists $t_0\in \mathbb{T}$ such that ${\delta }_{\mathrm{\Delta }}(\{t\in \mathbb{T}:|f(t)-f(t_0)|\ge \epsilon \})=0$.

Example 3 Let ${\mathbb{I}}_{[0,\mathrm{\infty })}$ be irrational numbers and ${\mathbb{Q}}_{[0,\mathrm{\infty })}$ be rational numbers in $[0,\mathrm{\infty })$. Let us consider the function $f:\mathbb{T}=[0,\mathrm{\infty })\to \mathbb{R}$ defined as follows:

$$f(t)=\{\begin{array}{cc}0,\hfill & t\in {\mathbb{Q}}_{[0,\mathrm{\infty })},\hfill \\ 1,\hfill & t\in {\mathbb{I}}_{[0,\mathrm{\infty })}.\hfill \end{array}$$

Since ${\mu }_{\mathrm{\Delta }}({\mathbb{Q}}_{[0,\mathrm{\infty })})=0$, the density of the subset ${\mathbb{Q}}_{[0,\mathrm{\infty })}$ in the time scale $\mathbb{T}$ is zero. This implies that ${\delta }_{\mathrm{\Delta }}({\mathbb{I}}_{[0,\mathrm{\infty })})=1$. So, for each $\epsilon >0$ and for all $t\in {\mathbb{I}}_{[0,\mathrm{\infty })}$, one has $0=|f(t)-1|<\epsilon$, and as a corollary, we get $\mathrm{\Delta }\text{-}{lim}_{t\to \mathrm{\infty }}f(t)=1$.

Proposition 3 The Δ-limit of a function $f:\mathbb{T}\to \mathbb{R}$ is unique.

Proof Let $\mathrm{\Delta }\text{-}{lim}_{t\to \mathrm{\infty }}f(t)=L_1$ and $\mathrm{\Delta }\text{-}{lim}_{t\to \mathrm{\infty }}f(t)=L_2$. Let $\epsilon >0$ be given. Then there exist subsets $K_1,K_2\subset \mathbb{T}$ such that for every $t\in K_1$ with $|f(t)-L_1|<\epsilon /2$ and for every $t\in K_2$ with $|f(t)-L_1|<\epsilon /2$, where ${\delta }_{\mathrm{\Delta }}(K_1)=1$ and ${\delta }_{\mathrm{\Delta }}(K_2)=1$. From Lemma 1(iv), we have $K_1\cap K_2\ne \mathrm{\varnothing }$. Thus, for every $t\in K_1\cap K_2$, one has

$$|L_1-L_2|\le |f(t)-L_1|+|f(t)-L_2|<\epsilon .$$

Thus, $L_1=L_2$. □

Proposition 4 If $f,g:\mathbb{T}\to \mathbb{R}$ with $\mathrm{\Delta }\text{-}{lim}_{t\to \mathrm{\infty }}f(t)=L_1$ and $\mathrm{\Delta }\text{-}{lim}_{t\to \mathrm{\infty }}g(t)=L_2$, then the following statements hold:

• (i) $\mathrm{\Delta }\text{-}{lim}_{t\to \mathrm{\infty }}(f(t)+g(t))=L_1+L_2$,

• (ii) $\mathrm{\Delta }\text{-}{lim}_{t\to \mathrm{\infty }}(cf(t))=c{L}_1$ ($c\in \mathbb{R}$).

Proposition 5 If $f:\mathbb{T}\to \mathbb{R}$ with ${lim}_{t\to \mathrm{\infty }}f(t)=L$, then $\mathrm{\Delta }\text{-}{lim}_{t\to \mathrm{\infty }}f(t)=L$.

Proof Let ${lim}_{t\to \mathrm{\infty }}f(t)=L$. In this case, for a given $\epsilon >0$, we can find a $t_0\in \mathbb{T}$ such that $|f(t)-L|<\epsilon$ holds for every $t>t_0$. The set $K_{\epsilon }=\{t\in \mathbb{T}:t>t_0\}$ is measurable, and from Lemma 1(iv) and (x), one has ${\delta }_{\mathrm{\Delta }}(K_{\epsilon })=1$. By the definition of Δ-convergence, we get $\mathrm{\Delta }\text{-}{lim}_{t\to \mathrm{\infty }}f(t)=L$. □

Theorem 3 Let $f:\mathbb{T}\to \mathbb{R}$ be a measurable function. The following statements are equivalent:

• (i) f is Δ-convergent,

• (ii) f is Δ-Cauchy,

• (iii) There exists a measurable and convergent function $g:\mathbb{T}\to \mathbb{R}$ such that $f(t)=g(t)$ for Δ-a.a. t.

Proof (i) ⇒ (ii): Let $\mathrm{\Delta }\text{-}{lim}_{t\to \mathrm{\infty }}f(t)=L$ and $\epsilon >0$ be given. Then $|f(t)-L|<\epsilon /2$ holds for Δ-a.a. t. We can choose $t_0\in \mathbb{T}$ such that $|f(t_0)-L|<\epsilon /2$ holds. So,

$$|f(t)-f(t_0)|\le |f(t)-L|+|f(t_0)-L|<\epsilon ,\mathrm{\Delta }\text{-a.a. }t.$$

This shows that f satisfies the property of Δ-Cauchy.

• (ii) ⇒ (iii): We can choose an element $t_1\in \mathbb{T}$. We can define an interval $I=[f(t_1)-1,f(t_1)+1]$ which contains $f(t)$ for Δ-a.a. t. By the same method, we can choose an element $t^{\ast }\in \mathbb{T}$ and define an interval $I^{\mathrm{\prime }}=[f(t^{\ast })-1/2,f(t^{\ast })+1/2]$ which contains $f(t)$ for Δ-a.a. t. We can write

  $$\{t\le s:f(t)\notin I\cap I^{\mathrm{\prime }}\}=\{t\le s:f(t)\notin I\}\cup \{t\le s:f(t)\notin I^{\mathrm{\prime }}\}.$$

Since f is a measurable function, the two terms that appear on the right-hand side of the last equality are also measurable. By using Lemma 1(vii), we obtain

$$\begin{array}{rcl}{\delta }_{\mathrm{\Delta }}\left(\{t\in \mathbb{T}:f(t)\notin I\cap I^{\mathrm{\prime }}\}\right)& \le & {\delta }_{\mathrm{\Delta }}\left(\{t\in \mathbb{T}:f(t)\notin I\}\right)+{\delta }_{\mathrm{\Delta }}\left(\{t\in \mathbb{T}:f(t)\notin I^{\mathrm{\prime }}\}\right)\\ =& 0.\end{array}$$

So, $f(t)$ is in the closed interval $I_1=I\cap I^{\mathrm{\prime }}$ for Δ-a.a. t. It is clear that the length of the interval $I_1$ is less than or equal to 1. Now we can choose $t_2\in \mathbb{T}$ with $I^{\mathrm{\prime }\mathrm{\prime }}=[f(t_2)-1/4,f(t_2)+1/4]$ containing $f(t)$ for Δ-a.a. t. Undoubtedly, the closed interval $I_2=I_1\cap I^{\mathrm{\prime }\mathrm{\prime }}$ contains $f(t)$ for Δ-a.a. t and the length of the interval $I_2$ is less than or equal to $1/2$. With the same procedure, for each m, we can obtain a sequence of closed intervals ${(I_m)}_{m=1}^{\mathrm{\infty }}$such that $I_{m+1}\subset I_m$ and the length of each interval $I_m$ is less than or equal to $2^{1-m}$. Moreover, $f(t)\in I_m$ for Δ-a.a. t. From the properties of the intersection of closed intervals, there exists a real number λ such that ${\bigcap }_{m=1}^{\mathrm{\infty }}{I}_m=\{\lambda \}$. Since the Δ-density of the set on which $f(t)\notin I_m$ is equal to zero, we can find an increasing sequence ${(T_m)}_{m=1}^{\mathrm{\infty }}$in $\mathbb{T}$ such that

$$\frac{{\mu }_{\mathrm{\Delta }}(\{t\le s:f(t)\notin I_m\})}{\sigma (s)-a}<\frac{1}{m},s>T_m.$$

(2.2)

Here $a=min\mathbb{T}$. Let us consider the function $g:\mathbb{T}\to \mathbb{R}$ defined as follows:

$$g(t)=\{\begin{array}{cc}\lambda ,\hfill & T_m<t\le T_{m+1}\text{ and }f(t)\notin I_m,\hfill \\ f(t),\hfill & \text{otherwise}.\hfill \end{array}$$

It is clear that g is a measurable function and ${lim}_{t\to \mathrm{\infty }}g(t)=\lambda$. Indeed, for $t>T_m$, either $g(t)=\lambda$ or $g(t)=f(t)\in I_m$. In this case, $|g(t)-\lambda |\le 2^{1-m}$ holds.

Finally, we shall show that $f(t)=g(t)$ for Δ-a.a. t. For this purpose, consider

$$\{t\le s:f(t)\ne g(t)\}\subset \{t\le s:f(t)\notin I_m\},$$

$T_m<s\le T_{m+1}$. Thus, from (2.2), we get

$$\frac{{\mu }_{\mathrm{\Delta }}(\{t\le s:f(t)\ne g(t)\})}{\sigma (s)-a}\le \frac{{\mu }_{\mathrm{\Delta }}(\{t\le s:f(t)\notin I_m\})}{\sigma (s)-a}<\frac{1}{m}$$

which yields ${\delta }_{\mathrm{\Delta }}(\{t\in \mathbb{T}:f(t)\ne g(t)\})=0$, that is, $f(t)=g(t)$ for Δ-a.a. t.

• (iii) ⇒ (i): Let $f(t)=g(t)$for Δ-a.a. t and ${lim}_{t\to \mathrm{\infty }}g(t)=L$. For a given $\epsilon >0$, we have

  $$\{t\in \mathbb{T}:|f(t)-L|\ge \epsilon \}\subset \{t\in \mathbb{T}:f(t)\ne g(t)\}\cup \{t\in \mathbb{T}:|g(t)-L|\ge \epsilon \}.$$

Since ${lim}_{t\to \mathrm{\infty }}g(t)=L$, the second set that appears on the right-hand side of the above inclusion relation is bounded, and thus ${\delta }_{\mathrm{\Delta }}(\{t\in \mathbb{T}:|g(t)-L|\ge \epsilon \})=0$. In addition, $f(t)=g(t)$ for Δ-a.a. t yields ${\delta }_{\mathrm{\Delta }}(\{t\in \mathbb{T}:f(t)\ne g(t)\})=0$. In conclusion, ${\delta }_{\mathrm{\Delta }}(\{t\in \mathbb{T}:|f(t)-L|\ge \epsilon \})=0$, namely $\mathrm{\Delta }\text{-}{lim}_{t\to \mathrm{\infty }}f(t)=L$. □