In this paper, we introduce a new type of almost statistical convergence of generalized difference sequences of fuzzy numbers involving lacunary sequences. We give the relations between the lacunary strongly almost Cesàro type convergence and lacunary almost statistical convergence. Furthermore, we study some of their properties like completeness, solidity, symmetricity etc. We also give some inclusion relations related to these classes.
The concept of statistical convergence was initially introduced by Fast [13] and Schoenberg [28], independently. It has a wide range of applications in field of sequences spaces like Fourier analysis, Ergodic theory,Number theory and Summability theory ([6, 34]). Moreover, statistical convergence is closely related to the concept of convergence inprobability.
The existing literature on almost statistical convergence and strongly almost convergence has been restricted to real or complex sequences, but Altınok et al. [2] extended the idea to apply to sequences of fuzzy numbers and also Altın et al. [1], Altınok et al.[3], Çolak et al. [8], Et et al. [12], Gökhan et al. [17],Nuray [25], Savas [27], Talo and Başar [29], Tripathy et al. [33] studied the sequences of fuzzy numbers.
The main purpose of the present paper is to introduce and examine the spaces and where is a difference operator, θ = (kr) is a lacunary sequence and p is any sequence of strictly positive real numbers so as to fill up the existinggaps in the literature. It is particularly interesting to use a difference operator and a lacunary sequence for introducing a sequence space of fuzzy numbers. In the second section of this study, we give a brief overview about statistical convergence, fuzzy numbers and using the generalized difference operator and the lacunary sequence θ = (kr) we define the concepts of lacunary almost statistical convergence and lacunary strongly almost convergence of sequences of fuzzy numbers. In section 3 we establish some inclusion relations between and , between and .
Definitions and preliminaries
The definitions of statistical convergence and strong p-Cesàro convergence of a sequence of real numbers were introduced in the literature independently of one another and followed different lines of development since their first appearance. It turns out, however, that the two definitions can be simply related to one another in general and are equivalent for bounded sequences. The idea of statistical convergence depends on the density of subsets of the set of natural numbers. The density of a subset E of is defined by
where χE is the characteristic function of E. It is clear that any finite subset of has zero natural density and δ (Ec) = 1 - δ (E).
A sequence (xk) of complex numbers is said to be statistically convergent to ℓ if for every ɛ > 0, In this case we write or
Fuzzy sets are considered with respect to a nonempty base set X of elements of interest. The essential idea is that each element x ∈ X is assigned a membership grade u (x) a value in [0, 1], with u (x) =0 corresponding to nonmembership, 0 < u (x) <1 to partial membership, and u (x) =1 to full membership. According to Zadeh [35] a fuzzy subset of X is a nonempty subset {(x, u (x)) : x ∈ X} of X × [0, 1] for some function u : X ⟶ [0, 1]. The function u itself is often used for the fuzzy set.
Let denote the family of all nonempty, compact, convex subsets of The space has linear structure induced by the operations A+ B = { a + b : a ∈ A, b ∈ B } and λA ={ λa : a ∈ A } for and If and , then
and if α, β ≥ 0, then (α + β) A = αA + βA . The distance between A and B is defined by the Hausdorff metric
where ∥ .∥ denotes the usual Euclidean norm in It is well known that is a complete metric space.
Denote
where
u is normal, that is, there exists an such that u (x0) =1 ;
u is fuzzy convex, that is, for and 0≤ λ ≤ 1, u (λx + (1 - λ) y) ≥ min [u (x) , u (y)] ;
u is upper semicontinuous;
the closure of denoted by [u] 0, is compact.
If , then u is called a fuzzy number, and is said to be a fuzzy number space.
For 0 < α ≤ 1, the α-level set [u] α of is defined by
Then from (i) - (iv), it follows that the α-level sets [u] α are in the space
For the addition and scalar multiplication in we have
where
The aritmetic operations for α-level sets are defined as follows:
For now and what follows we will denote α-level sets by α ∈ [0, 1] . Then we have
Define, for each 1 ≤ q < ∞ , and where δ∞ is the Hausdorff metric. Clearly with dq ≤ ds if q ≤ s ([9] and kloeden, [19]).
For simplicity in notation, throughout the paper d will denote the notation dq with 1 ≤ q ≤ ∞ .
By a lacunary sequence θ = (kr) ; r = 0, 1, 2, …, where k0 = 0, we mean an increasing sequence of non-negative integers with hr = (kr - kr-1)→ ∞ as r → ∞ . The intervals determined by θ will be denoted by Ir = (kr-1, kr] and . Lacunary sequences have been discussed in ([5, 25]).
A sequence X = (Xk) of fuzzy numbers is a function X from the set of all natural numbers into Thus, a sequence (Xk) of fuzzy numbers is a correspondence from the set of natural numbers to a set of fuzzy numbers, i.e., to each natural number k there corresponds a fuzzy number X (k). It is more common to write Xk rather than X (k) and to denote the sequence by (Xk) rather than X. The fuzzy number Xk is called the k-th term of the sequence.
Let X = (Xk) be a sequence of fuzzy numbers. The sequence X = (Xk) of fuzzy numbers is said to be bounded if the set of fuzzy numbers is bounded and convergent to the fuzzy number X0, written as = X0, if for every ɛ > 0 there exists a positive integer k0 such that d (Xk, X0) < ɛ for k > k0 . Let and denote the set of all bounded sequences and all convergent sequences of fuzzy numbers, respectively [22].
The famous space of all almost convergent sequences was introduced by Lorentz [20] and a sequence x = (xk) is said to be strongly almost con-vergent to a number ℓ (see Maddox [21]) if
The difference sequence spaces ℓ∞ (Δ), c (Δ) and c0 (Δ), consisting of all real valued sequences x = (xk) such that Δx = (xk - xk+1) in the sequence spaces ℓ∞, c and c0, were defined by Kızmaz [18]. The idea of difference sequences was generalized by Et and Çolak [11] and colak, Başar and Altay [4] and altay2 Tripathy et al. ([31], [32]) and many others.
Let be the set of all sequences of fuzzy numbers. The operator is defined by (Δ
0X) k = Xk, and for all Throughout the paper m, n will denote any positive integers and for convenience we will write instead of
Definition 2.1. [31]Let X = (Xk) be a sequence of fuzzy numbers. Then the sequence X = (Xk) is said to be bounded if the set of fuzzy numbers is bounded, and convergent to the fuzzy number X0, written as , if for every ɛ > 0 there exists a positive integer k0 such that for all k > k0 . By and we denote the sets of all bounded sequences and all convergent sequences of fuzzy numbers, respectively.
Definition 2.2. Let θ = (kr) be a lacunary sequence and X = (Xk) be a sequence of fuzzy numbers. Then the sequence X = (Xk) of fuzzy numbers is said to be lacunary almost statistically convergent to the fuzzy number X0, if for every ɛ > 0,
The set of all lacunary almost statistically convergent sequences of fuzzy numbers is denoted by In this case we write In the special case θ = (2r) , we shall write instead of
Definition 2.3. Let θ = (kr) be a lacunary sequence, X = (Xk) be a sequence of fuzzy numbers and p = (pk) be any sequence of strictly positive real numbers. We define the following sets
where
If we say that X is lacunary strongly almost convergent to the fuzzy number X0 and is written as
We get the following sequence spaces from the above sequence spaces giving particular values to m, n, θand p .
and when θ = (2r) ,
If pk = 1 for all then and
If m = 1 then and
A sequence space is said to be normal (or solid) if and (Yk) is such that implies
A sequence space is said to be monotone if contains the canonical pre-image of all its step spaces.
Remark. If a sequence space is solid, then is monotone.
A sequence space is said to be symmetric if whenever where π is a permutation of .
A sequence space is said to be convergence free if whenever and implies
The sequence spaces and contain some unbounded sequences of fuzzy numbers which are divergent, too. To show that let m = 1, θ = (2r) and pk = 1 for all Then the sequence belongs to , but the sequence X is divergent and is not bounded.
For the classical sets, (xk) converges to ℓ implies converges to 0, but this case does not hold for the sequences of fuzzy numbers. We give the following example for this.
Example 1. Let θ = (2r) , pk = 1 for all and n = m = 1 . Consider the sequence (Xk) as follows:
Then the sequence X = (Xk) is convergent to the fuzzy number L, where
We find the α-level sets of Xk and ΔXk as follows respectively:
and
In this section we give some inclusion relations between and , between and
Theorem 3.1.Let the sequence (pk) be bounded. Then and the inclusions are strict.
Proof. The inclusion is obvious. So, we will only show that Let Then we have
where and D = max(1, 2H-1). Thus we get
To show that the inclusion is strict, consider the following example:
Let θ = (2r) , pk = 1 for all and n = m = 1 . Consider the sequence (Xk) of fuzzy numbers asfollows:
Then, for α ∈ (0, 1] , we have α-level sets of Xk and ΔXk as follows:
and
Now it is easy to see that for α ∈ (0, 1] and all , where Thus, the sequence (σn) of fuzzy numbers is bounded but is not convergent.(See Fig. 2)
Theorem 3.2.The spaces and are closed under the operations of addition and scalarmultiplication.
Proof. It is easy so it is omitted.
Theorem 3.3. The spaces are complete metric space with the metric
where
Proof. We will prove only for space The others can be shown by using similar techniques. Let (Xs) be a Cauchy sequence in space where for each Then
Thus and as s, t → ∞ , for each fixed Now from
we have as s, t → ∞ , for each fixed Hence is a Cauchy sequence in Since is complete, it is convergent
say, for each Since (Xs) is a Cauchy sequence, for each ɛ > 0, there exists n0 = n0 (ɛ) such that
Hence for each we get
So we have
and
for all and s ≥ n0 . This implies that δ
Δ
(Xs, X) <2ɛ, for all s ≥ n0, that is Xs → X as s → ∞ , where X = (Xj) . Finally, we obtain from following inequality
where and D = max(1, 2H-1) . This shows that is a complete metric space.
Theorem 3.4.Let 0 < pk ≤ qk and be bounded. Then .
Proof. It is easy so it is omitted.
Theorem 3.5.Let θ = (kr) be a lacunary sequence with 1< then we have
Proof. Suppose then there exists δ > 0 such that for all r ≥ 1 . Then for we write
Since hr = kr - kr-1, we have and . The terms and both converge to zero uniformly in i, and hence it follows that Ar → 0 as r → ∞ , uniformly in i . Hence
Now suppose that Then, there exists β > 0 such that qr < β for all r ≥ 1 . Let and ɛ > 0 . There exists R > 0 such that for every j ≥ R
We can also find K > 0 such that Aj ≤ K for all j = 1, 2, …. Now let ℓ be any integer with kr-1 < ℓ ≤ kr, where r > R . Then
Since kr-1→ ∞ as r → ∞ , it follows that and consequently
Theorem 3.6.If and X is lacunary strongly almost convergent to the fuzzy numberX0, that is then X0 is unique.
Proof. Let and suppose that such that X0 ≠ X1. Then
and
Then we have
hence
Also, since clearly
we have, from the last two equality [d (X0, X1)] s = 0 . Thus the limit is unique.
Theorem 3.7.Let θ = (kr) be a lacunary sequence and X = (Xk) be a sequence of fuzzy numbers, then we have
Proof. Let . Then there exists a constant K1 > 0 such that
and so we have Conversely, let Then there exists a constant K2 > 0 such that for all j, and so
Thus
The proofs of the following theorems are easy, therefore we give them without proof.
Theorem 3.8.Let θ = (kr) be a lacunary sequence with then we have
Theorem 3.9.Let X = (Xk) be a sequence of fuzzy numbers and then .
Theorem 3.10.Let X = (Xk) be a bounded sequence of fuzzy numbers, then .
Theorem 3.11.The sequence spaces and are solid and hence monotone, but the sequence spaces , , and are not solid.
Proof. Let
and (Yk) be such that for each . Then we get
Hence is solid and hence monotone. The space is not solid. This follows from the following example:
Let pn = 1 for all , θ = (2r) and m = 1 . Let us consider the sequences and
then Hence is not solid.
Theorem 3.12. Let μ denotes any of the sequence spaces , , and Then, the following statements hold:
μ is not symmetric,
μ is not convergence free.
Proof. Since the proof can be obtained for the spaces in the similar way, we consider only the space
a)Let pk = 1 for all θ = (2r) and m = 2 . Consider the sequence . Define by a rearrangement of (Xk) . Then
b) Let pk = 1 for all and m = 3 . Suppose that θ = (2r) . Define the sequence {Xn (t)} by
Then, we have
Therefore, where X (t) is defined by
Hence, Now, consider {Yn (t)} defined by
∥At this stage,
∥It is clear that This shows that the space is not convergence free.
Conclusion
The sequences of fuzzy numbers were introduced and studied by Matloka [22] and the first difference sequences of fuzzy numbers was studied by Savaş [27], Talo and Başar [30]. Now in this paper we study the mth difference sequences of fuzzy numbers for some sequence classes. The results which we obtained in this study are much more general than those obtained by others. To do this we introduce some of fairly wide classes of sequences of fuzzy numbers using the generalized difference operator and a lacunary sequence θ = (kr) . Furthermore using these concepts we establish some inclusion relations between and , between and and show that the sequence spaces , and are complete metric spaces with suitable metric.
References
1.
AltinYEtMBaşarirM2007On some generalized difference sequences of fuzzy numbersKuwait J Sci Engrg341A114
2.
AltinokHAltinYEtM2004Lacunary almost statistical convergence of fuzzy numbersThai J Math22265274
3.
AltinokHÇolakREtM2009λ-difference sequence spaces of fuzzy numbersFuzzy Sets and Systems1602131283139
4.
BaşarFAltayB2003On the space of sequences of p-bounded variation and related matrix mappingsUkrainian Math J551136147
5.
BilginT2004Lacunary strongly Δ-convergent sequences of fuzzy numbersInform Sci1601-4201206
6.
BrahaNL2011A new class of sequences related to the ℓp spaces defined by sequences of Orlicz functionsJ Inequal Appl10Art. ID 539745
7.
ConnorJS1988The statistical and strong p-Cesáro convergence of sequencesAnalysis81-24763
8.
ÇolakRAltinokHEtM2009Generalized difference sequences of fuzzy numbersChaos Solitons Fractals40311061117
9.
DiamondPKloedenP1990Metric spaces of fuzzy setsFuzzy Sets and Systems352241249
10.
EtM2003Strongly almost summable difference sequences of order μ defined by a modulusStudia Sci Math Hungar404463476
11.
EtMÇolakR1995On some generalized difference sequence spacesSoochow J Math214377386
12.
EtMAltinokHÇolakR2006On λ-statistical convergence of difference sequences of fuzzy numbersInform Sci1761522682278
13.
FastH1951Sur la convergence statistiqueColloquium Math2241244
14.
FreedmanARSemberJJRaphaelM1978Some Cesáro type summabilityProc London Math Soc373508520
GökhanAEtMMursaleenM2009Almost lacunary statistical and strongly almost lacunary convergence of sequences of fuzzy numbersMath Comput Modelling493-4548555
18.
KizmazH1981On certain sequence spacesCanad Math Bull242169176
19.
KelavaOSeikkalaS1984On fuzzy metric spacesFuzzy Sets and Systems123215229
20.
LorentzGG1948A contribution to the theory of divergent sequencesActa Math80167190
21.
MaddoxIJ1978A new type of convergenceMath Proc Cambridge Philos Soc8316164
22.
MatlokaM1986Sequences of fuzzy numbersBUSEFAL282837
23.
MursaleenMMohiuddineSA2009Statistical convergence of double sequences in intuitionistic fuzzy normed spacesChaos Solitons Fractals41524142421
24.
MursaleenMOsamaHEdelyH2009On the invariant mean and statistical convergenceAppl Math Lett221117001704
25.
NurayF1998Lacunary statistical convergence of sequences of fuzzy numbersFuzzy Sets and Systems993353356
26.
ŠalátT1980On statistically convergent sequences of real numbersMath Slovaca302139150
27.
SavasE2000A note on sequence of fuzzy numbersInform Sci1241-4297300
28.
SchoenbergIJ1959The integrability of certain functions and related summability methodsAmer Math Monthly66361375
29.
TaloÖBaşarF2009Determination of the duals of classical sets of sequences of fuzzy numbers and related matrix transformationsComput Math Appl584717733
30.
TaloÖBaşarF2008On the space bvp(F) of sequences ofp-bounded variation of fuzzy numbersActa Math Sin (Engl Ser)24712051212
31.
TripathyBCBaruahAEtMGüngörM2012On almost statistical convergence of new type of generalized difference sequence of fuzzy numbersIranian Journal of Science &Technology, IJSTA2147155
32.
TripathyBCEsiATripathyB2005On a new type of generalized difference Cesáro sequence spacesSoochow J Math313333340
33.
TripathyBCDuttaAJ2010Bounded variation double sequence space of fuzzy numbersComput Math Appl59210311037
34.
TripathyBC1997Matrix transformations between some class of sequencesJ Math Anal Appl2062448450
35.
ZadehLA1965Fuzzy setsInformation and Control8338353