Professional Documents
Culture Documents
I-CONVERGENCE∗
Abstract
In this paper we introduce and study the concept of I-convergence
of sequences in metric spaces, where I is an ideal of subsets of the
set N of positive integers. We extend this concept to I-convergence of
sequence of real functions defined on a metric space and prove some
basic properties of these concepts.
1 Introduction
This paper was inspired by [14], where the concept of I-convergence of se-
quences of real numbers is introduced. We will often quote some results from
[14] that can be easily transferred to sequences of points in a metric space. In
[14] it is shown that our I-convergence is, in a sense, equivalent to µ-statistical
convergence of J. Connor ([8]).
The concept of statistical convergence is introduced in [10] and [29] and
developed in [6], [7], [8], [9], [10], [12], [26] and [28]. Some applications of
statistical convergence in number theory and mathematical analysis can be
found in [4], [5] and [19]. The concept of I-convergence is a generalization of
statistical convergence and it is based on the notion of the ideal I of subsets
of the set N of positive integers.
This paper consists of five sections with the new results in sections 3–5.
In the Section 3 the concept of the I-convergence of sequences in a metric
space is introduced and its fundamental properties are studied. In Section
4 we introduce and study the concept of an I-cluster point and an I-limit
Key Words: statistical convergence, ideals of sets, Baire classification of functions
Mathematical Reviews subject classification: Primary 40A30; Secondary 40A99 40C15
Received by the editors July 28, 2000
∗ The work on this paper was partially supported by GRANT VEGA 1/7173/20.
669
670 Pavel Kostyrko, Tibor Šalát and Wladyslaw Wilczyński
Example 3.1. (a) Take for I the class If of all finite subsets of N. Then If
is a non-trivial admissible ideal and If -convergence coincides with the usual
convergence with respect to the metric ρ in X.
(b) Denote by Id (Iδ ) the class of all A ⊂ N with d(A) = 0 (δ(A) = 0, re-
spectively). Then Id and Iδ are non-trivial admissible ideals, Id -convergence
coincides with the statistical convergence. Iδ -convergence is said to be loga-
rithmic statistical convergence.
(c) The uniform density of a set A ⊂ N is defined as follows.For integers
t ≥ 0 and s ≥ 1 let A(t + 1, t + s) = card{n ∈ A : t + 1 ≤ n ≤ t + s}. Put
βs = lim inf t→∞ A(t+1, t+s), β s = lim supt→∞ A(t+1, t+s). It can be shown
s
(see [3]) that the following limits exist: u(A) = lims→∞ βss , u(A) = lims→∞ βs .
If u(A) = u(A), then u(A) = u(A) is called the uniform density of the set A.
Put Iu = {A ⊂ N : u(A) = 0}. Then Iu is a non-trivial ideal and Iu -
convergence is said to be the uniform statistical convergence.
(d) A wide class of I-convergences can be obtained as follows. Let T =
{tn,k }n,k∈N be a regular non negative matrix (see [23], p. 8). For A ⊂ N we
(n) P∞ (n)
put dT (A) = k=1 tn,k · χA (k) for n ∈ N. If limn→∞ dT (A) = dT (A) exists,
then dT (A) is called P a T -density of A (see [18]). From the regularity of T it
∞
follows that limn→∞ k=1 tn,k = 1 and from this we see that dT (A) ∈ [0, 1]
(if it exists). Put IdT = {A ⊂ N : dT (A) = 0}. Then IdT is a non-trivial
ideal and IdT contains both Id - and Iδ -convergence as special cases. Indeed,
672 Pavel Kostyrko, Tibor Šalát and Wladyslaw Wilczyński
1
Id -convergence can be obtained by choosing tn,k = n for k ≤ n, tn,k = 0
1
for k > n and Iδ -convergence by choosing tn,k = sn for k ≤ n, tn,k = 0 for
k
Pn
k > 0, where sn = j=1 1j for n ∈ N. Choosing tn,k = φ(k) n for k ≤ n, k|n
and tn,k = 0 for k ≤ n k - n and tn,k = 0 for k > n we get φ-convergence of
Schoenberg (see [29]), where φ is the Euler function.
P∞case of IdT -convergence is the following. Take an arbitrary
Another special
divergent series n=1 cn , where cn > 0 for n ∈ N and put tn,k = scnk for k ≤ n,
Pn
where sn = j=1 cj , and tn,k = 0 for k > n (see [1]).
(e) Let ν be an arbitrary finitely additive normed measure defined on a
field U ⊂ 2N . Suppose that U contains all singletons {n}, n ∈ N. Then
Iν = {A ⊂ N : ν(A) = 0} is a non-trivial ideal in N which generates the
Iν -convergence.
(f) Suppose that µm : 2N → [0, 1] is a finitely additive normed measure
for m ∈ N. If for A ⊂ N there exists µ(A) = limm→∞ µm (A), then the set
A is said to be measurable and µ(A) is called the measure of A. Obviously
µ is a finitely additive measure on some field S ⊂ 2N (see [16]). The family
Iµ = {A ⊂ N : µ(A) = 0} is a non-trivial ideal which generates the Iµ -
convergence.
For µm we canS∞take dm or δm (compare the definition).
(g) Let N = j=1 ∆j be a decomposition of N such that each ∆j is infinite
and obviously ∆i ∩ ∆j = ∅ for i 6= j. Denote by E the class of all A ⊂ N that
intersect only a finite number of ∆0j s. Then E is a non-trivial ideal.
(h) Put Ic = {AP⊂ N : a∈A a−1 < ∞} (see [23]). Then Ic is a non-
P
trivial ideal. Since a∈A a−1 < ∞ implies d(A) = 0 (see [24]), we see that
Ic -convergence implies statistical convergence.
Remark 3.1. Note that if I is an admissible ideal, then the usual convergence
in X implies I-convergence in X.
We shall now investigate which axioms of convergence are satisfied by I-
convergence. The following properties are the most familiar axioms of conver-
gence (see [17]):
(S) Every constant sequence {ξ, ξ, . . . , ξ, . . . } converges to ξ.
(H) The limit of any convergent sequence is uniquely determined.
(F ) If a sequence x = {xn }n∈N has the limit ξ, then each of its subsequences
has the same limit.
(U ) If each subsequence of the sequence x = {xn }n∈N has a subsequence
which converges to ξ, then x converges to ξ.
I-Convergence 673
A(0 ) = {n ∈ N : ρ(xn , ξ) ≥ 0 } ∈
/ I.
But then A(0 ) is an infinite set since I is admissible. Let A(0 ) = {n1 < n2 <
· · · < nk < . . . }. Put yk = xnk for k ∈ N. Then y = {yk }k∈N is a subsequence
of x without a subsequence I-convergent to ξ.
(ii) Suppose that A ∈ I is an infinite set, A = {n1 < n2 < · · · < nk < . . . }.
B = N \ A = {m1 < m2 < · · · < mk < . . . }. The set B is also infinite since
I is non-trivial ideal. Define x = {xn }n∈N by choosing ξ1 , ξ2 ∈ X, ξ1 6= ξ2
and put xnk = ξ1 , xmk = ξ2 for k ∈ N. Obviously I-limk→∞ xk = ξ2 , but the
subsequence yk = xnk , k ∈ N, I-converges to ξ1 .
Remark 3.2. If I is an admissible ideal which does not contains any infinite
set, then I-convergence coincides with the usual convergence and obviously
fulfills (F ).
Let > 0. By virtue of (3) there exists k0 ∈ N such that ρ(xmk , ξ) < for
each k > k0 . Then obviously
lim xn = ξ.
n→∞
(5)
n∈M
1
Let η > 0. Choose k ∈ N such that k+1 < η. Then {n ∈ N : ρ(xn , ξ) ≥ η} ⊂
Sk+1
j=1 Aj . Since Aj 4Bj , j = 1, 2, . . . , k + 1 are finite sets, there exists n0 ∈ N
such that
k+1
[ k+1
[
Bj ∩ {n ∈ N : n > n0 } = Aj ∩ {n ∈ N : n > n0 }. (6)
j=1 j=1
676 Pavel Kostyrko, Tibor Šalát and Wladyslaw Wilczyński
Sk+1 Sk+1
If n > n0 and n ∈ / B, then n ∈ / j=1 Bj and, by (6), n ∈ / j=1 Aj . But then
1
ρ(xn , ξ) < n+1 < η; so (5) holds.
(ii) Suppose that ξ ∈ X is an accumulation point of X. There exists a
sequence {xn }n∈N of elements of X such that ξ = limn→∞ xn and the sequence
{ρ(xn , ξ)}n∈N is decreasing to 0. For n ∈ N let n = ρ(xn , ξ). Let {An }n∈N
be a disjoint family of non-empty sets from I. Define a sequence {yn }n∈N
by yn = xj if n ∈ Aj . Let η > 0. Choose m ∈ N such that m < η. Then
A(η) = {n ∈ N : ρ(yn , ξ) ≥ η} ⊂ A1 ∪ · · · ∪ Am . Hence A(η) ∈ I and I-
limn→∞ yn = ξ. By virtue of our assumption we have also I ∗ -limn→∞ yn = ξ.
Hence there exists a set B ∈ I such that if M = N \ B = {m1 < m2 < . . . },
then
lim ymk = ξ. (7)
k→∞
S∞
Put Bj = Aj ∩ B for j ∈ N. Then Bj ∈ I for each n. Further j=1 Bj =
S∞ S∞
B ∩ j=1 Aj ⊂ B. Hence j=1 Bj ∈ I. Fix j ∈ N. From (7) it is clear
that Aj has only a finite numbers of elements common with the set M . Thus
there exists k0 ∈ N such that Aj ⊂ (Aj ∩ B) ∪ {m1 , m2 , . . . , mk0 }. Hence
Aj 4Bj = Aj \ Bj ⊂ {m1 , m2 , . . . , mk0 }; so Aj 4Bj is a finite set. From the
arbitrariness of j ∈ N it follows that I has property (AP ).
In [18] it is proved that IdT - and Id∗T -convergence are equivalent P
(in R) pro-
n
vided that T = {tn,k }n,k∈N is a non-negative triangular matrix with k=1 tnk =
1 for n ∈ N. From this we get that Id -, Iδ -convergence (Example 1.1. (b))
and Iφ -convergence (Example 1.1. (d)) coincide, respectively, with Id∗ -, Iδ∗ -
and Iφ∗ -convergence.
and D(η) ∈ F(I), since C(δ) ∈ F(I). Hence I-limn→∞ g(xn ) = g(ξ).
I-Convergence 677
Hence
d(A) = 1. (8)
1 1
P
Simultaneously by (1) we have j∈An j = ln k + O( kk2 ) for k ∈ N, k ≥ 2.
From this by a simple calculation we get
Pn
k=1 ln k + O(1) n ln n + O(1)
δ(A) ≤ lim Pnn2 +1 1 ≤ lim = 0.
n→∞ n→∞ (n2 + 1) ln n + O(1)
j=1 j
d(A) = 0. (9)
Denote by I(Λx ) and I(Γx ) the set of all I-limit and I-cluster points of
x, respectively.
Proof. Let ξ ∈ I(Λx ). Then there exists a set M = {m1 < m2 < . . . } ∈
/I
such that
lim ρ(xmk , ξ) = 0. (10)
k→∞
Take δ > 0. According to (10) there exists k0 ∈ N such that for k > k0 we
have ρ(xmk , ξ) < δ. Hence {n ∈ N : ρ(xn , ξ) < δ} ⊃ M \ {m1 , . . . , mk0 } and
so {n ∈ N : ρ(xn , ξ) < δ} ∈
/ I, which means that ξ ∈ I(Γx ).
(ii) Suppose that (X, ρ) is a separable metric space. Suppose that there exists a
disjoint sequence of sets {Mn }n∈N such that Mn ⊂ N and Mn ∈ / I for n ∈ N.
Then for each closed set F ⊂ X there exists a sequence x = {xn }n∈N of
elements of X such that F = I(Γx ).
Proof. (i) Let y ∈ I(Γx ). Take > 0. There exists ξ0 ∈ I(Γx ) ∩ B(y, ).
Choose δ > 0 such that B(ξ0 , δ) ⊂ B(y, ). We obviously have
In [13] the following result has been established for sequences of real num-
bers.
Theorem A.
(i) For each sequence x = {xn }n∈N of real numbers the set Id (Λx ) is of type
Fσ .
(ii) If F ⊂ R is a set of type Fσ , then there exists a sequence x = {xn }n∈N of
real numbers such that F = Id (Λx ).
Lemma 4.1. Suppose that (X, ρ) is not separable. Then there exists 1 > 0
and an uncountable set D = {d0 , d1 , . . . , dα , . . . } ⊂ X, α < Ω such that for
α, β < Ω, α 6= β we have ρ(dα , dβ ) ≥ 1 .
Proof of Theorem 4.2 (i) Let D be the (closed) set from Lemma 4.1. We
shall prove that D 6= I(Γx ) for each sequence x = {xn }n∈N of elements of X.
Consider the uncountable family {B(dα , 21 ) : α < Ω} of disjoint balls. There
S that {n ∈ N
exists α0 < Ω such : xn ∈ B(dα0 , 21 )} = ∅. Hence dα0 ∈
/ I(Γx ).
(ii) Put G = α<Ω B(dα , 2 ). The proof is similar to that of part (i).
1
Definition 5.1. Let X be a non-empty set and let (Y, τ ) be a metric space.
Let I ⊂ 2N be an admissible ideal. The sequence of functions {fn }n∈N trans-
forming X into Y is said to I-converge to a function f : X → Y provided that
for each x ∈ X we have I-limn→∞ fn (x) = f (x).
The function f is called the I-limit function of the sequence {fn }n∈N and
we write f = I-limn→∞ fn .
Remark 5.1. (a) From Proposition 3.1 it follows that the I-limit function is
uniquely determined.
(b) From Proposition 4.2 it follows that the I-convergence of sequences of
functions is not metrizable.
I-Convergence 681
1
µm2 ({n ∈ N : n ≤ k2 , n ∈ A(2 ) and fn (x) ≥ b for each x ∈ B(x2 , δ2 )}) > .
2
In this way (by induction) we construct a sequence {xn }n∈N of points of F ,
a sequence {δn }n∈N decreasing to 0, a sequence {n }n∈N of positive numbers,
a sequence A(n ) of subsets of N and a descending sequence {B(xn , δn )}n∈N
of closed sets with diameters tending to 0. Simultaneously we obtain two
increasing sequences of natural numbers {mi }i∈N and {ki }i∈N such that
Now we shall show that there are also admissible ideals I ⊂ 2N and se-
quences {fn }n∈N of continuous real functions defined on [0, 1] such that f = I-
limn→∞ fn does not belong to B1 . Using Zorn’s lemma one can show that in
the family of all admissible ideals I ⊂ 2N there exists a maximal ideal (with
respect to inclusion). We shall need the following properties of maximal ideals.
I-Convergence 683
Proof. Let {ri }i∈N be a sequence containing each rational number from [0, 1]
exactly once. For n ∈ N, let fn : [0, 1] → [0, 1] be a continuous function such
that fn (ri ) = 1 for i ∈ {1, . . . , n} and λ({x ∈ [0, 1] : fn (x) > 0}) < 2−n , where
λ is a Lebesgue measure. Then we have lim supn→∞ fn (x) = 0 a.e. on [0, 1]
and limn→∞ fn (ri ) = 1 for i ∈ N. Since obviously I-limn→∞ fn (x) = f (x)
exists everywhere by Lemma 5.2 and I-limn→∞ fn (x) ≤ lim supn→∞ fn (x),
we have I-limn→∞ fn (x) = 0 a.e.; so f is 1 on a set dense in [0, 1] and is 0 on
another set dense in [0, 1] and consequently f ∈ / B1 .
Observe that in the above proof f is Lebesgue measurable. We can con-
struct another sequence {fk }k∈N of continuous real functions defined on [0, 1]
such that I-limk→∞ fk is non-measurable for each admissible maximal ideal
I ⊂ 2N .
A function f is a function of accumulation of {fk }k∈N if and only if for
each > 0 and for each finite set {x1 , x2 , . . . , xm } (included in the domain)
there exists an infinite subset K = {k1 , k2 , . . . , kp , . . . } ⊂ N such that for each
k ∈ K and for each i ∈ {1, . . . , m} we have |fk (xi ) − f (xi )| < .
Sierpiński in [30] found a sequence {fk }k∈N of continuous functions trans-
forming [0, 1] onto [0, 1] such that each function of accumulation of this se-
quence is non-measurable.
Observe that if f = I-limn fn , then f is a function of accumulation of {fn }.
Indeed, take > 0 and a finite set {x1 , x2 , . . . , xm } ⊂ [0, 1]. Then for each
Sm
i ∈ {1, . . . , m} Ei () = {n
Sm: |f n (x i ) − f (x i )| ≥ } ∈ I; so i=1 Ei () ∈ I. But
then (for our ideals) N \ i=1 Ei () is an infinite Sm set (It does
Tmnot belong to I.)
and for each i ∈ {1, . . . , m} and each k ∈ N \ i=1 Ei () = i=1 (N \ Ei ()) we
have |fk (xi )−f (xi )| < . Now if I is a maximal ideal and {fn }n∈N is a sequence
constructed by Sierpiński, then there exists a function f = I-limn fn . Hence
f is also a function of accumulation and therefore f is non-measurable.
684 Pavel Kostyrko, Tibor Šalát and Wladyslaw Wilczyński
References
[1] R. Alexander, Density and multiplicative structure of sets of integers,
Acta Arithm., 12 (1967), 321–332.
[12] J. A. Fridy, Statistical limit points, Proc. Amer. Math. Soc., 118 (1993),
1187–1192.