<<

arXiv:1403.1720v1 [math.FA] 7 Mar 2014 (1.2) matrix ( = ∆ Let scle h arxdmi of domain 49-176). matrix the called is (1.1) o-eosequences. non-zero eunewoeol o-eotr sa is term non-zero only whose a as l ntl o-eosequences. non-zero finitely all o each for aldan called scle a called is aho h maps the of each K F lcto r endpitie hti,asqec sequence a is, That . defined are plication hc sas aahsaewt otnoscodnt func coordinate continuous with space Banach a also is which ovretadnl eune,rsetvl.I obviously It respectively. , null and convergent eune uhthat such sequences utpiain scle a called is multiplication) eoe h ope edand field complex the denotes 2010 e od n phrases. and words Key x ewrite We Let h The − oriaespace coordinate A eune whose sequence, A h e falsqecsdntswith denotes sequences all of set The ,v u, = space δ nk P ahmtc ujc Classification. Subject Mathematics G X n compute and Abstract. omtoso h eunespace sequence the of formations A U ∈ x ) ( K F fewr,w hoetematrix the choose we Afterward, . α h matrix the , ,v u, sasqec pc and space sequence a is ∈ BK k X b , X U − k ( = ) ( ssi ohave to said is An . P space − t o h e falsequences all of set the for hr xssauiu sequence unique a exists there k ) α space p g k nti ok egv elkonrslsrltdt oeprop some to related results well-known give we work, this In easqec fpstv n write and positive of sequence a be i H EUNESPACE SEQUENCE THE nk α K F b e : k − provided k ) X β , C hc a h sum the has which k sequence A . (or 1 = n h matrix the and − arxtasomtos eunespace, sequence transformations, Matrix − − → ( = space γ , δ K eunespace sequence th nk for − C c − AK nk ul fteesae.Adas,w hrceietemti c matrix the characterize we also, And spaces. these of duals N emis term = X space endby defined k X X ) =  0 = sacmlt iermti pc.An space. metric linear complete a is fteCsr eno re n,the one, order of mean Cesaro the of rpry if property, hc sasqec pc(o eea xmlso arxdom matrix of examples several space(for sequence a is which ssi ohave to said is { A ( 0 savco pc fnmrclsqecs hr diinan addition where sequences, numerical of space vector a is ) bv , − g , c X sa nnt arx h eunespace sequence The matrix. infinite an is 1 x ( 1 nk nk 1) rmr 64;Scnay4B5 46A35. 46B45, Secondary 46A45; Primary , n nrdc h arxdmi fspace of domain matrix the introduce and b k , A A 0 R n 2 2 sdntdby denoted is , n = ... , ) sCsr eno re n,gnrlzdwihe enadRi and mean weighted generalized one, order of mean Cesàro as = t . . . , = − ewl write will We . 1 , p u x ( = ( k i  ω  in { n and , ( ( = ste aldteepninof expansion the called then is x x } φ r := ahlna usaeof subspace linear Each . 1. u = ) 0 = k , , n ( = nk t n ( UA KIRIŞCI MURAT u th ⊂ +1 0 0 1 α v k Introduction ) C AK e k n ) x , lc o each for place X x n ( fteRezma by mean Riesz the of N ) 1 k n uhthat such ( (0 bv i , , n ) ) , , ( and , , := 2 scniuu o all for continuous is n 1 = ∈ rpry if property, ≤ − . . . , 1 N OEAPPLICATIONS SOME AND x ( (0 0 = ( (0 ω T n > k 1 n < k { n > k htteest r ust of subsets are sets these that X { or n x ) ≤ and : ≤ ,ℓ φ, e ≤ BK Ax , ( = nalna metric linear a in ( = ihalna oooyi alda called is linear a with ( n 1 tionals k k k x u ) , ∞ -space, ) } P k ≤ ) ≤ k e 2 − ≤ ∈ ) k ( c , x . . . , sabssfor basis a is 0 6= n By . k k n n k n 1 X n ) φ =0 : ) ) ∈ ) ) 0 = } and ) or ⊂ f α N o all for t k fsaassc that such scalars of k − e x ( X o,w en h ieec matrix difference the define we Now, . and x eeaie egtdmean weighted generalized β , K F ris ulsae n arxtrans- matrix and spaces dual erties, ω n > k for and : = ) c and − wt h nue diinadscalar and addition induced the (with N 0 i bv γ , k − k φ x ∈ o h eso l nt,bounded, finite, all of sets the for e x → − 6= space ( ihabtaytinl matrix triangle arbitrary with ∈ ) = X { ihrsetto respect with k n N ul,Shue basis. Schauder duals, e , X ) N n , A . C k span ( and . ( For . } k k , asso h e spaces. new the of lasses n scle a called is sabssfor basis a is 1 = hs oooyi normable is topology whose 0 = BK { φ → e , u = ω k , 2 } x 1 . − U ∈ ... , span h e falfinitely all of set the , k , x pc sa is space 2 := ) ... , = let , A . K cadrbasis Schauder ( { b P ) s mean esz x e saeprovided -space n ednt the denote we , X ( clrmulti- scalar d ( is e 6 p. [6] see ains, K ) 1 n n ∞ k n written and , /u ) =0 where , or ) − } } h e of set the , space where , K α factorable (1 = n − b n space, /u An . e K k k C ) is is if . t /T , (0 ≤ k ≤ n) rt = k n nk 0 , (k>n)  for all k,n ∈ N; where un depends only on n and vk only on k.

In this work, we give well-known results related to some properties, dual spaces and matrix transformations of the sequence space bv and introduce the matrix domain of space bv with arbitrary triangle matrix A. Afterward, we choose the matrix A as Cesàro mean of order one, generalized weighted mean and Riesz mean and compute α−,β − βγ−duals of these spaces. And also, we characterize the matrix classes of the spaces bv(C), bv(G), bv(R).

2. Well-Known Results In this section, we will give some well-known results and will define a new form of the sequence space bv with arbitrary triangle A. The space of all sequences of bounded variation defined by ∞

bv = x = (xk) ∈ ω : |xk − xk−1| < ∞ , ( k=1 ) X ∞ which is a BK−space under the kxkbv = |x0| + k=1 |xk − xk−1| for x ∈ bv. The space bv0 denotes bv0 = bv ∩ c0. It is clear that bv = bv0 + {e}. Also the inclusions ℓ1 ⊂ bv0 ⊂ bv = bv0 + {e}⊂ c are strict. P

Let X be a sequence space and ∆ denotes the matrix as defined by (1.2). The matrix domain X∆ for X = {ℓ∞,c,c0} is called the difference sequence spaces, which was firstly defined and studied by Kizmaz [22]. If we choose X = ℓ1, the space ℓ1(∆) is called the space of all sequences of bounded variation and denote by bv. In [8], Başar and Altay have defined the sequence space bvp for 1 ≤ p ≤ ∞ which consists of all sequences such that ∆-transforms of them are in ℓp and have studied several properties of these spaces. Basar and Altay[8] proved that the space bvp is a BK− space with the norm kxkbvp = k∆xkℓp and linearly isomorphic to ℓp for 1 ≤ p ≤ ∞. The inclusion relations for the space bvp are given in [8] as below:

(i) The inclusion ℓp ⊂ bvp strictly holds for 1 ≤ p ≤ ∞. (ii) Neither of the spaces bvp and ℓ∞ includes the other one, where 1

(2.1) (Ax)n = ankxk for each n ∈ N. k X For simplicity in notation, here and in what follows, the summation without limits runs from 0 to ∞. By (X : Y ), we denote the class of all matrices A such that A : X → Y . Thus, A ∈ (X : Y ) if and only if the series on the right side of (2.1) converges for each n ∈ N and each x ∈ X and we have Ax = {(Ax)n}n∈N ∈ Y for all x ∈ X. A sequence x is said to be A-summable to l if Ax converges to l which is called the A-limit of x.

−1 If X, Y ⊂ ω and z any sequence, we can write z ∗ X = {x = (xk) ∈ ω : xz ∈ X} and M(X, Y ) = −1 x∈X x ∗ Y . If we choose Y = ℓ1,cs,bs, then we obtain the α−,β−,γ−duals of X, respectively as T α X = M(X,ℓ1)= {a = (ak) ∈ ω : ax = (akxk) ∈ ℓ1 for all x ∈ X} β X = M(X,cs)= {a = (ak) ∈ ω : ax = (akxk) ∈ cs for all x ∈ X} γ X = M(X,bs)= {a = (ak) ∈ ω : ax = (akxk) ∈ bs for all x ∈ X}. The α−,β−,γ−duals of classical sequence spaces are defined by α α α α α α α α c0 = c = ℓ∞ = ℓ1, ℓ1 = ℓ∞, cs = bs = bv = bv0 = ℓ1 β β β β β β β β c0 = c = ℓ∞ = ℓ1, ℓ1 = ℓ∞, cs = bv, bs = bv0, bv = cs, bv0 = bs γ γ γ γ γ γ γ γ c0 = c = ℓ∞ = ℓ1, ℓ1 = ℓ∞, cs = bs = bv, bv = bv0 = bs. 2 The continuous dual of X is the space of all continuous linear functionals on X and is denote by X∗. The continuous dual X∗ with the norm k.k∗ defined by kfk∗ = sup {|f(x)| : kxk =1} for f ∈ X∗.

∗ ∗ β The spaces c and c0 are norm isomorphic with ℓ1. Also, kakβ = kakℓ1 for all a ∈ ℓ∞.

The following theorem is the most important result in the theory of matrix transformations: Theorem 2.1. Matrix transformations between BK−spaces are continuous. In [5], Başar and Altay developed very useful tools for duals and matrix transformations of sequence spaces as below: Theorem 2.2. [8, Lemma 5.3] Let X, Y be any two sequence spaces, A be an infinite matrix and U a triangle matrix matrix.Then, A ∈ (X : YU ) if and only if UA ∈ (X : Y ).

U Theorem 2.3. [5, Theorem 3.1] Bµ = (bnk) be defined via a sequence a = (ak) ∈ ω and inverse of the triangle matrix U = (unk) by n bnk = aj vjk j k X= for all k,n ∈ N. Then,

β U λU = {a = (ak) ∈ ω : B ∈ (λ : c)} and

γ U λU = {a = (ak) ∈ ω : B ∈ (λ : ℓ∞)}. The following theorem proved by Zeller [38]:

∞ Theorem 2.4. Let X be an FK−space whose topology is given by means of the seminorms {qn}n=1 and let A be an infinite matrix. Then XA is an FK−space when topologized by

x → |xj | (j =1, 2,...) n x → sup | aij xj | (i =1, 2,...) n j=1 X x → qn(Ax) (n =1, 2,...). Following theorems are given by Bennet [19].

(j) Theorem 2.5. An FK−space X contains ℓ1 if and only if {e : j =1, 2,...} is a bounded subsets of X.

Theorem 2.6. Let A be a matrix and X an FK−sace. Then A maps ℓ1 into X if and only if the columns of A belong to X and form a bounded subset there.

n (j) Theorem 2.7. An FK−space contains bv0(bv) if and only if (e ∈ E) and { j=1 e : j = 1, 2,...} is a bounded subsets of X. P Theorem 2.8. Let A be a matrix and X an FK−sace. Then A maps bv0 into X if and only if the columns of A belong to X and their partial sums form a bounded subset there. The important class of co-null FK−space was introduced by Snyder [35]: An FK−space X containing ∞ j ϕ ∪{e} is said to be co-null if j=1 e = e weakly in X.

Therefore, using the definitionP of co-null and Theorem 2.7, we have: Corollary 2.9. [19] Any co-null FK−space must contain bv.

β Theorem 2.10 (Theorem 4.3.2 in [37]). Let (X, k.k) be a BK−space. Then X is a BK−space with kakβ = n sup {supn | k=0 akxk| : kxk =1}. TheoremP 2.11 (Theorem 7.2.9 in [37]). The inclusion Xβ ⊂ X∗ holds in the following sense: Let the : Xβ → ∗ C β ∞ X be defined by (a)= a : X → , (a ∈ X ) where a(x)= k=0 akxk for all x ∈ X. Then is an into X∗. If X has AK, then the map is onto X∗. P b b b b 3 b b Now, we define the space bv with a lower triangle matrix A = (ank) for all k,n ∈ N as below:

(2.2) bv(A)= {x = (xk) ∈ ω : Ax ∈ bv} .

The space bv is BK−space with the norm kxkbv = k∆xkℓ1 and A is a triangle matrix. Then, from Theorem 4.3.2 in [37], we say that the space bv(A) is a BK−space with the norm kxkbv(A) = kAxkbv.

If A is a triangle, then one can easily observe that the sequence XA and X are linearly isomorphic,i.e., XA =∼ X. Therefore, the spaces bv and bv(A)are norm isomorphic to the spaced ℓ1 and bv, respectively. Now we give some results:

Lemma 2.12. Let A = (ank) be an infinite matrix. Then, the following statements hold:

(i) A ∈ (ℓ1 : ℓ∞) if and only if

(2.3) sup |ank| < ∞. k,n∈N

(ii) A ∈ (ℓ1 : c) if and only if (2.3) holds, and there are αk, ∈ C such that

(2.4) lim ank = αk for each k ∈ N. n→∞

(iii) A ∈ (ℓ1 : ℓ1) if and only if

(2.5) sup |ank| < ∞. ∈N k n X 3. Applications In this section, we give some results related to the space bv(A) as choose well-known matrices instead of arbitrary matrix A.

3.1. The space bv(C). We give the matrix C1 = (cnk) instead of the matrix A = (ank), in (2.2). Then, we obtain the space bv(C) as below:

k k−1 1 1 (3.1) bv(C)= x = (x ) ∈ ω : x − x < ∞ .  k k +1 j k j  k j=0 j=0  X X X 

Using the notation (1.1), we can denotes the space bv (C) as bv(C) = (bv)C1 = (ℓ1)∆.C1 , where Φ= φnk = ∆.C1 −1  1  defined by φnk = (n+1).n (0 ≤ kn) for all n.

The Φ−transform of the sequence x = (xk) defined by k x 1 (3.2) y = k − x . k k +1 k(k + 1) j j=0 X (k) (k) Theorem 3.1. Define a sequence t = {tn }n∈N of elements of the space bv(C) for every fixed k ∈ N by (k + 1) , (n = k) t(k) = 1 , (n < k) n   0 , (n > k) (k) Therefore, the sequence {t }k∈N is a basis for the space bv(C) and any x ∈ bv(C) has a unique representation of the form (k) x = (Φx)kt . k X This theorem can be proved as Theorem 3.1 in [8], we omit details.

Theorem 3.2. The α−dual of the space bv(C) is the set

d1 = a = (ak) ∈ ω : sup |bnk| < ∞ ∈N ( k n ) X where the matrix B = (bnk) is defined via the sequence a = (an) ∈ ω by (n + 1)an (n = k), ak (kn). 4 Proof. Let a = (an) ∈ ω. Using the relation (3.2), we obtain

n−1 (3.3) anxn = yk + (n + 1)yn an = (By)n

n k=0 X X It follows from (3.3) that ax = (anxn) ∈ ℓ 1 whenever x ∈ bv( C) if and only if By ∈ ℓ1 whenever y ∈ ℓ1. We α obtain that a ∈ [bv(C)] whenever x ∈ bv(C) if and only if B ∈ (ℓ1 : ℓ1). Therefore, we get by Lemma 2.12 α (iii) with B instead of A that a ∈ [bv(C)] if and only if supk∈N n |bnk| < ∞. This gives us the result that α [bv(C)] = d1.  P Theorem 3.3. Define the sets by

d2 = a = (ak) ∈ ω : lim dnk exists for each k ∈ N n n o d3 = a = (ak) ∈ ω : sup |dnk| < ∞ ( k n ) X n where the matrix D = (dnk) is defined via the sequence a = (an) ∈ ω by (n + 1)an (n = k), j=k aj (k>n) β and 0 (k

n n k−1 (3.4) akxk = ak yj + (k + 1)yk = (Dy)n (n ∈ N).   k k j=0 X=0 X=0 X   Therefore, we deduce from Lemma 2.12 (ii) with (3.4) that ax = (anxn) ∈ cs whenever x ∈ bv(C) if and only if Dy ∈ c whenever y ∈ ℓ1. From (2.3) and (2.4), we have

lim dnk = αk and sup |dnk| < ∞ n k n X β which shows that [bv(C)] = d2 ∩ d3. 

γ Theorem 3.4. [bv(C)] = d3.

Proof. We obtain from Lemma 2.12 (i) with (3.4) that ax = (anxn) ∈ bs whenever x ∈ bv(C) if and only if γ Dy ∈ ℓ∞ whenever y ∈ ℓ1. Then, we see from (2.3) that [bv(C)] = d3. 

In this subsection to use, we define the matrices for brevity that

k−1 n a 1 a = a + (k + 1)a and b = nk − a nk nj nk nk n +1 n(n + 1) jk j=0 j=0 X X for all k,n ∈ N. e e

Theorem 3.5. Suppose that the entries of the infinite matrices A = (ank) and E = (enk) are connected with the relation

(3.5) enk = ank β for all k,n ∈ N and Y be any given sequence space. Then, A ∈ (bv(C): Y ) if and only if {ank}k∈N ∈ [bv(C)] e for all n ∈ N and E ∈ (ℓ1 : Y ).

Proof. Let Y be any given sequence space. Suppose that (3.5) holds between A = (ank) and E = (enk), and take into account that the spaces bv(C) and ℓ1 are norm isomorphic.

β Let A ∈ (bv(C): Y ) and take any y = (yk) ∈ ℓ1. Then ΦE exists and {ank}k∈N ∈ {bv(C)} which yields β that (3.5) is necessary and {enk}k∈N ∈ (ℓ1) for each n ∈ N. Hence, Ey exists for each y ∈ ℓ1 and thus

enkyk = ankxk for all n ∈ N, k k X X we obtain that Ey = Ax which leads us to the consequence E ∈ (ℓ1 : Y ).

5 β Conversely, let {ank}k∈N ∈{bv(C)} for each n ∈ N and E ∈ (ℓ1 : Y ) hold, and take any x = (xk) ∈ bv(C). Then, Ax exists. Therefore, we obtain from the equality

m m k−1 m m−1 ankxk = ank yj + (k + 1)yk = anj yk + (m + 1)anmym for all m,n ∈ N     k k j=0 k j k X=0 X=0 X X=0 X=     as m → ∞ that Ax = Ey and this shows that E ∈ (ℓ1 : Y ). This completes the proof. 

Theorem 3.6. Suppose that the entries of the infinite matrices B = (bnk) and F = (fnk) are connected with the relation e (3.6) fnk = bnk for all k,n ∈ N and Y be any given sequence space. Then, B ∈ (Y : bv(C)) if and only if F ∈ (Y : ℓ ). e 1

Proof. Let z = (zk) ∈ Y and consider the following equality

m m n−1 ank 1 bnkzk = − ajk zk for all, m,n ∈ N n +1 n(n + 1)  k k j=0 X=0 X=0 X e   which yields that as m → ∞ that (Fz)n = {Φ(Bz)}n for all n ∈ N. Therefore, one can observe from here that Bz ∈ bv(C) whenever z ∈ Y if and only if Fz ∈ ℓ1 whenever z ∈ Y . 

3.2. The space bv(G). In (2.2), if we choose the matrix G = G(u, v) = (gnk) instead of the matrix A = (ank), then, we obtain the space bv(G) as below:

k k−1 (3.7) bv(G)= x = (x ) ∈ ω : u v x − u − v x < ∞ .  k k j j k 1 j j  k j=0 j=0  X X X 

Using the notation (1.1), we can denotes the space bv(G) as bv(G) = (bv) = (ℓ ) , where Γ= γ =  G(u,v ) 1 ∆.G(u,v) nk ∆.G(u, v) defined by γnk = (un − un−1)vk (1 ≤ kn) for all n.

The Γ−transform of the sequence x = (xk) defined by

k−1 (3.8) yk = (uk − uk−1) vj xj + ukvkxk. j=0 X (3.9) The Theorem 3.7 and Theorem 3.8 can be proved as Theorem 2.8 in [3],[4] and Theorem 3.6 in [24], respec- tively.

(k) (k) Theorem 3.7. Define a sequence s = {sn }n∈N of elements of the space bv(G) for every fixed k ∈ N by

1 1 − 1 , (1 n)

(k) Therefore, the sequence {s }k∈N is a basis for the space bv(G) and any x ∈ bv(G) has a unique representation of the form

(k) x = (Γx)ks . k X

Theorem 3.8. We define the matrix H = (hnk) as

1 1 1 − an , (1 ≤ kn) 6  for all k,n ∈ N, where u, v ∈U,a = (ak) ∈ ω. The α−dual of the space bv(G) is the set

d5 = a = (ak) ∈ ω : sup |hnk| < ∞ . N∈F ( k ) X Using the Theorem 2.3 and the matrix (3.10), we can give β− and γ−duals of the space bv(G) as below:

Corollary 3.9. Let u, v ∈ U for all k ∈ N. Then,

β 1 1 1 an {bv(G)} = a = (ak) ∈ ω : − ak ∈ ℓ1 and ∈ c v u u − u v   k  k k 1    n n   and

γ 1 1 1 an {bv(G)} = z = (zk) ∈ ω : − ak ∈ ℓ1 and ∈ ℓ∞ . v u u − u v   k  k k 1    n n  

Following theorems can be proved as Theorem 4.2 and 4.3 in [24].

Theorem 3.10. Suppose that the entries of the infinite matrices A = (ank) and B = (bnk) are connected with the relation ∞ 1 1 1 ank = (uj − uj−1)vkbnj or bnk = − ank vk uk uk− j k 1 X=   β for all k,n ∈ N and Y be any given sequence space. Then A ∈ (bv(G): Y ) if and only if {ank}k∈N ∈{bv(G)} for all n ∈ N and B ∈ (ℓ1 : Y ).

Theorem 3.11. Suppose that the entries of the infinite matrices A = (ank) and T = (tnk) are connected with the relation n

tnk = (un − un−1) vj ajk j=0 X for all k,n ∈ N and Y be any given sequence space. Then, A ∈ (Y : bv(G)) if and only if T ∈ (Y : ℓ1).

3.3. The space bv(R). If we choose un = 1/Qn, vk = qk in the space bv(G) defined by (3.7), we obtain the space bv(R):

k k−1 (3.11) bv(R)= x = (x ) ∈ ω : (q /Q ) x − (q /Q − ) x < ∞ .  k j k j j k 1 j  k j=0 j=0  X X X  t we can denotes the space bv(R) as bv(R) = ( bv)Rt = (ℓ1)∆.Rt as the spaces bv (G), where Σ = σnk = ∆.R   defined by σnk = (1/Qn − 1/Qn−1)qk (1 ≤ kn) for all n.

The Σ−transform of the sequence x = (xk) defined by k−1 1 1 qk (3.12) yk = − qj xj + xk. Qk Qk− Qk j=0 1 X   Following theorems can be proved by Theorem 2.9, Theorem 2.7 in [1], respectively.

(k) (k) Theorem 3.12. Define a sequence p = {pn }n∈N of elements of the space bv(R) for every fixed k ∈ N by − (Qk Qk−1) , (1 ≤ kn) (k) Therefore, the sequence {p }k∈N is a basis for the space bv(R) and any x ∈ bv(R) has a unique representation of the form (k) x = (Σx)kp . k X 7 Theorem 3.13. We define the matrix M = (mnk) as − (Qn Qn−1) a , (1 ≤ kn) N for all k,n ∈ . The α−dual of the space bv(R) is the set

d6 = a = (ak) ∈ ω : sup |mnk| < ∞ . N∈F ( k ) X Using the Theorem 2.3 and the matrix (3.13), we can give β− and γ−duals of the space bv(R) as below:

Corollary 3.14.

(Q − Q − ) Q {bv(R)}β = a = (a ) ∈ ω : n n 1 a ∈ ℓ and n a ∈ c k q n 1 q n   k   n   and

γ (Qn − Qn−1) Qn {bv(R)} = z = (z ) ∈ ω : a ∈ ℓ and a ∈ ℓ∞ . k q n 1 q n   k   n  

Theorem 3.15. Suppose that the entries of the infinite matrices A = (ank) and B = (bnk) are connected with the relation ∞ 1 1 (Qn − Qn−1) ank = − qj bnj or bnk = ank Qn Qn− qk j k 1 X=   β for all k,n ∈ N and Y be any given sequence space. Then A ∈ (bv(R): Y ) if and only if {ank}k∈N ∈{bv(R)} for all n ∈ N and B ∈ (ℓ1 : Y ).

Theorem 3.16. Suppose that the entries of the infinite matrices A = (ank) and W = (wnk) are connected with the relation n 1 1 wnk = − qj ajk Qn Qn− k 1 X=0   for all k,n ∈ N and Y be any given sequence space. Then, A ∈ (Y : bv(R)) if and only if W ∈ (Y : ℓ1).

4. Conclusion

The matrix domain X∆ for X = {ℓ∞,c,c0} is called the difference sequence spaces, which was firstly defined and studied by Kızmaz [22]. If we choose X = ℓ1, the space ℓ1(∆) is called the space of all sequences of bounded variation and denote by bv. The space bvp consisting of all sequences whose differences are in the space ℓp. The space bvp was introduced by Başar and Altay [8]. More recently, the sequence spaces bv are studied in [8], [9], [19], [20], [21], [25], [30]. Several authors studied deal with the sequence spaces which obtained with the domain of the triangle matrices. It can be seen that the matrix domains for the matrix C1 which known as Cesàro mean of order one in [7], [32], [34]; for the generalized weighted mean in [3], [4], [14], [15] , [23], [24], [28], [31], [33]; for the Riesz mean in [1], [2], [10], [11], [13], [16], [17], [18], [26], [27]. Further, different works related to the matrix domain of the sequence spaces can be seen in [6]. In this work, we give well-known results related to some properties, dual spaces and matrix transformations of the sequence space bv and introduce the matrix domain of space bv with arbitrary triangle matrix A. Afterward, we choose the matrix A as Cesàro mean of order one, generalized weighted mean and Riesz mean and compute α−,β−,γ−duals of those spaces. And also, we characterize the matrix classes of the spaces bv(C), bv(G), bv(R). As a natural continuation of this paper, one can study the domain of different matrices instead of A. Additionally, sequence spaces in this paper can be defined by a index p for 1 ≤ p< ∞ and a bounded sequence of strictly positive real numbers (pk) for 0

[1] B. Altay and F. Başar, On the paranormed Riesz sequence spaces of non-absolute type, Southeast Asian Bull. Math., 26 (2002), 701–715. [2] B. Altay and F. Başar, Some paranormed Riesz sequence spaces of non-absolute type, Southeast Asian Bull. Math., 30 (2006), 591–608. [3] B. Altay and F. Başar, Some paranormed sequence spaces of non-absolute type derived by weighted mean, J. Math. Analysis and Appl., 319 (2006), 494–508. [4] B. Altay and F. Başar, Generalization of the sequence space ℓ(p) derived by weighted mean, J. Math. Analysis and Appl., 330 (2007), 174–185. [5] B. Altay and F. Başar, Certain topological properties and duals of the domain of a triangle matrix in a sequence spaces, J. Math. Analysis and Appl., 336 (2007), 632–645. [6] F. Başar, Summability Theory and its Applications, Bentham Science Publishers, e-books, Monographs, (2011). [7] F. Başar Matrix transformations between certain sequence spaces of Xp and ℓp, Soochow J. Math., 26(2) (2000), 191–204. [8] F. Başar and B. Altay On the space of sequences of p-bounded variation and related matrix mappings, Ukranian Math. J., 55(1) (2003), 136–147. [9] F. Başar, B. Altay M. Mursaleen, Some generalizations of the sequence space bvp of p−bounded variation sequences, Nonlinear Analysis, 68 (2008), 273–287. [10] M. Başarır, On the generalized Riesz B−difference sequence spaces, Filomat, 24(4) (2010), 35–52. [11] M. Başarır and E.E. Kara On compact operators on the Riesz Bm−difference sequence space, Iran. J. Sci. Technol. Trans. A Sci., 35(4) (2011), 297–285. [12] M. Başarır and E.E. Kara On some difference sequence spaces of weighted means and compact operators, Ann. Funct. Anal., 2(2) (2011), 116–131. [13] M. Başarır and E.E. Kara On compact operators on the Riesz Bm-difference sequence spaces−II, Iran. J. Sci. Technol. Trans. A Sci.,Special issue: Mathematics 36(3) (2012), 371–376. [14] M. Başarır and E.E. Kara On the B−difference sequence space derived by generalized weighted mean and compact operators, J. Math. Anal. Appl., 391(1) (2012), 67–81. [15] M. Başarır and E.E. Kara On the mth order difference sequence space of generalized weighted mean and compact operators, Acta Math. Sci. Ser. B Engl. Ed., 33(3) (2013), 797–813. [16] M. Başarır and M. Kayıkçı On the generalized Bm−Riesz difference sequence space and β−property, J. Inequal. Appl., (2009), Art. ID 385029, 18 pp. [17] M. Başarır and M. Öztürk On the Riesz difference sequence space, Rend. Circ. Mat. Palermo„ 57 (2008), 377–389. [18] M. Başarır and M. Öztürk On some generalized Bm−difference Riesz sequence spaces and uniform Opial property, J. Inequal. Appl., (2011), Art. ID 485730, 17 pp. [19] G. Bennet, Some inclusion theorems for sequence spaces, Pac. J. Math., 46(1)(1973), 17–30. [20] M. Imaninezhad and M. Miri, The of the sequence space bv(p), 1 ≤ p< ∞, Acta Math. Univ. Comenianae, 79(2010), 143–149. [21] A.M. Jarrah and E. Malkowsky, The space bv(p), its β−dual and matrix transformations, Collect. Math., 55(2)(2004), 151– 162. [22] H. Kızmaz, On certain sequence spaces, Can. Math. Bull., 24(2)(1981), 169–176. [23] M. Kirişci, Almost convergence and generalized weighted mean, First International Conference on Analysis and Applied Math- ematics, AIP Conf. Proc. 1470, 191–194, (2012). [24] M. Kirişci, Almost convergence and generalized weighted mean II, Journal of Inequalities and Applications 2014, 2014:** [25] M. Kirişci, Integrated and differentiated sequence spaces, (Under Review). [26] Ş. Konca and M. Başarır, On some spaces of almost lacunary convergent sequences derived by Riesz mean and weighted almost lacunary statistical convergence in a real n-normed space, Journal of Inequalities and Applications 2014, 2014:81 [27] E. Malkowsky, Recent results in the theory of matrix transformations in sequence spaces, Mat. Vesnik, 49(3-4)(1997), 187–196. [28] E. Malkowsky and F. Özger, A note on some sequence spaces of weighted means, Filomat, 26(3)(2012), 511–518. [29] E. Malkowsky and V. Rakocevic, Measure of noncompactness of linear operators between spaces of sequences that are (N,q) summable or bounded, Czechoslovak Math. J., 51(3)(2001), 505–522. [30] E. Malkowsky, V. Rakocevic and S. Zivkovic, Matrix transformations between the sequence space bvp and certain BK spaces, Bull. Cl. Sci. Math. Nat. Sci. Math., 27(2002), 331–46. [31] E. Malkowsky and E. Savaş, Matrix transformations between sequence spaces of generalized weighted means, Appl. Math. Comput., 147(2)(2012), 333–345. [32] P. -N. Ng and P. -Y. Lee, Cesàro sequences spaces of non-absolute type, Comment. Math. Prace Mat., 20(2)(1978), 429–433. [33] H. Polat, V. Karakaya and N.Şimşek Difference sequence spaces derived by generalized weighted mean, Appl. Math. Lett., 24(5) (2011), 608–614. [34] M. Şengönül and F. Başar, Some new Cesaro sequence spaces of non-absolute type which include the spaces c0 and c, Soochow J. Math., 31(1) (2005), 107–119. [35] A.K. Snyder, Co-null and co-regular FK−spaces, Math. Z., 90(1965), 376–381. [36] N. Subramanian, K. C. Rao and N. Gurumoorthy, Integrated rate space R ℓπ, Commun. Korean Math. Soc., 22 (2007), 527–534. [37] A. Wilansky, Summability through Functinal Analysis, North Holland, New York, (1984). [38] K. Zeller, Allgemeine Eigenschaften von Limitierungsverfahren, Math. Z., 53(1951), 463–487.

Department of Mathematical Education, Hasan Ali Yücel Education Faculty, Istanbul University, Vefa, 34470, Fatih, Istanbul, Turkey E-mail address: [email protected], [email protected]

9