Some new classes of ideal convergent difference multiple sequences of fuzzy real numbers

1 Introduction

Fuzzy set theory, compared to other mathematical theories, is perhaps the most easily adaptable theory to practice. Instead of defining an entity in calculus by assuming that its role is exactly known, we can use fuzzy sets to define the same entity by allowing possible deviations and inexactness in its role. This representation suits well the uncertainties encountered in practical life, which make fuzzy sets a valuable mathematical tool. The concepts of fuzzy sets and fuzzy set operations were first introduced by Zadeh [30] and subsequently several authors have discussed various aspects of the theory and applications of fuzzy sets. In fact the fuzzy set theory has become an area of active area of research in science and engineering for the last 40 years. Fuzzy set theory is a powerful hand set for modelling uncertainty and vagueness in various problems arising in the field of science and engineering. It extends the scope and results of classical mathematical analysis by applying fuzzy logic to conventional mathematical objects, such as functions, sequences and series etc. While studying fuzzy topological spaces, we face many situations where we need to deal with convergence of fuzzy numbers.

Standard ranking methods for generalized fuzzy numbers are found in [28] and [29]. Using the notion of fuzzy real numbers, different types of fuzzy real-valued sequence spaces have been introduced and studied by several mathematicians. The initial works on double sequences of real or complex terms are found in Bromwich [2]. Hardy [9] introduced the notion of regular convergence for double sequences of real or complex terms. Agnew [1] studied the summability theory of multiple sequences and obtained certain theorems which have already been proved for double sequences by the author himself. Móricz [15] extended statistical convergence from single to multiple real sequences and obtained some results for real double sequences. Matloka [14] introduced bounded and convergent sequences of fuzzy numbers, studied some of their properties and showed that every convergent sequence of fuzzy numbers is bounded. There are many applications of the sequences and difference sequences of numbers (real, complex and fuzzy numbers). The sequences of fuzzy numbers have unexpected and practical uses in many areas of science and engineering, including acoustics. They find application in measuring concert hall acoustics, radar echoes from planets, the travel times of deep-ocean sound waves for monitoring ocean temperature, and improving synthetic speech and the sounds associated with computer music. Furthermore, it is shown by Kawamura et al. [10] that the earthquake ground motions have very simple conditioned fuzzy set rules with non-fuzzy parameters of the first and second order differences Δx _k and Δ²x _k defined by membership functions. Therefore the difference sequences of fuzzy numbers are used, for example in the prediction of earthquakewaves.

2 Definitions and background

Throughout the article N, R and C denote the sets of natural, real and complex numbers respectively. Throughout w,  c,  c₀, ℓ _∞ denote the spaces of all, convergent, null and bounded sequences and ₂w, ₂ ℓ _∞, ₂c, ₂c₀ denote the spaces of all, bounded, convergent, null double sequences respectively.

Let C (R ⁿ ) = {A ⊂ R ⁿ  : A is compact and convex}. The space C (R ⁿ ) has a linear structure induced by the operations A + B = {a + b : a ∈ A, b ∈ B} and λA = {λa : a ∈ A} for A, B ∈ C (R ⁿ ) and λ ∈ R . The Hausdorff distance between A and B of C (R ⁿ ) is defined as δ ∞ ( A , B ) = max { sup a ∈ A inf b ∈ B ∥ a - b ∥ , sup b ∈ B inf a ∈ A ∥ a - b ∥ } .

It is well known that (C (R ⁿ ) , δ_∞) is a complete metric space.

