Journal of Function Spaces

Volume 2016, Article ID 4372471, 6 pages

http://dx.doi.org/10.1155/2016/4372471

## Mappings of Type Special Space of Sequences

^{1}Department of Mathematics, Faculty of Science and Arts, University of Jeddah (UJ), P.O. Box 355, Khulais 21921, Saudi Arabia^{2}Department of Mathematics, Faculty of Science, Ain Shams University, P.O. Box 1156, Abbassia, Cairo 11566, Egypt

Received 12 April 2016; Revised 26 June 2016; Accepted 28 July 2016

Academic Editor: Gianluca Vinti

Copyright © 2016 Awad A. Bakery. 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

We give sufficient conditions on a special space of sequences defined by Mohamed and Bakery (2013) such that the finite rank operators are dense in the complete space of operators whose approximation numbers belong to this sequence space. Hence, under a few conditions, every compact operator would be approximated by finite rank operators. We apply it on the sequence space defined by Tripathy and Mahanta (2003). Our results match those known for -absolutely summable sequences of reals.

#### 1. Introduction and Basic Definitions

By and , we will denote the spaces of all real sequences and all bounded linear operators between two Banach spaces into , respectively. In [1], Pietsch, by using the approximation numbers and* p*-absolutely summable sequences of real numbers, formed the operator ideals. In [2], Mohamed and Bakery have considered the space , when , which matches especially . A subclass of is an operator ideal if its components verify the following conditions:(i)The space of all finite rank operators is a subset of .(ii)The space is linear.(iii)For two Banach spaces and , if , , and , then . See [3, 4].

An Orlicz function is a function which is convex, positive, nondecreasing, and continuous, where and . An Orlicz function is said to satisfy -condition for all values of if there exists a constant , such that . Lindenstrauss and Tzafriri [5] used the idea of an Orlicz function to define Orlicz sequence spaces as follows: is a Banach space, where The space is an Orlicz sequence space with for .

*Remark 1. *For any Orlicz function , we have , for all with .

Let be the class of all subsets of that do not contain more than number of elements and let be a nondecreasing sequence of positive reals such that , for all . Tripathy and Mahanta [6] defined and studied the following sequence space: with the norm

Lemma 2. *(i) .**(ii) if and only if .*

As of late, different classes of sequences have been presented using Orlicz functions by Braha [7], Raj and Sharma Sunil [8], Raj et al. [9], and many others ([10–13]).

*Definition 3 (see [14, 15]). *A special space of sequences (sss) is a linear space with the following: (1) for all , where with 1 appearing at th place for all .(2) is .(3), if . A premodular (sss) is a (sss) and there is a function with the following: (i), for each and , where is the zero element of .(ii) satisfies -condition.(iii)For each , holds for some .(iv)The space is -solid; that is, , whenever , for all .(v)For some numbers , the inequality holds.(vi); that is, the set of all finite sequences is -dense in .(vii)For each , there is a constant such that .

Condition (ii) says that is continuous at . The function defines a metrizable topology in and the linear space enriched with this topology is denoted by .

*Definition 4 (see [16]). *Consider the following:where

Theorem 5 (see [2]). *If is a (sss), then is an operator ideal.*

We explain some results related to the operator spaces.

#### 2. Main Results

In this part, we give sufficient conditions on such that the finite rank operators are dense in the complete space of operators .

Lemma 6. *If is a premodular (sss) and is a decreasing sequence of positive reals, then *

*Proof. *By using Definition 3, conditions (iv) and (v), and since the elements of are decreasing, we get

Theorem 7. *Let be a premodular (sss); then , where .*

*Proof. *To prove that , since for each , from the linearity of and , then finitely many elements of are different from zero. Hence, . For the other inclusion , let and, from the definition of approximation numbers, there is , , with and also Since as , then as ; we have to prove that as , by taking , where is a natural number. From Definition 3, condition (iii), we have Since for , then By using Lemma 6, inequality (10), and Definition 3, condition (v), we get Now, using Lemma 6 and Definition 3, condition (v), we have Finally, we have to show that as . Since and is continuous at , we have as . Then, for each , there exists such that for all we have By taking for each and using inequality (13) and Definition 3, conditions (ii) and (iii), then we have where , and since , then for each there exists such that , for that we have This completes the proof.

