Research Article | Open Access

Mikail Et, Vatan Karakaya, "A New Difference Sequence Set of Order and Its Geometrical Properties", *Abstract and Applied Analysis*, vol. 2014, Article ID 278907, 4 pages, 2014. https://doi.org/10.1155/2014/278907

# A New Difference Sequence Set of Order and Its Geometrical Properties

**Academic Editor:**Cristina Pignotti

#### Abstract

We introduce a new class of sequences named as and, for this space, we study some inclusion relations, topological properties, and geometrical properties such as order continuous, the Fatou property, and the Banach-Saks property of type .

#### 1. Introduction, Definitions, and Preliminaries

By we denote the space of all complex (or real) sequences. If , then we simply write instead of . We will write , , and for the sequence spaces of all bounded, convergent, and null sequences, respectively. Also by and we denote the spaces of all absolutely summable and -absolutely summable series, respectively.

The notion of difference sequence spaces was generalized by Et and Ă‡olak [1] such as , for , , and . They showed that these sequence spaces are -spaces with the norm where , , , , and . Recently difference sequences and related concepts have been studied in ([2â€“13]) and by many others.

Let be a sequence space. Then is called(i)*solid (*or* normal)* if for all sequences of scalars with for all , whenever ,(ii)*symmetric* if implies , where is a permutation of ,(iii)*monotone *provided contains the canaonical preimages of all its step spaces,(iv)*sequence algebra* if , whenever .

It is well known that if is normal then is monotone.

Throughout this paper denotes the class of all subsets of ; those do not contain more than elements. Let be a nondecreasing sequence of positive numbers such that for all . The class of all sequences is denoted by . The sequence space was introduced by Sargent [14] and he studied some of its properties and obtained some relations with the space . Later on it was investigated by Tripathy and Sen [15] and Tripathy and Mahanta [16].

Let us recall that a sequence in a Banach space is called of (or for short) if for each there exists a unique sequence of scalars such that ; that is, .

A sequence space with a linear topology is called a - if each of the projection maps defined by for is continuous for each natural . A* FrĂ©chet space* is a complete metric linear space and the metric is generated by an -norm and a FrĂ©chet space which is a -space is called an -*space;* that is, a -space is called an -space if is a complete linear metric space. In other words, is an -space if is a FrĂ©chet space with continuous coordinate projections. All the sequence spaces mentioned above are spaces except the space .

An -space which contains the space is said to have the if for every sequence , where .

A Banach space is said to be a* KĂ¶the sequence space* (see [17, 18]) if is a subspace of such that(i)if and for all , then and ;(ii)there exists an element such that for all .

We say that is order continuous if for any sequence in such that for each and () we have that holds.

A KĂ¶the sequence space is said to be order continuous if all sequences in are order continuous. It is easy to see that is order continuous if and only if as .

A KĂ¶the sequence space is said to have the if, for any real sequence and any in such that coordinatewisely and , we have that and .

A Banach space is said to have the **-** if every bounded sequence in admits a subsequence such that the sequence is convergent in with respect to the norm, where

Some of recent works on geometric properties of sequence space can be found in the following list ([19â€“21]).

#### 2. Inclusion and Topological Properties of the Space

In this section we introduce a new class of sequences and establish some inclusion relations. Also we show that this space is not perfect and normal.

Let be a fixed positive integer, any real number, and a positive real number such that . Now we define the sequence space as In the case , we will write instead of and in the special case and we will write instead of .

The proof of each of the following results is straightforward, so we choose to state these results without proof.

Theorem 1. *Let , , and let be a positive real number such that . Then the sequence space is a -space normed by
*

Theorem 2. *Let , , and let be a positive real number such that ; then .*

Theorem 3. *Let and be fixed real numbers such that and a positive real number such that ; then .*

Theorem 4. *Let and be fixed real numbers such that and a positive real number such that . For any two sequences and of real numbers such that . Then if and only if .*

*Proof. *Let and . Then
and there exists a positive number such that and so that for all . Therefore for all we have
Now taking supremum over and we get
and so .