A fuzzy real number on R is a mapping X : R → L (= [0, 1]) associating each real number t ∈ R with its grade of membership X (t). Every real number r can be expressed as a fuzzy real number r ¯ as follows: r ¯ ( t ) = { 1 if t = r 0 otherwise

The α-level set of a fuzzy real number X, 0 < α ≤ 1, denoted by [X]  ^α is 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₀ ∈ R such that X (t₀) =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 R (L) . The additive identity and multiplicative identity in R (L) are denoted by 0 ¯ and 1 ¯ respectively.

The Arithmetic operations on R (L) are defined as follows:

If X, Y ∈ R (L), then ( X Θ Y ) ( t ) = sup s ∈ R { X ( s ) ∧ Y ( s - t ) } , t ∈ R , ( X ⊕ Y ) ( t ) = sup s ∈ R { X ( s ) ∧ Y ( t - s ) } , t ∈ R , ( X ⊗ Y ) ( t ) = sup s ∈ R { X ( s ) ∧ Y ( t / s ) } , t ∈ R , ( X / Y ) ( t ) = sup s ∈ R { X ( st ) ∧ Y ( s ) } , t ∈ R .

The absolute value |X |of X ∈ R (L) is defined as | X | ( t ) = { max { X ( t ) , X ( - t ) } , if t ≥ 0 0 if t < 0 .

Let D be the set of all closed bounded intervals X = [X ^L , X ^R ] on the real line R. Then X ≤ Y if and only if X ^L  ≤ Y ^L and X ^R  ≤ Y ^R  . Also let d (X, Y) = max(|X ^L  - X ^R |, |Y ^L  - Y ^R |) . Then (D, d) is a complete metric space.

Let d ¯ : R ( L ) × R ( L ) → R be defined by d ¯ ( X , Y ) = sup 0 ≤ α ≤ 1 d ( [ X ] α , [ Y ] α ) , for X , Y ∈ R ( L ) .

Then d ¯ defines a metric on R (L) .

In order to generalize the notion of convergence of real sequences, Kostyrko, Šalát and Wilczyński [12] introduced the idea of ideal convergence for single sequences in 2000-2001. Later on it was further developed by Šalát et al. [17], Tripathy et al. [20], Das et al. [3], Tripathy and Sen [26], Kumar et al. [14], Sen and Roy [19], V.S. Debnath et al. [4] and many others. The notion of Ideal convergence depends on the structure of the ideal I of the subset of the set of natural numbers. Let X be a non empty set. A non-void class I ⊆ 2 ^X (power set of X) is said to be an ideal if I is additive and hereditary, i.e. if I satisfies the following conditions:

(i) A, B ∈ I ⇒ A ∪ B ∈ I and (ii) A ∈ IandB ⊆ A ⇒ B ∈ I .

A non-empty family of sets F ⊆ 2 ^X is said to be a filter on X if

(i) ∅ ∉ F (ii) A,  B ∈ F ⇒ A ∩ B ∈ F and (iii) A ∈ F and A ⊆ B ⇒ B ∈ F.

For any ideal I, there is a filter F (I) given by F (I) = {K ⊆ N : N ∖ K ∈ I} .

An ideal I ⊆ 2 ^X is said to be non-trivial if I≠ ∅ and X ∉ I. Clearly I ⊆ 2 ^X is a non-trivial ideal if and only if F = F (I) = {X - A : A ∈ I} is a filter on X.

A subset E of N × N × N is said to have density δ (E) if δ ( E ) = lim p , q , r → ∞ ∑ n = 1 p ∑ l = 1 q ∑ k = 1 r χ E ( n , l , k ) exists. Throughout the article, the ideals of 2^N×N×N will be denoted by I₃ .

Example 1. Let I₃ (ρ) ⊂2^N×N×Ni.e. the class of all subsets of N × N × N of zero natural density. Then I₃ (ρ) is an ideal of 2^N×N×N.

Example 2. Let I₃ (P) be the class of all subsets of N × N × N such that D ∈ I₃ (P) implies that there exists n₀, l₀, k₀ ∈ N such that D ⊆ N × N × N - { ( n , l , k ) ∈ N × N × N : n ≥ n 0 , l ≥ l 0 , k ≥ k 0 } .

Then I₃ (P) is an ideal of 2^N×N×N .

A triple sequence can be defined as a function x : N × N × N → R (C) .

The different types of notions of triple sequences was introduced and investigated at the initial stage by Sahiner et al. [16], Dutta et al. [6], P. Kumar et al. [13] and others. Recently Savas and Esi [18] have introduced statistical convergence of triple sequences on probabilistic normed space. Later on, Esi [8] have introduced statistical convergence of triple sequences in topological groups. Some more works on triple sequences are found in [7, 8]. A fuzzy real-valued triple sequence X =〈 X _nlk  〉 is a triple infinite array of fuzzy real numbers X _nlk for all n, l, k ∈ N and is denoted by 〈X _nkl 〉 where X _nlk  ∈ R (L) .

A fuzzy real-valued triple sequence X =〈 X _nlk  〉 is said to be convergent in Pringsheims sense to the fuzzy real number X, if for every ∈>0,  ∃, s n₀ = n₀ (ɛ) , l₀ = l₀ (ɛ) , k₀ = k₀ (ɛ) ∈ N such that d ¯ ( X nlk , X ) < ɛ for all n ≥ n₀, l ≥ l₀, k ≥ k₀ .

A fuzzy real-valued triple sequence X =〈 X _nlk  〉 is said to be I₃-convergent to the fuzzy number X₀, if for all ɛ > 0, the set { ( n , l , k ) ∈ N × N × N : d ¯ ( X nlk , X 0 ) ≥ ɛ } ∈ I 3 . We write I₃ - lim X _nlk  = X₀ .

A fuzzy real-valued triple sequence X =〈 X _nlk  〉 is said to be I₃-bounded if there exists a real number μ such that the set { ( n , l , k ) ∈ N × N × N : d ¯ ( X nlk , 0 ¯ ) > μ } ∈ I 3 .

Throughout 3 ( w F ) , 3 ( ℓ ∞ F ) , 3 ( c F ) , 3 ( c 0 F ) denote the spaces of all, bounded, convergent in Pringsheim’s sense, null in Pringsheim’s sense fuzzy real-valued triple sequences respectively.

A fuzzy real-valued triple sequence space E ^F is said to be solid if 〈Y _nlk  〉 ∈ E ^F whenever d ¯ ( Y nlk , 0 ¯ ) ≤ d ¯ ( X nlk , 0 ¯ ) i.e. |Y _nlk | ≤ |X _nlk | for all n, l, k ∈ N and 〈X _nlk  〉 ∈ E ^F  .

A fuzzy real-valued triple sequence space E ^F is said to be monotone if E ^F contains the canonical pre-image of all its step spaces.

A fuzzy real-valued triple sequence E ^F is said to be symmetric if S (X) ⊂ E ^F , for all X ∈ E ^F , where S (X) denotes the set of all permutations of the elements of X = 〈 X _nlk  〉 .

A fuzzy real-valued triple sequence space E ^F is said to be sequence algebra if 〈X _nlk  ⊗ Y _nlk  〉 ∈ E ^F , whenever 〈X _nlk  〉 , 〈 Y _nlk  〉 ∈ E ^F  .

A fuzzy real-valued triple sequence space E ^F is said to be convergence free if 〈Y _nlk  〉 ∈ E ^F whenever 〈X _nlk  〉 ∈ E ^F  . and X nlk = 0 ¯ implies Y nlk = 0 ¯ .

The notion of difference sequence spaces was introduced by Kizmaz [11] as follows: Z ( Δ ) = { x = ( x k ) ∈ w : ( Δ x k ) ∈ Z } , for Z = ℓ ∞ , c , c 0 , where Δ x k = x k - x k + 1 , for all k ∈ N .

Tripathy and Esi [23] introduced the notion of difference sequence space Δ _m x = (Δ _m x _k ) = x _k  - x_k+m, forall k ∈ N and m ∈ N be fixed. Later on it was studied by Tripathy and Sarma [25] and introduced difference double sequence spaces as follows: Z ( Δ ) = { X = ( X nk ) ∈ 2 w : ( Δ X nk ) ∈ Z } , for Z = 2 ℓ ∞ , 2 c , 2 c 0 , where Δ X nk = X n , k - X n , k + 1 - X n + 1 , k + X n + 1 , k + 1 , for all n , k ∈ N

For triple sequences, we introduce the following:

Δ X nlk = X nlk - X n , l + 1 , k - X n , l , k + 1 + X n , l + 1 , k + 1 - X n + 1 , l , k + X n + 1 , l + 1 , k + X n + 1 , l , k + 1 - X n + 1 , l + 1 , k + 1 for all n , l , k ∈ N(1)

Some works on difference sequence spaces can be found in [5, 27].

Let p =〈 p _nkl  〉 be a triple sequence of bounded strictly positive numbers. We introduce the following I-convergent triple sequence spaces: 3 ( c I ( F ) ) ( Δ , p ) = { X = 〈 X nlk 〉 ∈ 3 ( w F ) : I 3 - lim [ d ¯ ( Δ X nlk , X 0 ) ] p nlk = 0 , for some X 0 ∈ R ( L ) } ,

3 ( c 0 I ( F ) ) ( Δ , p ) = { X = 〈 X nlk 〉 ∈ 3 ( w F ) : I 3 - lim [ d ¯ ( Δ X nlk , 0 ¯ ) ] p nlk = 0 } ,

Let 3 ( ℓ ∞ F ) ( Δ , p ) = { X = 〈 X nlk 〉 ∈ 3 ( w F ) : sup n , l , k [ d ¯ ( Δ X nlk , 0 ¯ ) ] p nlk < ∞ } .

Then 3 ( ℓ ∞ F ) ( Δ , p ) is a complete metric space with respect to the metric ρ defined by ρ ( X , Y ) = sup n , l [ d ¯ ( X nl 1 , Y nl 1 ) ] p nlk + sup n , k [ d ¯ ( X n 1 k , Y n 1 k ) ] p nlk + sup l , k [ d ¯ ( X 1 lk , Y 1 lk ) ] p nlk + sup n , l , k [ d ¯ ( Δ X nlk , Δ Y nlk ) ] p nlk where M = max(1, H) , H = sup nlk p nlk < ∞ .

Also, we define the following sequence spaces: 3 ( m I ( F ) ) ( Δ , p ) = 3 ( c I ( F ) ) ( Δ , p ) ∩ 3 ( ℓ ∞ F ) ( Δ , p ) 3 ( m 0 I ( F ) ) ( Δ , p ) = 3 ( c 0 I ( F ) ) ( Δ , p ) ∩ 3 ( ℓ ∞ F ) ( Δ , p ) .

For particular values of p and ideal I, these sequence spaces reduce to many well known sequence spaces.

For establishing the results of this chapter, we procure the following existing result.

Lemma.If a sequence spaceE ^F is solid, then it is monotone.

Theorem 1.T he classes of sequences3 ( c I ( F ) ) ( Δ , p ) , 3 ( c 0 I ( F ) ) ( Δ , p ) , 3 ( m I ( F ) ) ( Δ , p ) and 3 ( m 0 I ( F ) ) ( Δ , p )are closed under addition and scalar multiplication.

Proof. We prove the result for the space ₃ (m^I(F)) (Δ, p) .

Let 〈X _nlk  〉 , 〈 Y _nlk  〉 ₃ (m^I(F)) (Δ, p) and α, β be scalars. Then there exists X₀ and Y₀ ∈ R (L) such that I 3 - lim [ d ¯ ( Δ X nlk , X 0 ) ] p nlk = 0 and I 3 - lim [ d ¯ ( Δ Y nlk , Y 0 ) ] p nlk = 0

Then [ d ¯ ( Δ ( α X nlk + β Y nlk ) , ( α X 0 + β Y 0 ) ) ] p nlk ≤ D [ d ¯ ( Δ X nlk , X 0 ) ] p nlk + D [ d ¯ ( Δ Y nlk , Y 0 ) ] p nlkwhere D = max(1, 2^H-1) , H = sup n , l , k p nlk < ∞ .

Then taking I-limit on both sides of the above inequality, we get I 3 - lim [ d ¯ ( Δ ( α X nlk + β Y nlk ) , ( α X 0 + β Y 0 ) ) ] p nlk = 0 .

Therefore (αX _nlk  + βY _nlk ) ∈ ₃ (m^I(F)) (Δ, p) .

Hence the class of sequences ₃ (m^I(F)) (Δ, p) is closed under the operations of addition and scalar multiplication.

Using similar technique the other cases can be established. ■

Theorem 2.Let the triple sequence 〈p _nkl 〉 be bounded. Then3 ( m 0 I ( F ) ) ( Δ , p ) ⊂ 3 ( m I ( F ) ) ( Δ , p ) ⊂ 3 ( ℓ ∞ F ) ( Δ , p )and the inclusions are strict.

Proof. The inclusion 3 ( m 0 I ( F ) ) ( Δ , p ) ⊂ 3 ( m I ( F ) ) ( Δ , p ) ⊂ 3 ( ℓ ∞ F ) ( Δ , p ) is obvious.

In order to show that the inclusion 3 ( m 0 I ( F ) ) ( Δ , p ) ⊂ 3 ( ℓ ∞ F ) ( Δ , p ) is strict, we consider the following example.

Example 3. Let I₃ (P) be the class of all subsets of N × N × N such that A ∈ I₃ (P) implies that there exits n₀, l₀, k₀ ∈ N such that A ⊆ N × N × N - {(n, l, k) ∈ N × N × N : n ≥ n₀, l ≥ l₀, k ≥ k₀} .

Let p nlk = { 1 3 , if 1 ≤ n ≤ n 0 , 1 ≤ l ≤ l 0 , 1 ≤ k ≤ k 0 3 , otherwise

We consider the sequence 〈X _nlk 〉 defined by: X nlk = 1 ¯ , for 1 ≤ n ≤ n 0 , , 1 ≤ l ≤ l 0 , 1 ≤ k ≤ k 0 .

For n > n₀, l > l₀, k > k₀ and (n + l + k) even, X nlk ( t ) = { nt - 3 n + 1 n + 1 , f o r 3 - n - 1 ≤ t ≤ 4 5 - t , f o r 4 < t ≤ 5 0 , otherwise

Otherwise X nlk ( t ) = { nt - 1 3 n - 1 , for n - 1 ≤ t ≤ 3 4 - t , for 3 < t ≤ 4 0 , otherwise

Then 〈 Δ X nlk 〉 ∈ 3 ( ℓ ∞ F ) ( Δ , p ) , but 〈 Δ X nlk 〉 ∉ 3 ( m 0 I ( F ) ) ( Δ , p ) .

Hence the inclusion 3 ( m 0 I ( F ) ) ( Δ , p ) ⊂ 3 ( ℓ ∞ F ) ( Δ , p ) is strict. ■

Following standard techniques, we can easily prove the following result.

Theorem 3. If H = sup n , k p nk < ∞ , then the classes of sequences ₃ (m^I(F)) (Δ, p) and 3 ( m 0 I ( F ) ) ( Δ , p ) are complete metric spaces with respect to the metric ρ defined by

ρ ( X , Y ) = sup n , l [ d ¯ ( X nl 1 , Y nl 1 ) ] p nlk + sup n , k [ d ¯ ( X n 1 k , Y n 1 k ) ] p nlk + sup l , k [ d ¯ ( X 1 lk , Y 1 lk ) ] p nlk + sup n , l , k [ d ¯ ( Δ X nlk , Δ Y nlk ) ] p nlkwhere 〈X _nlk  〉 , 〈 Y _nlk  〉 ∈ ₃ (m^I(F)) (Δ, p) and Δ X nlk = X nlk - X n , l + 1 , k - X n , l , k + 1 + X n , l + 1 , k + 1 - X n + 1 , l , k + X n + 1 , l + 1 , k + X n + 1 , l , k + 1 - X n + 1 , l + 1 , k + 1

Theorem 4. The classes of sequences 3 ( m 0 I ( F ) ) ( Δ , p ) is solid as well as monotone.

Proof. Let 〈 X nlk 〉 ∈ 3 ( m 0 I ( F ) ) ( Δ , p ) and 〈Y _nlk 〉 be such that d ¯ ( Y nlk , 0 ¯ ) ≤ d ¯ ( X nlk , 0 ¯ ) for all n, l, k ∈ N .

Let ɛ > 0 be given. Then the solidness of 3 ( m 0 I ( F ) ) ( Δ , p ) follows from the following inclusion relation: { ( n , l , k ) ∈ N × N × N : [ d ¯ ( Δ X nlk , 0 ¯ ) ] p nlk ≥ ɛ } ⊇ { ( n , l , k ) ∈ N × N × N : [ d ¯ ( Δ Y nlk , 0 ¯ ) ] p nlk ≥ ɛ } .

Now using Lemma, the classes of sequences 3 ( m 0 I ( F ) ) ( Δ , p ) is monotone. ■

Theorem 5.T he classes of sequences3 ( c I ( F ) ) ( Δ , p ) , 3 ( c 0 I ( F ) ) ( Δ , p ) , 3 ( m I ( F ) ) ( Δ , p ) and 3 ( m 0 I ( F ) ) ( Δ , p )are sequence algebras.

Proof. We prove the result for the space 3 ( c 0 I ( F ) ) ( Δ , p ) .

Let 〈 X nlk 〉 , 〈 Y nlk 〉 ∈ 3 ( c 0 I ( F ) ) ( Δ , p ) and 0 < ɛ < 1 .

Then the result follows from the following inclusion relation: { ( n , l , k ) ∈ N × N × N : [ d ¯ ( Δ X nlk ⊗ Δ Y nlk , 0 ¯ ) ] p nlk < ɛ } ⊃ { ( n , l , k ) ∈ N × N × N : [ d ¯ ( Δ X nlk , 0 ¯ ) ] p nk < ɛ } ∩ { ( n , l , k ) ∈ N × N × N : [ d ¯ ( Δ Y nlk , 0 ¯ ) ] p nk < ɛ } .

Similarly the other cases can be established. ■

Theorem 6.T he classes of sequences3 ( c I ( F ) ) ( Δ , p ) , 3 ( c 0 I ( F ) ) ( Δ , p ) , 3 ( m I ( F ) ) ( Δ , p ) and 3 ( m 0 I ( F ) ) ( Δ , p )are not symmetric.

Proof. The results followed by the following example:

Example 4. Let I₃ = I₃ (ρ) and p nlk = { 1 , for n even and all l , k ∈ N 3 , otherwise

We consider the triple sequence 〈X _nlk 〉 defined by:

For n = i², i ∈ N and for all l, k ∈ N, X nlk = n , foralln , l , k ∈ N .

Clearly 〈 Δ X nlk 〉 ∈ 3 ( c I ( F ) ) ( Δ , p ) , 3 ( c 0 I ( F ) ) ( Δ , p ) , 3 ( m I ( F ) ) ( Δ , p ) , 3 ( m 0 I ( F ) ) ( Δ , p ) .

We consider the rearrangement (Y _nk ) of (X _nk ) defined by: Y nlk = { n + 1 , for n = l , k is even n - 1 , for n = l + 1 , k is even n , otherwise

Then clearly 〈 Δ Y nlk 〉 ∉ 3 ( c I ( F ) ) ( Δ , p ) , 3 ( c 0 I ( F ) ) ( Δ , p ) , 3 ( m I ( F ) ) ( Δ , p ) , 3 ( m 0 I ( F ) ) ( Δ , p ) .

Hence the sequence spaces 3 ( c I ( F ) ) ( Δ , p ) , 3 ( c 0 I ( F ) ) ( Δ , p ) , 3 ( m I ( F ) ) ( Δ , p ) and 3 ( m 0 I ( F ) ) ( Δ , p ) are not symmetric. ■

Theorem 7.The classes of sequences3 ( c I ( F ) ) ( Δ , p ) , 3 ( c 0 I ( F ) ) ( Δ , p ) , 3 ( m I ( F ) ) ( Δ , p ) and 3 ( m 0 I ( F ) ) ( Δ , p )are not convergence free.

Proof. The result follows from the following example:

Example 5. We provide an example to prove the result.

Let A ∈ I₃, p nlk = 1 3 , for all n, l, k ∈ N .

We consider the triple sequence 〈X _nlk 〉 defined by: X nlk = { 0 , if k = 1 , for all n , l ∈ N - 2 , otherwise

Clearly 〈 Δ X nlk 〉 ∈ 3 ( c I ( F ) ) ( Δ , p ) , 3 ( c 0 I ( F ) ) ( Δ , p ) , 3 ( m I ( F ) ) ( Δ , p ) , 3 ( m 0 I ( F ) ) ( Δ , p ) .

Let the sequence 〈Y _nlk 〉 be defined by: Y nlk = { 0 , if k is odd , for all n , l ∈ N X nlk , otherwise

Then clearly 〈 Δ Y nlk 〉 ∉ 3 ( c I ( F ) ) ( Δ , p ) , 3 ( c 0 I ( F ) ) ( Δ , p ) , 3 ( m I ( F ) ) ( Δ , p ) , 3 ( m 0 I ( F ) ) ( Δ , p ) .

So 3 ( c I ( F ) ) ( Δ , p ) , 3 ( c 0 I ( F ) ) ( Δ , p ) , 3 ( m I ( F ) ) ( Δ , p ) and 3 ( m 0 I ( F ) ) ( Δ , p ) are not convergence free. ■

Theorem 8.The classes of sequences3 ( m 0 I ( F ) ) ( Δ , p )and₃ (m^I(F)) (Δ, p) are nowhere dense subsets of3 ( ℓ ∞ F ) ( Δ , p ) .

Proof. By Theorem 2, the sequence spaces 3 ( m 0 I ( F ) ) ( Δ , p )and₃ (m^I(F)) (Δ, p) are proper subspaces of 3 ( ℓ ∞ F ) ( Δ , p ) . Hence the result follows from Theorem 3. ■

4 Conclusion

We have introduced and studied the notions of of null, convergent and bounded triple difference sequence spacesof fuzzy real numbers based on the difference operator Δ. We have verified some algebraic and topological properties. Further generalizations may be possible based on the difference operator Δ ^m  . The introduced notion can be applied for further investigations from different aspects.