Abstract and Applied Analysis

Volume 2013 (2013), Article ID 371806, 7 pages

http://dx.doi.org/10.1155/2013/371806

## An Extension of Modular Sequence Spaces

^{1}Department of Mathematics, Gauhati University, Guwahati, Assam 781014, India^{2}Department of Mathematics, Faculty of Science, Taibah University, P.O. Box 30097, Almadinah Almunawwarah 41477, Saudi Arabia

Received 1 April 2013; Accepted 2 June 2013

Academic Editor: Jinde Cao

Copyright © 2013 Hemen Dutta and Iqbal H. Jebril. 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

The main aim of this paper is to present an extension of the modular sequence spaces by means of Cesàro mean of order one, to investigate several relevant algebraic and topological properties, and derive some other spaces in the sequel.

#### 1. Introduction

Throughout the paper will represent the spaces of all valued sequences spaces, where is a seminormed space, seminormed by . For , the space of complex numbers, these represent the corresponding scalar valued sequence spaces. The zero sequence is denoted by , where is the zero element of .

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

If convexity of Orlicz function is replaced by , then this function is called a modulus function introduced by Nakano [1].

Lindenstrauss and Tzafriri [2] used the idea of Orlicz function to construct sequence space

The space becomes a Banach space, with the norm which is called an Orlicz space. The space is closely related to the space which is an Orlicz sequence space with for .

Another generalization of Orlicz sequence spaces is due to Woo [3]. Let be a sequence of Orlicz functions. Define the vector space by and equip this space with the norm

Then becomes a Banach space and is called a modular sequence space. The space also generalizes the concept of modular sequence space introduced earlier by Nakano [4], who considered the space when , where for .

An Orlicz function is said to satisfy the -condition for all values of , if there exists a constant , such that . The -condition is equivalent to the satisfaction of inequality for all values of and for (see [5]).

The previous Δ_{2}-condition implies , for all .

Bektaş and Altin [6], Parasar and Choudhary [7], Mursaleen et al. [8], Dutta and Başar [9], Dutta and Bilgin [10], Karakaya and Dutta [11], Tripathy and Dutta [12], Jebril [13], and many others have studied different summable spaces and other sequence spaces using Orlicz functions.

A -space (introduced by Zeller [14]) is a Banach space of complex sequences in which the coordinate maps are continuous; that is, , whenever as , where , for all and .

Let denote the set of all complex sequences which have only a finite number of nonzero coordinates, and let denote a -space of sequences which contains . An element of will be called sectionally convergent if where , where , for .

will be called -space if and only if each of its elements is sectionally convergent.

Let be a sequence of Orlicz functions, let be a seminormed space with seminorm , let be sequence of positive real numbers, and let be the Cesàro matrix of order one with if and , otherwise. Then for nonnegative real numbers we define

The following inequality will be used throughout the paper. Let be a positive sequence of real numbers with , . Then for all for all , we have

#### 2. Main Results

In this section we give the theorems that characterize the structure of the class of sequences and some other spaces which can be derived from this space.

Theorem 1. *Let be bounded sequence of positive reals; then is a linear space over the field of complex numbers.*

*Proof. *Let and . Then there exist some and such that
We consider . Since each is non-decreasing and convex, and since is a seminorm,
This completes the proof.

Theorem 2. * is a paranormed space (need not total paranorm) space with paranorm , defined as follows
**
where .*

*Proof. *Clearly . Since , for all we get for .

Now let , and let us choose and such that
Let . Then we have
Hence .

Finally let be a given non-zero scalar; then the continuity of the scalar multiplication follows from the following equality
This completes the proof.

The proof of the following theorem is easy, so omitted.

Theorem 3. *Let and be sequences of Orlicz functions. For any two sequences and of bounded positive real numbers and for any two seminorms and one has*(i)*if is stronger than , then ,*(ii)*,*(iii)*,
*(iv)*,
*(v)*If , then .*

Theorem 4. *Let and be sequences of Orlicz functions which satisfy -condition and , then
*

*Proof. *Let and . We choose such that each for . We write and consider
where the first summation is over and the second is over . Now we have
For , we use the fact that
Since each is non-decreasing and convex, it follows that
Since each satisfies -condition, we have
Hence

Thus
Hence .

This completes the proof.

Taking and in , in Theorem 4, we get the next corollary.

Corollary 5. *Let be any sequence of Orlicz functions which satisfy -condition and , then
*

We will write for non-negative functions and whenever for some .

Theorem 6. *Let and be sequences of Orlicz functions. If for each , then .*

*Proof. *The proof is obvious.

Theorem 7. *Let be a sequence of Orlicz functions. If and , for each , then .*

*Proof. *If the given conditions are satisfied, we have for each , and the proof follows from Theorem 6.

If we take , the sequence space reduces to the following sequence space:

Theorem 8. *Let be bounded sequence of positive reals, and let be a complete seminormed space, then is a complete paranormed space paranormed by , defined by
**
where .*

*Proof. *Let be a Cauchy sequence in . Let be fixed, and let be such that for a given and . Then there exists a positive integer such that
Hence we have
It follows that
For with , we have

