About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 364743, 10 pages
http://dx.doi.org/10.1155/2013/364743
Research Article

Sequence Spaces Defined by Musielak-Orlicz Function over -Normed Spaces

1Department of Mathematics, Aligarh Muslim University, Aligarh 202002, India
2Department of Mathematics, Model Institute of Engineering & Technology, Kot Bhalwal 181122, Jammu and Kashmir, India
3Department of Mathematics and Institute for Mathematical Research, Universiti Putra Malaysia, 43400 Serdang, Selangor, Malaysia

Received 21 July 2013; Accepted 16 September 2013

Academic Editor: Abdullah Alotaibi

Copyright © 2013 M. Mursaleen et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In the present paper we introduce some sequence spaces over n-normed spaces defined by a Musielak-Orlicz function . We also study some topological properties and prove some inclusion relations between these spaces.

1. Introduction and Preliminaries

An Orlicz function is a function, which is continuous, nondecreasing, and convex with , for and as .

Lindenstrauss and Tzafriri [1] used the idea of Orlicz function to define the following sequence space. Let be the space of all real or complex sequences ; then which is called as an Orlicz sequence space. The space is a Banach space with the norm

It is shown in [1] that every Orlicz sequence space contains a subspace isomorphic to . The -condition is equivalent to for all values of and for . A sequence of Orlicz functions is called a Musielak-Orlicz function (see [2, 3]). A sequence defined by is called the complementary function of a Musielak-Orlicz function . For a given Musielak-Orlicz function , the Musielak-Orlicz sequence space and its subspace are defined as follows: where is a convex modular defined by

We consider equipped with the Luxemburg norm or equipped with the Orlicz norm

Let be a linear metric space. A function  :  is called paranorm if(1) for all ,(2) for all , (3) for all , (4) is a sequence of scalars with and is a sequence of vectors with ; then .

A paranorm for which implies is called total paranorm and the pair is called a total paranormed space. It is well known that the metric of any linear metric space is given by some total paranorm (see [4], Theorem , pp. 183). For more details about sequence spaces, see [512] and references therein.

A sequence of positive integers is called lacunary if , and as . The intervals determined by will be denoted by and . The space of lacunary strongly convergent sequences was defined by Freedman et al. [13] as

Strongly almost convergent sequence was introduced and studied by Maddox [14] and Freedman et al. [13]. Parashar and Choudhary [15] have introduced and examined some properties of four sequence spaces defined by using an Orlicz function , which generalized the well-known Orlicz sequence spaces , , and . It may be noted here that the space of strongly summable sequences was discussed by Maddox [16] and recently in [17].

Mursaleen and Noman [18] introduced the notion of -convergent and -bounded sequences as follows.

Let be a strictly increasing sequence of positive real numbers tending to infinity; that is, and it is said that a sequence is -convergent to the number , called the -limit of if as , where

The sequence is -bounded if . It is well known [18] that if in the ordinary sense of convergence, then This implies that which yields that and hence is -convergent to .

The concept of 2-normed spaces was initially developed by Gähler [19] in the mid 1960s, while for that of -normed spaces one can see Misiak [20]. Since then, many others have studied this concept and obtained various results; see Gunawan ([21, 22]) and Gunawan and Mashadi [23]. Let and let be a linear space over the field , where is the field of real or complex numbers of dimension , where . A real valued function on satisfying the following four conditions (1) if and only if are linearly dependent in ;(2) is invariant under permutation; (3) for any ; (4)is called an -norm on , and the pair is called an -normed space over the field .

For example, if we may take being equipped with the -norm = the volume of the -dimensional parallelepiped spanned by the vectors which may be given explicitly by the formula where for each , leting be an -normed space of dimension and be linearly independent set in , then the following function on defined by defines an -norm on with respect to .

A sequence in an -normed space is said to converge to some if

A sequence in an -normed space is said to be Cauchy if

If every Cauchy sequence in converges to some , then is said to be complete with respect to the -norm. Any complete -normed space is said to be -Banach space.

Let be a Musielak-Orlicz function, and let be a bounded sequence of positive real numbers. We define the following sequence spaces in the present paper:

If we take , we get

If we take for all , we have

The following inequality will be used throughout the paper. If , , then for all and . Also for all .

In this paper, we introduce sequence spaces defined by a Musielak-Orlicz function over -normed spaces. We study some topological properties and prove some inclusion relations between these spaces.

2. Main Results

Theorem 1. Let be a Musielak-Orlicz function, and let be a bounded sequence of positive real numbers, then the spaces , and are linear spaces over the field of complex number .

