We have discussed some important problems about the spaces V~σ and V~0σ of Cesàro sigma convergent and Cesàro null sequence.
1. Introduction and Preliminaries
In the theory of the sequence spaces, by using the matrix domain of a particular limitation method, so many sequence spaces have been built and published in famous maths journals. By reviewing the literature, one can reach them easily (for instance, see Başar et al. [1], Kirişçi and Başar [2], Şengönül and Başar [3], Altay [4], Mohiuddine and Alotaibi [5], and numerous). As known, the method to obtain a new sequence space by using convergence field of an infinite matrix is an old method in the theory of sequence spaces. But, the study of convergence field of an infinite matrix in the space of σ-convergent sequences is quite new. For example, quite recently, Kayaduman and Şengönül introduced the spaces f~ and f~0 consisting of the sequences x=(xk) such that (∑j=0k(xj/(j+1)))∈f, f0 and gave some important results on those spaces in [6]. Furthermore, in [7], Şengönül and Kayaduman have introduced the spaces f^ and f^0 consisting of the sequences x=(xk) such that (∑j=0k(rjxj/Rk))∈f, f0.
After here, we will pass to the preliminaries for our study. We will denote the space of all real or complex valued sequences by w and we will write ℓ∞, c, c0, ℓ1, cs, and bs for the spaces of all bounded, convergent, null sequences, absolutely convergent series, convergent series, and bounded series, respectively. Each linear subspace of w is called a sequence space. Let λ and μ be two sequence spaces and A=(ank) be an infinite matrix of real or complex numbers ank, where n,k∈ℕ={0,1,2,…}. Then, we can say that A defines a matrix mapping from λ to μ, and we denote it by writing A:λ→μ, if for every sequence x=(xk)∈λ, the sequence Ax={(Ax)n}, that is A-transform of x, in μ where
(1)(Ax)n=∑kankxk,(n∈ℕ).
For simplicity in notation, here and in what follows, the summation without limits runs from 0 to ∞. By (λ:μ), we denote the class of matrices A such that A:λ→μ. Thus, A∈(λ:μ) if and only if the series on the right side of (1) converges for each n∈ℕ and every x∈λ, we have Ax={(Ax)n}n∈ℕ∈μ for all x∈λ. The matrix domainλA of an infinite matrix A in a sequence space λ is defined by
(2)λA={x=(xk)∈w:Ax∈λ}.
If we take λ=c, then cA is called convergence domain of A. We write the limit of Ax as limAx=limn→∞∑kankxk, and A is called regular if limAx=limx for each convergent sequence x.
The sets ℓ∞ and c are Banach spaces with the norm ∥xn∥=supn|xn|. Let σ be a one-to-one mapping from ℕ into itself. A continuous linear functional ϕ on ℓ∞ is said to be an invariant mean or a σ-mean if and only if
ϕ(x)≥0 for all sequence x=(xn) with nonnegative terms,
ϕ(e)=1, where e=(1,1,1,...),
ϕ(xσ(k))=ϕ(x) for all x∈ℓ∞. Throughout this paper, we consider the mapping σ such that σp(k)≠k for all positive integers k≥0 and p≥1, where σp(k) is the pth iterate of σ at k. Thus, a σ-mean extends the limit functional on c in the sense that ϕ(x)=limx for all x∈c (see [8]). Consequently, c⊂Vσ, where Vσ is the set of bounded sequences all of whose σ-means are equal; that is,
(3)Vσ={limptpn(x)x∈ℓ∞:limptpn(x)=suniformlyinn},
where
(4)tpn(x)=(xn+Txn+⋯+Tpxn)(p+1),t-1,n(x)=0,
[9]. We say that a bounded sequence x=(xk) is σ-convergent if x∈Vσ. In case σ(k)=k+1, a σ-mean is often called a Banach limit and Vσ is reduced to the set of almost sequences, introduced by Lorentz (see [10]). If x=(xn), write Tx=(Txn)=(xσ(n)). By Z, we denote the set of σ-convergent sequences with σ-limit zero. It is well known [11] that x∈ℓ∞ if and only if Tx-x∈Z.
Let K be a subset of ℕ. The natural density δ of K is defined by δ(K)=limn→∞(1/n)|{k≤n:k∈K}|, where the vertical bars indicate the number of elements in the enclosed set. The sequence x=(xk) is said to be statistically convergent to the number l if for every ε, δ({k:|xk-l|≥ε})=0 (see [12]). In this case, we write st-limx=l. We will also write st and st0 to denote the sets of all statistically convergent sequences and statistically null sequences. Let us consider the following functionals defined on ℓ∞:
(5)l(x)=liminfk→∞xk,L(x)=limsupk→∞xk,qσ(x)=limsupp→∞supn∈ℕ1p+1∑i=0pxσi(n),L*(x)=limsupp→∞supn∈ℕ1p+1∑i=0pxn+i.
In [13], the σ-core of a real bounded sequence x is defined as the closed interval [-qσ(-x),qσ(x)], and also the inequalities qσ(Ax)≤L(x) (σ-core of Ax⊆K-core of x), qσ(Ax)≤qσ(x) (σ-core of Ax⊆σ-core of x), for all x∈ℓ∞, have been studied. Here, the Knopp core, in short K-core of x, is the interval [l(x),L(x)] (see [14]). When σ(n)=n+1, since qσ(x)=L*(x), σ-core of x is reduced to the Banach core, in short B-core of x defined by the interval [-L*(-x),L*(x)], (see [15]). The concepts of B-core and σ-core have been studied by many authors [8, 15–19] and Fridy and Orhan [12] have introduced the notions of statistical boundedness, statistical limit superior (or briefly st-limsup), and statistical limit inferior (or briefly st-liminf), defined that the statistical core (or briefly st-core) of a statistically bounded sequence is the closed interval [st-liminfx,st-limsupx], and also determined necessary and sufficient conditions for a matrix A to yield K-core(Ax)⊆st-core(x) for all x∈ℓ∞.
In this paper, we define the spaces of Cesàro sigma convergent and Cesàro null sequences and give some interesting theorems.
2. Some New Type Sigma Convergent Sequence SpacesDefinition 1.
A bounded sequence x=(xk) is said to be Cesàro sigma convergent to the number α if and only if limn→∞∑k=0n∑j=0k(xσj(p)/(n+1)(k+1))=α uniformly in p, and the set of all such sequences is denoted with V~σ. If α=0, then we write V~0σ instead of V~σ; that is,
(6)V~σ={∑j=0kxσj(p)(n+1)(k+1)x∈ℓ∞:limn→∞∑k=0n∑j=0kxσj(p)(n+1)(k+1)=αuniformlyinp},V~0σ={∑j=0kxσj(p)(n+1)(k+1)x∈ℓ∞:limn→∞∑k=0n∑j=0kxσj(p)(n+1)(k+1)=0uniformlyinp},
where α=σC-limx, respectively.
Definition 2.
A bounded sequence x=(xk) is said to be Cesàro sigma bounded if and only if supn|∑k=0n∑j=0k(xσj(p)/(n+1)(k+1))|<∞, and the set of all such sequences is denoted with V~σ∞; that is,
(7)V~σ∞={x∈ℓ∞:supn|∑k=0n∑j=0kxσj(p)(n+1)(k+1)|<∞}.
With the notation of (2), we can write V~σ=(Vσ)C and V~0σ=(V0σ)C, where C denotes the Cesàro matrix of one order. Define the sequence y=(yn), which will be frequently used as the C-transform of a sequence x=(xk); that is,
(8)yk=∑i=0kxik+1∀k∈ℕ.
Clearly, if we take σ(p)=p+1, then the spaces V~σ and V~0σ are reduced to the spaces f~ and f0~, respectively. Also, we note that the inclusions V~0σ⊂V~σ⊂V~σ∞ hold.
Now, we begin with the following theorem.
Theorem 3.
The sequence spaces V~σ and V~0σ are linearly isomorphic to the spaces Vσ and V0σ, respectively; that is, V~σ≅Vσ and V~0σ≅V0σ.
Proof.
We consider only the spaces V~σ and Vσ. In order to prove the fact V~σ≅Vσ, we should show the existence of a linear bijection between the spaces V~σ and Vσ. Consider the transformation of C defined with the notation of (8) from V~σ to Vσ by x↦y=Cx. The linearity of C is clear. Further, it is trivial that x=θ=(0,0,...) whenever Cx=θ and hence C is injective. Let y∈Vσ and define the sequence x by
(9)xσi(p)=(i+1)yσi(p)-iyσi-1(p),(i∈ℕ).
Then, we have
(10)limn→∞∑j=0n∑i=0jxσi(p)(n+1)(j+1)=limn→∞∑j=0n∑i=0j(i+1)yσi(p)-iyσi-1(p)(n+1)(j+1)=limn→∞∑j=0nyσj(p)n+1uniformlyinp,
which shows that x∈V~σ. Consequently, we see that C is surjective. Hence, C is linear bijection which therefore shows that the spaces V~σ and Vσ are linearly isomorphic, as desired. This completes the proof. The fact that the spaces V~0σ and V0σ are linearly isomorphic can also be proved by the similar way, so we omit it.
Remark 4 (see [20]).
The spaces Vσ and V0σ are BK-spaces with the norm ∥·∥ℓ∞.
Theorem 5.
The sets V~σ∞, V~σ, and V~0σ are linear spaces with the coordinatewise addition and scalar multiplication which are BK-spaces with the norm
(11)∥x∥V~σ=supn|∑j=0n∑i=0jxσi(p)(n+1)(j+1)|.
Proof.
The proof of first part of the theorem is easy. We will prove second part of the theorem. Since (8) holds, the spaces Vσ and V0σ are BK-spaces with the norm ∥·∥∞, (see Remark 4), the matrix C is normal and Theorem 4.3.2 of Wilansky [21] gives the fact that the spaces V~σ and V~0σ are BK-spaces.
It is known that, if λ and μ are normed spaces, then the set G(T)={(x,T(x)):x∈λ} is subspace of λ×μ and the set G(T) is normed space with the norm
(12)∥(x,T(x))∥G(T)=∥x∥λ+∥y∥μ,
where T is a linear transformation from λ to μ.
Theorem 6.
The graph G(C) of the transformation C is closed subspace in V~σ×Vσ.
Proof.
We know that the spaces V~σ and Vσ are Banach spaces (see, Theorem 5 and Remark 4) and the transformation C is linear and continuous from V~σ to Vσ. Let us suppose that the sequence (xn,C(xn)) is convergent to (x,y) in G(C) for x∈V~σ and y∈Vσ. With this supposition, and from the equality
(13)∥(xn,C(xn))-(x,y)∥G(C)=∥xn-x∥V~σ+∥C(xn)-y∥Vσ,
we see that xn→x and C(xn)→y as n→∞. Also, since C is continuous and from the definition of the sequential continuous, we obtain that Cx=y and this completes the proof.
3. Some Matrix Mappings Related to the Space V~σ
Following Başar [22], we start with giving short knowledge on the dual summability methods of the new type.
Let us suppose that the infinite matrices A=(ank) and B=(bnk) map the sequences x=(xk) and y=(yk) which are connected by the relation (8) to the sequences z=(zn) and t=(tn), respectively; that is,
(14)zn=(Ax)n=∑kankxk,(n∈ℕ),tn=(By)n=∑kbnkyk,(n∈ℕ).
It is clear here that the method B is applied to the C-transform of the sequence x=(xk) while the method A is directly applied to the entries of the sequence x=(xk). So, the methods A and B are essentially different. Let us assume that the matrix product BC exists which is a much weaker assumption than the conditions on the matrix B belonging to any matrix class, in general. The methods A and B in (14) are called dual summability methods of the new type if zn reduces to tn (or tn reduces to zn) under the application of formal summation by parts. This leads us to the fact that BC exists and is equal to A and (BC)x=B(Cx) formally holds, if one side exists. This statement is equivalent to the following relation between the entries of the matrices A=(ank) and B=(bnk):
(15)ank:=∑j=k∞bnjj+1orbnk:=(k+1)(ank-an,k+1)=(k+1)Δank,
for all n,k∈ℕ.
Lemma 7 (see [9]).
A∈(ℓ∞,Vσ), if and only if
(16)∥A∥=supn∑k|ank|<∞,(17)σ-limank=αkforeachk,(18)limp∑k1p+1|∑i=0p(aσi(n),k-αk)|uniformlyinn.
Lemma 8 (see [9]).
A∈(c,Vσ), if and only if (16) and (17) hold, and
(19)σ-limn∑kank=α.
Lemma 9.
A∈(Vσ,Vσ), if and only if (16) and (17) hold, and
(20)A(T-I)∈(m,Vσ),
where I is identity matrix.
Now, we give the following theorem concerning to the dual matrices of the new type.
Theorem 10.
Suppose that the entries of the infinite matrices D=(dnk) and E=(enk) are connected with the relation
(21)enk=∑j=0ndjkn+1,(n,k∈ℕ),
and let μ be any given sequence space. Then, D∈(μ:V~σ), if and only if E∈(μ:Vσ).
Proof.
Let x=(xk)∈μ and consider the following equality with (21):
(22)∑j=0n∑k=0mdjkxσk(p)n+1=∑k=0menkxσk(p);(m,n,k∈ℕ),
which yields as m→∞ that Dx∈V~σ, whenever x∈μ, if and if only Ex∈Vσ, whenever x∈μ. This step completes the proof.
If we take σ(p)=p+1, then Theorem 10 is reduced to Theorem 5.2 of Kayaduman and Şengönül, [6].
Now, right here, we have stated two theorem which are natural consequences of the Lemma 7, Lemma 8, and Theorem 10.
Theorem 11.
Let A=(ank) be an infinite matrix real or complex numbers. Then, A=(ank)∈(Vσ:Vσ~) if and only if
supn∈ℕ∑k|∑j=k∞(anj/(j+1))|<∞,
σ-limn→∞∑k∑j=k∞(anj/(j+1))=α,
A(T-I)∈(ℓ∞:Vσ~),
where I is the identity matrix.
Theorem 12.
Let A=(ank) be an infinite matrix real or complex numbers. Then, A=(ank)∈(ℓ∞:V~σ) if and only if
supn∈ℕ∑k|∑j=k∞(anj/(j+1))|<∞,
σ-limn→∞∑j=k∞(anj/(j+1))=αk, exists for each fixed k∈ℕ,
limm→∞∑k|∑i=0m∑j=k∞(aσi(n),j/(m+1)(j+1))-αk|=0, uniformly in n.
Proof.
The proof is clear from Theorem 10 and Lemma 7.
Theorem 13.
Let A=(ank) be an infinite matrix real or complex numbers. Then, A=(ank)∈(c:V~σ) if and only if
supn∈ℕ∑k|∑j=k∞(anj/(j+1))|<∞,
σ-limn→∞∑j=k∞(anj/(j+1))=αk exists for each fixed k∈ℕ,
σ-limn→∞∑k∑j=k∞(anj/(j+1))=α.
Proof.
The proof is clear from Theorem 10 and Lemma 8.
Furthermore, from the Lemma 3.2 of [23], we have the following proposition.
Proposition 14.
Suppose that the entries of the infinite matrices A=(ank) and B=(bnk) are connected with the relation
(23)ank:=∑j=k∞bnjj+1,(n,k∈ℕ),
and let μ be any given sequence space. Then, if A∈(V~σ:μ), then
αk=limn∑j=k∞(bnj/(j+1)) exists for every k∈ℕ,
supn(∑k|∑j=k∞(bnj/(j+1))-αk|)<∞,
α=∑k|αk|<∞.
4. Some Inequalities
In this section, we use matrices classes (ℓ∞:V~σ), (c:V~σ), and (Vσ:Vσ~) to show the following inequalities: q~σ(Ax)≤L(x), q~σ(Ax)≤qσ(x), and q~σ(Ax)≤β(x), which are analogues of Knopp's core theorem.
Definition 15.
Let x∈ℓ∞. Then, σC-core of x is defined by the closed interval [-q~σ(-x),q~σ(x)], where
(24)q~σ(x)=limsupn→∞supp∈ℕ∑k=0n∑j=0kxσj(p)(n+1)(k+1).
Therefore, it is easy to see that σC-core of x is α if and only if σC-limx=α.
We need the following lemma due to Das [17] for the proof of next theorem.
Lemma 16.
Let ∥C∥=∥cni(p)∥<∞ and let limn→∞supp∈ℕ|cni(p)|=0. Then, there is a y=(yi)∈ℓ∞ such that ∥y∥≤1 and
(25)limsupn→∞supp∈ℕ∑icni(p)yi=limsupn→∞supp∈ℕ∑i|cni(p)|.
Lemma 17.
Let P and Q be sublinear functionals on a linear space X. Then, {X,P}⊂{X,Q} if and only if P(x)≤Q(x) for all x∈X.
Theorem 18.
q~σ(Ax)≤L(x) for all x∈ℓ∞ if and only if A∈(c:V~σ)reg and
(26)limn→∞∑ia-(n,i,p)=1uniformlyinp,
where a-(n,i,p)=∑k=0n∑j=0k(aσj(p),i/(n+1)(k+1)) for all n,i,p∈ℕ.
Proof.
Consider the following.
Sufficiency. Since x∈ℓ∞, it is known that for any given ϵ>0, there exists a positive integer i0 such that xi≤L(x)+ϵ whenever i≥i0. Now, let us write
(27)∑ia-(n,i,p)xi=∑i<i0a-(n,i,p)xi+∑i≥i0a-(n,i,p)+xi-∑i≥i0a-(n,i,p)-xi.
Then, by hypothesis, the first and the last sums on the right-hand side of (27) tend to zero, as n→∞, uniformly in p. Therefore, we obtain by applying the operator limsupn→∞supp∈ℕ to the equality (27) that
(28)q~σ(Ax)≤[L(x)+ϵ]limsupn→∞supp∈ℕ∑ia-(n,i,p).
Since (26) holds, we have q~σ(Ax)≤L(x).
Necessity. We observe by inserting -x=(-xi) in place of x=(xi) in the inequality q~σ(Ax)≤L(x) that
(29)ℓ(x)≤-q~σ(-Ax)≤q~σ(Ax)≤L(x).
If x∈c, then ℓ(x)=L(x)=limx and so -q~σ(-Ax)=q~σ(Ax) which means that σC-limAx=limx. Hence, A∈(c:V~σ)reg. It is clear that
(30)liminfn→∞∑i|a-(n,i,p)|≥liminfn→∞∑ia-(n,i,p)=1,
uniformly in p. On the other hand, if we choose the sequence of matrices 𝒜={a-in(p)} defined by a-in(p)=a-(n,i,p), for all n,i,p∈ℕ, then clearly 𝒜 satisfies the conditions of Lemma 16. So, there exists a y=(yi)∈ℓ∞ with ∥y∥≤1 and
(31)limsupn→∞supp∈ℕ∑i|a-(n,i,p)|=limsupn→∞supp∈ℕ∑ia-(n,i,p)yi.
Thus, we derive by inserting this y in the hypothesis that
(32)limsupn→∞supp∈ℕ∑i|a-(n,i,p)|=q~σ(Ay)≤L(y)≤∥y∥≤1.
Combining this result by the fact in (30), we obtain the required condition.
In the special case σ(p)=p+1, we also have the following.
Theorem 19 (see [6]).
BC-core(Ax)⊆K-core(x) for all x∈ℓ∞ if and only if A∈(c:f~)reg and
(33)limn→∞supp∈ℕ∑i1n+1|∑k=0n1k+1∑j=0kaj+p,i|=1.
Corollary 20.
q~σ(Ax)≤qσ(x) for all x∈ℓ∞ if and only if A∈(Vσ:V~σ)reg and (26) holds.
Proof.
Consider the following.
Necessity. By the similar way used in the proof of necessity of Theorem 18, one can see that A∈(Vσ:V~σ)reg. On the other hand, since qσ(x)≤L(x) for any sequence x, condition (26) follows from Theorem 18.
Sufficiency. Suppose that (Vσ:V~σ)reg and (26) hold. Since (Vσ:V~σ)reg implies that A∈(c:V~σ)reg, from Theorem 18,
(34)u(x)=infz∈V0σq~σ(Ax+z)≤infz∈V0σL(x+z)=v(x).
On the other hand, since q~σ(Az)=-q~σ(-Az)=0 for z∈V0σ, we have
(35)u(x)≥infz∈V0σ{q~σ(Ax)+[-q~σ(-Az)]}=q~σ(Ax).
Now, combining (34) and (35), we obtain q~σ(Ax)≤v(x) for all x∈ℓ∞. Since v(x)=qσ(x) [13], the proof is completed.
In the special case σ(p)=p+1, we also have the following theorem.
Theorem 21 (see [6]).
One can see that BC-core(Ax)⊆B-core(x) for all x∈ℓ∞ if and only if A∈(f:f~)reg and (33) holds.
Corollary 22.
A∈(st∩ℓ∞:V~σ)reg if and only if A∈(c:V~σ)reg and
(36)limn→∞∑i∈E1n+1|∑k=0n∑j=0kaσj(p),i(k+1)|=0uniformlyinp,
for every E⊆ℕ with natural density zero.
Proof.
Let A∈(st∩ℓ∞:V~σ)reg. Then, A∈(c:V~σ)reg immediately follows from the fact that c⊂st∩ℓ∞. Now, define a sequence t=(ti) via x∈ℓ∞ as
(37)ti={xi,i∈E,0,i∉E,
where E is any subset of ℕ with δ(E)=0. Then, st-limti=0 and t∈st0, so we have At∈V~0σ. On the other hand, since (At)n=∑i∈Eaniti, the matrix B=(bni), defined by
(38)bni={ani,i∈E,0,i∉E,
for all n, must belong to the class (ℓ∞:V~0σ). Hence, the necessity of (36) follows from (4) part of Theorem 12. Conversely, suppose that A∈(c:V~σ)reg and (36) holds. Let x∈st∩ℓ∞ and let st-limx=ℓ. Write E={i:|xi-ℓ|≥ε} for any given ε>0, so that δ(E)=0. Since A∈(c,V~σ)reg and σC-limn→∞∑iani=1, we have
(39)σC-lim(Ax)=σC-lim(∑iani(xi-ℓ)+ℓ∑iani)=σC-lim(∑iani(xi-ℓ)+ℓ)=limn→∞supp∈ℕ∑i∑k=0n∑j=0kaσj(p),i(n+1)(k+1)limn→∞supp∈ℕ∑i∑k=0n∑j=0kl×(xi-ℓ)+ℓ.
On the other hand, since
(40)|∑i∑k=0n∑j=0kaσj(p),i(n+1)(k+1)(xi-ℓ)|≤∥x∥∞∑i∈E1n+1|∑k=0n∑j=0kaσj(p),i(k+1)|+ε∥A∥,
the condition (36) implies that
(41)limn→∞∑i∑k=0n∑j=0kaσj(p),i(n+1)(k+1)(xk-ℓ)=0limn→∞∑i∑k=0n∑j=0klllllllllllllllluniformlyinp.
Hence, σC-lim(Ax)=st-limx; that is, A∈(st∩m:V~σ)reg, which completes the proof.
In the special case σ(p)=p+1, we also have the following theorem.
Theorem 23 (see [6]).
Consider that A∈(S∩ℓ∞:f~)reg if and only if A∈(c:f~)reg and
(42)limn→∞∑i∈E1n+1|∑k=0n1k+1∑j=0kaj+p,i|=0uniformlyinp,
for every E⊆ℕ with natural density zero.
Corollary 24.
Consider that q~σ(Ax)≤β(x) for all x∈ℓ∞ if and only if A∈(st∩ℓ∞:V~σ)reg and (26) holds.
Proof.
Consider the following.
Necessity. Firstly, assume that q~σ(Ax)≤β(x) for all x∈ℓ∞ where β(x)=st-limsupx. Hence, since β(x)=st-limsupx≤L(x) for all x∈ℓ∞ (see [12]), we have (26) from Theorem 18. Furthermore, one can also easily see that -β(-x)≤-q~σ(-Ax)≤q~σ(Ax)≤β(x); that is, st-liminfx≤-q~σ(-Ax)≤q~σ(Ax)≤st-limsupx. If x∈st∩ℓ∞, then st-liminfx=st-limsupx=st-limx. Thus, the last inequality implies that st-limx=-q~σ(-Ax)=q~σ(Ax)=σC-lim(Ax); that is, A∈(st∩ℓ∞:V~σ)reg.
Sufficiency. Let A∈(st∩ℓ∞:V~σ)reg and let (26) holds. If x∈ℓ∞, then β(x) is finite. Let E be a subset of ℕ defined by E={i:xi>β(x)+ε} for a given ε>0. Then, it is obvious that δ(E)=0 and xi≤β(x)+ε if i∉E. For any real number λ, we write λ+=max{λ,0} and λ-=max{-λ,0} whence |λ|=λ++λ-, λ=λ+-λ- and |λ|-λ=2λ-. Now, we can write
(43)∑icni(p)xi=∑i<i0cni(p)xi+∑i≥i0cni(p)xi=∑i<i0cni(p)xi+∑i≥i0cni+(p)xi-∑i≥i0cni-(p)xi≤∥x∥∑i<i0|cni(p)|+∑i≥i0i∉Ecni+(p)xi+∑i≥i0i∈Ecni+(p)xi+∥x∥∑i≥i0[|cni(p)|-cni(p)]≤∥x∥∑i<i0|cni(p)|+[β(x)+ε]∑i≥i0i∉E|cni(p)|+∥x∥∑i≥i0i∈E|cni(p)|+∥x∥∑i≥i0[|cni(p)|-cni(p)].
Applying the operator limsupn→∞supp∈ℕ, we obtained from hypothesis that q~σ(Ax)≤β(x)+ε. This completes the proof since ε is arbitrary.
In the special case σ(p)=p+1, we also have the following theorem.
Theorem 25 (see [6]).
Consider that BC-core(Ax)⊆st-core(x) for all x∈ℓ∞ if and only if A∈(S∩ℓ∞:f~)reg and (33) holds.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
BaşarF.AltayB.MursaleenM.Some generalizations of the space bvp of p-bounded variation sequences20086822732872-s2.0-3554894539810.1016/j.na.2006.10.047KirişçiM.BaşarF.Some new sequence spaces derived by the domain of generalized difference matrix201060512991309ŞengönülM.BaşarF.Some new Cesro sequence spaces of non-absolute type
which include the spaces c0 and c2005311107119AltayB.On the space of p-summable difference sequences of order m, (1≤p≤∞)2006434387402MohiuddineS. A.AlotaibiA.Some spaces of double sequences obtained
through invariant mean and related concepts201320131110.1155/2013/507950507950KayadumanK.ŞengönülM.On the Cesàro almost convergent sequences space and some core theorems201232622652278ŞengönülM.KayadumanK.On the Riesz almost convergent sequences space201220121810.1155/2012/691694691694MursaleenM.On some new invariant matrix methods of summability198334177862-s2.0-000228161210.1093/qmath/34.1.77SchaeferP.Infinite matrices and invariant means197236104110LorentzG. G.A contribution to the theory of divergent sequences19608011671902-s2.0-3425059320510.1007/BF02393648RaimiR.Invariant means and invariant matrix methods of summability1963308194FridyJ. A.OrhanC.Statistical limit superior and limit inferior199712512362536312-s2.0-21944449161MishraS. L.SatapathyB.RathN.Invariant means and σ-core199460151158CookeR. G.1950MacmillanOrhanC.Sublinear functionals and Knopp's core theorem199013346146810.1155/S0161171290000680ÇoşkunH.ÇakanC.MursaleenOn the statistical and σ-core200315412935DasG.Sublinear functionals and a class of conservative matrices19871589106KayadumanK.ÇoşkunH.On the σ(A)-summability and σ(A)-core2007404859867KayadumanK.ÇakanC.The cesaro of double sequences20112011910.1155/2011/950364950364BoosJ.SeydelD.Some remarks on invariant means and almost convergence199972129WilanskyA.1984Oxford, UKNorth-HollandMathematic Studies 85BaşarF.Matrix transformations between certain sequence spaces of Xp and ℓP2000262191204MursaleenM.NomanA. K.On σ-conservative matrices and compact operators on the space Vσ2011249155415602-s2.0-7995614684810.1016/j.aml.2011.03.045