Ideal Convergence

Chiranjib Choudhury
Supervisor: Dr. Shyamal Debnath

Dept of Mathematics
Tripura University

May 12, 2020

 Introduction

For the last several years, the summability theory and the study of
convergence of sequences has become a most active area of research. So
many generalizations of ususal convergence has been developed. Few of
them are statistical convergence, rough convergence, ideal convergence
etc. Convergence of sequences has a wide applications in the areas of
measure theory, number theory, probability theory, topology etc.
The usuall convergence of sequences sometimes doesnot reveals the details
of all properties of the sequences which are divergent. So several
generalizations were made to study those class of sequences which are not
usual convergent but convergent in some other sense.

Chiranjib Choudhury Supervisor: Dr. Shyamal Debnath (Dept

Ideal Convergence
of MathematicsTripura University) May 12, 2020 2/6
 Introduction Contd.

In 1951 Fast [?] and Steinhaus [?] introduced the concept of statistical
convergence independently and established a relation with summability.
Later on it was further investigated from sequence space point of view by
Fridy [?], Salat [?] and many others. Some applications of statistical
convergence in number theory and mathematical analysis can be found in
[?, ?, ?, ?, ?].
The notion of I −convergence is a generalization of the statistical
convergence which was introduced by Kostyrko et al. [?]. They used the
notion of an ideal I of subsets of the set N to define such a concept. For
an extensive view of this article we refer [?, ?, ?].

Chiranjib Choudhury Supervisor: Dr. Shyamal Debnath (Dept

Ideal Convergence
of MathematicsTripura University) May 12, 2020 3/6
 Ideal
Definition 1.1
A family I ⊂ 2X of subsets of a nonempty set X is said to be an ideal in X
iff (i) 0/ ∈ I (ii) A, B ∈ I ⇒ A ∪ B ∈ I and (iii) A ∈ I , B ⊂ A ⇒ B ∈ I .
Further if ∀x ∈ X , {x} ∈ I then I is said to be admissible.
Also I is said to be non trivial if X ∈
/ I and I 6= {0}.
/

Example 1.2
The set If of all finite subsets of N is an admissible ideal in N.

Chiranjib Choudhury Supervisor: Dr. Shyamal Debnath (Dept

Ideal Convergence
of MathematicsTripura University) May 12, 2020 4/6
 Ideal
Definition 1.1
A family I ⊂ 2X of subsets of a nonempty set X is said to be an ideal in X
iff (i) 0/ ∈ I (ii) A, B ∈ I ⇒ A ∪ B ∈ I and (iii) A ∈ I , B ⊂ A ⇒ B ∈ I .
Further if ∀x ∈ X , {x} ∈ I then I is said to be admissible.
Also I is said to be non trivial if X ∈
/ I and I 6= {0}.
/

Example 1.2
The set If of all finite subsets of N is an admissible ideal in N.
The set Id of all subsets of natural numbers having natural density 0
is an admissible ideal in N.

Chiranjib Choudhury Supervisor: Dr. Shyamal Debnath (Dept

Ideal Convergence
of MathematicsTripura University) May 12, 2020 4/6
 Ideal
Definition 1.1
A family I ⊂ 2X of subsets of a nonempty set X is said to be an ideal in X
iff (i) 0/ ∈ I (ii) A, B ∈ I ⇒ A ∪ B ∈ I and (iii) A ∈ I , B ⊂ A ⇒ B ∈ I .
Further if ∀x ∈ X , {x} ∈ I then I is said to be admissible.
Also I is said to be non trivial if X ∈
/ I and I 6= {0}.
/

Example 1.2
The set If of all finite subsets of N is an admissible ideal in N.
The set Id of all subsets of natural numbers having natural density 0
is an admissible ideal in N.
The set Ic = {A ⊆ N : ∑a∈A a−1 < ∞} is an admissible ideal in N.

Chiranjib Choudhury Supervisor: Dr. Shyamal Debnath (Dept

Ideal Convergence
of MathematicsTripura University) May 12, 2020 4/6
 Ideal
Definition 1.1
A family I ⊂ 2X of subsets of a nonempty set X is said to be an ideal in X
iff (i) 0/ ∈ I (ii) A, B ∈ I ⇒ A ∪ B ∈ I and (iii) A ∈ I , B ⊂ A ⇒ B ∈ I .
Further if ∀x ∈ X , {x} ∈ I then I is said to be admissible.
Also I is said to be non trivial if X ∈
/ I and I 6= {0}.
/

Example 1.2
The set If of all finite subsets of N is an admissible ideal in N.
The set Id of all subsets of natural numbers having natural density 0
is an admissible ideal in N.
The set Ic = {A ⊆ N : ∑a∈A a−1 < ∞} is an admissible ideal in N.
∞
Dp be a decomposition of N (for i 6= j, Di ∩ Dj = 0).
S
Suppose N = /
p=1
Then the set I of all subsets of N which intersects finitely many Dp
forms an ideal in N.
Chiranjib Choudhury Supervisor: Dr. Shyamal Debnath (Dept
Ideal Convergence
of MathematicsTripura University) May 12, 2020 4/6
 Sample theorem, example, lemma etc

Remark 2.1
Write remark

Theorem 2.2
write theorem here

Definition 2.3
write definition here

Example 2.4
write example here

Lemma 2.5
content...

Chiranjib Choudhury Supervisor: Dr. Shyamal Debnath (Dept

Ideal Convergence
of MathematicsTripura University) May 12, 2020 5/6
 References

V. Müller, and A. Soltysiak

Spectral radius formula for commuting Hilbert space operators
Studia Math.103. (1992), 329-333.
M. Cho and W. Zelazko
On geometric spectral radius of commuting n-tuples of operators
Hokkaido Math. J., 21(2): 251-258, 1992.

Chiranjib Choudhury Supervisor: Dr. Shyamal Debnath (Dept

Ideal Convergence
of MathematicsTripura University) May 12, 2020 6/6