Generalized difference strongly summable sequence spaces of fuzzy real numbers defined by ideal convergence and Orlicz function
© Kılıçman and Borgohain; licensee Springer. 2013
Received: 25 June 2013
Accepted: 10 September 2013
Published: 7 November 2013
We study some new generalized difference strongly summable sequence spaces of fuzzy real numbers using ideal convergence and an Orlicz function in connection with de la Vallèe Poussin mean. We give some relations related to these sequence spaces also.
MSC:40A05, 40A25, 40A30, 40C05.
Let , c and be the Banach space of bounded, convergent and null sequences , respectively, with the usual norm .
A sequence is said to be almost convergent if all of its Banach limits coincide.
Let denote the space of all almost convergent sequences.
Let σ be a one-to-one mapping from the set of positive integers into itself such that , , where denotes the m th iterative of the mapping σ in n, see .
Thus, we say that a bounded sequence is σ-convergent if and only if such that for all , .
We write to denote the set of all strong σ-convergent sequences, and when (1) holds, we write .
Taking , we obtain . Then the strong σ-convergence generalizes the concept of strong almost convergence.
The notion of ideal convergence was first introduced by Kostyrko et al.  as a generalization of statistical convergence, which was later studied by many other authors.
An Orlicz function is a function , which is continuous, non-decreasing and convex with , , for and , as .
becomes a Banach space, which is called an Orlicz sequence space.
for , where , for all .
The generalized difference is defined as follows:
The concept of fuzzy set theory was introduced by Zadeh in the year 1965. It has been applied for the studies in almost all the branches of science, where mathematics is used. Workers on sequence spaces have also applied the notion and introduced sequences of fuzzy real numbers and studied their different properties.
2 Definitions and preliminaries
A fuzzy real number X is a fuzzy set on R, i.e., a mapping () associating each real number t with its grade of membership .
A fuzzy real number X is called convex if , where .
If there exists such that , then the fuzzy real number X is called normal.
A fuzzy real number X is said to be upper semicontinuous if for each , , for all , it is open in the usual topology of R.
The class of all upper semicontinuous, normal, convex fuzzy real numbers is denoted by .
Define by , for . Then it is well known that is a complete metric space.
A sequence of fuzzy real numbers is said to converge to the fuzzy number , if for every , there exists such that for all .
Let X be a nonempty set. Then a family of sets (power sets of X) is said to be an ideal if I is additive, i.e., and hereditary, i.e., , .
The fuzzy number is called the I-limit of the sequence of fuzzy numbers, and we write .
where for .
for the sets of sequences that are, respectively, strongly summable to zero, strongly summable, and strongly bounded by de la Vallé-Poussin method.
We also note that Nuray and Savas  defined the sets of sequence spaces such as strongly σ-summable to zero, strongly σ-summable and strongly σ-bounded with respect to the modulus function, see .
In this article, we define some new sequence spaces of fuzzy real numbers by using Orlicz function with the notion of generalized de la Vallèe Poussin mean, generalized difference sequences and ideals. We will also introduce and examine certain new sequence spaces using the tools above.
3 Main results
Let I be an admissible ideal of N, let M be an Orlicz function. Let be a sequence of real numbers such that for all k, and . This assumption is made throughout the paper.
Further, when , for , the sets and are reduced to and , respectively.
If with as uniformly in m, then we write .
The following well-known inequality will be used later.
for all k and .
Lemma 3.1 (See )
Let , . Then if and only if , where .
Note that no other relation between and is needed in Lemma 3.1.
Theorem 3.2 Let . Then implies that . Let . If , then is unique.
Proof Let .
and, consequently, .
Let . Suppose that , and .
From (3) and (4), it follows that , and by the definition of an Orlicz function, we have .
Hence, , and this completes the proof. □
- (ii)Let . Then
- (ii)Let and . Let . Then for each k, , there exists a positive integer N such that
This completes the proof. □
Theorem 3.4 Let stand for , or and . Then the inclusion is strict. In general, for all and the inclusion is strict.
Proof Let us take .
Since the set on the right-hand side belongs to I, so does the left-hand side. The inclusion is strict as the sequence , for example, belongs to but does not belong to for and for all k. □
The authors are very grateful to the referees for the very useful comments and for detailed remarks that improved the presentation and the contents of the manuscript. The work of the authors was carried under the Post Doctoral Fellow under National Board of Higher Mathematics, DAE, project No. NBHM/PDF.50/2011/64. The first author gratefully acknowledges that the present work was partially supported under the Post Doctoral Fellow under National Board of Higher Mathematics, DAE, project No. NBHM/PDF.50/2011/64. The second author also acknowledges that the part of the work was supported by the University Putra Malaysia, Grant ERGS 5527179.
- Lorentz GG: A contribution to the theory of divergent sequences. Acta Math. 1948, 80: 167-190. 10.1007/BF02393648MathSciNetView ArticleMATHGoogle Scholar
- Maddox IJ: Spaces of strongly summable sequences. Q. J. Math. 1967, 18: 345-355. 10.1093/qmath/18.1.345MathSciNetView ArticleMATHGoogle Scholar
- Schaefer P: Infinite matrices and invariant means. Proc. Am. Math. Soc. 1972, 36: 104-110. 10.1090/S0002-9939-1972-0306763-0MathSciNetView ArticleMATHGoogle Scholar
- Mursaleen M: Matrix transformations between some new sequence spaces. Houst. J. Math. 1993, 9(4):505-509.MathSciNetGoogle Scholar
- Kostyrko P, Šalǎt T, Wilczyński W: On I -convergence. Real Anal. Exch. 2000-2001, 26(2):669-685.MATHGoogle Scholar
- Lindenstrauss J, Tzafriri L: On Orlicz sequence spaces. Isr. J. Math. 1971, 10: 379-390. 10.1007/BF02771656MathSciNetView ArticleMATHGoogle Scholar
- Kizmaz H: On certain sequence spaces. Can. Math. Bull. 1981, 24(2):169-176. 10.4153/CMB-1981-027-5MathSciNetView ArticleMATHGoogle Scholar
- Leindler L: Über die verallgemeinerte de la Vallée-Poussinsche summierbarkeit allgemeiner Orthogonalreihen. Acta Math. Acad. Sci. Hung. 1965, 16: 375-387. 10.1007/BF01904844MathSciNetView ArticleMATHGoogle Scholar
- Nuray F, Savaş E: On strong almost A -summability with respect to a modulus and statistical convergence. Indian J. Pure Appl. Math. 1992, 23(3):217-222.MathSciNetGoogle Scholar
- Savaş E, Kılıçman A: A note on some strongly sequence spaces. Abstr. Appl. Anal. 2011., 2011: Article ID 598393Google Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.