Conversely let and suppose that . Then there exists an increasing sequence of naturals numbers such that . Let , where is the set of positive real numbers; then there exists such that for all . Hence and so . Then we can write
for all . Now taking supremum over and we get
Since (9) holds for all (we may take the number sufficiently large), we have
when with
Hence . This contradicts to . Hence .

The following results are derivable easily from Theorem 4.

Corollary 5. *Let and be fixed real numbers such that and a positive real number such that . For any two sequences and of real numbers such that . Then one has*(i)* if and only if ,*(ii)* if and only if ,*(iii)* if and only if .*

Theorem 6. *Consider and the inclusion is strict.*

*Proof. *It follows from Minkowskiâ€™s inequality. To show the inclusion is strict, let for all , , , and ; then .

Theorem 7. *The sequence space is solid and hence monotone, but the sequence space is neither solid nor symmetric and sequence algebra for .*

*Proof. *Let and be sequences such that for each . Then we get
Hence is solid and hence monotone. To show the space is normal, let , for all , , , and , then ; but when for all . Hence is not solid. The other cases can be proved on considering similar examples.

Theorem 8. *Consider
*

*Proof. *It is omitted.

Theorem 9. *If , then .*

*Proof. *Proof follows from the following inequality:

#### 3. Geometrical Properties of the Space

In this section, we study some geometrical properties of the space . Some of these geometrical properties are the order continuous, the Fatou property, and the Banach-Saks property of type . Let us start with the following theorem.

Theorem 10. *The space is order continuous.*

*Proof. *To prove this theorem, we have to show that is an -space. It is easy to see that contains which is the space of real sequences which have only a finite number of nonzero coordinates. By using definition of -properties, we have that has a unique representation ; that is, as , which means that has . Hence, since -space containing has -property, the space is order continuous.

Theorem 11. *The space has the Fatou property.*

*Proof. *Let be any real sequence from and any nondecreasing sequence of nonnegative elements from such that as coordinatewisely and .

Let us denote . Then, since the supremum is homogeneous, we have
Moreover, by the assumptions that is nondecreasing and convergent to coordinatewisely and by the Beppo-Levi theorem, we have
whence
Therefore, . On the other hand, since for any natural number and the sequence is nondecreasing, we obtain that the sequence is bounded from above by . As a result, , which together with the opposite inequality proved already yields that .

Theorem 12. *The space has the Banach-Saks property of the type .*

*Proof. *It can be proved with standard technic.

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### References

