- Research Article
- Open Access

# On Generalized Paranormed Statistically Convergent Sequence Spaces Defined by Orlicz Function

- Metin Başarir
^{1}Email author and - Selma Altundağ
^{1}

**2009**:729045

https://doi.org/10.1155/2009/729045

© M. Başarir and S. Altundağ. 2009

**Received:**8 May 2009**Accepted:**26 August 2009**Published:**27 September 2009

## Abstract

We define generalized paranormed sequence spaces , , , and defined over a seminormed sequence space . We establish some inclusion relations between these spaces under some conditions.

## Keywords

- Banach Space
- Positive Integer
- Real Number
- Natural Number
- Sequence Space

## 1. Introduction

where is the characteristic function of .

In this case, we write or stat lim

Let be a mapping of the set of positive integers into itself. A continuous linear functional on , the space of real bounded sequences, is said to be an invariant mean or -mean if and only if

(1) when the sequence has for all ,

(2) , where

(3) for all

The mappings are one to one and such that for all positive integers and where denotes the th iterate of the mapping at . Thus extends the limit functional on , the space of convergent sequences, in the sense that for all . In that case is translation mapping , a -mean is often called a Banach limit, and , the set of bounded sequences all of whose invariant means are equal, is the set of almost convergent sequences [5].

If , set It can be shown [6] that

where

Several authors including Schaefer [7], Mursaleen [6], Sava [8], and others have studied invariant convergent sequences.

An Orlicz function is a function , which is continuous, nondecreasing, and convex with for and as . If the convexity of an Orlicz function is replaced by

then this function is called modulus function, introduced and investigated by Nakano [9] and followed by Ruckle [10], Maddox [11], and many others.

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

which is called an Orlicz sequence space.

The space is closely related to the space which is an Orlicz sequence space with for . Orlicz sequence spaces were introduced and studied by Parashar and Choudhary [13], Bhardwaj and Singh [14], and many others.

It is well known that since is a convex function and then for all with .

An Orlicz funtion is said to satisfy -condition for all values of , if there exists constant , such that . The -condition is equivalent to the inequality for all values of and for being satisfied [15].

The notion of paranormed space was introduced by Nakano [16] and Simons [17]. Later on it was investigated by Maddox [18], Lascarides [19], Rath and Tripathy [20], Tripathy and Sen [21], Tripathy [22], and many others.

## 2. Definitions and Notations

A sequence space is said to be solid (or normal) if , whenever and for all sequences of scalars with for all .

A sequence space is said to be symmetric if implies , where is a permutation of .

A sequence space is said to be monotone if it contains the canonical preimages of its step spaces.

Throughout the paper will represent a sequence of positive real numbers and a seminormed space over the field of complex numbers with the seminorm . We define the following sequence spaces:

We write

If , for each and then these spaces reduce to the spaces

defined by Tripathy and Sen [21].

Firstly, we give some results; those will help in establishing the results of this paper.

Lemma 2.1 ([21]).

For two sequences and one has if and only if , where such that

Lemma 2.2 ([21]).

Let and , then the followings are equivalent:

(i) and

(ii)

Lemma 2.3 ([21]).

Then is uncountable.

Lemma 2.4 ([24]).

If a sequence space is solid then is monotone.

## 3. Main Results

Theorem 3.1.

Proof.

Let , be scalars and let . Then by (1.7) we have

Hence is a linear space.

The rest of the cases will follow similarly.

Theorem 3.2.

where .

Proof.

Let . Then by the convexity of , we have

Hence from above inequality, we have

For the continuity of scalar multiplication let be any complex number. Then by the definition of we have

where .

Since we have Then

and therefore converges to zero when converges to zero or converges to zero.

Hence the spaces and are paranormed by .

Theorem 3.3.

Let be complete seminormed space, then the spaces and are complete.

Proof.

Using definition of paranorm we get

Hence is a Cauchy sequence in . Therefore for each there exists a positive integer such that

Using continuity of , we find that