We give here the sufficient conditions on the sequence spaces such that the class of all bounded linear operators between any arbitrary Banach spaces with ( in these sequence spaces form an ideal operator; the ideal of the finite rank operators in the class of Banach spaces is dense in .

Theorem 8. *Let be an Orlicz function satisfying -condition. Then,*(a)* is an operator ideal,*(b)*.*

*Proof. *We first prove that the space is a (sss).

(1) Let and ; then there exist and such that Let . Since is nondecreasing convex function with -condition, we have So, we get Thus, . Hence, is a linear space over the field of real numbers. Also, since and , we have for all .

(2) Let and with for each ; since is nondecreasing, then we get then .

(3) Let ; then we have then .

Finally, we have proved that the space with is a premodular (sss).

(i) Clearly, for all and .

(ii) Let and ; then for we have where . Thus,

Also, for , we have

(iii) Let ; then there exist and such that Let , and since is nondecreasing and convex, then we have Since ’s are nonnegative, we have (iv) Let for each , and since is nondecreasing, then we get thus, So, .

(v) Since we have So, .

(vi) For each , then we can find such that . This means the set of all finite sequences is -dense in .

(vii) For any , there exists a constant such that By using Theorems 5 and 7, the proof follows.

*As special cases of the above theorem, we obtain the following corollaries.*

*Corollary 9. If , one gets that (a) is an operator ideal,(b).*

*Corollary 10. If and with , one gets that (a) is an operator ideal,(b). See [1].*

*Theorem 11. If is a premodular (sss), then is complete.*

*Proof. *Let be a Cauchy sequence in ; then, by using Definition 3, condition (vii), and since , we get then is also a Cauchy sequence in . Since the space is a Banach space, then there exists such that , as , and since , for each , then from Definition 3, conditions (iii) and (v), and since is continuous at , we have we get , and then . This finishes the proof.

*By applying Theorem 11 on , we can easily conclude the next corollaries.*

*Corollary 12. Pick up an Orlicz function which satisfies -condition. Then, is continuous from the right at and is complete.*

*Corollary 13. Pick up an Orlicz function which satisfies -condition with . Then, is continuous from the right at and is complete.*

*Corollary 14. is complete if and .*

*Competing Interests*

*Competing Interests*

*The author declares that he has no competing interests.*

*References*

*References*

- A. Pietsch,
*Operator Ideals*, vol. 20, North-Holland, Amsterdam, The Netherlands, 1980. View at MathSciNet - N. F. Mohamed and A. A. Bakery, “Mappings of type Orlicz and generalized Cesáro sequence space,”
*Journal of Inequalities and Applications*, vol. 2013, article 186, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - N. J. Kalton, “Spaces of compact operators,”
*Mathematische Annalen*, vol. 208, pp. 267–278, 1974. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Å. Lima and E. Oja, “Ideals of finite rank operators, intersection properties of balls, and the approximation property,”
*Studia Mathematica*, vol. 133, no. 2, pp. 175–186, 1999. View at Google Scholar · View at MathSciNet · View at Scopus - 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 · View at Scopus - B. C. Tripathy and S. Mahanta, “On a class of sequences related to the ${\mathcal{l}}_{p}$ space defined by Orlicz functions,”
*Soochow Journal of Mathematics*, vol. 29, pp. 379–391, 2003. View at Google Scholar - N. L. Braha, “A new class of sequences related to the
*l*_{p}spaces defined by sequences of Orlicz functions,”*Journal of Inequalities and Applications*, vol. 2011, Article ID 539745, 10 pages, 2011. View at Publisher · View at Google Scholar - K. Raj and K. Sharma Sunil, “Some difference sequence spaces defined by Musielak-Orlicz functions,”
*Mathematica Pannonica*, vol. 24, pp. 33–43, 2013. View at Google Scholar - K. Raj, S. Jamwal, and S. K. Sharma, “New classes of generalized sequence spaces defined by an Orlicz function,”
*Journal of Computational Analysis and Applications*, vol. 15, no. 4, pp. 730–737, 2013. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - B. C. Tripathy and S. Borgogain, “The sequence space ${m(M,\varnothing ,{\u2206}_{m}^{n},p)}^{F}$,”
*Mathematical Modelling and Analysis*, vol. 13, no. 4, pp. 577–586, 2008. View at Google Scholar - B. C. Tripathy and H. Dutta, “On some new paranormed difference sequence spaces defined by Orlicz functions,”
*Kyungpook Mathematical Journal*, vol. 50, no. 1, pp. 59–69, 2010. View at Publisher · View at Google Scholar · View at Scopus - B. C. Tripathy and B. Hazarika, “Some
*I*-convergent sequence spaces defined by Orlicz functions,”*Acta Mathematicae Applicatae Sinica*, vol. 27, no. 1, pp. 149–154, 2011. View at Publisher · View at Google Scholar · View at Scopus - B. C. Tripathy and B. Sarma, “Vector valued double sequence spaces defined by orlicz function,”
*Mathematica Slovaca*, vol. 59, no. 6, pp. 767–776, 2009. View at Publisher · View at Google Scholar · View at Scopus - A. A. Bakery, “Mappings of type generalized de La Vallée Poussin's mean,”
*Journal of Inequalities and Applications*, vol. 2013, article 518, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - A. A. Bakery, “Operator ideal of Cesaro type sequence spaces involving lacunary sequence,”
*Abstract and Applied Analysis*, vol. 2014, Article ID 419560, 6 pages, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - A. A. Bakery, “Operator ideal of Norlund-type sequence spaces,”
*Journal of Inequalities and Applications*, vol. 2015, article 255, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus

*
*