- M. Et and R. Çolak, â€śOn some generalized difference sequence spaces,â€ť
*Soochow Journal of Mathematics*, vol. 21, no. 4, pp. 377â€“386, 1995. View at: Google Scholar | MathSciNet - B. Altay and F. Basar, â€śOn the fine spectrum of the difference operator Δ on ${c}_{0}$ and and $c$,â€ť
*Information Science*, vol. 168, no. 1–4, pp. 217â€“224, 2004. View at: Google Scholar - Ç. A. Bektas, M. Et, and R. Çolak, â€śGeneralized difference sequence spaces and their dual spaces,â€ť
*Journal of Mathematical Analysis and Applications*, vol. 292, no. 2, pp. 423â€“432, 2004. View at: Google Scholar - N. L. Braha, â€śOn asymptotically ${\Delta}^{m}$-lacunary statistical equivalent sequences,â€ť
*Applied Mathematics and Computation*, vol. 219, no. 1, pp. 280â€“288, 2012. View at: Publisher Site | Google Scholar - R. Çolak and M. Et, â€śOn some difference sequence sets and their topological properties,â€ť
*Bulletin of the Malaysian Mathematical Sciences Society*, vol. 28, no. 2, pp. 125â€“130, 2005. View at: Google Scholar | MathSciNet - M. Et, â€śStrongly almost summable difference sequences of order $m$ defined by a modulus,â€ť
*Studia Scientiarum Mathematicarum Hungarica*, vol. 40, no. 4, pp. 463â€“476, 2003. View at: Publisher Site | Google Scholar | MathSciNet - M. Güngor and M. Et, â€ś${\mathrm{\Delta}}^{r}$-strongly almost summable sequences defined by Orlicz functions,â€ť
*Indian Journal of Pure and Applied Mathematics*, vol. 34, no. 8, pp. 1141â€“1151, 2003. View at: Google Scholar - M. Karakas, M. Et, and V. Karakaya, â€śSome geometric properties of a new difference sequence space involving lacunary sequences,â€ť
*Acta Mathematica Scientia*, vol. 33, no. 6, pp. 1711â€“1720, 2013. View at: Google Scholar - M. Mursaleen, R. Çolak, and M. Et, â€śSome geometric inequalities in a new banach sequence space,â€ť
*Journal of Inequalities and Applications*, vol. 2007, Article ID 86757, 6 pages, 2007. View at: Publisher Site | Google Scholar - H. Polat, V. Karakaya, and N. Şimşek, â€śDifference sequence spaces derived by using a generalized weighted mean,â€ť
*Applied Mathematics Letters*, vol. 24, no. 5, pp. 608â€“614, 2011. View at: Publisher Site | Google Scholar - B. C. Tripathy, â€śOn a class of difference sequences related to the
*p*-normed space*l*_{p},â€ť*Demonstratio Mathematica*, vol. 36, no. 4, pp. 867â€“872, 2003. View at: Google Scholar | MathSciNet - S. A. Mohiuddine, K. Raj, and A. Alotaibi, â€śSome paranormed double difference sequence spaces for Orlicz functions and bounded-regular matrices,â€ť
*Abstract and Applied Analysis*, vol. 2014, Article ID 419064, 10 pages, 2014. View at: Publisher Site | Google Scholar | MathSciNet - S. A. Mohiuddine, K. Raj, and A. Alotaibi, â€śOn some classes of double difference sequences of interval numbers,â€ť
*Abstract and Applied Analysis*, vol. 2014, Article ID 516956, 8 pages, 2014. View at: Publisher Site | Google Scholar | MathSciNet - W. L. C. Sargent, â€śSome sequence spaces related to the l
_{p}spaces,â€ť*Journal of the London Mathematical Society. Second Series*, vol. 35, pp. 161â€“171, 1960. View at: Google Scholar | MathSciNet - B. C. Tripathy and M. Sen, â€śOn a new class of sequences related to the space ${L}_{p}$,â€ť
*Tamkang Journal of Mathematics*, vol. 33, no. 2, pp. 167â€“171, 2002. View at: Google Scholar | MathSciNet - B. C. Tripathy and S. Mahanta, â€śOn a class of sequences related to the
*l*_{p}space defined by Orlicz functions,â€ť*Soochow Journal of Mathematics*, vol. 29, no. 4, pp. 379â€“391, 2003. View at: Google Scholar | MathSciNet - Y. A. Cui and H. Hudzik, â€śOn the Banach-Saks and weak Banach-Saks properties of some Banach sequence spaces,â€ť
*Acta Scientiarum Mathematicarum*, vol. 65, no. 1-2, pp. 179â€“187, 1999. View at: Google Scholar | MathSciNet - J. Diestel,
*Sequence and Series in Banach Spaces*, vol. 92 of*Graduate Texts in Mathematics*, Springer, Berlin, Germany, 1984. View at: Publisher Site | MathSciNet - V. Karakaya and F. Altun, â€śOn some geometric properties of a new paranormed sequence space,â€ť
*Journal of Function Spaces*, vol. 2014, Article ID 685382, 8 pages, 2014. View at: Publisher Site | Google Scholar | MathSciNet - H. Hudzik, V. Karakaya, and M. Mursaleen, â€śBanach-Saks type and GGurarii modulus of convexity of some Banach sequence spaces,â€ť
*Abstract and Applied Analysis*, vol. 2014, Article ID 427382, 9 pages, 2014. View at: Publisher Site | Google Scholar | MathSciNet - M. Et, M. Karakaş, and V. Karakaya, â€śSome geometric properties of a new difference sequence space defined by de la Vallée-Poussin mean,â€ť
*Applied Mathematics and Computation*, vol. 234, pp. 237â€“244, 2014. View at: Publisher Site | Google Scholar | MathSciNet

#### Copyright

Copyright © 2014 Mikail Et and Vatan Karakaya. 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.