In the present paper, we introduce the concept of lacunary statistical boundedness of order β for sequences of fuzzy numbers and give some relations between lacunary statistical boundedness of order β and statistical boundedness.
Introduction, Definitions and Preliminaries
The concept of statistical convergence which is a powerful mathematical tool for studying the convergence problems of numerical problems through the concept of density was introduced by Steinhaus [32] and Fast [17] and later reintroduced by Schoenberg [30] independently. Several authors have discussed various aspects of the theory and applications of statistical convergence such as Fourier analysis theory, Ergodic theory, Number theory, Measure theory, Trigonometric series, Turnpike theory and Banach spaces. Later on it was further investigated from the sequence spaces point of view and linked with summability theory by Altinok and Et [4], Connor [11], Et et al. ([13, 16]), Fridy [19], Fridy and Orhan [19] and Orhan [20], Mursaleen [25] and many others.
By a lacunary sequence, we mean an increasing integer sequence θ = (kr) such that hr = (kr - kr-1) → ∞ as r → ∞. Throughout this paper, the intervals determined by θ will be denoted by Ir = (kr-1, kr] and the ratio will be abbreviated by qr. Recently, lacunary sequences have been discussed by various mathematicians ([5, 18, 31]).
The concepts of fuzzy sets and basic operations on a fuzzy set were introduced by Zadeh [34] as an extension of the concept of classical set. Fuzzy sets plays an important role in various fields like Possibility theory, Linguistic and numerical modeling, decision making in complex phenomena which are difficult to describe. Really, the theory of fuzzy set has become an active area of research in science and engineering, recently. This idea has been used not only in many engineering applications, such as, in the computer programming, population dynamics, in quantum physics, but also in various branches of mathematics, such as, in the theory of metric and topological spaces [1] and in studies of convergence of sequences of functions ([9, 33]).
The theory of sequence of fuzzy numbers was introduced by Matloka [24], where he proved some basic theorems related to sequences of fuzzy numbers. Later, the notion of statistical convergence for sequences of fuzzy numbers was defined and studied by Nuray and Savaş [26]. Since then, there has been increasing interest in the studies of fuzzy numbers and statistical convergence of fuzzy sequences (see [6],[27–29]).
Çolak [10] defined the concepts of statistical convergence of order β and strong p-Cesàro summability of order β for classical sequences and later, Altınok et al [3] generalized these concepts for sequences of fuzzy numbers.
The statistical boundedness which is generalization of boundedness for sequences of fuzzy numbers was defined by Aytar and Pehlivan [6] and generalized by Altinok and Mursaleen [2] using a difference operator Δ such that ΔXk = Xk - Xk+1. Aytar et al [7] defined the statistical limit superior and limit inferior of statistically bounded sequences of fuzzy numbers and studied some of their properties. Altinok and Et [4] studied the concept of λ-statistical boundedness of order β of sequences of fuzzy numbers using a nondecreasing sequence λ = (λn) of positive real numbers such that λn+1 ≤ λn + 1, λ1 = 1, λn→ ∞ as n→ ∞ and also examined the solidity, monotonicity and symmetricity of the sequence class .
For the real number sequences, the concept of lacunary statistical boundedness of order β was given by Et et al [15]. Let θ = (kr) be a lacunary sequence and 0 < β ≤ 1 be given. The lacunaryβ-density of subset of defined by
Lacunary β-density reduces to natural density in the special cases β = 1 and θ = (2r).
If X = (Xk) is a sequence of fuzzy numbers such that (Xk) satisfies property p (k) for all k except a set of lacunary β-density zero, then we say that (Xk) satisfies p (k) for “”lacunary almost all k according to β” and we abbreviate this by "a. a. kr (β)".
In this study, we are interested in lacunary statistical boundedness of order β and examine some inclusion relations between statistical boundedness and lacunary statistical boundedness of order β for sequences of fuzzy numbers.
Now, we give the basic notions which will be used throughout the paper.
A fuzzy number is a fuzzy set which satisfies the following conditions on
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;
or denoted by [u] 0, is compact.
α-level set [u] α of a fuzzy number u is defined by
Above four conditions guarantee that interval [u] α is non-empty, closed and bounded for each α ∈ [0, 1], which is defined by
Let and intervals and denote the α-level sets of fuzzy numbers u and v for α ∈ [0, 1]. Generally, we use the metric between fuzzy numbers u and v, where dH is the Hausdorff metric defined by Diamond and Kloeden [12] showed that d satisfies metric space axioms on and metric space is complete.
For any α ∈ [0, 1], the order relation on is defined by
Let u and v be two fuzzy numbers. If neither u ≤ v nor v ≤ u, then fuzzy numbers u and v are called to be incomparable and in this case, we prefer to use the notation u≁v ([12, 22]).
Let (Xk) be a sequence of fuzzy numbers. The sequence X = (Xk) is said to be convergent to the fuzzy number X0 if for every ɛ > 0 and k > k0, there exists a number such that d (Xk, X0) < ɛ, written as = X0. On the other hand, for each if there exist two fuzzy numbers u and v such that u ≤ Xk ≤ v, then the sequence (Xk) is said to be bounded [24].
Let E (F) be a fuzzy sequence space. Then,
Normal (or solid), if for all implies (Yk) ∈ E (F), whenever (Xk) ∈ E (F),
Monotone, if E (F) contains the canonical pre-images of all its step spaces,
Symmetric, if (Xπ(n)) ∈ E (F), whenever (Xk) ∈ E (F), where π is a permutation of .
It is well known that; If E (F) is solid, then E (F) is monotone.
Main Results
Definition 1. Let θ = (kr) be a lacunary sequence, X = (Xk) be a sequence of fuzzy numbers and β ∈ (0, 1] be a real number. A sequence X = (Xk) is said to be lacunary statistically Cauchy sequence of order β provided that for every ɛ > 0 there exists a number N (= N (ɛ)) such that
i.e.
Definition 2. Let θ = (kr) be a lacunary sequence, β ∈ (0, 1] and X = (Xk) be a sequence of fuzzy numbers. A sequence (Xk) is said to be lacunary statistically bounded above of order β if there exists a fuzzy number L such that
and a sequence (Xk) is said to be lacunary statistically bounded below of order β if there exists a fuzzy number L such that
where Ir = (kr-1, kr] and
Since the set is partially ordered set, it must be considered the incomparable elements in Therefore we have added the elements of the set to the set
If a sequence X = (Xk) of fuzzy numbers is both lacunary statistically bounded above of order β and lacunary statistically bounded below of order β, then it is called lacunary statistically bounded of order β.
The set of all lacunary statistically bounded sequences of order β will be denoted by . For θ = (2r) we shall write Sβ (F, b) instead of and in the special cases β = 1 and θ = (2r) we shall write S (F, b) instead of For β = 1 we obtain the set Sθ (F, b) of all lacunary statistically bounded sequences of fuzzy numbers.
Now, we give an example related to above definition as follows:
Example 3. Consider the sequence X = (Xk) of fuzzy numbers defined by
α-level set of this sequence is
Hence, we can write for
and
Finally, the sequence X = (Xk) is lacunary statistically bounded of order β, but not bounded for lacunary sequence θ = (2r).
In view of the existing standard techniques and routine operations, proofs of the following three results omitted.
Proposition 4.Every convergent sequence of fuzzy numbers is lacunary statistically bounded, but the converse is not true.
Proposition 5.Let X = (Xk) be a sequence of fuzzy numbers and 0 < β ≤ 1 be given. Then, every lacunary statistically convergent sequence of order β is lacunary statistically Cauchy sequence of order β.
Proposition 6.Let 0 < β ≤ 1 be given. Then, every lacunary statistically Cauchy sequence of order β of fuzzy numbers is lacunary statistically bounded of order β.
Theorem 7.Let 0 < β ≤ 1 be given. Then, every bounded sequence of fuzzy numbers is lacunary statistically bounded of order β, but the converse is not true.
Proof. First part of proof is easy. For second part, define a sequence X = (Xk) of fuzzy numbers as follows:
and α-level set is
Hence, we can write
and
for . Then, it can be seen that X = (Xk) is lacunary statistically bounded of order β, but not bounded for θ = (2r) (see Fig. 1).
(Xk) is lacunary statistically bounded of order β, but not bounded
Corollary 8.If a sequence of fuzzy numbers is bounded, then it is lacunary statistically bounded, but the converse does not hold.
Theorem 9.Let 0 < β ≤ 1 be given. Every lacunary statistically convergent sequence of fuzzy numbers of order β is lacunary statistically bounded of order β, but the converse is not true.
Proof. The proof of first part follows from Proposition 5 and Proposition 6. To show the strictness of the inclusion, let θ = (2r) be given and the sequence X = (Xk) defined by
and the α-level set is
Then , but in the special cases β = 1 and θ = (2r). (See Fig. 2)
(Xk) is lacunary statistically bounded of order β, but not lacunary statistically convergent of order β
The following result is a consequence of Theorem 9.
Corollary 10.If a sequence of fuzzy numbers is lacunary statistically convergent, then it is lacunary statistically bounded, but the converse does nothold.
Theorem 11.i) is not symmetric,
ii) is normal and hence monotone,
Proof. i) Consider the following sequence of fuzzy numbers:
After some arithmetic operations related to membership function of (Xk), we can find the α-level sets of sequence (Xk) as
This sequence belongs to the set for and θ = (2r). Let Y = (Yk) be a rearrangement of (Xk), which is defined as follows:
Clearly for any fuzzy number L, we can write in the special case β = 1 and θ = (2r), so
ii) Let and Y = (Yk) be a sequence such that for all . Since there exists a fuzzy number L such that
Clearly as
Hence is normal and so it is monotone since every normal space is monotone.
Theorem 12.If 0 < β ≤ γ ≤ 1 then and the inclusion is strict.
Proof. It is enough to show the strictness of the inclusion since the inclusion part of proof is easy. For this, let θ be given and the sequence X = (Xk) defined by
Then for but for
Theorem 12 yields the following corollary.
Corollary 13.If a sequence of fuzzy numbers is lacunary statistically bounded of order β, then it is lacunary statistically bounded.
Theorem 14.Let 0 < β ≤ 1 and θ = (kr) be a lacunary sequence. If then
Proof. Suppose that then there exists a number δ > 0 such that qr ≥ 1 + δ for sufficiently large r, which implies that
If (Xk) ∈ Sβ (F, b), then for a fuzzy number L and sufficiently large r, we have
this proves the proof.
Theorem 15.Let 0 < β ≤ 1, X = (Xk) be a sequence of fuzzy numbers and θ = (kr) be a lacunary sequence. If then
Proof. Omitted.
Remark 16. Although every subsequence of a bounded sequences of fuzzy numbers is bounded, this is no longer true for subsequences of lacunary statistically bounded of order β sequences of fuzzy numbers. For this we can give the following example.
Example 17. Let θ = (kr) be a lacunary sequence, with and define a sequence X = (Xk) of fuzzy numbers as follow:
We can calculate the α-level set of this sequence as
Then since that is, X = (Xk) is lacunary statistically bounded for . On the other hand, define a fuzzy subsequence (Yk) of (Xk) by
The α-level set of subsequence (Yk) is [Yk] α = [α + k2 - 1, k2 + 1 - α]. It is easy to see that subsequence (Yk) is not lacunary statistically bounded.
Theorem 18. Let 0 < β ≤ 1, X = (Xk) be a sequence of fuzzy numbers and θ = (kr) be a lacunary sequence. If
then
Proof. For a fuzzy number L, we have
Therefore,
Taking limit as r→ ∞ and using (1), we get
Let and be two lacunary sequences such that Ir ⊆ Jr for all Suppose also that the parameters β and γ are fixed real numbers such that 0 < β ≤ γ ≤ 1. We shall now give general inclusion relation for different choices of θ.
Theorem 19.Let X = (Xk) be a sequence of fuzzy numbers, θ = (kr) and θ′ = (sr) be two lacunary sequences such that Ir ⊂ Jr for all and β and γ be such that 0 < β ≤ γ ≤ 1,
(i) If
then
(ii) If
then
Proof. (i) Suppose that Ir ⊂ Jr for all and let (2) be satisfied. For a fuzzy number L we have
and so
for all where Ir = (kr-1, kr], Jr = (sr-1, sr], hr = kr - kr-1, ℓr = sr - sr-1. Now taking the limit as r→ ∞ in the last inequality and using (2) we get
(ii) Let and (3) be satisfied. Since Ir ⊂ Jr, for a fuzzy number L we may write
for all Since by (3) the first term and since the second term of right hand side of above inequality tend to 0 as r→ ∞. This implies that
The following results are derivable easily from Theorem 19.
Corollary 20.Let X = (Xk) be a sequence of fuzzy numbers, and let θ = (kr) and θ′ = (sr) be two lacunary sequences such that Ir ⊆ Jr for all
If the condition (2) is satisfied, then
(i) for each β ∈ (0, 1],
(ii) for each β ∈ (0, 1],
(iii)
Furthermore, if the condition (3) is satisfied, then
(i) for each β ∈ (0, 1],
(ii) for each β ∈ (0, 1],
(iii) Sθ (F, b)⊆Sθ′ (F, b).
Conclusion
The notion of statistical convergence and statistical boundedness for sequences of fuzzy numbers defined by Nuray and Savaş [26] and Aytar and Pehlivan [6], respectively. For β ∈ (0, 1], Çolak [10] generalized the definition of statistical convergence for real sequences and introduced the statistical convergence of order β. Et et al [15] defined the lacunary statistical boundedness of order β for real sequences using a lacunary sequence θ = (kr) such that hr = (kr - kr-1)→ ∞ as r → ∞. In this study we generalized the study of Et et al [15] for sequences of fuzzy numbers and so defined the lacunary statistical boundedness of order β. Furthermore, we gave some inclusion theorems relation to statistical boundedness and lacunary statistical boundedness, and examined the some properties like symmetricity, normality and monotonicity.
Statistical convergence has several generalizations and applications in different fields of mathematics such as: rough convergence, rough continuity and rough statistical convergence. The theory of soft rough sets and soft rough hemirings studied by Zhan et al. ([35–38]) and Ma et al [23]. Regarding this topic, the concept of rough statistical boundedness for sequence of fuzzy numbers can be studied. This is an open problem to work for researchers.
References
1.
AlimohammadyM. and RoohiM., Compactness in fuzzy minimal spaces, Chaos, Solitons & Fractals28(4) (2006), 906–912.
2.
AltınokH. and MursaleenM., Δ-Statistical boundedness for sequences of fuzzy numbers, Taiwanese Journal of Mathematics15(5) (2011), 2081–2093.
3.
AltınokH., AltınY. and IşıkM., , Statistical convergence and strong p-Cesàro summability of order β in sequences of fuzzy numbers, Iranian J of Fuzzy Systems9(2) (2012), 65–75.
4.
AltınokH. and EtM., On λ-statistical boundedness of order β of sequences of fuzzy numbers, Soft Computing19(8) (2015), 2095–2100.
5.
AltınokH. and YagdıranD., Lacunary statistical convergence of order β in difference sequences of fuzzy numbers, Journal of Intelligent & Fuzzy Systems31 (2016), 227–235.
6.
AytarS. and PehlivanS., Statistically monotonic and statistically bounded sequences of fuzzy numbers, Inform Sci176(6) (2006), 734–744.
7.
AytarS., MammadovM.A. and PehlivanS., Statistical limit inferior and limit superior for sequences of fuzzy numbers, Fuzzy Sets and Systems157(7) (2006), 976–985.
GadjievA.D. and OrhanC., Some approximation theorems via statistical convergence, Rocky Mountain J Math32(1) (2002), 129–138.
22.
LakshmikanthamV. and MohapatraR.N., Theory of Fuzzy Differential Equations and Inclusions, Taylor and FrancisNew York2003.
23.
MaX., LiuQ. and ZhanJ., A survey of decision making methods based on certain hybrid soft set models, Artificial Intelligence Review47(4) (2017), 507–530.
24.
MatlokaM., Sequences of fuzzy numbers, Busefal28 (1986), 28–37.
25.
MursaleenM., λ- statistical convergence, Math Slovaca50(1) (2000), 111–115.
26.
NurayF. and SavaşE., Statistical convergence of sequences of fuzzy real numbers, Math Slovaca45(3) (1995), 269–273.
27.
QiuD., ZhangW. and LuC., On fuzzy differential equations in the quotient space of fuzzy numbers, Fuzzy sets and systems295 (2016), 72–98.
28.
QiuD., LuC., ZhangW. and LanY., Algebraic properties and topological properties of the quotient space of fuzzy numbers based on Mareš equivalence relation, Fuzzy Sets and Systems245 (2014), 63–82.
29.
QiuD. and ZhangW., Symmetric fuzzy numbers and additive equivalence of fuzzy numbers, Soft Computing17(8) (2013), 1471–1477.
30.
SchoenbergI.J., The integrability of certain functions and related summability methods, Amer Math Monthly66 (1959), 361–375.
31.
SengülH. and EtM., On lacunary statistical convergence of order α, Acta Math Sci Ser B Engl Ed34(2) (2014), 473–482.
32.
SteinhausH., Sur la convergence ordinaire et la convergence asymptotique, Colloquium Mathematicum2 (1951), 73–74.
33.
WuK., Convergences of fuzzy sets based on decomposition theory and fuzzy polynomial function, Fuzzy Sets and Systems109(2) (2000), 173–185.
34.
ZadehL.A., Fuzzy sets, Information and Control8 (1965), 338–353.
35.
ZhanJ., LiuQ. and HerawanT., A novel soft rough set: Soft rough hemirings and corresponding multicriteria group decision making, Applied Soft Computing54 (2017), 393–402.
36.
ZhanJ., AliM.I. and MehmoodN., On a novel uncertain soft set model: Z-soft fuzzy rough set model and corresponding decision making methods, Applied Soft Computing56 (2017), 446–457.
37.
ZhanJ. and ZhuK., A novel soft rough fuzzy set: Z-soft rough fuzzy ideals of hemirings and corresponding decision making, Soft Computing21(8) (2017), 1923–1936.
38.
ZhanJ., YuB. and FoteaV.E., Characterizations of two kinds of hemirings based on probability spaces, Soft Computing20(2) (2016), 637–648.