# Some Generalized Difference Sequence Spaces Defined by Ideal Convergence and Musielak-Orlicz Function

Authors: Awad A. Bakery; Elsayed Abdelbayen Elnour Mohamed; Mohamed Alamin Ahmed
Journal: Abstract and Applied Analysis
 (2013)

---

## Abstract

In the present paper we introduced the ideal convergence of generalized difference sequence spaces combining de La Vallée-Poussin mean and Musielak-Orlicz function overn-normed spaces. We also study some topological properties and inclusion relation between these spaces.


---

## Body

## 1. Introduction

Throughout the paperω, ℓ∞, c, c0, and ℓp denote the classes of all, bounded, convergent, null, and p-absolutely summable sequences of complex numbers. The sets of natural numbers and real numbers will be denoted by ℕ, ℝ, respectively. Many authors studied various sequence spaces using normed or seminormed linear spaces. In this paper, using de La Vallée-Poussin mean and the notion of ideal, we aimed to introduce some new sequence spaces with respect to generalized difference operator Δms and Musielak-Orlicz function in n-normed linear spaces. By an ideal we mean a family I⊂2Y of subsets of a nonempty set Y satisfying (i) ϕ∈I; (ii) A,B∈I imply A∪B∈I; (iii) A∈I,  B⊂A imply B∈I, while an admissible ideal I of Y further satisfies {x}∈I for each x∈Y. The notion of ideal convergence was introduced first by Kostyrko et al. [1] as a generalization of statistical convergence. The concept of 2-normed spaces was initially introduced by Gähler [2] in the 1960s, while that of n-normed spaces can be found in [3], and this concept has been studied by many authors; see for instance [4–7]. The notion of ideal convergence in 2-normed space was initially introduced by Gürdal [8]. Later on, it was extended to n-normed spaces by Gürdal and Şahiner [9]. Given I⊂2ℕ is a nontrivial ideal in ℕ, the sequence (xn)n∈ℕ in a normed space (X;∥·∥) is said to be I-convergent to x∈X, if for each ε>0,
(1)A(ε)={n∈ℕ:∥xn-x∥≥ε}∈I.A sequence(xk) in a normed space (X,∥·∥) is said to be I-bounded if there exists L>0 such that
(2){k∈ℕ:∥xk∥>L}∈I.A sequence(xk) in a normed space (X,∥·∥) is said to be I-Cauchy if for each ε>0, there exists a positive integer m=m(ε) such that
(3){k∈ℕ:∥xk-xm∥≥ε}∈I.An Orlicz function is a functionM:[0,∞)→[0,∞) which is continuous, nondecreasing, and convex with M(0)=0, M(x)>0 for x>0 and M(x)→∞, as x→∞. If convexity of M is replaced by M(x+y)≤M(x)+M(y), then it is called a modulus function, introduced by Nakano [10]. Ruckle [11] and Maddox [12] used the idea of a modulus function to construct some spaces of complex sequences. An Orlicz function M is said to satisfy Δ2-condition for all values of x≥0, if there exists a constant k>0, such that M(2x)≤kM(x). The Δ2-condition is equivalent to M(lx)≤klM(x) for all values of x and for l>1. Lindenstrauss and Tzafriri [13] used the idea of an Orlicz function to define the following sequence spaces:
(4)ℓM={x∈ω:∑k=1∞‍M(|x(k)|ρ)<∞}
which is a Banach space with the Luxemburg norm defined by
(5)∥x∥=inf{ρ>0:∑k=1∞‍M(|x(k)|ρ)≤1}.The spaceℓM is closely related to the space ℓp, which is an Orlicz sequence space with M(x)=xp for 1≤p<∞.Recently different classes of sequences have been introduced using Orlicz functions. See [7, 9, 14–16].A sequenceM=(Mk) of Orlicz functions Mk for all k∈ℕ is called a Musielak-Orlicz function, for a given Musielak-Orlicz function M. Kızmaz [17] defined the difference sequence spaces ℓ∞(Δ), c(Δ), and c0(Δ) as follows: Z(Δ)  =  {x=(xk):(Δxk)∈Z}, for Z=ℓ∞, c, and c0, where Δx=(xk-xk+1), for all k∈ℕ. The above spaces are Banach spaces, normed by ∥x∥=|x1|+supk|Δxk|. The notion of difference sequence spaces was generalized by Et and Colak [18] as follows: Z(Δs)={x=(xk):(Δsxk)∈Z}, for Z=ℓ∞,  c, and c0, where s∈ℕ, (Δsxk)=(Δs-1xk-Δs-1xk+1) and so that Δsxk=∑n=0s‍(-1)nCnsxk+n. Tripathy and Esi [19] introduced the following new type of difference sequence spaces.Z
(
Δ
m
)
=
{
x
=
(
x
k
)
:
(
Δ
m
x
k
)
∈
Z
}, Z=ℓ∞, c, and c0, where Δmxk=(xk-xk+m), for all k∈ℕ. Tripathy et al. [20] generalized the above notions and unified them as follows. Let m, s be nonnegative integers, then for Z a given sequence space we have
(6)Z(Δms)={x=(xk):(Δmsxk)∈Z},
where
(7)Δmsxk=∑n=0s‍(-1)nCnsxk+mn.Also letm,s be nonnegative integers, then for Z a given sequence space we have
(8)Z(Δm(s))={x=(xk):(Δm(s)xk)∈Z},
where
(9)Δm(s)xk=∑n=0s‍(-1)nCnsxk-mn,
where xk=0, for k<0