Since is non-decreasing for each , we have
Hence it follows that is a Cauchy sequence in for each . But is complete, and so is convergent in for each .

Let exists for each .

Now we have for all ,
Then we have
Using the continuity of Orlicz functions, we have
This implies
It follows that .

Since and is a linear space, so we have .

This completes the proof.

If we take and , constant the sequence space reduces to the following sequence space:

Theorem 9. *Let be a complete normed space; then is a Banach space normed by , defined by
*

*Proof. *We prove that is a norm on . The completeness part can be proved using similar arguments as applied to prove the previous theorem.

If , then it is obvious that . Conversely assume . Then using the definition of norm, we have
This implies that for a given , there exists some such that
It follows that
Thus
Suppose , for some . Let then .

It follows that as for some . This is a contradiction.

Therefore .

It follows that for all . Hence .

Again proof of the properties and for any scalar are similar to that of Theorem 2.

It is easy to see that implies that for each . Hence we have the following proposition.

Proposition 10. *The space is a BK-space.*

Now we study the *AK*-characteristic of the space . Before that we give a new definition and prove some results which will be required.

*Definition 11. *For any sequence of Orlicz functions , we define
Clearly is a subspace of . The topology of is the one it inherits from .

Proposition 12. *Let be a sequence of Orlicz functions which satisfy -condition. Then
*

*Proof. *It is enough to prove that .

Let , then for some ,
Choose an arbitrary . If then
Let now and put .

Since each satisfies the -condition, there exist constants such that
Let . Then for every
This completes the proof.

Proposition 13. *Let be a complete normed space, then is an AK-space.*

*Proof. *Let . Then for each , we can find an such that
Hence for ,
Thus we can conclude that is an *AK* space.

Combining Proposition 10 and Proposition 12, we have the following theorem.

Theorem 14. *Let be a sequence of Orlicz functions which satisfy -condition, then is an AK-space.*

Proposition 15. *The space is a closed subspace of .*

*Proof. *Let be a sequence in such that , where .

To complete the proof we need to show that ; that is,
To there corresponds an such that . Then using convexity of each ,
Now from Theorem 9, using the definition of norm , we have
It follows that
Thus .

Hence we have the following corollary.

Corollary 16. *The space is a BK-space.*

#### Acknowledgment

This research is supported by Deanship of Scientific Research, Taibah University, Almadinah Almunawwarah, Saudi Arabia.

#### References

- H. Nakano, “Concave modulars,”
*Journal of the Mathematical Society of Japan*, vol. 5, pp. 29–49, 1953. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Lindenstrauss and L. Tzafriri, “On orlicz sequence spaces,”
*Israel Journal of Mathematics*, vol. 10, no. 3, pp. 379–390, 1971. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - J. Y. T. Woo, “On modular sequence spaces,”
*Studia Mathematica*, vol. 48, pp. 271–289, 1973. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. Nakano, “Modulared sequence spaces,”
*Proceedings of the Japan Academy*, vol. 27, pp. 508–512, 1951. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. A. Krasnoselskii and Y. B. Rutitsky,
*Convex Functions and Orlicz Spaces*, Groningen, The Netherlands, 1961. View at MathSciNet - Ç. A. Bektaş and Y. Altin, “The sequence space ${\ell}_{M}(p,q,s)$ on seminormed spaces,”
*Indian Journal of Pure and Applied Mathematics*, vol. 34, no. 4, pp. 529–534, 2003. View at Google Scholar · View at Scopus - S. D. Parasar 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 Google Scholar - M. Mursaleen, A. Khan, and Qamaruddin, “Difference sequence spaces defined by Orlicz functions,”
*Demonstratio Mathematica*, vol. 1, pp. 145–150, 1999. View at Google Scholar · View at Zentralblatt MATH - H. Dutta and F. Başar, “A generalization of Orlicz sequence spaces by Cesàro mean of order one,”
*Acta Mathematica Universitatis Comenianae*, vol. 80, no. 2, pp. 185–200, 2011. View at Google Scholar · View at MathSciNet - H. Dutta and T. Bilgin, “Strongly ($({V}^{\lambda},A,{\mathrm{\Delta}}_{(vm)}^{n},p)$)-summable sequence spaces defined by an Orlicz function,”
*Applied Mathematics Letters*, vol. 24, no. 7, pp. 1057–1062, 2011. View at Publisher · View at Google Scholar · View at Scopus - V. Karakaya and H. Dutta, “On some vector valued generalized difference modular sequence spaces,”
*Filomat*, vol. 25, no. 3, pp. 15–27, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - B. C. Tripathy and H. Dutta, “Some difference paranormed sequence spaces defined by Orlicz functions,”
*Fasciculi Mathematici*, vol. 42, pp. 121–131, 2009. View at Google Scholar - I. H. Jebril, “A generalization of strongly Cesàro and strongly lacunary summable spaces,”
*Acta Universitatis Apulensis*, vol. 23, pp. 49–61, 2010. View at Google Scholar · View at MathSciNet - K. Zeller,
*Theorie Der Limitierungsverfahren*, Berlin, Germany, 1958. View at MathSciNet