Thus

Taking infimum of such s we get

for all and . Since and is continuous, it follows that . This completes the proof of the theorem.

Theorem 3.4.

Let and be two Orlicz functions satisfying -condition. Then

(i)

(ii)

where , , and .

- (i)

If we take then implies that . Hence we have by convexity of

Thus

Hence by (3.15) it follows that for a given , there exists such that

- (ii)
We prove this part for the case and the other cases will follow similarly.

This completes the proof.

Theorem 3.5.

where , , and .

Proof.

The proof follows from the fact that the zero sequence belongs to each of the classes the sequence spaces involved in the intersection.

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

Proposition 3.6.

Let be an Orlicz function which satisfies condition, and let and be two seminorms on . Then

(i)

(ii)

(iii) where , , , and ,

(iv)if is stronger than , then

where , , and .

Theorem 3.7.

The spaces are not solid, where and .

Proof.

To show that the spaces are not solid in general, consider the following example. Let , for all , , where and for all . Then we have for all . Consider the sequence , where is defined by and for each fixed . Hence for and . Let if is odd and , otherwise. Then for and . Thus is not solid for and .

The proof of the following result is obvious in view of Lemma 2.4.

Proposition 3.8.

The space is solid as well as monotone for and .

Theorem 3.9.

The spaces are not symmetric, where , , and .

Proof.

To show that the spaces are not symmetric, consider the following examples. Let , for all , , where and for all . Then we have for all . We consider the sequence defined by if and otherwise. Then for and . Let be a rearrangement of , which is defined as if is odd and , otherwise. Then for and .

To show for and , let for all odd and for all even. Let and , where . Let and for all . Then we have for all . We consider

Then for and . Thus the spaces are not symmetric in general, where , , and .

Proposition 3.10.

For two sequences and one has if and only if , where such that .

Proof.

The proof is obvious in view of Lemma 2.1.

The following result is a consequence of the above result.

Corollary 3.11.

For two sequences and one has if and only if and , where such that .

The following result is obvious in view of Lemma 2.2.

Proposition 3.12.

Let and , then the followings are equivalent:

(i) and

(ii)

Theorem 3.13.

Proof.

where the vertical bar indicates the number of elements in the enclosed set.

From the above inequality it follows that .

Conversely let . Let such that

For a given , let .

Let .

Since , so , uniformly in , as . There exits a positive integer such that for all . Then for all , we have

Hence .

This completes the proof of the theorem.

The following result is a consequence of the above theorem.

Corollary 3.14.

Since the inclusion relations and are strict, we have the following result.

Corollary 3.15.

The spaces and are nowhere dense subsets of

The following result is obvious in view of Lemma 2.3.

Proposition 3.16.

The spaces and are not separable.

## Declarations

### Acknowledgment

The authors would like to express their gratitude to the reviewers for their careful reading and valuable suggestions which improved the presentation of the paper.

## Authors’ Affiliations

## References