Proof. Let , and let . In order to prove the result, we need to find some such that
Since , there exist positive numbers such that Define . Since is nondecreasing, convex function and by using inequality (20), we have Thus, we have . Hence, is a linear space. Similarly, we can prove that and are linear spaces.

Theorem 2. Let be a Musielak-Orlicz function, and let be a bounded sequence of positive real numbers. Then is a topological linear space paranormed by where .

Proof. Clearly for . Since , we get . Again if , then This implies that for a given , there exist some such that Thus, Suppose that for each . This implies that for each . Let , then It follows that which is a contradiction. Therefore, for each , and thus for each . Let and be the case such that Let ; then, by using Minkowski's inequality, we have Since , and are nonnegative, we have Therefore, . Finally we prove that the scalar multiplication is continuous. Let be any complex number. By definition, Thus, where . Since , we have So the fact that scalar multiplication is continuous follows from the above inequality. This completes the proof of the theorem.

Theorem 3. Let be a Musielak-Orlicz function. If for all fixed , then .

Proof. Let ; then there exists positive number such that Define . Since is nondecreasing and convex and by using inequality (20), we have Hence, .

Theorem 4. Let and let be Musielak-Orlicz functions satisfying -condition, then one has(i); (ii); (iii).

Proof. Let , then we have
Let and choose with such that for . Let for all . We can write So, we have For . Since are nondecreasing and convex, it follows that Since satisfies -condition, we can write Hence, From (40) and (43), we have . This completes the proof of . Similarly we can prove that

Theorem 5. Let . Then for a Musielak-Orlicz function which satisfies -condition, one has(i); (ii); (iii).

Proof. It is easy to prove, so we omit the details.

Theorem 6. Let be a Musielak-Orlicz function and let . Then if and only if for some .

Proof. Let . Suppose that (45) does not hold. Therefore, there are subinterval of the set of interval and a number , where such that Let us define as follows: Thus, by (47),. But . Hence, (45) must hold.
Conversely, suppose that (45) holds and let . Then for each , Suppose that . Then for some number , there is a number such that for a subinterval , of the set of interval , From properties of sequence of Orlicz functions, we obtain which contradicts (45), by using (49). Hence, we get
This completes the proof.

Theorem 7. Let be a Musielak-Orlicz function. Then the following statements are equivalent:(i);(ii);(iii).

Proof. (i) (ii). Let (i) hold. To verify (ii), it is enough to prove Let . Then for , there exists , such that Hence, there exists such that So, we get .
(ii) (iii). Let (ii) hold. Suppose (iii) does not hold. Then for some and therefore we can find a subinterval , of the set of interval , such that Let us define as follows:
Then . But by (57), , which contradicts (ii). Hence, (iii) must holds.
(iii) (i). Let (iii) hold and suppose that . Suppose that ; then Let for each ; then by (59), which contradicts (iii). Hence, (i) must hold.

Theorem 8. Let be a Musielak-Orlicz function. Then the following statements are equivalent:(i);(ii);(iii).

Proof. (i) (ii). It is obvious.
(ii) (iii). Let (ii) hold. Suppose that (iii) does not hold. Then and we can find a subinterval , of the set of interval , such that Let us define as follows:
Thus, by (62), , but , which contradicts (ii). Hence, (iii) must hold.
(iii) (i). Let (iii) hold. Suppose that . Then Again suppose that ; for some number and a subinterval , of the set of interval , we have Then from properties of the Orlicz function, we can write Consequently, by (64), we have which contradicts (iii). Hence, (i) must hold.

Theorem 9. Let for all and let be bounded. Then

Proof. Let ; write and for all . Then for all . Take for . Define sequences and as follows.
For , let and , and for , let and . Then clearly for all , we have Now it follows that and . Therefore, Now for each , and so Hence, . This completes the proof of the theorem.

Theorem 10. i If for all , then
ii If , for all , then

Proof. (i) Let ; then Since , this implies that therefore, Hence, (ii) Let for each and . Let ; then for each , we have Since , we have Therefore, , for each . Hence,
This completes the proof of the theorem.

Theorem 11. If , for all , then

Proof. It is easy to prove so we omit the details.

Acknowledgment

The authors are very grateful to the referees for their valuable suggestions and comments. The third author also acknowledges the partial support by University Putra Malaysia under the project ERGS 1-2013/5527179.

