Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2010, Article ID 962842, 10 pages doi:10.1155/2010/962842 ResearchArticleOrliczSequenceSpaceswithaUniqueSpreading Model Cuixia Hao, 1 Linlin L ¨ u, 2 and Hongping Yin 3 1 Department of Mathematics, Heilongjiang University, Harbin 150080, China 2 Department of Information Science, Star College of Harbin Normal University, Harbin 150025, China 3 Department of Mathematics, Inner Mongolia University, Tongliao 028000, China Correspondence should be addressed to Cuixia Hao, haocuixia@yahoo.com Received 24 December 2009; Accepted 23 March 2010 Academic Editor: Shusen Ding Copyright q 2010 Cuixia Hao 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. We study the set of all spreading models generated by weakly null sequences in Orliczsequencespaces equipped with partial order by domination. A sufficient and necessary condition for the above-mentioned set whose cardinality is equal to one is obtained. 1. Introduction Let X be a separable infinite dimensional real Banach space. There are three general types of questions we often ask. In general, not much can be said in regard to this question “what can be said about the structure of X itself” and not much more can be said about the question “does X embedded into a nice subspace”. The source of the research on spreading models was mainly from the question “finding a nice subspace Y ⊆ X” 1. The spreading models usually have a simpler and better structure than the class of subspaces of X 2, 3.Inthis paper, we study the question concerning the set of all spreading models whose cardinality is equal to one. The notion of aspreading model is one of the application of Ramsey theory. It is a useful tool of digging asymptotic structure of Banach space, and it is a class of asymptotic unconditional basis. In 1974, Brunel and Sucheston 4 introduced the concept of spreading model and gave a result that every normalized weakly null sequence contains an asymptotic unconditional subsequence, they call the subsequence spreading model. It was not until the last ten years that the theory of spreading models was developed, especially in recent five years. In 2005, Androulakis et al. in 2 put forward several questions on spreading models and solved some of them. Afterwards, Sari et al. discussed some problems among them and obtained fruitful results. This paper is mainly motivated by some results obtained by Sari et al. in their papers 3, 5. 2 Journal of Inequalities and Applications 2. Preliminaries and Observations An Orlicz function M is a real-valued continuous nondecreasing and convex function defined for t ≥ 0 such that M00 and lim t →∞ Mt∞. If Mt0 for some t>0, M is said to be a degenerate function. Mu is said to satisfy the Δ 2 condition M ∈ Δ 2 if there exist K, u 0 > 0 such that M2u ≤ KMu for 0 ≤ u ≤ u 0 . We denote the modular of asequence of numbers x {xi} ∞ i1 by ρ M x ∞ i1 Mxi. It is well known that the space l M x { x i } ∞ i1 : ρ M λx ∞ i1 M λx i < ∞ for some λ>0 2.1 endowed with the Luxemburg norm x inf λ>0:ρ M x λ ≤ 1 2.2 is a Banach sequence space which is called Orliczsequence space. T he space h M x { x i } : ρ M λx ∞ i1 M λx i < ∞ for each λ>0 2.3 is a closed subspace of l M . It is easy to verify that the spaces l p 1 ≤ p<∞ are just Orliczsequence spaces, and Orliczsequencespaces are the generalization of the spaces l p 1 ≤ p< ∞. Furthermore, if M is a degenerate Orlicz function, then l M ∼ l ∞ and h M ∼ c 0 6.Inthe context, the Orlicz functions considered are nondegenerate. Let E M,1 M λt M λ :0<λ<1 ,C M,1 convE M,1 . 2.4 They are nonvoid norm compact subsets of C0, 1 consisting entirely of Orlicz functions which might be degenerate 6, lemma 4.a.6. Definition 2.1. Let X be a separable infinite dimensional Banach space. For every normalized basic sequence y i in a Banach space and for every ε n ↓ 0, there exist a subsequence x i and a normalized basic sequence x i such that for all n ∈ N, a i n i1 ∈ −1, 1 n and n ≤ k 1 < ···<k n , n i1 a i x k i − n i1 a i x i <ε n . 2.5 The sequence x i is called the spreading model of x i and it is a suppression-1 unconditional basic sequence if y i is weakly null 4. The following theorem guarantees the existence of aspreading model of X.Weshall give a detailed proof. Journal of Inequalities and Applications 3 Theorem 2.2. Let x n be a normalized basic sequence in X and let ε n ↓ 0. Then there exists a subsequence y n of x n so that for all n, a i n i1 ⊆ −1, 1 and integers n ≤ k 1 <k 2 < ···k n ,n≤ i 1 <i 2 < ···i n , n j1 a j y k j − n j1 a j y i j <ε n . 2.6 In order to prove Theorem 2.2, we should have to recall the following definitions and theorem. For k ∈ N, N k is the set of all subsets of N of size k. We may take it as the set of subsequences of length k, n i k i1 with n 1 < ··· <n k . N ω denotes all subsequences of N. Similar definitions apply to M k and M w if M ∈ N w . Definition 2.3 see 1.LetI 1 and I 2 be two disjoint intervals. For any k 1 , ,k n , i 1 , ,i n ∈ N k and scalars a i n i1 if n j1 a j y k j ∈ I i , n j1 a j y i j ∈ I i i 1or2 , 2.7 then we call I i i 1or2 “color” k 1 , ,k n and i 1 , ,i n . Meanwhile, we say k 1 , ,k n has the same “color” as i 1 ,i 2 , ,i n , where y i is asequence of a Banach space. We identify the same “color” subsets of N k , saying they are 1-colored. Definition 2.4 see 1. The family of N k k ∈ N is called finitely colored provided that it only contains finite subsets in “color” sense, and each subset is 1-colored. Theorem 2.5 see 1. Let k ∈ N and let N k be finitely colored. Then there exists M ∈ N ω so that M k is 1-colored. Proof of Theorem 2.2. We accomplish the proof in two steps. Step 1. We shall prove that for any n ∈ Z , there exists y i ⊆ x i such that for any a i n i1 ⊆ −1, 1,n≤ k 1 <k 2 < ···k n ,n≤ i 1 <i 2 < ···i n , n j1 a j y k j − n j1 a j y i j <ε n ∗ . 2.8 Firstly, for fixed a i n i1 ⊆ −1, 1, by the Definition 2.4, we can prove that the above inequality holds. In fact, we partition 0,n into subintervals I j m j1 of length <ε n and “color” 4 Journal of Inequalities and Applications k 1 ,k 2 , k n by I l if n j1 a j y k j ∈ I l . 2.9 In the same way, we can also “color” i 1 ,i 2 , ···i n by I l . We can take −1, 1 n as the unit ball in finite-dimensional space l n 1 ; then −1, 1 n is sequentially compact; moreover, it is totally bounded and complete. Under l n 1 -metric, take N {z n 1 ,z n 2 , z n m } for ε n /4-net of −1, 1 n . For any element of net N, repeat the above process, and let z n k z n k j n j1 ,k 1, 2, m. We partition 0,n into subintervals I l m l1 of length <ε n /2 and “color” k 1 ,k 2 , ,k n by I l if n j1 z n k j y i j ∈ I l . 2.10 Since the length of I l <ε n /2, we have n j1 z n k j y k j − n j1 z n k j y i j < ε n 2 k 1, 2, ,m . 2.11 Secondly, we shall prove that for any a i n i1 ⊆ −1, 1 n , ∗ holds. Since N {z n 1 ,z n 2 , z n m } is the ε n /4-net of −1, 1 n , there exists z n k 0 z n k 0 j n j1 such that a i n i1 − z n k 0 n j1 a j − z n k 0 j < ε n 4 . 2.12 Therefore, we have n j1 a j y k j ≤ n j1 a j − z n k 0 j y k j n j1 z n k 0 j y k j ≤ n j1 a j − z n k 0 j · y k j n j1 z n k 0 j y k j n j1 a j − z n k 0 j n j1 z n k 0 j y k j < ε n 4 n j1 z n k 0 j y k j . 2.13 Journal of Inequalities and Applications 5 Hence, n j1 a j y k j − n j1 z n k 0 j y k j < ε n 4 . 2.14 Similarly, we obtain n j1 a j y i j − n j1 z n k 0 j y i j < ε n 4 . 2.15 Thus n j1 a j y k j − n j1 a j y i j n j1 a j y k j − n j1 z n k 0 j y k j n j1 z n k 0 j y k j − n j1 a j y i j n j1 z n k 0 j y i j − n j1 z n k 0 j y i j ≤ n j1 a j y k j − n j1 z n k 0 j y k j n j1 z n k 0 j y k j − n j1 a j y i j n j1 z n k 0 j y k j − n j1 z n k 0 j y i j < ε n 4 ε n 4 ε n 2 ε n . 2.16 Step 2. We apply diagonal argument to prove that there exists y i ⊆ x i such that for any n ∈ Z , a i n i1 ⊆ −1, 1,n≤ k 1 <k 2 < ···k n ,n≤ i 1 <i 2 < ···i n , n j1 a j y k j − n j1 a j y i j <ε n . 2.17 By Step 1,inviewofn 1, there exists y 1 i ⊆ x i such that for any a ∈ −1, 1, for any k 1 ∈ Z ,i 1 ∈ Z ,n≤ k 1 ,n≤ i 1 , we have ay 1 k 1 − ay 1 i 1 <ε 1 . 2.18 6 Journal of Inequalities and Applications Obviously, {y 1 i } is also a normalized basic sequence. So in view of n 2, there exists y 2 i ⊆ y 1 i such that for any a i 2 i1 ⊆ −1, 1,n≤ k 1 <k 2 ,n≤ i 1 <i 2 , 2 j1 a j y 2 k j − 2 j1 a j y 2 i j <ε 2 . 2.19 Repeating the above process, for any n, there exists y n i ⊆ y n−1 i such that for any a i n i1 ⊆ −1, 1,n≤ k 1 <k 2 < ···k n ,n≤ i 1 <i 2 < ···i n , we have n j1 a j y n k j − n j1 a j y n i j <ε n . 2.20 Finally, we choose the diagonal subsequence y i i ⊂ x i ; for any n, a i n i1 ⊆ −1, 1,n≤ k 1 < k 2 < ···k n ,n≤ i 1 <i 2 < ···i n ,weobtainthat n j1 a j y k j k j − n j1 a j y i j i j <ε n . 2.21 Definition 2.6. Let X be a separable infinite-dimensional Banach space. A normalized basic sequence x i ⊂ X generates aspreading model x i if for some ε n ↓ 0, for all n ∈ N, n ≤ k 1 < ···<k n ,anda i n 1 ⊆ −1, 1, 1 ε n −1 n i1 a i x i ≤ n i1 a i x k i ≤ 1 ε n n i1 a i x i . 2.22 Theme 2.7. Definition 2.6 is equivalent to Definition 2.1. Proof. We can easily conclude Definition 2.1 from Definition 2.6 By the Definition 2.1, we know that x i is aspreading model generated by x i . For any fixed a i n i1 ⊆ −1, 1, we partition 0,n into some subintervals I j m j1 of length <ε ρ and “color” k 1 ,k 2 , k n by I l if n i1 a j y k i ∈ I l 1 ≤ l ≤ m . 2.23 Let ρ ∈ Z ,ρ≥ n and ρ ≤ k 1 < ···<k i 0 < ···k n ; then n i1 a i x k i − n i1 a i x i <δ ρ , 2.24 Journal of Inequalities and Applications 7 where δ ρ ↓ 0,δ ρ > 0. Using the same procedure of Theorem 2.2, we can get that for any a i n i1 ⊆ −1, 1,ε n ↓ 0, n i1 1 1 ε n a i x k i − n i1 1 1 ε n a i x i <δ ρ . 2.25 Thus n i1 1 1 ε n a i x k i <δ ρ n i1 1 1 ε n a i x i δ ρ 1 1 ε n n i1 a i x i ≤ δ ρ n i1 a i x i . 2.26 Letting ρ →∞, then n i1 1 1 ε n a i x k i ≤ n i1 a i x i . 2.27 That is, n i1 a i x k i ≤ 1 ε n n i1 a i x i . 2.28 Similarly, 1 ε n −1 n i1 a i x i ≤ n i1 a i x k i . 2.29 Hence, we obtain that 1 ε n −1 n i1 a i x i ≤ n i1 a i x k i ≤ 1 ε n n i1 a i x i . 2.30 Let SP w X be the set of all spreading models x i generated by weakly null sequences x i in X endowed with order relation by domination, that is, x i ≤ y i if there exists a constant K ≥ 1 such that a i x i ≤K a i y i for scalars a i ; then SP w X, ≤ is a partial order set. If x i ≤ y i and y i ≤ x i , we call x i equivalent to y i , denoted by x i ∼ y i . We identify x i and y i in SP w X if x i ∼ y i . Lemma 2.8 see 5. If an Orliczsequence space h M does not contain an isomorphic copy of l 1 ,then the sets SP w h M and C M,1 coincide. That is, SP w h M C M,1 . 8 Journal of Inequalities and Applications 3. OrliczSequenceSpaceswith Equivalent Spreading Models Definition 3.1 see 7.Letx n be a normalized Schauder basis of a Banach space X. x n is said to be lower resp., upper semihomogeneous if every normalized block basic sequence of the basis dominates resp., is dominated byx n . Lemma 3.2 see 7. Let M be an Orlicz function with M11,M∈ Δ 2 , and let e i denote the unit vector basis of the space h M . The basis is a lower semi-homogeneous if and only if CMst ≥ MsMt for all s, t ∈ 0, 1 and some C ≥ 1, b upper semi-homogeneous if and only if Mst ≤ CMsMt for s, t, C as above. Lemma 3.3 see 6. The space l p ,orc 0 if p ∞, is isomorphic to a subspace of an Orliczsequence space h M if and only if p ∈ α M ,β M ,where α M sup ⎧ ⎪ ⎨ ⎪ ⎩ q :sup 0<λ, t≤1 M λt M λ t q < ∞ ⎫ ⎪ ⎬ ⎪ ⎭ , 3.1 β M inf ⎧ ⎪ ⎨ ⎪ ⎩ q :sup 0<λ, t≤1 M λt M λ t q > 0 ⎫ ⎪ ⎬ ⎪ ⎭ . 3.2 Lemma 3.4 see 5. Let M ∈ Δ 2 , l M be an Orliczsequence space which is not isomorphic to l 1 . Suppose that SP w l M is countable, up to equivalence. Then i the unit vector basis of l M is the upper bound of SP w l M ; ii the unit vector basis of l p is the lower bound of SP w l M ,wherep ∈ α M ,β M . Theorem 3.5. Let M ∈ Δ 2 , and let e i be the unit basis of the space l M .Ife i is lower semi- homogeneous, then |SP w l M | 1 if and only if l M is isomorphic to l p ,p∈ α M ,β M . Proof. Sufficiency. Since M ∈ Δ 2 , SP w l M is countable, then by Lemma 3.4 , l M is the upper bound of SP w l M ,andl p ,p∈ α M ,β M is the lower bound of SP w l M . Since l M is isomorphic to l p ,p∈ α M ,β M ,weget|SP w l M | 1. Necessity. If |SP w l M | 1, then |C M,1 | 1byLemma 2.8, t hat is, all the functions in C M,1 are equivalent to M. For p ∈ α M ,β M , we define the function M n t6 as follows: M n t A −1 n 1 u n /ω n M tsω n s −p−1 ds, 3.3 Journal of Inequalities and Applications 9 where 0 <u n <v n <ω n ≤ 1withω n → 0,u n /v n → 0,A n 1 u n /ω n Msω n s −p−1 ds. Obviously, M n t ∈ C M,1 ; next we shall prove that M n t is equivalent to M M n t M t A −1 n 1 u n /w n M tsw n M t s −p−1 ds. 3.4 Since s ≤ 1, sw n ≤ w n ,andM is nondecreasing convex function, therefore, Mtsw n ≤ Mtw n ; then M n t M t A −1 n 1 u n /w n M tsw n M t s −p−1 ds ≤ A −1 n 1 u n /w n M tw n M t s −p−1 ds 1 p A −1 n M tw n M t 1 − u n w n −p . 3.5 Since tw n <tand Mtw n <Mt, we have M n t M t ≤ A −1 n M tw n M t 1 − u n w n −p ≤ 1 p A −1 n 1 − u n w n −p . 3.6 Notice that for any fixed n, the right side of the above inequality is a constant; then we obtain M n ≤ M M n t M t A −1 n 1 u n /w n M tsw n M t s −p−1 ds. 3.7 By u n /w n ≤ s ≤ 1, we have s −p−1 ≥ u n /w n −p−1 and Mtsw n ≥ Mtu n ; hence M n t M t ≥ A −1 n M tu n M t u n w n −p−1 1 − u n w n . 3.8 Since ϕtMt/t p , nϕw n <ϕv n /2,and nM u n w p n < M v n /2 v n /2 p . 3.9 Moreover, w p n v p n > n2 −p M w n M v n /2 . 3.10 10 Journal of Inequalities and Applications We obtain that M n t M t ≥ A −1 n M tu n M t u n w n −p−1 1 − u n w n >A −1 n 1 − u n w n w p n v p n M tu n M t >n· 2 −p A −1 n 1 − u n w n M w n M v n /2 M tu n M t . 3.11 Since 0 <t, u n ≤ 1, {e i } is lower semihomogeneous; then by Lemma 3.2, we have for some C ≥ 1 CM tu n ≥ M t M u n . 3.12 Therefore, M n t M t >n· 2 −p C −1 A −1 n 1 − u n w n M w n M v n /2 M u n . 3.13 Thus we get M n ≥ M. So by 3.4 and 3.7, we can know that M n is equivalent to M. By Lemma 3.3 and its proof 6, Theorem 4.a.9,weobtainthatM n t uniformly converges to t p on 0, 1/2. Since C M,1 is the closed subset of C0, 1/2, we have that t p ∈ C M,1 , t p is equivalent to M,and therefore l M is isomorphic to l p . Acknowledgment The first author was supported by the NSF of China no. 10671048 and by Haiwai Xueren Research Foundation in Heilongjiang Province no. 1055HZ003. References 1 E. Odell, On the Structure of Separable Infinite Dimensional Banach Spaces, Lecture Notes in Chern Institute of Mathematics, Nankai University, Tianjin, China, 2007. 2 G. Androulakis, E. Odell, Th. Schlumprecht, and N. Tomczak-Jaegermann, “On the structure of the spreading models of a Banach space,” Canadian Journal of Mathematics, vol. 57, no. 4, pp. 673–707, 2005. 3 S. J. Dilworth, E. Odell, and B. Sari, “Lattice structures and spreading models,” Israel Journal of Mathematics, vol. 161, pp. 387–411, 2007. 4 A. Brunel and L. Sucheston, “On B-convex Banach spaces,” Mathematical Systems Theory, vol. 7, no. 4, pp. 294–299, 1974. 5 B. Sari, “On the structure of the set of symmetric sequences in Orliczsequence spaces,” Canadian Mathematical Bulletin, vol. 50, no. 1, pp. 138–148, 2007. 6 J. Lindenstrauss and L. Tzafriri, Classical Banach Spaces, vol. 1, Springer, New York, NY, USA, 1977. 7 M. Gonz ´ alez, B. Sari, and M. W ´ ojtowicz, “Semi-homogeneous bases in Orliczsequence spaces,” in Function Spaces, vol. 435 of Contemporary Mathematics, pp. 171–181, American Mathematical Society, Providence, RI, USA, 2007. . Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2010, Article ID 962842, 10 pages doi:10.1155/2010/962842 Research Article Orlicz Sequence Spaces with a Unique Spreading. for each λ>0 2.3 is a closed subspace of l M . It is easy to verify that the spaces l p 1 ≤ p<∞ are just Orlicz sequence spaces, and Orlicz sequence spaces are the generalization. space. For every normalized basic sequence y i in a Banach space and for every ε n ↓ 0, there exist a subsequence x i and a normalized basic sequence x i such that for all n ∈ N, a i n i1 ∈