- Fast H:
**Sur la convergence statistique.***Colloquium Mathematicum*1951,**2:**241–244.MathSciNetMATHGoogle Scholar - Connor JS:
**The statistical and strong**-**Cesàro convergence of sequences.***Analysis*1988,**8**(1–2):47–63.MathSciNetView ArticleMATHGoogle Scholar - Fridy JA:
**On statistical convergence.***Analysis*1985,**5**(4):301–313.MathSciNetView ArticleMATHGoogle Scholar - Šalát T:
**On statistically convergent sequences of real numbers.***Mathematica Slovaca*1980,**30**(2):139–150.MathSciNetMATHGoogle Scholar - Lorentz GG:
**A contribution to the theory of divergent sequences.***Acta Mathematica*1948,**80:**167–190. 10.1007/BF02393648MathSciNetView ArticleMATHGoogle Scholar - Mursaleen :
**Invariant means and some matrix transformations.***Tamkang Journal of Mathematics*1979,**10**(2):183–188.MathSciNetMATHGoogle Scholar - Schaefer P:
**Infinite matrices and invariant means.***Proceedings of the American Mathematical Society*1972,**36:**104–110. 10.1090/S0002-9939-1972-0306763-0MathSciNetView ArticleMATHGoogle Scholar - Savaş E:
**On lacunary strong**-**convergence.***Indian Journal of Pure and Applied Mathematics*1990,**21**(4):359–365.MathSciNetMATHGoogle Scholar - Nakano H:
**Concave modulars.***Journal of the Mathematical Society of Japan*1953,**5:**29–49. 10.2969/jmsj/00510029MathSciNetView ArticleMATHGoogle Scholar - Ruckle WH:
**spaces in which the sequence of coordinate vectors is bounded.***Canadian Journal of Mathematics*1973,**25:**973–978. 10.4153/CJM-1973-102-9MathSciNetView ArticleMATHGoogle Scholar - Maddox IJ:
**Sequence spaces defined by a modulus.***Mathematical Proceedings of the Cambridge Philosophical Society*1986,**100**(1):161–166. 10.1017/S0305004100065968MathSciNetView ArticleMATHGoogle Scholar - Lindenstrauss J, Tzafriri L:
**On Orlicz sequence spaces.***Israel Journal of Mathematics*1971,**10:**379–390. 10.1007/BF02771656MathSciNetView ArticleMATHGoogle Scholar - Parashar SD, Choudhary B:
**Sequence spaces defined by Orlicz functions.***Indian Journal of Pure and Applied Mathematics*1994,**25**(4):419–428.MathSciNetMATHGoogle Scholar - Bhardwaj VK, Singh N:
**On some new spaces of lacunary strongly**-**convergent sequences defined by Orlicz functions.***Indian Journal of Pure and Applied Mathematics*2000,**31**(11):1515–1526.MathSciNetMATHGoogle Scholar - Krasnoselskii MA, Rutitsky YB:
*Convex Functions and Orlicz Spaces*. P. Noordhoff, Groningen, The Netherlands; 1961:xi+249.Google Scholar - Nakano H:
**Modulared sequence spaces.***Proceedings of the Japan Academy*1951,**27:**508–512. 10.3792/pja/1195571225MathSciNetView ArticleMATHGoogle Scholar - Simons S:
**The sequence spaces****and**.*Proceedings of the London Mathematical Society*1965,**15:**422–436. 10.1112/plms/s3-15.1.422MathSciNetView ArticleMATHGoogle Scholar - Maddox IJ:
**Paranormed sequence spaces generated by infinite matrices.***Mathematical Proceedings of the Cambridge Philosophical Society*1968,**64:**335–340. 10.1017/S0305004100042894MathSciNetView ArticleMATHGoogle Scholar - Lascarides CG:
**A study of certain sequence spaces of Maddox and a generalization of a theorem of Iyer.***Pacific Journal of Mathematics*1971,**38:**487–500.MathSciNetView ArticleMATHGoogle Scholar - Rath D, Tripathy BC:
**Matrix maps on sequence spaces associated with sets of integers.***Indian Journal of Pure and Applied Mathematics*1996,**27**(2):197–206.MathSciNetMATHGoogle Scholar - Tripathy BC, Sen M:
**On generalized statistically convergent sequences.***Indian Journal of Pure and Applied Mathematics*2001,**32**(11):1689–1694.MathSciNetMATHGoogle Scholar - Tripathy BC:
**On generalized difference paranormed statistically convergent sequences.***Indian Journal of Pure and Applied Mathematics*2004,**35**(5):655–663.MathSciNetMATHGoogle Scholar - Maddox IJ:
**Spaces of strongly summable sequences.***The Quarterly Journal of Mathematics*1967,**18:**345–355. 10.1093/qmath/18.1.345MathSciNetView ArticleMATHGoogle Scholar - Kampthan PK, Gupta M:
*Sequence Spaces and Series*. Marcel Dekkar, New York, NY, USA; 1980.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.