## 2. Definitions and Preliminaries

Letn∈ℕ and X be a linear space over the field K of dimension d, where d≥n≥2 and K is the field of real or complex numbers. A real valued function ∥·,…,·∥ on Xn satisfies the following four conditions:(1)
∥x1,x2,…,xn∥=0 if and only if x1,x2,…,xn are linearly dependent in X;(2)
∥x1,x2,…,xn∥ is invariant under permutation;(3)
∥αx1,x2,…,xn∥=|α|∥x1,x2,…,xn∥ for any α∈K;(4)
∥x+x′,x2,…,xn∥≤∥x,x2,…,xn∥+∥x′,x2,…,xn∥; is called an n-norm on X and the pair (X;∥·,…,·∥) is called an n-normed space over the field K. For example, we may take X=ℝn being equipped with the n-norm ∥x1,x2,…,xn∥E= the volume of the n-dimensional parallelepiped spanned by the vectors x1,x2,…,xn which may be given explicitly by the formula
(10)∥x1,x2,…,xn∥E=|det(xij)|=abs(|x11x12⋯x1nx21x22⋯x2n⋮⋮⋱⋮xn1xn2⋯xnn|),wherexi=(xi1,xi2,…,xin) for each i∈ℕ.Let(X,∥·,…,·∥) be an n-normed space of dimension d≥n≥2 and {a1,a2,a3,…,an} a linearly independent set in X. Then, the function ∥·,…,·∥∞ on Xn-1 defined by
(11)∥x1,x2,…,xn∥∞=max1≤i≤n∥x1,x2,…,xn-1,ai∥,defines an(n-1)-norm on X with respect to a1,a2,a3,…,an and this is known as the derived (n-1)-norm. The standard (n)-norm on X, a real inner product space of dimension d≥n, is as follows:
(12)∥x1,x2,…,xn∥S=abs(|〈x1,x1〉〈x1,x2〉⋯〈x1,xn〉〈x2,x1〉〈x2,x2〉⋯〈x2,xn〉⋮⋮⋱⋮〈xn,x1〉〈xn,x2〉⋯〈xn,xn〉|)1/2,where〈·,·〉 denotes the inner product on X. If we take X=ℝn, then
(13)∥x1,x2,…,xn∥E=∥x1,x2,…,xn∥S.Forn=1, this n-norm is the usual norm ∥x1∥=〈x1,x1〉.Definition 1.
A sequence(xk) in an n-normed space is said to be convergent to x∈X if,
(14)limk→∞∥(z1,z2,…,zn-1,xk-x)∥n=0,∀z1,z2,…,zn-1∈X.Definition 2.
A sequence(xk) in an n-normed space is called Cauchy (with respect to n-norm) if,
(15)limk,j→∞∥(z1,z2,…,zn-1,xk-xj)∥n=0,∀z1,z2,…,zn-1∈X.
If every Cauchy sequence in X converges to an x∈X, then X is said to be complete (with respect to the n-norm). A complete n-normed space is called n-Banach space.Definition 3.
A sequence(xk) in an n-normed space (X,∥·,…,·∥) is said to be I-convergent to x0∈X with respect to n-norm, if for each ε>0, the set
(16){k∈ℕ:∥xk-x0,z1,z2,…,zn-1∥≥ε,nforeveryz1,z2,…,zn-1}∈I.Definition 4.
A sequence(xk) in an n-normed space (X,∥·,…,·∥) is said to be I-Cauchy if for each ε>0, there exists a positive integer m=m(ε) such that the set
(17){k∈ℕ:∥xk-xm,z1,z2,…,zn-1∥≥ε,nforeveryz1,z2,…,zn-1}∈I.
Let x=(xk) be a sequence; then S(x) denotes the set of all permutations of the elements of (xk); that is, S(x)=(xπ(n)):π is a permutation of ℕ.Definition 5.
A sequence spaceE is said to be symmetric if S(x)⊂E for all x∈E.Definition 6.
A sequence spaceE is said to be normal (or solid) if (αkxk)∈E, whenever (xk)∈E and for all sequence (αk) of scalars with |αk|≤1 for all k∈ℕ.Definition 7.
A sequence spaceE is said to be a sequence algebra if x,y∈E then x·y=(xkyk)∈E.Lemma 8.
Everyn-normed space is an (n-r)-normed space for all r=1,2,3,…,n-1. In particular, every n-normed space is a normed space.Lemma 9.
On a standardn-normed space X, the derived (n-1)-norm ∥·,…,·∥∞ defined with respect to the orthogonal set {e1,e2,…,en} is equivalent to the standard (n-1)-norm ∥·,…,·∥S. To be precise, one has
(18)∥x1,x2,…,xn-1∥∞≤∥·,…,·∥S≤n∥x1,x2,…,xn-1∥∞,
for allx1,x2,…,xn-1∈X, where ∥x1,x2,…,xn-1∥∞=max1≤i≤n{∥x1,x2,…,xn-1,ei∥S}.
LetΛ=(λk) be a nondecreasing sequence of positive real numbers tending to infinity and let λ1=1 and λk+1≤λk+1. In summability theory, de La Vallée-Poussin mean was first used to define the (V,λ)-summability by Leindler [21]. Also the (V,λ)-summable sequence spaces have been studied by many authors including [22, 23]. The generalized de La Vallée-Poussin’s mean of a sequence x=(xk) is defined as follows: tk(x)=(1/λk)∑j∈Ik‍|xj|, where Ik=[k-λk+1,k] for k∈ℕ. We write
[
V
,
λ
]
0
=
{
x
∈
ω
:
lim
k
→
∞
(
1
/
λ
k
)
∑
j
∈
I
k
‍
|
x
j
|
=
0
},
[
V
,
λ
]
=
{
x
∈
ω
:
lim
k
→
∞
(
1
/
λ
k
)
∑
j
∈
I
k
‍
|
x
j
-
l
|
=
0 for some l∈ℂ},
[
V
,
λ
]
∞
=
{
x
∈
ω
:
sup
k
(
1
/
λ
k
)
∑
j
∈
I
k
‍
|
x
j
|
<
∞
}.
For the sequence spaces that are strongly summable to zero, strongly summable and strongly bounded by the de La Vallée-Poussin's method, respectively. In the special case whereλk=k for k∈ℕ the spaces [V,λ]0, [V,λ], and [V,λ]∞ reduce to the spaces v0, v, and v∞ introduced by Maddox [24]. The following new paranormed sequence space is defined in [22].
V
(
λ
,
p
)
=
{
x
∈
ω
:
∑
k
=
1
∞
‍
(
(
1
/
λ
k
)
∑
j
∈
I
k
‍
|
x
j
|
)
p
k
<
∞
}. If one takes pk=p for all k∈ℕ; the space V(λ,p) reduced to normed space Vp(λ) defined by Vp(λ)={x∈ω:∑k=1∞‍((1/λk)∑j∈Ik‍|xj|)p<∞}. The details of the sequence spaces mentioned above can be found in [23].
For any bounded sequence(pn) of positive numbers, one has the following well-known inequality.
If0≤pk≤supkpk=G and D=max(1,2G-1), then |an+bn|pn≤D(|an|pn+|bn|pn), for all k and ak,bk∈ℂ.