References

  1. J. Lindenstrauss and L. Tzafriri, “On Orlicz sequence spaces,” Israel Journal of Mathematics, vol. 10, pp. 379–390, 1971. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  2. L. Maligranda, Orlicz Spaces and Interpolation, vol. 5 of Seminars in Mathematics, Polish Academy of Science, Warszawa, Poland, 1989. View at MathSciNet
  3. J. Musielak, Orlicz Spaces and Modular Spaces, vol. 1034 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 1983. View at MathSciNet
  4. A. Wilansky, Summability through Functional Analysis, North-Holland Mathematics Studies, North-Holland Publishing, Amsterdam, The Netherlands, 1984. View at MathSciNet
  5. F. Başar, M. Mursaleen, and B. Altay, “Some generalizations of the space bvp of p-bounded variation sequences,” Nonlinear Analysis: Theory, Methods & Applications A, vol. 68, no. 2, pp. 273–287, 2008. View at Publisher · View at Google Scholar · View at MathSciNet
  6. M. Mursaleen, “Generalized spaces of difference sequences,” Journal of Mathematical Analysis and Applications, vol. 203, no. 3, pp. 738–745, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  7. M. Mursaleen and S. A. Mohiuddine, “Some matrix transformations of convex and paranormed sequence spaces into the spaces of invariant means,” Journal of Function Spaces and Applications, vol. 2012, Article ID 612671, 10 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  8. M. Mursaleen, “On some new invariant matrix methods of summability,” The Quarterly Journal of Mathematics, vol. 34, no. 133, pp. 77–86, 1983. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  9. M. Mursaleen and A. K. Noman, “On some new sequence spaces of non-absolute type related to the spaces lp and l II,” Mathematical Communications, vol. 16, no. 2, pp. 383–398, 2011. View at Zentralblatt MATH · View at MathSciNet
  10. K. Raj, A. K. Sharma, and S. K. Sharma, “A sequence space defined by Musielak-Orlicz function,” International Journal of Pure and Applied Mathematics, vol. 67, no. 4, pp. 475–484, 2011. View at Zentralblatt MATH · View at MathSciNet
  11. K. Raj, S. K. Sharma, and A. K. Sharma, “Difference sequence spaces in n-normed spaces defined by Musielak-Orlicz function,” Armenian Journal of Mathematics, vol. 3, no. 3, pp. 127–141, 2010. View at MathSciNet
  12. K. Raj and S. K. Sharma, “Some sequence spaces in 2-normed spaces defined by Musielak-Orlicz function,” Acta Universitatis Sapientiae. Mathematica, vol. 3, no. 1, pp. 97–109, 2011. View at Zentralblatt MATH · View at MathSciNet
  13. A. R. Freedman, J. J. Sember, and M. Raphael, “Some Cesàro-type summability spaces,” Proceedings of the London Mathematical Society, vol. 37, no. 3, pp. 508–520, 1978. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. I. J. Maddox, “Spaces of strongly summable sequences,” The Quarterly Journal of Mathematics, vol. 18, pp. 345–355, 1967. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  15. S. D. Parashar and B. Choudhary, “Sequence spaces defined by Orlicz functions,” Indian Journal of Pure and Applied Mathematics, vol. 25, no. 4, pp. 419–428, 1994. View at Zentralblatt MATH · View at MathSciNet
  16. I. J. Maddox, “On strong almost convergence,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 85, no. 2, pp. 345–350, 1979. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  17. E. Savaş and A. Kılıçman, “A note on some strongly sequence spaces,” Abstract and Applied Analysis, vol. 2011, Article ID 598393, 8 pages, 2011. View at Publisher · View at Google Scholar
  18. M. Mursaleen and A. K. Noman, “On some new sequence spaces of non-absolute type related to the spaces lp and l I,” Filomat, vol. 25, no. 2, pp. 33–51, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  19. S. Gähler, “Lineare 2-normierte Räume,” Mathematische Nachrichten, vol. 28, pp. 1–43, 1965. View at Publisher · View at Google Scholar · View at MathSciNet
  20. A. Misiak, “n-inner product spaces,” Mathematische Nachrichten, vol. 140, pp. 299–319, 1989. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  21. H. Gunawan, “On n-inner products, n-norms, and the Cauchy-Schwarz inequality,” Scientiae Mathematicae Japonicae, vol. 5, no. 1, pp. 47–54, 2001. View at MathSciNet
  22. H. Gunawan, “The space of p-summable sequences and its natural n-norm,” Bulletin of the Australian Mathematical Society, vol. 64, no. 1, pp. 137–147, 2001. View at Publisher · View at Google Scholar · View at MathSciNet
  23. H. Gunawan and M. Mashadi, “On n-normed spaces,” International Journal of Mathematics and Mathematical Sciences, vol. 27, no. 10, pp. 631–639, 2001. View at Publisher · View at Google Scholar · View at MathSciNet