Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2011, Article ID 485730, 17 pages doi:10.1155/2011/485730 Research Article On Some Generalized B m-Difference Riesz Sequence Spaces and Uniform Opial Property Metin Başarır and Mahpeyker Öztürk Department of Mathematics, Sakarya University, 54187 Sakarya, Turkey Correspondence should be addressed to Metin Başarır, basarir@sakarya.edu.tr Received 29 November 2010; Accepted 18 January 2011 Academic Editor: Radu Precup Copyright q 2011 M. Başarır and M. Öztürk. 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. q q q We define the new generalized difference Riesz sequence spaces r∞ p, B m , rc p, B m , and r0 p, B m q which consist of all the sequences whose B m -transforms are in the Riesz sequence spaces r∞ p, q q rc p, and r0 p, respectively, introduced by Altay and Başar 2006. We examine some topological q q q properties and compute the α-, β-, and γ-duals of the spaces r∞ p, B m , rc p, B m , and r0 p, B m . Finally, we determine the necessary and sufficient conditions on the matrix transformation q q q from the spaces r∞ p, B m , rc p, B m , and r0 p, B m to the spaces l∞ and c and prove that q q m m sequence spaces r0 p, B and rc p, B have the uniform Opial property for pk ≥ 1 for all k ∈ . 1. Introduction Let w be the space of real sequences. We write l∞ , c, c0 for the sequence spaces of all bounded, convergent and null sequences, respectively. Also, by bs, cs, and l1 , we denote the sequence spaces of all bounded, convergent and absolutely convergent series, respectively. A linear topological space X over the real field R is said to be a paranormed space if there is a subadditive function g : X → R such that gθ 0, gx g−x and scalar multiplication is continuous; that is, |αn − α| → 0 and gxn − x → 0 imply gαn xn − αx → 0 for all α’s in R and all x’s in X, where θ is the zero vector in the linear space X. Assume here and after that p pk is a bounded sequence of strictly positive real numbers with sup pk H and M max{1, H}. Then, the linear space l∞ p, cp, c0 p, and lp were defined by Maddox 1, 2, Nakano 3 and Simons 4 as follows: 2 l∞ p Journal of Inequalities and Applications x xk ∈ w : sup|xk |pk < ∞ , k∈ x xk ∈ w : lim |xk − l|pk 0 for some l ∈ Ê , k→∞ pk c0 p x xk ∈ w : lim |xk | 0 , c p 1.1 k→∞ which are the complete spaces paranormed by g1 x sup|xk |pk /M , k∈ pk l p x xk ∈ w : |xk | < ∞ , with 0 < pk ≤ H < ∞ , 1.2 k which is the complete space paranormed by g2 x 1/M |xk |pk . 1.3 k For simplicity notation, here and in what follows, the summation without limits runs from 0 to ∞. We assume throughout that pk −1 pk −1 1 provided 1 < inf pk ≤ H < ∞ and denote the collection of all finite subsets of Æ by F, where Æ {0, 1, 2, . . .}. Let λ and μ be two sequence spaces and A ank be an infinite matrix of real numbers ank , where n, k ∈ Æ . Then, we say that A defines a matrix mapping from λ into μ and we denote it by writing A : λ → μ if for every sequence x xk ∈ λ the sequence Ax {Axn }, the A-transform of x, is in μ, where Axn ank xk n ∈ Æ . k 1.4 By λ : μ, we denote the class of all matrices A such that A : λ → μ. Thus, A ∈ λ : μ if and only if the series on the right side of 1.4 converges for each n ∈ λ. A sequence x is said to be A-summable to α if Ax converges to α which is called as the A-limit of x. Let qk be a sequence of positive numbers and Qn n qk , n ∈ Æ . 1.5 k0 q Then, the matrix Rq rnk of the Riesz mean is given by q rnk ⎧ q ⎪ ⎨ k, Qn ⎪ ⎩0, 0 ≤ k ≤ n, k > n. 1.6 Journal of Inequalities and Applications 3 The Riesz sequence spaces introduced by Altay and Başar in 5, 6 are ⎧ ⎫ pk k ⎨ ⎬ 1 r q p x xk ∈ w : qj xj < ∞ , ⎩ ⎭ Q k k j0 with 0 < pk ≤ H < ∞ , ⎫ ⎧ pk k ⎬ ⎨ 1 q rc p x xk ∈ w : lim qj xj − l 0, for some l ∈ R , ⎭ ⎩ k → ∞ Qk j0 ⎫ ⎧ pk k ⎬ ⎨ 1 q r0 p x xk ∈ w : lim qj xj 0 , ⎭ ⎩ k → ∞ Qk j0 1.7 ⎫ ⎧ pk k ⎬ ⎨ 1 q r∞ p x xk ∈ w : sup qj xj < ∞ , ⎭ ⎩ k∈N Qk j0 which are the sequence spaces of the sequences x whose Rq -transforms are in lp, cp, c0 p, and l∞ p, respectively. Also, Altay and Başar 7 introduced the generalized difference matrix B bnk by bnk ⎧ ⎪ r, ⎪ ⎪ ⎨ s, ⎪ ⎪ ⎪ ⎩ 0, k n, k n − 1, 1.8 0 ≤ k < n − 1 or k > n for all k, n ∈ Æ , r, s ∈ Ê − {0}. The matrix B can be reduced the difference matrix Δ in case r 1, s −1 by, where Δ denotes the matrix Δ Δnk defined by Δnk ⎧ ⎨−1n−k , n − 1 ≤ k ≤ n, ⎩0, k < n − 1 or k > n. 1.9 The results related to the matrix domain of the matrix B are more general and more comprehensive than the corresponding consequences of matrix domain of Δ and include them 6, 8–13. m which reduced the difference Başarır and Kayikçi 14 defined the matrix Bm bnk m m−1 matrix Δ ΔΔ in case r 1, s −1 by m bnk ⎞ ⎧⎛ m ⎪ ⎪ ⎨⎝ ⎠r m−n k sn−k ; n − k ⎪ ⎪ ⎩ 0; max{0, n − m} ≤ k ≤ n, 0 ≤ k < max{0, n − m} or k > n, 1.10 4 Journal of Inequalities and Applications and introduced the generalized Bm -difference Riesz sequence space which is the sequence space of the sequences x whose Rq Bm -transforms are in lp. The main purpose of this paper is to introduce the Bm -difference Riesz sequence spaces q q q r∞ p, Bm , rc p, Bm , and r0 p, Bm of the sequences whose Rq Bm -transform are in l∞ p, cp, and c0 p, respectively, and to investigate some topological and geometric properties of them. For simplicity, we take the matrix Rq Bm T. 2. Bm -Difference Riesz Sequence Spaces Let us define the sequence y {yn q}, which is used, as the Rq Bm T-transform of a sequence x xk , that is, n n−1 m 1 m−i k i−k yn q Txn r s qi xk Qn k0 ik i − k q rm qn xn , Qn q n ∈ Æ . 2.1 q We define the Bm -difference Riesz sequence spaces r∞ p, Bm , rc p, Bm , and r0 p, Bm by q r∞ p, Bm x xj ∈ w : Txn ∈ l∞ p , q rc p, Bm x xj ∈ w : Txn ∈ c p , 2.2 q r0 p, Bm x xj ∈ w : Txn ∈ c0 p . q q q If m 1 then they are reduced the spaces r∞ p, B, rc p, B, and r0 p, B defined by Başarır in q q q 15. If we take B Δ then we have r∞ p, Δm , rc p, Δm , and r0 p, Δm . If we take B Δ and q q q m 1 then we have r∞ p, Δ, rc p, Δ, and r0 p, Δ. If we take pk p for all k then we have q q q r∞ Bm , rc Bm , and r0 Bm . We have the following. q Theorem 2.1. r0 p, Bm is a complete linear metric space paranormed by gB , defined by gB x sup|Txk |pk /M , k∈ q q 2.3 gB is a paranorm for the spaces r∞ p, Bm and rc p, Bm only in the trivial case with inf pk > 0 when q q q q r∞ p, Bm r∞ Bm and rc p, Bm rc Bm . Journal of Inequalities and Applications 5 q q Proof. We prove the theorem for the space r0 p, Bm . The linearity of r0 p, Bm with respect to the coordinatewise addition and scalar multiplication that follow from the inequalities which q are satisfied for u, v ∈ r0 p, Bm 16 ⎡ ⎡ k−1 k m 1 r m−i j si−j qi uj sup ⎣ ⎣ Q i−j k∈ k j0 ij ⎤ r m qk uk Qk vj ⎦ ⎤pk /M ⎦ vk ⎡ ⎡ ⎤ k−1 k m 1 ⎣ ⎣ r m−i j si−j qi uj ⎦ ≤ sup Q k i − j k∈ j0 ij ⎤pk /M r m qk uk ⎦ Qk ⎡ ⎡ ⎤ k−1 k m 1 r m−i j si−j qi vj ⎦ sup ⎣ ⎣ i−j k∈ Qk j0 ij ⎤pk /M r m qk ⎦ vk , Qk 2.4 and for any α ∈ Ê 1, |α|pk ≤ max 1, |α|M . 2.5 q It is clear that gB θ 0 and gB −x gB x for all x ∈ r0 p, Bm . Again, the inequalities 2.4 and 2.5 yield the subadditivity of gB and gB αu ≤ max{1, |α|}gB u. 2.6 q Let {xn } be any sequence of the elements of the space r0 p, Bm such that gB xn − x −→ 0, 2.7 and λn also be any sequence of scalars such that λn → λ, as n → ∞. Then, since the inequality gB xn ≤ gB x gB xn − x 2.8 6 Journal of Inequalities and Applications holds by subadditivity of gB , {gB xn } is bounded, and thus we have gB λn xn − λx ⎡ ⎡ ⎤ k−1 k ! " m 1 r m−i j si−j qi λn xjn − λxj ⎦ sup ⎣ ⎣ Q k i − j k∈ j0 ij |λn − λ| 1/M ⎡ ⎡ ⎤ k−1 k m 1 sup ⎣ ⎣ r m−i j si−j qi xjn ⎦ i−j k∈ Qk j0 ij ⎤pk /M r m qk λn xkn − λxk ⎦ Qk ⎤pk /M r m qk n ⎦ x Qk k ⎡ ⎡ ⎤ k−1 k ! " m 1 ⎣ ⎣ r m−i j si−j qi xjn − xj ⎦ |λ|1/M sup i−j k∈ Qk j0 ij ≤ |λn − λ|1/M gB xn 2.9 ⎤pk /M r m qk n xk − xk ⎦ Qk |λ|1/M gB xn − x, which tends to zero as n → ∞. Hence, the scalar multiplication is continuous. Finally, it q is clear to say that gB is a paranorm on the space r0 p, Bm . Moreover, we will prove the q q completeness of the space r0 p, Bm . Let xi be a Cauchy sequence in the space r0 p, Bm , where q i xi {xk } {x0i , x1i , x2i , . . .} ∈ r0 p, Bm . Then, for a given ε > 0, there exists a positive integer n0 ε such that ! " gB xi − xj < ε, 2.10 for all i, j ≥ n0 ε. If we use the definition of gB , we obtain for each fixed k ∈ Æ that ! ! ! ! " " " " pk /M < ε, Txi − Txj ≤ sup Txi − Txj k k k k k∈ 2.11 for i, j ≥ n0 ε which leads us to the fact that ! Tx0 " ! " ! " , Tx1 , Tx2 , . . . k k k 2.12 is a Cauchy sequence of real numbers for every fixed k ∈ Æ . Since Ê is complete, it converges, so we write Txi k → Txk as i → ∞. Hence, by using these infinitely many limits Tx0 , Tx1 , Tx2 , . . ., we define the sequence {Tx0 , Tx1 , Tx2 , . . .}. From 2.11 with j → ∞, we have ! " Txi − Txk < ε, k 2.13 i ≥ n0 ε for every fixed k ∈ Æ . Since xi {xk } ∈ r0 p, Bm , i q ! " pk /M < ε, Txi k 2.14 Journal of Inequalities and Applications 7 for all k ∈ Æ . Therefore, by 2.13, we obtain that ! " pk /M |Txk |pk /M ≤ Txk − Txi ! " pk /M < ε, Txi k 2.15 k for all i ≥ n0 ε. This shows that the sequence Tx belongs to the space c0 p. Since {xi } was q an arbitrary Cauchy sequence, the space r0 p, Bm is complete. # m Theorem 2.2. Let kij i−j r m−i j si−j qi / 0 for all k, m and 0 ≤ j ≤ k − 1. Then the Bm -difference q q q m m Riesz sequence spaces r∞ p, B , rc p, B , and r0 p, Bm are linearly isomorphic to the spaces l∞ p, cp, and c0 p, respectively, where 0 < pk ≤ H < ∞. q Proof. We establish this for the space r∞ p, Bm . For the proof of the theorem, we should show q the existence of a linear bijection between the space r∞ p, Bm and l∞ p for 0 < pk ≤ H < ∞. q With the notation of 2.1, define the transformation S from r∞ p, Bm to l∞ p by x → y Sx.S is a linear transformation, morever; it is obviuos that x θ whenever Sx θ and hence S is injective. Let y yk ∈ l∞ p and define the sequence x xk by k−1 n 1 sk−i xk −1k−n m k−i r n0 in k−i−1 m k−i 1 Qn yn qi Qk yk , r m qk ∀k ∈ Æ . 2.16 Then, ⎡ ⎤ k m 1 k−1 ⎣ gB x sup r m−i j si−j qi xj ⎦ i−j k∈ Qk j0 ij pk /M r m qk xk Qk 2.17 pk /M p /M k sup δkj yj supyk k g1 y < ∞, k∈ j0 k∈ where δkj ⎧ ⎨1, k j, ⎩0, k/ j. 2.18 q Thus, we have that x ∈ r∞ p, Bm . Consequently, S is surjective and is paranorm preserving. q Hence, S is linear bijection, and this explains that the spaces r∞ p, Bm and l∞ p are linearly isomorphic. q q 3. The Basis for the Spaces rc p, Bm and r0 p, Bm q q In this section, we give two sequences of the points of the spaces r0 p, Bm and rc p, Bm which form the basis for those spaces. 8 Journal of Inequalities and Applications If a sequence space λ paranormed by h contains a sequence bn with the property that for every x ∈ λ, there is a unique sequence of scalars αn such that lim h x − n→∞ n αk βk 0, 3.1 k0 # then bn is called a Schauder basis or briefly basis for λ. The series αk βk which has the # sum x is then called the expansion of x with respect to bn and written as x αk βk . Because of the isomorphism S is onto, defined in the proof of Theorem 2.2, the inverse q image of the basis of the spaces, c0 p and cp are the basis of the new spaces r0 p, Bm and q m rc p, B , respectively. We have the following. Theorem 3.1. Let μk q Txk for all k ∈ Æ and 0 < pk ≤ H < ∞. Define the sequence bk q q k {bn q}n∈ of the elements of the space r0 p, Bm for every fixed k ∈ Æ by ⎛ ⎞ ⎧ k 1 n−i m n − i − 1 ⎪ s ⎪ ⎪ ⎠ 1 Qk , ⎪ −1n−k m n−i ⎝ ⎪ ⎪ qi r ⎨ n−i ik k bn q Qn ⎪ ⎪ , ⎪ mq ⎪ r ⎪ n ⎪ ⎩ 0, n > k, 3.2 k n, k > n. Then, one has the following. q q a The sequence {bk q}k∈ is a basis for the space r0 p, Bm , and any x ∈ r0 p, Bm has a unique representation of the form x μk q bk q . 3.3 k b The set {z T−1 e, bk q} is a basis for the space rc p, Bm and any x ∈ rc p, Bm has a unique representation of the form q x le k μk q − lb q , k q 3.4 where l lim Txk . 3.5 k→∞ q Proof. It is clear that {bk q} ⊂ r0 p, Bm , since Tbk q ek ∈ c0 p , for k ∈ Æ , 3.6 Journal of Inequalities and Applications 9 for 0 < pk ≤ H < ∞, where ek is the sequence whose only non-zero term is 1 in kth place for q each k ∈ Æ . Let x ∈ r0 p, Bm be given. For every nonnegative integer m, we put xm m μk q bk q . 3.7 k0 Then, we obtain by applying T to 3.7 with 3.6 that Txm m m μk q Tbk q Tk ek , k0 ! q R ! x−x M "" i k0 ⎧ ⎨0, 3.8 0 ≤ i ≤ m, ⎩Tx , i > m. i Given ε > 0, then there exists an integer m0 such that sup|Txi |pk /M < i≥m ε , 2 3.9 for all m ≥ m0 . Hence, ! " ε gB x − xm sup|Txi |pk /M ≤ sup|Txi |pk /M < < ε, 2 i≥m i≥m0 3.10 q for all m ≥ m0 , which proves that x ∈ r0 p, Bm is represented as in 3.3. To show the uniqueness of this representation, we suppose that there exists a representation x λk q bk q . 3.11 k q Since the linear transformation S from r0 p, Bm to c0 p, used in Theorem 2.2, is continuous we have Txn λk q Tbk q k n k k λ k q en λ n q ; n ∈ Æ, 3.12 which contradicts the fact that Txn μk q for all n ∈ Æ . Hence, the representation 3.3 of q x ∈ r0 p, Bm is unique. Thus, the proof of the part a of theorem is completed. q q b Since {bk q} ⊂ r0 p, Bm and e ∈ cp, the inclusion {e, bk q} ⊂ rc p, Bm q trivially holds. Let us take x ∈ rc p, Bm . Then, there uniquely exists an l satisfying 3.5. We q thus have the fact that u ∈ r0 p, Bm whenever we set u x − le. Therefore, we deduce by part a of the present theorem that the representation of x given by 3.4 is unique and this step concludes the proof of the part b of theorem. 10 Journal of Inequalities and Applications q q q 4. The α-, β-, and γ -Duals of the Spaces rc p, Bm , r0 p, Bm , and r∞ p, Bm In this section, we prove the theorems determining the α-, β-, and γ -duals of the sequence q q spaces rc p, Bm and r0 p, Bm . For the sequence spaces λ and μ, define the set Sλ, μ by S λ, μ z zk ∈ w : xz xk zk ∈ μ ∀x ∈ λ . 4.1 With the notation 4.1, the α-, β-, γ -duals of a sequence space λ, which are, respectively, denoted by λα , λβ , and λγ are defined by λα Sλ, l1 , λβ Sλ, cs, λγ Sλ, bs. 4.2 Now, we give some lemmas which we need to prove our theorems Lemma 4.1 see 17. A ∈ l∞ p : l1 if and only if 1/pk sup ank K < ∞, K∈F n k∈K ∀ integers K > 1. 4.3 Lemma 4.2 see 18. Let pk > 0 for every k ∈ Æ . Then, A ∈ l∞ p : l∞ if and only if sup n∈ |ank |K 1/pk < ∞, ∀ integers K > 1. k 4.4 Lemma 4.3 see 18. Let pk > 0 for every k ∈ Æ . Then, A ∈ l∞ p : c if and only if |ank |K 1/pk converges uniformly in n, k lim αnk , n→∞ ∀k ∈ Æ . ∀ integers K > 1, 4.5 4.6 Journal of Inequalities and Applications Theorem 4.4. For each m ∈ follows: Æ, 11 define the sets R1 p, R2 p, R3 p, R4 p, R5 p, and R6 p as k 1 $ a ak ∈ w : sup ∇i, n, kQk an R1 p N∈F n k∈N ik K>1 Qn an 1/pk K < ∞, ∀K > 1 , r m qn ⎧ ⎛ ⎞ n 1/p $⎨ a k k ⎝ ⎠ ∇i, n, k a converges a ak ∈ w : Q R2 p j k K m ⎩ r qk K>1 k jk 1 ⎫ % & ⎬ ak Qk 1/pk uniformly in n and m K ∈ c0 , ∀K > 1 , ⎭ r qk ⎧ ⎛ $⎨ ⎝ ak R3 p a ak ∈ w : r mq ⎩ k K>1 k ∇i, n, k aj ⎠Qk K 1/pk < ∞, ∀K > 1, jk 1 ⎫ n ⎬ ∇i, n, k ai Qk ∈ l∞ , ⎭ ik 1 ak m r qk n ⎞ k 1 ' R4 p ∇i, n, kQk ai a ak ∈ w : sup N∈F n k∈N ik K>1 Qn an −1/pk K < ∞, ∀K > 1 , r m qn k 1 Qn an ∇i, n, kQk ai R5 p a ak ∈ w : <∞ , k ik r m qn n ⎧ ⎫ ⎛ ⎞ n ⎬ −1/p '⎨ a k k ⎠Qk K ⎝ a ak ∈ w : ∇i, n, k a < ∞, ∀K > 1 , R6 p j r mq ⎩ ⎭ k K>1 k jk 1 4.7 where ∇i, n, k −1n−k n−i−1 m sn−i r m n−i n−i 1 . qi 4.8 Then, q r∞ p, Bm α R1 p , q rc p, Bm α q r∞ p, Bm R4 p ∩ R5 p , q rc p, Bm q r0 p, Bm α R4 p , γ β R2 p , q rc p, Bm q r∞ p, Bm β γ R3 p , R6 p ∩ cs, R6 p ∩ bs, q r0 p, Bm β q r0 p, Bm γ R6 p . 4.9 12 Journal of Inequalities and Applications q Proof. We give the proof for the space r∞ p, Bm . Let us take any a an ∈ w. We easily derive with the notation ⎡ ⎤ k−1 k m 1 ⎣ yk r m−i j si−j qi xj ⎦ Qk j0 ij i − j rm qk xk , Qk 4.10 that an xn n−1 k 1 k0 n an Qn yn r m qn ∇i, n, kan Qk yk ik 4.11 unk yk Uy n , k0 n ∈ Æ , where U unk is defined by unk ⎧k 1 ⎪ ⎪ ⎪ ∇i, n, kan Qi , 0 ≤ k ≤ n − 1, ⎪ ⎪ ⎨ ik an Qn ⎪ , k n, ⎪ ⎪ r m qn ⎪ ⎪ ⎩ 0, k > n, 4.12 for all k, n ∈ Æ . Thus we deduce from 4.6 that ax an xn ∈ l1 whenever x xk ∈ q r∞ p, Bm if and only if Uy ∈ l1 whenever y yk ∈ l∞ p. From Lemma 4.1, we obtain the desired result that )α ( q R1 p . r p, Bm 4.13 Consider the equation ⎛ n−1 ⎝ ak ak xk r m qk k0 k0 n V y n, k 1 ∇i, n, k ik n ⎞ aj ⎠Qk yk jk 1 ak Qk yk r m qk 4.14 n ∈ Æ , where V vnk defined by vnk ⎧⎛ ⎪ ⎪ ⎪ ⎝ ak ⎪ ⎪ ⎪ ⎨ r m qk ak Qk ⎪ ⎪ , ⎪ ⎪ r m qk ⎪ ⎪ ⎩ 0, ⎞ k 1 n ∇i, n, k aj ⎠Qk , ik 0 ≤ k ≤ n − 1, jk 1 k n, k > n, 4.15 Journal of Inequalities and Applications 13 for all k, n ∈ Æ . Thus, we deduce by with 4.11 that ax ak xk ∈ cs whenever x q xk ∈ r∞ p, Bm if and only if V y ∈ c whenever y yk ∈ l∞ p. Therefor, we derive from Lemma 4.3 that ⎛ ⎝ ak r mq k k ∇i, n, k aj ⎠Qk K 1/pk converges uniformly in n ∀K > 1, 1 ⎞ n jk lim ak Qk k → ∞ r m qk 4.16 K 1/pk 0, which shows that r q p, Bm β R2 p. q As this, we deduce by 4.11 that ax ak xk ∈ bs whenever x xk ∈ r∞ p, Bm if and only if V y ∈ l∞ whenever y yk ∈ l∞ p. Therefore, we obtain by Lemma 4.2 that r q p, Bm γ R3 p and this completes proof. q q Now we characterize the matrix mappings from the spaces r∞ p, Bm , rc p, Bm , and and c. Since the following theorems can be proved by using standart methods, we omit the detail. q r0 p, Bm to the spaces l∞ q Theorem 4.5. (i) A ∈ r∞ p, Bm : l∞ if and only if lim ank Qk M1/pk 0, ∀n, M ∈ Æ , qk n ∇i, n, k anj Qk M1/pk < ∞, ∀M ∈ Æ jk 1 k→∞ ank sup m n∈ k r qk hold. 4.17 4.18 q (ii) A ∈ rc p, Bm : l∞ if and only if 4.14, ⎛ ank sup ⎝ m r qk n∈ k ∇i, n, k anj ⎠Qk M1/pk 0, ∃M ∈ Æ , jk 1 ⎛ ⎞ n a nk ∇i, n, k anj ⎠Qk < ∞ sup ⎝ m r qk n∈ k jk 1 hold. q n ⎞ (iii) A ∈ r0 p, Bm : l∞ if and only if 4.14 and 4.18 hold. 4.19 14 Journal of Inequalities and Applications q Theorem 4.6. (i) A ∈ r∞ p, Bm : c if and only if 4.14, ⎛ ank sup ⎝ m r qk n∈ k ∇i, n, k anj ⎠Qk M1/pk < ∞, 1 n jk ⎛ ank such that lim ⎣ ⎝ m n→∞ r qk k ⎞ ⎡ ∃αk ⊂ Ê ∇i, n, k 4.20 ⎤ 1/p anj ⎠Qk − αk M k ⎦ 0, 1 ⎞ n jk ∀M ∈ Æ , ∀M ∈ Æ hold. q (ii) A ∈ rc p, Bm : c if and only if 4.14, 4.18, ∃αk ⊂ Ê ⎛ ⎞ n a nk ⎠ ⎝ ∇i, n, k anj Qk − α 0, ∃α ⊂ Ê such that lim m n → ∞ r qk jk 1 ⎛ ⎞ n a nk ⎠ ⎝ such that lim ∇i, n, k anj Qk − αk 0, ∀k ∈ Æ , n → ∞ r m qk jk 1 ∃αk ⊂ Ê ⎛ ank such that sup⎝ m r qk n∈ ∇i, n, k 4.22 ⎠ anj Qk − αk M−1/pk < ∞, 1 n jk 4.21 ⎞ 4.23 ∃M ∈ Æ hold. q (iii) A ∈ r0 p, Bm : c if and only if 4.14, 4.18, 4.21, and 4.22 hold. 5. Uniform Opial Property of Bm -Difference Riesz Sequence Spaces q In this section, we investigate the uniform Opial property of the sequence spaces r0 p, Bm q and rc p, Bm . The Opial property plays an important role in the study of weak convergence of iterates of mapping of Banach spaces and of the asymptotic behavior of nonlinear semigroup. The Opial property is important because Banach spaces with this property have the weak fixed point property 19 see 20, 21. We give the definition of uniform Opial property in a linear metric space and use the q q method in 22, and obtain that r0 p, Bm and rc p, Bm have uniform Opial property for pk ≥ 1. q q For a sequence x xn ∈ r0 p, Bm or x xn ∈ rc p, Bm and for i ∈ Æ , we use the notation x|i x1, x2, . . . , xi, 0, 0, . . . and x|−i 0, 0, . . . , 0, xi 1, xi 2, . . .. We know that every total paranormed space becomes a linear metric space with the q q q metric given by dx, y gx − y. It is clear that r∞ p, Bm , r0 p, Bm , and rc p, Bm are total paranormed spaces with dx, y gB x − y. Now, we can give the definition of uniform Opial property in a linear metric space. Journal of Inequalities and Applications 15 A linear metric space X, d has the uniform Opial property if for each ε > 0 there exists τ > 0 such that for any weakly null sequence {xn } in S0, r and x ∈ X with dx, 0 ≥ ε the following inequality holds: τ ≤ lim inf dxn r n→∞ 5.1 x, 0. Now, we give following lemma which we need it to prove our main theorem. It can be proved by using same method in 14 we omit the detail. Lemma 5.1. If lim infk → ∞ pk > 0 then for any L > 0 and ε > 0, there exists δ δε, L > 0 for u, v ∈ X such that dM u v, 0 < dM u, 0 5.2 ε q q whenever dM u, 0 ≤ L and dM v, 0 ≤ δ, where X r0 p, Bm or rc p, Bm . q q Theorem 5.2. If pk ≥ 1, then r0 p, Bm and rc p, Bm have uniform Opial property. q q Proof. We prove the theorem for r0 p, Bm . rc p, Bm can be proved by similiar way. For any ε > 0, we can find a positive number ε0 ∈ 0, ε such that rM εM > r 4 5.3 ε0 M . q Take any x ∈ r0 p, Bm with dM x, 0 ≥ εM and xn to be weakly null sequence in S0, r. By this, we write dM xn , 0 r M . 5.4 ∞ ! ε "M ε M 0 . < dM x|−q0 , 0 |Txk|pk < 4 4 kq 1 5.5 There exists q0 ∈ Æ such that 0 Furthermore, we have εM ≤ dM x, 0 q0 |Txk|pk k0 εM ≤ q0 |Txk|pk k0 0 3εM ≤ |Txk|pk . 4 k0 q ∞ |Txk|pk , kq0 1 εM , 4 5.6 16 Journal of Inequalities and Applications By xn → 0, weakly, this implies that xn → 0, coordinatewise, hence there exists n0 ∈ that with 5.6 0 3εM ≤ |Txn k 4 k0 Æ such q xk|pk , 5.7 for all n ≥ n0 . Lemma 5.1 asserts that dM y z, 0 ≤ dM y, 0 εM , 4 5.8 whenever dM y, 0 ≤ r M and dM z, 0 ≤ ε0 . Again by xn → 0, weakly, there exists n1 > n0 such that dM xn|q0 , 0 < ε0 for all n > n1 , so by 5.8, we obtain that xn|q0 , 0 < dM xn|−q0 , 0 dM xn|−q0 εM , 4 5.9 hence, dM xn , 0 − ∞ εM < dM xn|−q0 , 0 |Txn k|pk , 4 kq 1 0 r M ∞ εM < − |Txn k|pk , 4 kq 1 5.10 0 for all n > n1 . This, together with 5.5, 5.6, implies that for any n > n1 , dM xn x, 0 q0 |Txn k xk|pk k0 ∞ |Txn k xk|pk kq0 1 ≥ q0 |Txn k xk|pk k0 ∞ pk |Txn k| kq0 1 ∞ p − |Txk| k kq0 1 > 3εM 4 > r rM ε0 M . εM 4 − εM rM 4 εM 4 5.11 Journal of Inequalities and Applications This means that dM xn x, 0 > r uniform Opial property for pk ≥ 1. 17 q ε0 , so we get that the sequence space r0 p, Bm has References 1 I. J. Maddox, “Paranormed sequence spaces generated by infinite matrices,” Proceedings of the Cambridge Philosophical Society, vol. 64, pp. 335–340, 1968. 2 I. J. Maddox, “Spaces of strongly summable sequences,” Quarterly Journal of Mathematics, vol. 18, no. 2, pp. 345–355, 1967. 3 H. Nakano, “Modulared sequence spaces,” Proceedings of the Japan Academy, vol. 27, pp. 508–512, 1951. 4 S. Simons, “The sequence spaces lpv and mpv ,” Proceedings of the London Mathematical Society. Third Series, vol. 15, no. 3, pp. 422–436, 1965. 5 B. Altay and F. Başar, “On the paranormed Riesz sequence spaces of non-absolute type,” Southeast Asian Bulletin of Mathematics, vol. 26, no. 5, pp. 701–715, 2003. 6 B. Altay and F. Başar, “Some paranormed Riesz sequence spaces of non-absolute type,” Southeast Asian Bulletin of Mathematics, vol. 30, no. 4, pp. 591–608, 2006. 7 B. Altay and F. Başar, “On the fine spectrum of the generalized difference operator Br, s over the sequence spaces c0 and c,” International Journal of Mathematics and Mathematical Sciences, vol. 2005, no. 18, pp. 3005–3013, 2005. 8 B. Altay and H. Polat, “On some new Euler difference sequence spaces,” Southeast Asian Bulletin of Mathematics, vol. 30, no. 2, pp. 209–220, 2006. 9 H. Kızmaz, “On certain sequence spaces,” Canadian Mathematical Bulletin, vol. 24, no. 2, pp. 169–176, 1981. 10 M. Başarır and M. Öztürk, “On the Riesz difference sequence space,” Rendiconti del Circolo Matematico di Palermo. Second Series, vol. 57, no. 3, pp. 377–389, 2008. 11 C. Aydin and F. Basar, “Some generalizations of the sequence space αrp ,” Iranian Journal of Science and Technology. Transaction A. Science, vol. 30, no. 2, pp. 175–190, 2006. 12 H. Polat and F. Başar, “Some Euler spaces of difference sequences of order m,” Acta Mathematica Scientia B, vol. 27, no. 2, pp. 254–266, 2007. 13 F. Başar, B. Altay, and M. Mursaleen, “Some generalizations of the space bvp of p-bounded variation sequences,” Nonlinear Analysis: Theory, Methods & Applications, vol. 68, no. 2, pp. 273–287, 2008. 14 M. Başarır and M. Kayikçi, “On the generalized B m -Riesz difference sequence space and β-property,” Journal of Inequalities and Applications, vol. 2009, Article ID 385029, 18 pages, 2009. 15 M. Başarır, “On the generalized Riesz B-difference sequence spaces,” Filomat, vol. 24, no. 4, pp. 35–52, 2010. 16 I. J. Maddox, Elements of Functional Analysis, Cambridge University Press, London, UK, 1970. 17 K.-G. Grosse-Erdmann, “Matrix transformations between the sequence spaces of Maddox,” Journal of Mathematical Analysis and Applications, vol. 180, no. 1, pp. 223–238, 1993. 18 C. G. Lascarides and I. J. Maddox, “Matrix transformations between some classes of sequences,” Proceedings of the Cambridge Philosophical Society, vol. 68, pp. 99–104, 1970. 19 J.-P. Gossez and E. Lami Dozo, “Some geometric properties related to the fixed point theory for nonexpansive mappings,” Pacific Journal of Mathematics, vol. 40, pp. 565–573, 1972. 20 J. Diestel, Geometry of Banach Spaces—Selected Topics, vol. 485 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 1975. 21 L. Maligranda, Orlicz Spaces and Interpolation, vol. 5 of Seminars in Mathematics, Universidade Estadual de Campinas, Departamento de Matemática, Campinas, Brazil, 1989. 22 K. Khompurngson, Geometric properties of some paranormed sequence spaces, M.S. thesis, Chiang Mai University, 2004.