## 3. Main Results

In this section, we define some new ideal convergent sequence spaces and investigate their linear topological structures. We find out some relations related to these sequence spaces. LetI be an admissible ideal of ℕ, ℳ=(Mj) be a Musielak-Orlicz function, and (X,∥·,…,·∥) an n-normed space. Further, let p=(pk) be any bounded sequence of positive real numbers,
(19)V[λ,ℳ,∥·,…,·∥,p,Δms]I={{k∈ℕ:λk-1∑j∈Ik‍[Mj(∥Δmsxj-lρ,z1,z2,…,zn-1∥)]pjx∈ω(n-X):nnnnnn{{k∈ℕ:λk-1∑j∈Ik‍[Mj(∥Δmsxj-lρ,z1,z2,…,zn-1∥)]pjk∈ℕ:λk-1nnnnnnnnnn×∑j∈Ik‍[Mj(∥Δmsxj-lρ,z1,z2,…,zn-1∥)]pjnnnnnnnnnnnn≥ε{k∈ℕ:λk-1∑j∈Ik‍[Mj(∥Δmsxj-lρ,z1,z2,…,zn-1∥)]pj}∈I,forsomeρ>0,nnnnnnl∈Xandeachz1,z2,…,zn-1∈X{k∈ℕ:λk-1∑j∈Ik‍[Mj(∥Δmsxj-lρ,z1,z2,…,zn-1∥)]pj},V[λ,ℳ,∥·,…,·∥,p,Δms]0I={{k∈N:λk-1∑j∈Ik‍[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pj}x∈ω(n-X):nnnnn{{k∈N:λk-1∑j∈Ik‍[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pj}k∈ℕ:λk-1nnnnnnnn×∑j∈Ik‍[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pjnnnnnnnn≥ε{k∈N:λk-1∑j∈Ik‍[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pj}}∈I,nnnnnnforsomeρ>0,andeachz1,z2,…,zn-1∈X{k∈N:λk-1∑j∈Ik‍[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pj}},V[λ,ℳ,∥·,…,·∥,p,Δms]∞={[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pjx∈ω(n-X):nnnnnn×supkλk-1∑j∈Ik‍[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pjnnnnnn<∞,nnnnnnforsomeρ>0,andeachz1,z2,…,zn-1∈X[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pj},V[λ,ℳ,∥·,…,·∥,p,Δms]∞I={{k∈N:λk-1∑j∈Ik‍[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pj}x∈ω(n-X):∃K>0,s.t.nnnnnn{{k∈N:λk-1∑j∈Ik‍[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pj}k∈ℕ:λk-1nnnnnnnnn×∑j∈Ik‍[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pjnnnnnnnnn≥K{k∈N:λk-1∑j∈Ik‍[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pj}}∈I,nnnnnnforsomeρ>0,andeachz1,z2,…,zn-1∈X{k∈N:λk-1∑j∈Ik‍[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pj}}.The above sequence spaces contain some unbounded sequences fors≥1. If Mk(x)=x, m=1, λk=k for all k∈ℕ and pk=1 for all k∈ℕ, then (ks)∈V[λ,M,∥·,…,·∥,p,Δms]∞but (ks)∉ℓ∞.Let us consider a few special cases of the above sets.(1)
Ifn = 2,  m = 1, and Mk(x) = M(x), then the above classes of sequences are denoted by V[λ, M, ∥·,…,·∥, p, Δs]I, V[λ, M, ∥,·,∥, p, Δs]0I , V[λ, M, ∥,·,∥, p, Δs]∞, and V[λ, M, ∥,·,∥, p, Δs]∞I, respectively, which were defined and studied by Savaş [25].(2)
IfMk(x) = M(x), then the above classes of sequences are denoted by V[λ, M, ∥·,…,·∥, p, Δms]I, V[λ, M, ∥·,…,·∥, p, Δms]0I, V[λ, M, ∥·,…,·∥, p, Δms]∞, and V[λ, M, ∥·,…,·∥, p, Δms]∞I, respectively.(3)
IfMk(x)=x, for all k∈ℕ, then the above classes of sequences are denoted by V[λ,∥·,…,·∥,p,Δms]I, V[λ,∥·,…,·∥,p,Δms]0I, V[λ,∥·,…,·∥,p,Δms]∞, and V[λ,∥·,…,·∥,p,Δms]∞I, respectively.(4)
Ifpk=1, for all k∈ℕ, then we denote the above classes of sequences by V[λ, ∥·,…,·∥, Δms]I, V[λ, ∥·,…,·∥, Δms]0I, V[λ, ∥·,…,·∥, Δms]∞, and V[λ, ∥·,…,·∥, Δms]∞I, respectively.(5)
IfMk(x)=M(x), m=1, and λk=k for all k∈ℕ, then the above classes of sequences are denoted by V[M,∥·,…,·∥,p,Δs]I, V[M,∥·,…,·∥,p,Δs]0I, V[M,∥·,…,·∥,p,Δs]∞, and V[M,∥·,…,·∥,p,Δs]∞I, respectively, which were defined and studied by Savaş [7].Theorem 10.
The spacesV[λ,ℳ,∥·,…,·∥,p,Δms]I, V[λ,ℳ,∥·,…,·∥,p,Δms]0I, and V[λ,ℳ,∥·,…,·∥,p,Δms]∞I are linear spaces.Theorem 11.
The spacesV[λ,ℳ,∥·,…,·∥,p,Δms]I, V[λ,ℳ,∥·,…,·∥,p,Δms]0I, and V[λ,ℳ,∥·,…,·∥,p,Δms]∞I are paranormed spaces (not totally paranormed) with respect to the paranorm gΔ defined by
(20)gΔ(x)=∑j=1ms∥xj,z1,z2,…,zn-1∥+inf{ρpk/H:supjMj(∥Δmsxjρ,z1,z2,…,zn-1∥)nnnnnn≤1,forsomeρ>0,nnnnnnandeachz1,z2,…,zn-1∈X∥Δmsxjρ,z1,z2,…,zn-1∥},
where H=max{1,supkpk}.Proof.
ClearlygΔ(-x)=gΔ(x) and gΔ(θ)=0. Let x=(xk) and  y=(yk)∈V[λ,ℳ,∥·,…,·∥,p,Δms]0I. Then, for ρ>0 we set
(21)A1={ρ:supjMj(∥Δmsxjρ,z1,z2,…,zn-1∥)≤1,nnnnforeachz1,z2,…,zn-1∈X(∥Δmsxjρ,z1,z2,…,zn-1∥)},A2={ρ:supjMj(∥Δmsyjρ,z1,z2,…,zn-1∥)≤1,nnnnforeachz1,z2,…,zn-1∈X(∥Δmsyjρ,z1,z2,…,zn-1∥)}.
Let ρ1∈A1, ρ2∈A2 and ρ=ρ1+ρ2, then we have
(22)Mj(∥Δms(xj+yj)ρ,z1,z2,…,zn-1∥)≤ρ1ρ1+ρ2Mj(∥Δms(xj)ρ1,z1,z2,…,zn-1∥)+ρ2ρ1+ρ2Mj(∥Δms(yj)ρ2,z1,z2,…,zn-1∥)≤1,gΔ(x+y)=∑j=1ms‍∥xj+yj,z1,z2,…,zn-1∥+inf{(ρ1+ρ2)pj/H:ρ1∈A1,ρ2∈A2}≤∑j=1ms‍∥xj,z1,z2,…,zn-1∥+inf{(ρ1)pj/H:ρ1∈A1}+∑j=1ms‍∥yj,z1,z2,…,zn-1∥+inf{(ρ2)pj/H:ρ2∈A2}=gΔ(x)+gΔ(y).
Let λt→λ where λt,λ∈ℂ, and let gΔ(xt-x)→0 as t→∞. We have to show that gΔ(λtxt-λx)→0 as t→∞. We set
(23)A3={ρt:supjMj(∥Δmsxjρt,z1,z2,…,zn-1∥)≤1,nnnnnforeachz1,z2,…,zn-1∈X(∥Δmsxjρt,z1,z2,…,zn-1∥)},A4={ρt1:supjMj(∥Δmsyjρt1,z1,z2,…,zn-1∥)≤1,nnnnnforeachz1,z2,…,zn-1∈X(∥Δmsyjρt1,z1,z2,…,zn-1∥)}.
If ρt∈A3 and ρt1∈A4, by using nondecreasing and convexity of the Orlicz function Mj for all j∈ℕ that
(24)Mj(∥Δms(λtxjt-λxj)|λt-λ|ρt+|λ|ρt1,z1,z2,…,zn-1∥)≤Mj[∥(Δmsλtxjt-λxjt)|λt-λ|ρt+|λ|ρt1,z1,z2,…,zn-1∥nnnnnnnn+∥Δms(λxjt-λxj)|λt-λ|ρt+|λ|ρt1,z1,z2,…,zn-1∥]≤|λt-λ|ρt|λt-λ|ρt+|λ|ρt1Mj(∥Δmsxjtρt,z1,z2,…,zn-1∥)+|λ|ρt1|λt-λ|ρt+|λ|ρt1Mj×(∥Δms(xjt-xj)ρt1,z1,z2,…,zn-1∥).
From the above inequality, it follows that
(25)supjMj(∥Δms(λtxjt-λxj)|λt-λ|ρt+|λ|ρt1,z1,z2,…,zn-1∥)≤1,
and consequently
(26)gΔ(λtxt-λx)=∑j=1ms‍∥λtxjt-λxj,z1,z2,…,zn-1∥+inf{(|λt-λ|ρt+|λ|ρt1)pj/H:ρt∈A3,ρt1∈A4}≤|λt-λ|∑j=1ms‍∥xjt,z1,z2,…,zn-1∥+|λt-λ|pj/Hinf{(ρt)pj/H:ρt∈A3}+|λ|∑j=1ms‍∥λtxjt-λxj,z1,z2,…,zn-1∥+|λ|pj/Hinf{(ρt1)pj/H:ρt1∈A4}≤max{|λt-λ|,|λt-λ|pj/H}gΔ(xt)+max{|λ|,|λ|pj/H}gΔ(xt-x).
Note that gΔ(xt)≤gΔ(x)+gΔ(xt-x), for all t∈ℕ. Hence, by our assumption, the right hand of (26) tends to 0 as t→∞, and the result follows. This completes the proof of the theorem.Theorem 12.
Letℳ=(Mj), ℳ′=(Mj′), and ℳ′′=(Mj′′) be Musielak-Orlicz functions. Then, the following hold:
(a)V[λ, ℳ′, ∥·,…,·∥, p, Δms]0I⊆V[λ, ℳ·ℳ′, ∥·,…,·∥, p, Δms]0I, provided p = (pk) be such that G0 = infpk > 0,
(b)V[λ, ℳ′, ∥·,…,·∥, p, Δms]0I∩V[λ, ℳ′′, ∥·,…,·∥, p, Δms]0I⊆V[λ, ℳ′ + ℳ′′, ∥·,…,·∥, p, Δms]0I.Proof.
(a) Letε>0 be given. Choose ε1>0 such that max{ε1G,ε1G0}<ε. Using the continuity of the Orlicz function M, choose 0<δ<1 such that 0<t<δ implies that M(t)<ε1. Let x=(xk) be any element in V[λ,ℳ′,∥·,…,·∥,p,Δmn]0I, put
(27)Aδ={k∈ℕ:λk-1∑j∈Ik‍[Mj′(∥Δmsxjρ1,z1,z2,…,zn-1∥)]pjnnnnn≥δG{k∈ℕ:λk-1∑j∈Ik‍[Mj′(∥Δmsxjρ1,z1,z2,…,zn-1∥)]pj}.
Then, by definition of ideal convergent, we have the set Aδ∈I. If n∉Aδ then we have
(28)λk-1∑j∈Ik‍[Mj′(∥Δmsxjρ1,z1,z2,…,zn-1∥)]pj<δG⟹[Mj′(∥Δmsxjρ1,z1,z2,…,zn-1∥)]pj<λkδG,nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn∀j∈Ik⟹[Mj′(∥Δmsxjρ1,z1,z2,…,zn-1∥)]pj<δG⟹[Mj′(∥Δmsxjρ1,z1,z2,…,zn-1∥)]<δ.
Using the continuity of the Orlicz function Mj for all j and the relation (28), we have
(29)Mj[Mj′(∥Δmsxjρ1,z1,z2,…,zn-1∥)]<ε1,∀j∈Ik.
Consequently, we get
(30)∑j∈Ik‍Mj[Mj′(∥Δmsxjρ1,z1,z2,…,zn-1∥)]pj<λjmax{ε1G,ε1G0}<λjε⟹λj-1∑j∈Ik‍Mj[Mj′(∥Δmsxjρ1,z1,z2,…,zn-1∥)]pj<ε.
This shows that
(31){k∈ℕ:∑j∈Ik‍Mj[Mj′(∥Δmsxjρ1,z1,z2,…,zn-1∥)]pjnnn≥ε{k∈ℕ:∑j∈Ik‍Mj[Mj′(∥Δmsxjρ1,z1,z2,…,zn-1∥)]pj}⊆Aδ∈I.
This proves the assertion.
(b) Letx=(xk) be any element in V[λ,ℳ′,∥·,…,·∥,p,Δms]0I∩V[λ,ℳ′′,∥·,…,·∥,p,Δms]0I. Then, by the following inequality, the results follow:
(32)λk-1∑j∈Ik‍[(Mj′+Mj′′)(∥Δmsxjρ1,z1,z2,…,zn-1∥)]pj≤Dλk-1∑j∈Ik‍[Mj′(∥Δmsxjρ1,z1,z2,…,zn-1∥)]pj+Dλk-1∑j∈Ik‍[Mj′′(∥Δmsxjρ1,z1,z2,…,zn-1∥)]pj.Theorem 13.
The inclusionsZ[λ,ℳ,∥·,…,·∥,Δms-1]⊆Z[λ,ℳ,∥·,…,·∥,Δms] are strict for s,m≥1 in general where Z=VI, V0I, and V∞I.Proof.
We will give the proof forV[λ,ℳ,∥·,…,·∥,Δms-1]0I⊆V[λ,ℳ,∥·,…,·∥,Δms]0I only. The others can be proved by similar arguments. Let x=(xk)∈V[λ,ℳ,∥·,…,·∥,Δms-1]0I. Then let ε>0 be given; there exists ρ>0 such that
(33){k∈ℕ:λk-1∑j∈Ik‍Mj(∥Δms-1xjρ,z1,z2,…,zn-1∥)≥ε2}∈I.
Since Mj for all j∈ℕ is nondecreasing and convex, it follows that
(34)λk-1∑j∈Ik‍Mj(∥Δmsxj2ρ,z1,z2,…,zn-1∥)=λk-1∑j∈Ik‍Mj(∥Δms-1xj+1-Δms-1xj2ρ,z1,z2,…,zn-1∥)≤λk-1∑j∈Ik‍12Mj(∥Δms-1xj+1ρ,z1,z2,…,zn-1∥)+λk-1∑j∈Ik‍12Mj(∥Δms-1xjρ,z1,z2,…,zn-1∥)≤12λk-1∑j∈Ik‍Mj(∥Δms-1xj+1ρ,z1,z2,…,zn-1∥)+12λk-1∑j∈Ik‍Mj(∥Δms-1xjρ,z1,z2,…,zn-1∥),
then we have
(35){k∈ℕ:λk-1∑j∈Ik‍Mj(∥Δmsxj2ρ,z1,z2,…,zn-1∥)≥ε}⊆{k∈ℕ:12λk-1∑j∈Ik‍Mj(∥Δms-1xj+1ρ,z1,z2,…,zn-1∥)nnnnnnn≥ε2{k∈ℕ:12λk-1∑j∈Ik‍Mj(∥Δms-1xj+1ρ,z1,z2,…,zn-1∥)}∪{k∈ℕ:12λk-1∑j∈Ik‍Mj(∥Δms-1xjρ,z1,z2,…,zn-1∥)nnnnnnn≥ε2{k∈ℕ:12λk-1∑j∈Ik‍Mj(∥Δms-1xj+1ρ,z1,z2,…,zn-1∥)}.
Let Mk(x)=M(x)=x for all x∈[0,∞[, k∈ℕ and λk=k for all k∈ℕ. Consider a sequence x=(xk)=(ks). Then, x∈V[λ,ℳ,∥·,…,·∥,Δms]0I but does not belong to V[λ,ℳ,∥·,…,·∥,Δms-1]0I, for s=m=1. This shows that the inclusion is strict.Theorem 14.
Let0<pk≤qk for all k∈ℕ, then V[λ,ℳ,∥·,…,·∥,p,Δms]∞⊆V[λ,ℳ,∥·,…,·∥,q,Δms]∞.Proof.
Letx=(xj)∈V[λ,ℳ,∥·,…,·∥,p,Δms]∞, then there exists some ρ>0 such that
(36)supkλk-1∑j∈Ik‍[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pj<∞.
This implies that
(37)Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)<1,
for sufficiently large value of j. Since Mj for all j∈ℕ is nondecreasing, we get
(38)supkλk-1∑j∈Ik‍[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]qj≤supkλk-1∑j∈Ik‍[Mj(∥Δmsxjρ,z1,z2,…,zn-1∥)]pj<∞.
Thus, x∈[λ,ℳ,∥·,…,·∥,q,Δms]∞. This completes the proof of the theorem.Theorem 15.
(i) If0<infpk≤pk < 1, then  V[λ, ℳ, ∥·,…,·∥, p, Δms]∞⊆V[λ, ℳ, ∥·,…,·∥, Δms]∞.
(ii) If0<pk≤supkpk<∞, then V[λ, ℳ, ∥·,…,·∥, Δms]∞⊆V[λ, ℳ, p, ∥·,…,·∥, Δms]∞.Theorem 16.
For any sequence of Orlicz functionsℳ=(Mj) which satisfies Δ2-condition, one has V[λ,∥·,…,·∥,p,Δms]I⊂V[λ,ℳ,∥·,…,·∥,p,Δms]I.Theorem 17.
Let0<pn≤qn<1 and (qn/pn) be bounded; then
(39)V[λ,ℳ,∥·,…,·∥,q,Δms]I⊆V[λ,ℳ,∥·,…,·∥,p,Δms]I.Theorem 18.
For any two sequencesp=(pk) and q=(qk) of positive real numbers and for any two n-norms ∥·,…,·∥1 and ∥·,…,·∥2 on X, the following holds:
(40)Z[λ,ℳ,∥·,…,·∥1,p,Δms]∩Z[λ,ℳ,∥·,…,·∥2,q,Δms]≠ϕ,
where Z=VI,  V0I,  V∞I, and V∞.Proof.
Proof of the theorem is obvious, because the zero element belongs to each of the sequence spaces involved in the intersection.Theorem 19.
The sequence spacesV[λ,ℳ,∥·,…,·∥,p,Δms]I, V[λ,ℳ,∥·,…,·∥,p,Δms]0I, V[λ,ℳ,∥·,…,·∥,p,Δms]∞, and V[λ,ℳ,∥·,…,·∥,p,Δms]∞I are neither solid nor symmetric, nor sequence algebras for s,m≥1 in general.Proof.
The proof is obtained by using the same techniques of Et [26, Theorems 3.6, 3.8, and 3.9].Remark 20.
If we replace the difference operatorΔms by Δm(s), then for each ε>0 we get the following sequence spaces:
(41)V[λ,ℳ,∥·,…,·∥,p,Δm(s)]I={{k∈ℕ:λk-1∑j∈Ik‍[Mj(∥Δm(s)xj-lρ,z1,z2,…,zn-1∥)]pjx∈ω(n-X):nnnnnn{{k∈ℕ:λk-1∑j∈Ik‍[Mj(∥Δm(s)xj-lρ,z1,z2,…,zn-1∥)]pjk∈ℕ:λk-1nnnnnnnn×∑j∈Ik‍[Mj(∥Δm(s)xj-lρ,z1,z2,…,zn-1∥)]pjnnnnnnnn≥ε{k∈ℕ:λk-1∑j∈Ik‍[Mj(∥Δm(s)xj-lρ,z1,z2,…,zn-1∥)]pj}nnnnnn∈I,forsomeρ>0,nnnnnnl∈Xandeachz1,z2,…,zn-1∈X{k∈ℕ:λk-1∑j∈Ik‍[Mj(∥Δm(s)xj-lρ,z1,z2,…,zn-1∥)]pj},V[λ,ℳ,∥·,…,·∥,p,Δm(s)]0I={[Mj(∥Δm(s)xjρ,z1,z2,…,zn-1∥)]pjx∈ω(n-X):nnnnn{k∈ℕ:λk-1∑j∈Ik‍[Mj(∥Δm(s)xjρ,z1,z2,…,zn-1∥)]pjnnnnnnnnnn≥ε[Mj(∥Δm(s)xjρ,z1,z2,…,zn-1∥)]pj}∈I,nnnnnnforsomeρ>0andeachz1,z2,…,zn-1∈X[Mj(∥Δm(s)xjρ,z1,z2,…,zn-1∥)]pj},V[λ,ℳ,∥·,…,·∥,p,Δm(s)]∞={[Mj(∥Δm(s)xjρ,z1,z2,…,zn-1∥)]pjx∈ω(n-X):nnnnnnn×supkλk-1∑j∈Ik‍[Mj(∥Δm(s)xjρ,z1,z2,…,zn-1∥)]pjnnnnnn<∞,nnnnnnforsomeρ>0andeachz1,z2,…,zn-1∈X[Mj(∥Δm(s)xjρ,z1,z2,…,zn-1∥)]pj},V[λ,ℳ,∥·,…,·∥,p,Δm(s)]∞I={[Mj(∥Δm(s)xjρ,z1,z2,…,zn-1∥)]pjx∈ω(n-X):∃K>0,s.t.nnnnnn{[Mj(∥Δm(s)xjρ,z1,z2,…,zn-1∥)]pjk∈ℕ:λk-1nnnnnnnnnn×∑j∈Ik‍[Mj(∥Δm(s)xjρ,z1,z2,…,zn-1∥)]pjnnnnnnnnnn≥K[Mj(∥Δm(s)xjρ,z1,z2,…,zn-1∥)]pj}∈I,nnnnnforsomeρ>0andeachz1,z2,…,zn-1∈X[Mj(∥Δm(s)xjρ,z1,z2,…,zn-1∥)]pj}.Note.
It is clear from definitions thatV[λ,ℳ,∥·,…,·∥,p,Δm(s)]0I⊆V[λ,ℳ,∥·,…,·∥,p,Δm(s)]I⊆V[λ,ℳ,∥·,…,·∥,p,Δm(s)]∞I.Corollary 21.
The sequence spacesZ[λ,ℳ,∥·,…,·∥,p,Δm(s)], where Z=VI,V0I, V∞I, and V∞ are paranormed spaces (not totally paranormed) with respect to the paranorm hΔ defined by(42)hΔ(x)=inf{ρpk/H:supjMj(∥Δm(s)xjρ,z1,z2,…,zn-1∥)≤1,nnnnnnnnforsomeρ>0,andeachz1,z2,…,zn-1∈X∥Δm(s)xjρ,z1,z2,…,zn-1∥},
whereH=max{1,supkpk} and Z=VI,V0I, V∞I, and V∞. Also it is clear that the paranorm gΔ and hΔ are equivalent. We state the following theorem in view of Lemma 9. Let X be a standard n-normed space and {e1,e2,…,en} an orthogonal set in X. Then, the following hold:(a)
V[λ, ℳ, ∥·,…,·∥∞, p, Δm(s)]I = V[λ, ℳ, ∥·,…,·∥n-1, p, Δm(s)]I;(b)
V[λ, ℳ, ∥·,…,·∥∞, p, Δm(s)]0I = V[λ, ℳ, ∥·,…,·∥n-1, p, Δm(s)]0I;(c)
V[λ, ℳ, ∥·,…,·∥∞, p, Δm(s)]∞ = V[λ, ℳ, ∥·,…,·∥n-1, p, Δm(s)]∞;(d)
V[λ, ℳ, ∥·,…,·∥∞, p, Δm(s)]∞I = V[λ, ℳ, ∥·,…,·∥n-1, p, Δm(s)]∞I,
where∥·,…,·∥∞ is the derived (n-1)-norm defined with respect to the set {e1,e2,…,en} and ∥·,…,·∥n-1 is the standard (n-1)-norm on X.Theorem 22.
The spacesZ[λ,ℳ,∥·,…,·∥∞,p,Δm(s)] and Z[λ,ℳ,∥·,…,·∥∞,p] are equivalent as topological spaces, where Z=VI,V0I, V∞I, and V∞.Proof.
Consider the mappingT:Z[λ,ℳ, ∥·,…,·∥∞, p, Δm(s)]→Z[λ, ℳ, ∥·,…,·∥∞, p] defined by T(x) = (Δm(s)xk) for each x = (xk)∈Z[λ, ℳ, ∥·,…,·∥∞, p, Δm(s)]. Then, clearly T is a linear homeomorphism and the proof follows.



---

*Source: 972363-2013-06-12.xml*