Open Access

Almost convergence and generalized weighted mean II

Journal of Inequalities and Applications20142014:93

https://doi.org/10.1186/1029-242X-2014-93

Received: 8 January 2013

Accepted: 28 January 2014

Published: 25 February 2014

Abstract

In this paper, we investigate some new sequence spaces, which naturally emerge from the concepts of almost convergence and generalized weighted mean. The object of this paper is to introduce the new sequence spaces obtained as the matrix domain of generalized weighted mean in the spaces of almost null and almost convergent sequences. Furthermore, the beta and gamma dual spaces of the new spaces are determined and some classes of matrix transformations are characterized.

MSC:47A15, 46A32, 47D20.

Keywords

almost convergencematrix domainsequence spacesgeneralized weighted meanβ- and γ-dualsmatrix transformations

1 Introduction

By a sequence space, we understand a linear subspace of the space C N of all complex sequences which contains ϕ, the set of all finitely non-zero sequences, where denotes the complex field and N = { 0 , 1 , 2 , } . We write , c, and c 0 for the classical spaces of all bounded, convergent and null sequences, respectively. Also by bs, cs, 1 , and p , we denote the spaces of all bounded, convergent, absolutely, and p-absolutely convergent series, respectively.

A sequence spaces μ with a linear topology is called a K-space if each of the maps p i : μ C defined by p i ( x ) = x i is continuous for all i N . A K-space is called an FK-space if μ is a complete linear metric space; a BK-space is a normed FK-space.

A sequence ( b ( n ) ) n = 0 in a normed space μ is called a Schauder basis if for every x μ , there is a unique sequence ( β n ) n = 0 of scalars such that
x = n = 0 β n b ( n ) .

The sequence ( e ( n ) ) is the Schauder basis for p and c 0 , and { e , e ( n ) } is the Schauder basis for the space c, while the space has no Schauder basis, where e ( n ) and e denote the sequences whose only non-zero entry is a 1 in the n th place for each n N and e = ( 1 , 1 , 1 , ) .

A subset M of a metric space ( X , d ) is said to be dense in X if M ¯ = X . A metric space ( X , d ) is said to be separable if it contains a countable subset which is dense in X. Note that a nonseparable space has no Schauder basis.

