On Some I-convergence of Difference Double Sequence Classes of Fuzzy Real Numbers Defined by
Modulus Function
Manmohan Das* and Sanjay Kumar Das
*Department of Mathematics, Bajali College, Assam, INDIA.
Department of Mathematics, Handique Girls’ College, Assam, INDIA.
email: [email protected], [email protected] (Received on: November 23, 2017)
ABSTRACT
In this article our aim to introduce some new I-convergence of difference double sequence spaces of fuzzy real numbers defined by modulus function and studies their some topological and algebraic properties. Also we establish some inclusion relations.
AMS Classification No.: 40A05, 40D25, 46A45, 46E30.
Keywords: Fuzzy real number, I- convergence, double sequence, modulus function.
1. INTRODUCTION
The notion of fuzzy sets was introduced by Zadeh
32. After that many authors have studied and generalized this notion in many ways, due to the potential of the introduced notion.
Also it has wide range of applications in almost all the branches of science where mathematics has been used. It attracted many workers to introduce different types of fuzzy sequence spaces.
Bounded and convergent sequences of fuzzy numbers were studied by Matloka
8. Later on sequences of fuzzy numbers have been studied by Kaleva and Seikkala
2, Tripathy and Sarma
13,14and many others.
I-convergence of real valued sequence was studied at the initial stage by Kostyrko, Šalát and Wilczyński
4which generalizes and unifies different notions of convergence of sequences. The notion was further studied by Šalát, Tripathy and Ziman
9.
Let X be a non-empty set, then a non-void class I 2
X(power set of X ) is called an
ideal if I is additive (i.e. A, B I ABI) and hereditary (i.e. AI and B A BI). An
ideal I 2
Xis said to be non-trivial if I 2
X. A non-trivial ideal I is said to be admissible if I contains every finite subset of N. A non-trivial ideal I is said to be maximal if there does not exist any non-trivial ideal J I containing I as a subset.
Let X be a non-empty set, then a non-void class F 2
Xis said to be a filter in X if
F ; A, B F A BF and AF, A B BF . For any ideal I, there is a filter Ψ(I)
corresponding to I, given by
Ψ (I) = {K N : N \ K I }.
A modulus function f is a function from [0,∞) to [0,∞) such that : (i) 𝑓(𝑥) = 0 𝑖𝑓𝑓 𝑥 = 0
(ii) 𝑓(𝑥 + 𝑦) ≤ 𝑓(𝑥) + 𝑓(𝑦) for all 𝑥, 𝑦 ≥ 0.
(iii) 𝑓 is increasing.
(iv) 𝑓 is continous from the right at 0 .
It follows that 𝑓 must be continous everywhere on [0,∞) and a modulus function may be bounded or not bounded .
2. DEFINITIONS AND BACKGROUND
Let D denote the set of all closed and bounded intervals X = [ a
1, b
1] on the real line R. For X = [ a
1, b
1] D and Y = [ a
2, b
2] D, define d( X, Y ) by
d( X, Y ) = max ( | a
1- b
1|, | a
2- b
2| ).
It is known that (D, d ) is a complete metric space.
A fuzzy real number X is a fuzzy set on R i.e. a mapping X : R L(= [0,1] ) associating each real number t with its grade of membership X(t).
The - level set [ ] X
αset of a fuzzy real number X for 0 < 1, defined as X
= { t R : X(t) }.
A fuzzy real number X is called convex, if X(t) X(s) X(r) = min ( X(s), X(r) ), where s < t < r.
If there exists t
0 R such that X( t
0) = 1, then the fuzzy real number X is called normal.
A fuzzy real number X is said to be upper semi- continuous if for each > 0, X
1([0, a + )), for all a L is open in the usual topology of R.
The set of all upper semi-continuous, normal, convex fuzzy number is denoted by L (R).
The absolute value |X| of X L(R) is defined as (see for instance Kaleva and Seikkala
2) |X| (t) = max { X(t), X(-t) } , if t ≥0
= 0 , if t < 0 . Let d : L(R) L(R) R be defined by
d ( X, Y ) =
1 0
sup
d ( X
, Y
).
Then d defines a metric on L(R).
A sequence X = (X
k) of fuzzy numbers is a function X from the set N of all positive integers into L(R). The fuzzy number X
kdenotes the value of the function at k N and is called the k-th term or general term of the sequence. The set of all sequences of fuzzy numbers is denoted by w
F.
A sequence (X
k) of fuzzy real numbers is said to be convergent to the fuzzy real
number X
0, if for every >0, there exists k
0 N such thatd ( X
k, X
0)< for all k k
0. A sequence X = (X
k) of fuzzy numbers is said to be I- convergent if there exists a fuzzy
number X
0such that for all >0, the set {kN: d (X
k, X
0) }I. We write I-lim X
k= X
0. A sequence (X
k) of fuzzy numbers is said to be I- bounded if there exists a real number
such that the set {kN :
d (X
k, 0 ) > }I.
We follow Tripathy and Hazarika
18,19,23,25, Tripathy and Sen
31, Tripathy and Mahanta
22, Tripathy and Tripathy
12for the ideals considered throughout the article. If I = I
f, then I
fconvergence coincides with the usual convergence of fuzzy sequences. If I = I
d( I
), then I
d( I
) convergence coincides with statistical convergence (logarithmic convergence) of fuzzy sequences. If I = I
u, I
uconvergence is said to be uniform convergence of fuzzy sequences.
A double sequence of fuzzy real numbers is a double infinite array of fuzzy real numbers. we denote a double sequence of fuzzy real numbers by (𝑋
𝑘,𝑙) , where 𝑋
𝑘,𝑙′𝑠 are fuzzy real numbers for each 𝑘, 𝑙 ∈ 𝑁. Throughout the article
2w
Fdenote the set of all double sequences of fuzzy real numbers.
A double sequence (𝑋
𝑘,𝑙) of fuzzy numbers is said to be convergent in Pringsheim sense or P- convergent to a fuzzy real number X
0if for each >0 there exist 𝑘
0, 𝑙
0∈ 𝑁 such that
𝑑̅(𝑋
𝑘,𝑙, 𝑋
0) > 𝜀 𝑓𝑜𝑟 𝑎𝑙𝑙 𝑘 ≥ 𝑘
0, 𝑙 ≥ 𝑙
0. We write 𝑃 − 𝑙𝑖𝑚𝑋
𝑘,𝑙= 𝑋
0.
A double sequence (𝑋
𝑘,𝑙) of fuzzy numbers is said to be null in Pringsheim sense or P- null if 𝑃 − 𝑙𝑖𝑚𝑋
𝑘,𝑙= 0̅ .
A double sequence (X
k,l) of fuzzy numbers is said to be bounded in Pringsheim sense or P- bounded if sup
k,ld ̅(X
k,l, X
0) < ∞ .
Let 𝐼
2be an ideal of 2
N×N.A double sequence (𝑋
𝑘,𝑙) of fuzzy numbers is said to be I-convergent in Pringsheim sense if for each >0 such that
{(𝑘, 𝑙) ∈ 𝑁 × 𝑁: 𝑑̅(𝑋
𝑘,𝑙, 𝑋
0) ≥ 𝜀 } ∈ 𝐼
2We write I lim X
k l, X
0.
For 𝑋
0= 0̅ , it is called I-null in Pringsheim sense.
Let 𝐼
2be an ideal of 2
𝑁×𝑁and I be an ideal of 2
𝑁. A double sequence (𝑋
𝑘,𝑙) of
fuzzy numbers is said to be regularly I- convergent to a fuzzy number 𝑋
0if it is I-convergent
in Pringsheim sense and for each >0 the followings hold:
For each 𝑙 ∈ 𝑁 there exists 𝐿
𝑙∈ 𝐿(𝑅) such that {𝑘 ∈ 𝑁 ∶ 𝑑̅(𝑋
𝑘,𝑙, 𝐿
𝑙) ≥ 𝜀 } ∈ 𝐼, and for each k∈ 𝑁 there exists 𝑀
𝑘∈ 𝐿(𝑅) such that {𝑙 ∈ 𝑁 ∶ 𝑑̅(𝑋
𝑘,𝑙, 𝑀
𝑘) ≥ 𝜀 } ∈ 𝐼.
If 𝐿
𝑙= 𝑀
𝑘= 0̅ for all , 𝑙 ∈ 𝑁 , the sequence (𝑋
𝑘,𝑙) is said to be regularly I-null.
A double sequence (𝑋
𝑘,𝑙) of fuzzy numbers is said to be I- Cauchy if for each >0 there exists 𝑠 = 𝑠( ), t = t( ) ∈ 𝑁 such that {(𝑘, 𝑙) ∈ 𝑁 × 𝑁: 𝑑̅(𝑋
𝑘,𝑙, 𝑋
𝑠,𝑡) ≥ 𝜀 } ∈ 𝐼
2. A double sequence (𝑋
𝑘,𝑙) of fuzzy numbers is said to be I- bounded if there exists a real number M>0 such that {(𝑘, 𝑙) ∈ 𝑁 × 𝑁: 𝑑̅(𝑋
𝑘,𝑙, 0̅ ) ≥ 𝑀 } ∈ 𝐼
2.
Throughout,
2w
I F( ),
2w
0I F( )and
2w
I F( )denote the spaces of fuzzy real-valued I- convergent, I-null and I- bounded sequences respectively.
It is clear from the definitions that
2w
0I F( ) 2w
I F( ) 2w
I F( )and the inclusions are proper.
It can be easily shown that
2w
I F( )is complete with respect to the metric f defined by f ( X, Y ) =
,
sup
k l
d (X
k,l, Y
k l,) , where X =(X
k,l) , Y = (Y
k,l)
2w
I F( ).
Lemma 2.1: Let (𝛼
𝑘) and (𝛽
𝑘) be sequences of real or complex numbers and (𝑝
𝑘) be a bounded sequence of positive real numbers, then
|𝛼
𝑘+ 𝛽
𝑘|
𝑝𝑘≤ 𝐷(|𝛼
𝑘|
𝑝𝑘+ |𝛽
𝑘|
𝑝𝑘) and |𝜆|
𝑝𝑘≤ 𝑚𝑎𝑥(1, |𝜆|
𝐻)
where D = 𝑚𝑎𝑥(1, |𝜆|
𝐻−1), 𝐻 = 𝑠𝑢𝑝𝑝
𝑘, 𝜆 is any real or complex number.
Lemma2.2: If 𝑑̅ is translation invariant then
(a) 𝑑̅(𝑋
𝑘,𝑙+ 𝑌
𝑘,𝑙, 0̅) ≤ 𝑑̅(𝑋
𝑘,𝑙. 0̅) + 𝑑̅(𝑌
𝑘,𝑙, 0̅) (b) 𝑑̅(𝛼𝑋
𝑘,𝑙, 0̅) ≤ |𝛼|𝑑̅(𝑋
𝑘,𝑙, 0̅) , |𝛼| > 1 .
Let f be a double sequence of modulus functions, p ( p
k l,) be a bounded double sequence of strictly positive real numbers. We define the following new sequence spaces as:
( )
2
w
I F( , ) f p X ( X
k l,)
2w
F: I lim ([ ( f d X
k l,, X
0)] )
p 0, forX
0 L R ( ) I
22
w
0I F( )( , ) f p X ( X
k l,)
2w
F: I lim ([ ( f d X
k l,, 0)] )
p 0 I
2( )
2 , 2 , 2
,
( , ) ( ) : sup ([ ( , 0)] )
I F F p
k l k l
k l
w
f p X X w I f d X I
Some special cases
a. If f x ( ) x , then the above spaces becomes,
( )
2
w
I F( ) p X ( X
k l,)
2w
F: I lim[ ( d X
k l,, X
0)]
p 0, forX
0 L R ( ) I
22
w
0I F( )( ) p X ( X
k l,)
2w
F: I lim[ ( d X
k l,, 0)]
p 0 I
2( )
2 , 2 , 2
,
( ) ( ) : sup[ ( , 0)]
I F F p
k l k l
k l
w
p X X w I d X I
b. If ( p
k l,) 1 for all k l , N , we have,
( )
2
w
I F( ) f X ( X
k l,)
2w
F: I lim ([ ( f d X
k l,, X
0)]) 0, forX
0 L R ( ) I
22
w
0I F( )( ) f X ( X
k l,)
2w
F: I lim ([ ( f d X
k l,, 0)]) 0 I
2( )
2 , 2 , 2
,
( ) ( ) : sup ([ ( , 0)])
I F F
k l k l
k l
w
f X X w I f d X I
c. If f ( ) x x and ( p
k l,) 1 for all k l , N , then
2
w
I F( ) X ( X
k l,)
2w
F: I lim[ ( d X
k l,, X
0)] 0, forX
0 L R ( ) I
22
w
0I F( ) X ( X
k l,)
2w
F: I lim[ ( d X
k l,, 0)] 0 I
2( )
2 , 2 , 2
,
( ) : sup[ ( , 0)]
I F F
k l k l
k l
w
X X w I d X I
3. MAIN RESULTS
Theorem 3.1: Let f be a modulus function, then
2w
I F( )( , ) f p ,
2w
0I F( )( , ) f p and
( )
2
w
I F( , ) f p are closed under addition and scalar multiplication.
Proof: We will prove the result for
2w
0I F( )( , ) f p , others are same.
Let, X ( X
k l,) and Y ( Y
k l,)
2w
0I F( )( , ) f p . For scalars , C , there exist integers a
and b
such that a
and b
. Since f be a modulus function, we have – f ([ (( d X
k Y
k), 0)] )
p D a (
)
Hf ([ ( d X
k l,, 0)] )
p D b (
)
Hf ([ ( d Y
k l,, 0)] )
p 0 as k l , .
Therefore, X
k Y
k
2w
0I F( )( , ) F p . This completes the proof.
Theorem 3.2: Let f be a modulus function, then
2w
I F( )( ) p
2w
I F( )( , ). f p Proof: Let X ( X
k l,)
2w
I F( )( ) p , then we have
,,
sup ([ (
k l, 0)] )
p.
k l
I f d X Let
0 and choose a 0 with 0 1 such that f t ( ) for 0 1 . Thus
, ,
, , ,
, , , ( ,0) , , ( ,0)
sup ([ ( , 0)] ) sup ([ ( , 0)] ) sup ([ ( , 0)] )
k l k l
p
p p
k l k l k l
k l k l d X k l d X
I f d X I f d X I f d X
,
,
sup (
k l, 0)
pk l
M d X
by properties of modulus function.
Hence X ( X
k l,)
2w
I F( )( , ). f p This completes the proof.
Theorem 3.3: Let f be a modulus function and ( )
lim 0
t
f t
t
, then
( ) ( )
2
w
I F( , ) f p
2w
I F( ). p
Proof: Let X ( X
k l,)
2w
I F( )( , ). f p By definition of , we have f t ( ) . t for all 0.
t
Since, 0 , we have f t ( ) t . Thus,
, ,
, ,
sup([ (
k l, 0)] )
p1 sup ([ (
k l, 0)] )
pk l k l
I d X I f d X
This follows that X ( X
k l,)
2w
I F( )( ). p
Theorem 3.4: Let f be a modulus function , then
2w
I F( )
2w
0I F( )( , ) f p if lim ( ) 0
t
f t
for t 0.
Proof: It can be established by using standard technique.
Theorem 3.5: Let f be a modulus function and if lim ( )
t
f t
for t 0 then
( ) ( )
2
w
I F( , ) f p
2w
0I FProof: Let lim ( )
t
f t
for t 0 . If X ( X
k l,)
2w
I F( )( , ). f p Then,
f ([ ( d X
k l,, 0)] )
p M for all k , l .
If possible let X ( X
k)
2w
0I F( ), then for some 0 there exists a positive integer k
0such that d X (
k l,, 0) for k k l
0, l
0.
Therefore,
f ( ) f ([ ( d X
k l,, 0)] )
p M for k k l
0, l
0.
This contradicts to our assumption that lim ( )
t
f t
for t 0 and hence
( )
, 2 0
(
k l)
I F.
X X w This completes the proof.
Theorem 3.6: If f be a modulus function, then
2w
0I F( )( , ) f p and
2w
I F( )( , ) f p are paranormed spaces with the paranorm h defined by-
,
1
,
( ) sup [ (
k l, 0)]
p Mk l
h X f d X Where
,
max 1,sup
k l
M p
Proof: Obviously h X ( ) h ( X ) for all X
2w
0I F( )( , ) f p It is trivial that X
k l, 0 for X 0 .
Since, p 1
M , since d is translation invariant and by using Minkowski’s inequality, we have, f d X [ ((
k l, Y
k l,), 0)]
p
M1 f d X [ (
k l,, 0)]
p
M1 f d Y [ (
k l,, 0)]
p
M1Hence,
h X ( Y ) h X ( ) h Y ( )
Finally to check the continuity of scalar multiplication, let be any scalar, by definition we have
,
1
,
( ) sup [ ( , 0)] ( )
H
p M M
k l k l
h X f d X K h X
where
,
sup
k l
H p .
Where K
is positive integer such that K
. Let 0 for any fixed X with h X ( ) 0 . By definition for 1 , we have
,
,
sup [ (
k l, 0)]
pk l
f d X for n N ( ).
Also for 1 n N by taking small enough, since f is continuous, we get ,
,
sup [ (
k l, 0)]
p.
k l
f d X
Implies that h ( X ) 0 as 0 . This completes the proof.
Theorem 3.7: If I is an admissible ideal then the spaces
2w
I F( )( , ) f p ,
2w
0I F( )( , ) f p and
( )
2
w
I F( , ) f p are complete metric spaces under the metric – ( , ) sup [ (
k l,,
k l,)]
p
M1k
h X Y f d X Y Where
,
max 1,sup
k l
M p
Proof: It is easy to see that h is a metric on
2w
I F( )( , ) f p . To show completeness.
Let X
ibe a Cauchy sequence in
2w
I F( )( , ) f p where
,i i
X X
k l. Therefore for each 0 there exists i
0 N such that h X (
i, X
j) for all i j , i
0.
i.e
, ,
1
,
sup [ (
k li,
k lj)]
p Mk l
f d X X for all i j , i
0. This means
, ,
,
sup( [ (
k li,
k lj)] )
pk l
f d X X for all i j , i
0.
Since f is modulus function, so choosing suitable
1 0 and we obtain d X (
k li,, X
k lj,)
1for all i j , i
0and for each k l , . i.e
X
kiis a Cauchy sequence in L R for each k l , . Keeping i fixed and letting j , one can find that –
, ,,
sup( [ (
k li,
k l)] )
pk l
f d X X for all i i
0. That means,
h X
i, X for all i i
0.
Next to show X
2w
I F( )( , ) f p , for which the proof as follows:
Since X
k li,
2w
I F( )( , ) f p for i N , so for i j , , there exist L L
i,
j L R ( ) and
i
,
jk k N and l l
i,
j N , such that
,,
sup( [ (
k li,
i)] )
pk l
f d X L for all k k
i, l l
iand
,
,
sup( [ (
k lj,
j)] )
pkk l
f d X L for all k k
jand l l
j. Now let k
0 max k k
i,
j and l
0 max l l
i,
j; for i j , i
0, we have
,
,
sup( [ ( ,
i j)] )
psup( [ ( ,
i k li)] )
pk l
f d L L C f d L X
, ,,
sup( [ (
k li,
k lj)] )
pk l
C f d X X
,,
sup( [ (
k lj,
j)] )
pk l
C f d X L
3C for all i j , i
0and k k
0; l l
0Hence L
iis a Cauchy sequence in L R . So there exists L L R ( ) such that L
i L as i
Now keeping i fixed and letting j , once can find that, sup( [ ( , )] ) f d L L
i p 3 C for all i i
0.
Therefore,
, , 0,
, ,
sup( [ (
k l, )] )
psup( [ (
k l,
k li)] )
pk l k l
f d X L C f d X X +
,,
sup( [ (
k li,
i)] )
pk l