Let λ and μ be two sequence spaces, and A = ( a n k ) be an infinite matrix of complex numbers a n k , where k , n N . Then we say that A defines a matrix mapping from λ into μ, and we denote it by writing A : λ μ if for every sequence x = ( x k ) λ the sequence A x = { ( A x ) n } , the A-transform of x, is in μ; here
( A x ) n = k a n k x k for each  n N .
(1.1)
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.1) converges for each n N and each x λ and we have A x = { ( A x ) n } n N μ for all x λ . A sequence x is said to be A-summable to α if Ax converges to α, which is called the A-limit of x. Also by ( λ : μ ; p ) , we denote the subset of ( λ : μ ) for which limits or sums are preserved whenever there is a limit or sum on the spaces λ and μ. The matrix domain λ A of an infinite matrix A in a sequence space λ is defined by
λ A = { x = ( x k ) ω : A x λ }
(1.2)
which is a sequence space. If A = ( a n k ) is triangle, that is to say, a n n 0 and a n k = 0 for all k > n , then one can easily observe that the sequence spaces λ A and λ are linearly isomorphic, i.e., λ A λ [1]. We write U for the set of all sequences u = ( u k ) such that ( u k ) 0 for all k N . For u U , let 1 / u = ( 1 / u k ) . Let u , v U and define the generalized weighted mean or factorable matrix G ( u , v ) = ( g n k ) by
g n k = { u n v k ( 0 k n ) , 0 ( k > n ) ,

for all k , n N ; here u n depends only on n and v k only on k.

We shall write throughout for brevity
a ( n , k ) = j = 0 n a j k , a ( n , k , m ) = 1 n + 1 j = 0 n a m + j , k , Δ a n k = a n k a n , k + 1

for all k , m , n N .

The main purpose of present paper is to introduce the sequence spaces f 0 ( G ) and f ( G ) derived as the domain of the generalized weighted mean in the spaces f 0 and f of almost null and almost convergent sequences, and to determine the β- and γ-duals of these spaces. Furthermore, some classes of matrix mappings on/in the space f ( G ) are characterized.

2 Spaces of almost null and almost convergent sequences

The shift operator P is defined on ω by ( P x ) m = x m + 1 for all n N . A Banach limit L is defined on , as a non-negative linear functional, such that L ( P x ) = L ( x ) and L ( e ) = 1 . A sequence x = ( x k ) is said to be almost convergent to the generalized limit α if all Banach limits of x are α [2] and is denoted by f - lim x k = α . Let P i be the composition of P with itself i times and let us write for a sequence x = ( x k )
t m n ( x ) = 1 n + 1 i = 0 n ( P i x ) m for all  m , n N .
(2.1)

Lorentz [2] proved that f - lim x k = α if and only if lim n t m n ( x ) = α uniformly in m. It is well known that a convergent sequence is almost convergent such that its ordinary and generalized limits are equal.

The spaces f 0 and f of almost null and almost convergent sequences are defined as follows:
f 0 = { x = ( x k ) ω : lim n t m n ( x ) = 0  uniformly in  m } , f = { x = ( x k ) ω : α C lim n t m n ( x ) = α  uniformly in  m } ,

where t m n ( x ) is defined by (2.1). Also, by fs, we denote the space of all almost convergent series.

3 New sequence spaces and their duals

In this section, we introduce the sequence spaces f 0 ( G ) and f ( G ) and give some results concerning them, and we determine their beta and gamma duals.

Malkowsky and Savaş [3] have defined the sequence space Z = ( u , v ; X ) , which consists of all sequences whose G ( u , v ) -transforms are in X { , c , c 0 , p } , where u , v U . The space Z ( u , v ; X ) defined by
Z = Z ( u , v ; X ) = { x = ( x j ) ω : y = ( j = 0 k u k v j x j ) X } .
Altay and Başar [4] constructed the new paranormed sequence spaces λ ( u , v ; p ) defined by
λ ( u , v ; p ) = { x = ( x j ) ω : y = ( j = 0 k u k v j x j ) λ ( p ) } ,

where λ { , c , c 0 } .

Afterward, Altay and Başar [5] studied the sequence space ( u , v ; p ) as follows:
( u , v ; p ) = { x = ( x j ) ω : y = ( j = 0 k u k v j x j ) ( p ) } .

Şimşek et al. [6] have introduced a modular structure of the sequence spaces defined by Altay and Başar [5] and studied Kadec-Klee and uniform Opial properties of this sequence space on Köthe sequence spaces.

The new sequence spaces f 0 ( G ) and f ( G ) are the set of all sequences whose G ( u , v ) -transforms are in the spaces f 0 and f, that is,
f 0 ( G ) = { x = ( x k ) ω : lim n t m n ( G ( u , v ) x ) = 0  uniformly in  m } , f ( G ) = { x = ( x k ) ω : α C lim n t m n ( G ( u , v ) x ) = α  uniformly in  m } .
By the notation of (1.2), the sequence spaces f 0 ( G ) and f ( G ) are restated as
f 0 ( G ) = ( f 0 ) G ( u , v ) and f ( G ) = f G ( u , v ) .
Define the sequence y = ( y k ) by the G ( u , v ) -transform of a sequence x = ( x k ) ,
y n = k = 0 n u n v k x k for all  n N .
(3.1)
Theorem 3.1 The sequence spaces f ( G ) and f 0 ( G ) are BK-spaces with the same norm given by
x f ( G ) = G ( u , v ) x f = sup m , n N | t m n ( G ( u , v ) x ) | ,
(3.2)
where
t m n ( G ( u , v ) x ) = 1 m + 1 j = 0 m { G ( u , v ) x } n + j = 1 m + 1 j = 0 m k = 0 n + j u n + j v k x k for all  m , n N .

Proof f 0 and f endowed with the norm are BK-spaces (Boos [[7], Example 7.3.2(b)]) and G ( u , v ) is a triangle matrix. Theorem 4.3.2 of Wilansky [[8], p. 61] gives the fact that f ( G ) and f 0 ( G ) are BK-spaces with the norm f ( G ) . □

Theorem 3.2 The sequence spaces f 0 ( G ) and f ( G ) strictly include the spaces f 0 and f, respectively.

Proof By the definition on the sequence spaces f 0 and f, it is immediate that f f ( G ) and f 0 f 0 ( G ) .

Now, we should show that these inclusions are strict. We consider the sequence t = ( t k ) defined by
t k = { 1 u n v k , if  k  is odd , 0 , if  k  is even .
(3.3)

The sequence is not almost convergent but Gt is almost convergent to 1 / 2 . This step completes the proof. □

Theorem 3.3 The inclusions c f ( G ) and f ( G ) strictly hold.

Proof It is clear that c f ( G ) and f ( G ) because of Theorem 3.2 and c f . Further, we show that these inclusions are strict.

Consider the sequence x = G 1 ( u , v ) y with the sequence y in the set f given by Miller and Orhan [9] as y = ( 0 , , 0 , 1 , , 1 , 0 , , 0 , 1 , , 1 , ) , where the blocks of 0’s are increasing by factors of 100 and blocks of 1’s are increasing by factors of 10. Then the sequence x is not in f ( G ) but in the space . This shows that the inclusion f ( G ) is strict.

Since the inclusion f f ( G ) strictly holds by Theorem 3.2, by combining this fact with the well-known strict inclusion c f , one can easily see that the inclusion c f ( G ) also strictly holds, as was desired. □

It is known from Corollary 3.3 of Başar and Kirişçi [10] that the Banach space f has no Schauder basis. It is also known from Theorem 2.3 of Jarrah and Malkowsky [11] that the domain μ A of a matrix A in a normed sequence space μ has a basis if and only if μ has a basis whenever A = ( a n k ) is a triangle. Combining these two facts one can immediately conclude that neither the space f 0 ( G ) nor the space f ( G ) have a Schauder basis.

Lemma 3.4 [[12], Theorem 2.1]

Let λ, μ be the BK-spaces and B μ U = ( b n k ) be defined via the sequence α = ( α k ) μ and triangle matrix U = ( u n k ) by
b n k = j = k n α j u n j v j k

for all k , n N . Then the inclusion μ λ U λ U holds if and only if the matrix B μ U = U D α U 1 is in the classes ( λ : λ ) , where D α is the diagonal matrix defined by [ D α ] n n = α n for all n N .

Lemma 3.5 [[12], Theorem 3.1]

B μ U = ( b n k ) be defined via a sequence a = ( a k ) ω and inverse of the triangle matrix U = ( u n k ) by
b n k = j = k n a j v j k
for all k , n N . Then
λ U β = { a = ( a k ) ω : B U ( λ : c ) }
and
λ U γ = { a = ( a k ) ω : B U ( λ : ) } .

From Lemma 3.4 and Lemma 3.5, we may give the theorem determining the β- and γ-duals of the sequence space f ( G ) .

Theorem 3.6 Let u , v U and z = ( z k ) ω . Define the matrix E = ( e n k ) by
e n k = { 1 u k ( z k v k z k + 1 v k + 1 ) ( k < n ) , z k u k v k ( k = n ) , 0 ( k > n ) ,
(3.4)
for all k , n N . Then
{ f ( G ) } β = { z = ( z k ) ω : E ( f : c ) }
and
{ f ( G ) } γ = { z = ( z k ) ω : E ( f : ) } .
Proof Consider the equality
j = 0 k z j x j = j = 0 k 1 1 u j ( z j v j z j + 1 v j + 1 ) y j + 1 u k v k y k z k = ( E y ) k ,
(3.5)

where E = ( e n k ) is defined by (3.4). We therefore observe by (3.5) that z x = ( z k x k ) c s or bs whenever x = ( x k ) f ( G ) if and only if E y c or whenever y = ( y k ) f . We obtain from Lemma 3.4 and Lemma 3.5 the result that z = ( z k ) { f ( G ) } β or z = ( z k ) { f ( G ) } γ if and only if E ( f : c ) or E ( f : ) , which is what we wished to prove. □

As a direct consequence of Theorem 3.6, we have the following.

Corollary 3.7 Let u , v U for all k N . Then
{ f ( G ) } β = { z = ( z k ) ω : { 1 u k ( z k v k z k + 1 v k + 1 ) } 1  and  ( z k u k v k ) c }
and
{ f ( G ) } γ = { z = ( z k ) ω : { 1 u k ( z k v k z k + 1 v k + 1 ) } 1  and  ( z k u k v k ) } .

4 Some matrix mappings related to the space f ( G )

In this section, we give two theorems characterizing the classes of matrix transformations from the sequence space f ( G ) into any given sequence space μ and from any sequence space μ into the given sequence space f ( G ) .

We write throughout for brevity
a ˜ n k = 1 u k ( a n k v k a n , k + 1 v k + 1 ) and b n k = j = 0 n u n v j a j k
(4.1)

for all k , n N .

Lemma 4.1 Let A = ( a n k ) be an infinite matrix. Then the following statements hold:
  1. (i)
    (cf. [13]) A ( f : ) if and only if
    sup n N k | a n k | < .
    (4.2)
     
  2. (ii)
    (cf. [13]) A ( f : c ) if and only if (4.2) holds, and there are α k , α C such that
    lim n a n k = α k for each  k N ,
    (4.3)
    lim n k a n k = 0 ,
    (4.4)
    lim n k | Δ ( a n k α k ) | = α .
    (4.5)
     
  3. (iii)
    (cf. [14]) A ( f : f ) if and only if (4.2) holds and
    f - lim n a n k = α k for each fixed  k N ,
    (4.6)
    f - lim n k a n k = α ,
    (4.7)
    lim m k | Δ [ a ( n , k , m ) α k ] | = 0 uniformly in  n .
    (4.8)
     
Theorem 4.2 Suppose that the entries of the infinite matrices E = ( e n k ) and F = ( f n k ) are connected with the relation
e n k = j = k u j v k f n j  or  f n k = 1 u k ( e n k v k e n , k + 1 v k + 1 )
(4.9)

for all k , n N and μ be any given sequence space. Then E ( f ( G ) : μ ) if and only if { e n k } k N { f ( G ) } β for all n N and F ( f : μ ) .

Proof Let μ be any given sequence. Suppose that (4.9) holds between the infinite matrices E = ( e n k ) and F = ( f n k ) , and we take into account that the spaces f ( G ) and f are linearly isomorphic.

Let E ( f ( G ) : μ ) and take any y = ( y k ) f . Then F G ( u , v ) exists and { e n k } k N { f ( G ) } β , which yields the result that (4.9) is necessary and { f n k } k N f β for each n N . Hence, Fy exists for each y f and thus by letting m in the equality
k = 0 m e n k x k = k = 0 m 1 1 u k ( e n k v k e n , k + 1 v k + 1 ) y k + e n m u m v m y m for all  m , n N

we obtain E x = F y , which leads to the consequence F ( f : μ ) .

Conversely, let { e n k } k N { f ( G ) } β for each n N and F ( f : μ ) , and we take any x = ( x k ) f ( G ) . Then Ex exists. Therefore, we obtain from the equality
k = 0 m f n k y k = k = 0 m j = k m u j v k f n j x k for all  m , n N

as m the result that F y = E x and this shows that E ( f ( G ) : μ ) . This completes the proof. □

By changing the roles of the spaces f 0 ( G ) and f ( G ) with μ, we have the following theorem.

Theorem 4.3 Suppose that the entries of the infinite matrices A = ( a n k ) and B = ( b n k ) are connected with the relation (4.1) and μ be any given sequence space. Then A ( μ : f ( G ) ) if and only if B ( μ : f ) .

Proof Let z = ( z k ) μ and consider the following equality:
j = 0 n k = 0 m v n u j a j k z k = k = 0 m b n k z k for all  m , n N .
(4.10)

Equation (4.10) yields as m the result that ( B z ) n = { G ( u , v ) ( A z ) } n . Therefore, one can immediately observe from this that A z f ( G ) whenever z μ if and only if B z f whenever z μ . This completes the proof. □

It is of course so that Theorem 4.2 and Theorem 4.3 have several consequences depending on the choice of sequence space μ and the sequences u = ( u n ) and v = ( v k ) . Therefore by Theorem 4.2 and Theorem 4.3, necessary and sufficient conditions for ( f ( G ) : μ ) and ( μ : f ( G ) ) may be derived by replacing the entries of E and A ˜ by those of the entries of F = E G 1 ( u , v ) and B = G ( u , v ) A ˜ , respectively, where the necessary and sufficient conditions on the matrices F and B are read from the concerning results in the existing literature.

If we get the space and the spaces e r , r t , and X , which are isomorphic to instead of μ in Theorem 4.2, we obtain the following corollaries.

Corollary 4.4 A ( f ( G ) : ) if and only if { a n k } k N { f ( G ) } β and
sup n N k | a ˜ n k | < .
(4.11)
Corollary 4.5 Let A = ( a n k ) be an infinite matrix and define the matrix C = ( c n k ) by
c n k = j = 0 n ( n j ) ( 1 r ) n j r j a j k ( k , n N ) .

Then the necessary and sufficient conditions in order for A to belong to the class ( f ( G ) : e r ) are obtained from Theorem  4.2 by replacing the entries of the matrix A by those of the matrix C; here e r = { x = ( x k ) ω : sup n N | k = 0 n ( n k ) ( 1 r ) n k r k x k | < } as defined Altay et al. [15]and Altay and Başar [16].

Corollary 4.6 Let A = ( a n k ) be an infinite matrix and define the matrix D = ( d n k ) by
d n k = 1 T n j = 0 n t j a j k ( k , n N ) ,

where T n = k = 0 n t k for all n N . Then the necessary and sufficient conditions in order for A to belong to the class ( f ( G ) : r t ) are obtained from in Theorem  4.2 by replacing the entries of the matrix A by those of the matrix D; here r t is the space of all sequences whose R t -transforms are in the space [17].

Remark 4.7 In the case t = e in the space r t , this space reduces to the Cesàro sequence space of non-absolute type X [18]. Then Corollary 4.6 also includes the characterization of class ( f ( G ) : X ) , as a special case.

As in Corollaries 4.4-4.6 and Remark 4.7, the following corollaries are obtained for μ = { f , f ( E ) , f ˆ , f ˜ } ; here the spaces f ( E ) , f ˆ , f ˜ are isomorphic to the space f.

Corollary 4.8 A ( f ( G ) : f ) if and only if { a n k } k N { f ( G ) } β , (4.11) holds and there are α k , α C such that
f - lim n a ˜ n k = α k for each  k N ;
(4.12)
f - lim n k a ˜ n k = α ;
(4.13)
lim n k | Δ [ a ˜ ( n , k , m ) α k ] | = 0 uniformly in  m ,
(4.14)

where a ˜ ( n , k , m ) = 1 n + 1 j = 0 n a ˜ m + j , k .

Corollary 4.9 Let A = ( a n k ) be an infinite matrix and the matrix C = ( c n k ) be defined by Corollary  4.5. Then the necessary and sufficient conditions in order for A to belong to the class ( f ( G ) : f ( E ) ) are obtained from Corollary  4.8 by replacing the entries of the matrix A by those of the matrix C; here
f ( E ) = { x = ( x k ) ω : l C lim m j = 0 m k = 0 n + j ( n + j k ) ( 1 r ) n + j k r k x k m + 1 = l  uniformly in  n }

defined by Kirişci [19].

Corollary 4.10 Let A = ( a n k ) be an infinite matrix and the matrix H = ( h n k ) be defined by h n k = s a n 1 , k + r a n k . Then the necessary and sufficient conditions in order for A to belong to the class ( f ( G ) : f ˆ ) are obtained from Corollary  4.8 by replacing the entries of the matrix A by those of the matrix H; here
f ˆ = { x = ( x k ) ω : α C lim m j = 0 m s x k 1 + j + r x k + j m + 1 = α  uniformly in  k }

defined by Başar and Kirişci [10].

Corollary 4.11 Let A = ( a n k ) be an infinite matrix and the matrix M = ( m n k ) defined by m n k = j = k a n j j + 1 . Then the necessary and sufficient conditions in order for A to belong to the class ( f ( G ) : f ˜ ) are obtained from Corollary  4.8 by replacing the entries of the matrix A by those of the matrix M; here
f ˜ = { x = ( x k ) ω : α C lim m k = 0 n 1 n + 1 j = 0 k x j + p k + 1 = α  uniformly in  p }

defined by Kayaduman and Şengönul [20].

Now, we list the following conditions:
sup n N k 1 q + 1 | i = n n + q a i k | < ,
(4.15)
lim n k a n k = α ,
(4.16)
sup n N k | Δ a n k | < ,
(4.17)
lim k a n k = 0 for each fixed  n N ,
(4.18)
lim n k | Δ 2 a n k | = α ,
(4.19)
lim m k | a ( n , k , m ) α k | = 0 uniformly in  n ,
(4.20)
lim q k 1 q + 1 | i = 0 q Δ [ ( a ( n + i , k ) α k ) ] | = 0 uniformly in  n ,
(4.21)
sup n N k | Δ a ( n , k ) | < ,
(4.22)
f - lim a ( n , k ) = α k exists for each fixed  k N ,
(4.23)
lim q k 1 q + 1 | i = 0 q Δ 2 [ a ( n + i , k ) α k ] | = 0 uniformly in  n ,
(4.24)
sup n N k | a ( n , k ) | < ,
(4.25)
k a n k = α k for each fixed  k N ,
(4.26)
n k a n k = α ,
(4.27)
lim n k | Δ [ a ( n , k ) α k ] | = 0 .
(4.28)

Prior to giving some consequences as an application of this idea, we give the following basic lemma, which is the collection of the characterization of matrix transformations related to almost convergence.

Lemma 4.12 Let A = ( a n k ) be an infinite matrix. Then,
  1. (i)

    A = ( a n k ) ( f s : ) if and only if (4.17) and (4.18) hold.

     
  2. (ii)

    A = ( a n k ) ( f s : c ) if and only if (4.3) and (4.17)-(4.19) hold [21].

     
  3. (iii)

    A = ( a n k ) ( c : f ) if and only if (4.6), (4.7), and (4.15) hold [22].

     
  4. (iv)

    A = ( a n k ) ( : f ) if and only if (4.6), (4.8), and (4.15) hold [14].

     
  5. (v)

    A = ( a n k ) ( b s : f ) if and only if (4.6), (4.17),(4.18), and (4.21) hold [23].

     
  6. (vi)

    A = ( a n k ) ( f s : f ) if and only if (4.6), (4.8), (4.18), and (4.24) hold [24].

     
  7. (vii)

    A = ( a n k ) ( c s : f ) if and only if (4.6) and (4.17) hold [25].

     
  8. (viii)

    A = ( a n k ) ( b s : f s ) if and only if (4.18) and (4.21)-(4.23) hold [23].

     
  9. (ix)

    A = ( a n k ) ( f s : f s ) if and only if (4.17) and (4.22)-(4.24) hold [24].

     
  10. (x)

    A = ( a n k ) ( c s : f s ) if and only if (4.22) and (4.23) hold [25].

     
  11. (xi)

    A = ( a n k ) ( f : c s ) if and only if (4.25)-(4.28) hold [24].

     

Now, we can give the following results.

Corollary 4.13 The following statements hold:
  1. (i)

    A = ( a n k ) ( f ( G ) : c ) if and only if { a n k } k N { f ( G ) } β for all n N and (4.2)-(4.5) hold with a ˜ n k instead of a n k .

     
  2. (ii)

    A ( f ( G ) : c 0 ) if and only if { a n k } k N { f ( G ) } β for all n N and (4.2) holds, (4.3) and (4.5) hold with α k = 0 and (4.4) holds with α = 0 as a ¯ n k instead of a n k .

     
  3. (iii)

    A = ( a n k ) ( f ( G ) : b s ) if and only if { a n k } k N { f ( G ) } β for all n N and (4.25) holds with a ˜ n k instead of a n k .

     
  4. (iv)

    A = ( a n k ) ( f ( G ) : c s ) if and only if { a n k } k N { f ( G ) } β for all n N and (4.25)-(4.28) hold with a ˜ n k instead of a n k .

     
Corollary 4.14 We have:
  1. (i)

    A = ( a n k ) ( : f ( G ) ) if and only if (4.2), (4.6), and (4.20) hold with b n k instead of a n k .

     
  2. (ii)

    A = ( a n k ) ( f : f ( G ) ) if and only if (4.2), (4.6), (4.7), and (4.8) hold with b n k instead of a n k .

     
  3. (iii)

    A = ( a n k ) ( c : f ( G ) ) if and only if (4.2), (4.6), and (4.7) hold with b n k instead of a n k .

     
  4. (iv)

    A = ( a n k ) ( b s : f ( G ) ) if and only if (4.17), (4.18), (4.6), and (4.21) hold with b n k instead of a n k .

     
  5. (v)

    A = ( a n k ) ( f s : f ( G ) ) if and only if (4.18), (4.6), (4.8), and (4.21) hold with b n k instead of a n k .

     
  6. (vi)

    A = ( a n k ) ( c s : f ( G ) ) if and only if (4.17) and (4.6) hold with b n k instead of a n k .

     
  7. (vii)

    A = ( a n k ) ( b s : f s ( G ) ) if and only if (4.18), (4.21), and (4.23) hold with b n k instead of a n k .

     
  8. (viii)

    A = ( a n k ) ( f s : f s ( G ) ) if and only if (4.21)-(4.24) hold with b n k instead of a n k .

     
  9. (ix)

    A = ( a n k ) ( c s : f s ( G ) ) if and only if (4.22) and (4.23) hold with b n k instead of a n k .

     

Here f s ( G ) denotes the domain of the G ( u , v ) -generalized weighted mean in the sequence space fs.

5 Conclusion

As an essential work on the algebraic and topological properties of the spaces f 0 and f, Başar and Kirişçi [10] have recently introduced the sequence spaces f ˆ 0 and f ˆ derived by the domain of the generalized difference matrix B ( r , s ) in the sequence spaces f 0 and f, respectively. Following Başar and Kirişçi [10], Kayaduman and Şengönül have studied the domain f ˜ 0 and f ˜ of the Cesàro mean of order one in the spaces f 0 and f, in [20]. They have determined the β- and γ-duals of the new spaces f ˜ 0 and f ˜ , and they characterize some classes of matrix transformations on/in the new sequence spaces. They complete the paper by a nice section including some core theorems related to the matrix classes on/in the new sequence space f ˜ . Quite recently, in [26], Sönmez has introduced the domain f ( B ) of the triple band matrix B ( r , s , t ) in the sequence space f. In this paper, the β- and γ-duals of the space f ( B ) are determined. Furthermore, the classes ( f ( B ) : μ ) and ( μ : f ( B ) ) of infinite matrices are characterized together with some other classes, where μ is any given sequence space. Finally, in [27] Candan has studied the sequence spaces f 0 ( B ˜ ) and f ( B ˜ ) as the domain of the double sequential band matrix B ˜ ( r ˜ , s ˜ ) in the sequence spaces f 0 and f.

Since Kirişçi and Başar [28], Başar and Kirişçi [10], Kayaduman and Şengönül [20], Sönmez [26, 29], and Candan [27, 30] are recent works on the domain of certain triangle matrices in the spaces f 0 , f, and in the classical sequence spaces, the present paper is their natural continuation. Also these spaces are special cases of the notion of A-almost convergence and F B -convergence ([31, 32]) as well as analogous to the definition introduced in [33].

Finally, we should note that the investigation of the domain of some particular limitation matrices, namely Cesàro means of order m, Nörlund means, etc., in the spaces f 0 and f will lead to new results which are not comparable with the present results.

Author’s contributions

MK defined the new almost sequence spaces derived by generalized weighted mean and studied some properties. MK computed the duals of new spaces and characterized the matrix classes. In last section, it was summarized to studies in manuscripts and given some open problems by MK. The author read and approved the final manuscript.

Article’s information

Some of the results of this study presented in First International Conference on Analysis and Applied Mathematics (ICAAM 2012, Gumushane University, Turkey) [34].

Declarations

Acknowledgements

I would like to express thanks to Professor Feyzi Başar, Department of Mathematics, Fatih University, Buyukcekmece, Istanbul-34500, Turkey, for his valuable help on some results and the useful comments which improved the presentation paper. I have benefited much from the constructive reports of the anonymous referees, and I am grateful for their valuable comments on the first draft on this paper, which improved the presentation and readability. This work was supported by Scientific Projects Coordination Unit of Istanbul University. Project number 27008.

Authors’ Affiliations

(1)
Department of Mathematical Education, Hasan Ali Yücel Education Faculty, İstanbul University

References

  1. Başar F: Summability Theory and Its Applications. Bentham Science Publishers, Sharjah; 2011.Google Scholar
  2. Lorentz GG: A contribution to the theory of divergent sequences. Acta Math. 1948, 80: 167-190. 10.1007/BF02393648MathSciNetView ArticleGoogle Scholar
  3. Malkowsky E, Savaş E: Matrix transformations between sequence spaces of generalized weighted means. Appl. Math. Comput. 2004, 147: 333-345. 10.1016/S0096-3003(02)00670-7MathSciNetView ArticleGoogle Scholar
  4. Altay B, Başar F: Some paranormed sequence spaces of non-absolute type derived by weighted mean. J. Math. Anal. Appl. 2006,319(2):494-508. 10.1016/j.jmaa.2005.06.055MathSciNetView ArticleGoogle Scholar
  5. Altay B, Başar F:Generalization of the sequence space ( p ) derived by weighted mean. J. Math. Anal. Appl. 2007, 330: 174-185. 10.1016/j.jmaa.2006.07.050MathSciNetView ArticleGoogle Scholar
  6. Şimsek N, Karakaya V, Polat H: On some geometrical properties of generalized modular spaces of Cesaro type defined by weighted means. J. Inequal. Appl. 2009., 2009: Article ID 932734Google Scholar
  7. Boos J: Classical and Modern Methods in Summability. Oxford University Press, New York; 2000.Google Scholar
  8. Wilansky A: Summability through functional analysis. In Mathematics Studies. North-Holland, Amsterdam; 1984.Google Scholar
  9. Miller HI, Orhan C: On almost convergent and statistically convergent subsequences. Acta Math. Hung. 2001, 93: 135-151. 10.1023/A:1013877718406MathSciNetView ArticleGoogle Scholar
  10. Başar F, Kirişçi M: Almost convergence and generalized difference matrix. Comput. Math. Appl. 2011,61(3):602-611. 10.1016/j.camwa.2010.12.006MathSciNetView ArticleGoogle Scholar
  11. Jarrah AM, Malkowsky E: BK spaces, bases and linear operators. Rend. Circ. Mat. Palermo II 1990, 52: 177-191.Google Scholar
  12. Altay B, Başar F: Certain topological properties and duals of the domain of a triangle matrix in a sequence space. J. Math. Anal. Appl. 2007, 336: 632-645. 10.1016/j.jmaa.2007.03.007MathSciNetView ArticleGoogle Scholar
  13. Siddiqi JA: Infinite matrices summing every almost periodic sequences. Pac. J. Math. 1971,39(1):235-251. 10.2140/pjm.1971.39.235MathSciNetView ArticleGoogle Scholar
  14. Duran JP: Infinite matrices and almost convergence. Math. Z. 1972, 128: 75-83. 10.1007/BF01111514MathSciNetView ArticleGoogle Scholar
  15. Altay B, Başar F, Mursaleen M:On the Euler sequence spaces which include the spaces p and I. Inform. Sci. 2006,176(10):1450-1462. 10.1016/j.ins.2005.05.008MathSciNetView ArticleGoogle Scholar
  16. Altay B, Başar F: Some Euler sequence spaces of non-absolute type. Ukr. Math. J. 2005,57(1):1-17. 10.1007/s11253-005-0168-9View ArticleGoogle Scholar
  17. Malkowsky E: Recent results in the theory of matrix transformations in sequence spaces. Mat. Vesn. 1997, 49: 187-196.MathSciNetGoogle Scholar
  18. Ng P-N, Lee P-Y: Cesàro sequence spaces of non-absolute type. Comment. Math. Prace Mat. 1978,20(2):429-433.MathSciNetGoogle Scholar
  19. Kirişçi M: On the space of Euler almost null and Euler almost convergent sequences. Commun. Fac. Sci. Univ. Ank. Ser. A1 Math. Stat. 2013,62(1):1-16.MathSciNetGoogle Scholar
  20. Kayaduman K, Şengönül M: The spaces of Cesàro almost convergent sequences and core theorems. Acta Math. Sci., Ser. B, Engl. Ed. 2012,32(6):2265-2278.MathSciNetView ArticleGoogle Scholar
  21. Öztürk E: On strongly regular dual summability methods. Commun. Fac. Sci. Univ. Ank. Ser. A1 Math. Stat. 1983, 32: 1-5.Google Scholar
  22. King JP: Almost summable sequences. Proc. Am. Math. Soc. 1966, 17: 1219-1225. 10.1090/S0002-9939-1966-0201872-6View ArticleGoogle Scholar
  23. Başar F, Solak I: Almost-coercive matrix transformations. Rend. Mat. Appl. 1991,11(2):249-256.MathSciNetGoogle Scholar
  24. Başar F: f-conservative matrix sequences. Tamkang J. Math. 1991,22(2):205-212.MathSciNetGoogle Scholar
  25. Başar F, Çolak R: Almost-conservative matrix transformations. Turk. J. Math. 1989,13(3):91-100.Google Scholar
  26. Sönmez A: Almost convergence and triple band matrix. Math. Comput. Model. 2013,57(9-10):2393-2402. 10.1016/j.mcm.2011.11.079View ArticleGoogle Scholar
  27. Candan M: Almost convergence and double sequential band matrix. Acta Math. Sci. 2014,34B(2):354-366.MathSciNetView ArticleGoogle Scholar
  28. Kirişçi M, Başar F: Some new sequence spaces derived by the domain of generalized difference matrix. Comput. Math. Appl. 2010,60(5):1299-1309. 10.1016/j.camwa.2010.06.010MathSciNetView ArticleGoogle Scholar
  29. Sönmez A: Some new sequence spaces derived by the domain of the triple band matrix. Comput. Math. Appl. 2011,62(2):641-650. 10.1016/j.camwa.2011.05.045MathSciNetView ArticleGoogle Scholar
  30. Candan M: Domain of the double sequential bandmatrix in the classical sequence spaces. J. Inequal. Appl. 2012., 2012: Article ID 281Google Scholar
  31. Mursaleen M:A note on F B -convergence. Anal. Math. 1987, 13: 45-47. 10.1007/BF01905931MathSciNetView ArticleGoogle Scholar
  32. Mursaleen M: On A -invariant mean and A -almost convergence. Anal. Math. 2011,37(3):173-180. 10.1007/s10476-011-0302-xMathSciNetView ArticleGoogle Scholar
  33. Mursaleen M, Jarrah AM, Mohiuddine SA: Almost convergence through the generalized de la Vallee-Pousin mean. Iran. J. Sci. Technol., Trans. A, Sci. 2009,33(A2):169-177.MathSciNetGoogle Scholar
  34. Kirişçi M: Almost convergence and generalized weighted mean. AIP Conf. Proc. 1470. First International Conference on Analysis and Applied Mathematics 2012, 191-194.Google Scholar

Copyright

© Kirişci; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.