Research Article
New Difference Sequence Spaces Defined by
Musielak-Orlicz Function
M. Mursaleen,
1Sunil K. Sharma,
2S. A. Mohiuddine,
3and A. K
JlJçman
41Department of Mathematics, Aligarh Muslim University, Aligarh 202002, India
2Department of Mathematics, Model Institute of Engineering & Technology, Kot Bhalwal, Jammu and Kashmir 181122, India 3Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia 4Department of Mathematics, University Putra Malaysia (UPM), 43400 Serdang, Selangor, Malaysia
Correspondence should be addressed to A. Kılıc¸man; [email protected]
Received 17 March 2014; Revised 11 July 2014; Accepted 11 July 2014; Published 22 July 2014 Academic Editor: Feyzi Bas¸ar
Copyright © 2014 M. Mursaleen et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. We introduce new sequence spaces by using Musielak-Orlicz function and a generalized𝐵∧𝜇-difference operator on𝑛-normed space. Some topological properties and inclusion relations are also examined.
1. Introduction and Preliminaries
The notion of the difference sequence space was introduced by Kızmaz [1]. It was further generalized by Et and C¸ olak [2] as follows:𝑍(Δ𝜇) = {𝑥 = (𝑥𝑘) ∈ 𝜔 : (Δ𝜇𝑥𝑘) ∈ 𝑧} for 𝑧 = ℓ∞, 𝑐, and𝑐0, where𝜇 is a nonnegative integer and
Δ𝜇𝑥𝑘= Δ𝜇−1𝑥𝑘− Δ𝜇−1𝑥𝑘+1, Δ0𝑥𝑘= 𝑥𝑘 ∀𝑘 ∈ N (1) or equivalent to the following binomial representation:
Δ𝜇𝑥𝑘=∑𝜇
V=0
(−1)V(𝜇V)𝑥𝑘+V. (2) These sequence spaces were generalized by Et and Basarir [3] taking𝑧 = ℓ∞(𝑝), 𝑐(𝑝), and 𝑐0(𝑝).
Dutta [4] introduced the following difference sequence spaces using a new difference operator:
𝑍 (Δ(𝜂)) = {𝑥 = (𝑥𝑘) ∈ 𝜔 : Δ(𝜂)𝑥 ∈ 𝑧} for 𝑧 = ℓ∞, 𝑐, 𝑐0, (3) whereΔ(𝜂)𝑥 = (Δ(𝜂)𝑥𝑘) = (𝑥𝑘− 𝑥𝑘−𝜂) for all 𝑘, 𝜂 ∈ N.
In [5], Dutta introduced the sequence spaces 𝑐(‖⋅, ⋅‖, Δ𝜇(𝜂), 𝑝), 𝑐0(‖⋅, ⋅‖, Δ𝜇(𝜂), 𝑝), ℓ∞(‖⋅, ⋅‖, Δ𝜇(𝜂), 𝑝), 𝑚(‖⋅, ⋅‖, Δ𝜇(𝜂), 𝑝), and 𝑚0(‖⋅, ⋅‖, Δ𝜇(𝜂), 𝑝), where 𝜂, 𝜇 ∈ N and
Δ𝜇(𝜂)𝑥𝑘 = (Δ𝜇(𝜂)𝑥𝑘) = (Δ𝜇−1(𝜂)𝑥𝑘 − Δ𝜇−1(𝜂)𝑥𝑘−𝜂) and Δ0
(𝜂)𝑥𝑘 = 𝑥𝑘
for all𝑘, 𝜂 ∈ N, which is equivalent to the following binomial representation:
Δ𝜇(𝜂)𝑥𝑘 =∑𝜇
V=0(−1) V
(𝜇V)𝑥𝑘−𝜂V. (4)
The difference sequence spaces have been studied by authors [6–14] and references therein. Bas¸ar and Altay [15] introduced the generalized difference matrix𝐵 = (𝑏𝑚𝑘) for all 𝑘, 𝑚 ∈ N, which is a generalization ofΔ(1)-difference operator by
𝑏𝑚𝑘={{{{ { 𝑟, 𝑘 = 𝑚 𝑠, 𝑘 = 𝑚 − 1 0, (𝑘 > 𝑚) or (0 ≤ 𝑘 < 𝑚 − 1) . (5)
Bas¸arir and Kayikc¸i [16] defined the matrix𝐵𝜇(𝑏𝑚𝑘𝜇 ) which reduced the difference matrixΔ𝜇(1) in case𝑟 = 1, 𝑠 = −1. The generalized𝐵𝜇-difference operator is equivalent to the following binomial representation:
𝐵𝜇𝑥 = 𝐵𝜇(𝑥 𝑘) = 𝜇 ∑ V=0(𝜇V)𝑟 𝜇−V𝑠V𝑥 𝑘−V. (6)
Volume 2014, Article ID 691632, 9 pages http://dx.doi.org/10.1155/2014/691632
Let ∧ = (∧𝑘) be a sequence of nonzero scalars. Then, for a sequence space 𝐸, the multiplier sequence space 𝐸∧, associated with the multiplier sequence∧, is defined as
𝐸∧= {𝑥 = (𝑥𝑘) ∈ 𝜔 : (∧𝑘𝑥𝑘) ∈ 𝐸} . (7) An Orlicz function𝑀 is a function, 𝑀 : [0, ∞) → [0, ∞), which is continuous, nondecreasing, and convex with𝑀(0) = 0, 𝑀(𝑥) > 0 for 𝑥 > 0, and 𝑀(𝑥) → ∞ as 𝑥 → ∞.
We say that an Orlicz function 𝑀 satsfies the Δ2 -condition if there exists𝐾 > 2 and 𝑥0≥ 0 such that 𝑀(2𝑥) ≤ 𝐾𝑀(𝑥) for all 𝑥 ≥ 𝑥0. TheΔ2-condition is equivalent to 𝑀(𝐿𝑥) ≤ 𝐾𝐿𝑀(𝑥) for all 𝑥 > 𝑥0> 0 and for 𝐿, 𝐾 > 1.
Lindenstrauss and Tzafriri [17] used the idea of Orlicz function to define the following sequence space:
ℓ𝑀= {𝑥 ∈ 𝜔 :∑∞
𝑘=1
𝑀 (𝑥𝜌𝑘) < ∞} (8) which is called an Orlicz sequence space. The spaceℓ𝑀is a Banach space with the norm
‖𝑥‖ = inf {𝜌 > 0 :∑∞
𝑘=1
𝑀 (𝑥𝜌𝑘) ≤ 1} . (9) It is shown in [17] that every Orlicz sequence space ℓ𝑀 contains a subspace isomorphic toℓ𝑝(𝑝 ≥ 1).
A sequence M = (𝑀𝑘) of Orlicz function is called a Musielak-Orlicz function; see [18,19]. A sequenceN = (𝑁𝑘) defined by
𝑁𝑘(V) = sup {|V| 𝑢 − 𝑀𝑘(𝑢) : 𝑢 ≥ 0} , 𝑘 = 1, 2, . . . , (10)
is called the complimentary function of a Musielak-Orlicz function M. For a given Musielak-Orlicz function M, the Musielak-Orlicz sequence space𝑡Mand its subspaceℎMare defined as follows:
𝑡M = {𝑥 ∈ 𝜔 : 𝐼𝑀(𝑐𝑥) < ∞ for some 𝑐 > 0} , ℎM= {𝑥 ∈ 𝜔 : 𝐼𝑀(𝑐𝑥) < ∞ ∀𝑐 > 0} , (11) where𝐼Mis a convex modular defined by
𝐼M(𝑥) =∑∞
𝑘=1
𝑀𝑘(𝑥𝑘) , 𝑥 = (𝑥𝑘) ∈ 𝑡𝑀. (12) We consider𝑡Mequipped with the Luxemburg norm
‖𝑥‖ = inf {𝑘 > 0 : 𝐼𝑀(𝑥𝑘) ≤ 1} (13)
or equipped with the Orlicz norm
‖𝑥‖0= inf {1𝑘(1 + 𝐼𝑀(𝑘𝑥)) : 𝑘 > 0} . (14)
By a lacunary sequence𝜃 = (𝑖𝑟), 𝑟 = 0, 1, 2, . . ., where 𝑖0 = 0, we will mean an increasing sequence of nonnegative integers ℎ𝑟 = (𝑖𝑟− 𝑟𝑟−1) → ∞ (𝑟 → ∞). The intervals determined
by𝜃 are denoted by 𝐼𝑟 = (𝑖𝑟−1, 𝑖𝑟] and the ratio 𝑖𝑟/𝑖𝑟−1 will
be denoted by𝑞𝑟. The space of lacunary strongly convergent sequences𝑁𝜃was defined by Freedman et al. [20] as follows:
𝑁𝜃 ={{ { 𝑥 = (𝑥𝑘) : lim𝑟 → ∞1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑥𝑘− 𝐿 = 0, for some 𝐿 } } } . (15) The concept of 2-normed spaces was initially developed by G¨ahler [21] in the mid of 1960’s, while that of 𝑛-normed spaces one can see in Misiak [22]. Since then, many others have studied this concept and obtained various results; see Gunawan [23,24] and Gunawan and Mashadi [25]. For more details about sequence spaces see [26–33] and references therein. Let𝑛 ∈ N and 𝑋 be linear space over the field K, whereK is the field of real or complex numbers of dimension 𝑑, where 𝑑 ≥ 𝑛 ≥ 2.
A real valued function ‖⋅, . . . , ⋅‖ on 𝑋𝑛 satisfying the following four conditions:
(1)‖(𝑥1, 𝑥2, . . . , 𝑥𝑛)‖ = 0 if and only if 𝑥1, 𝑥2, 𝑥3, . . . ,𝑥𝑛 are linearly dependent in𝑋;
(2)‖(𝑥1, 𝑥2, . . . , 𝑥𝑛)‖ is invariant under permutation; (3)‖(𝛼𝑥1, 𝑥2, . . . , 𝑥𝑛)‖ = |𝛼|‖(𝑥1, 𝑥2, . . . , 𝑥𝑛)‖ for any 𝛼 ∈
K;
(4)‖(𝑥 + 𝑥, 𝑥2, . . . , 𝑥𝑛)‖ ≤ ‖(𝑥, 𝑥2, . . . , 𝑥𝑛)‖ + ‖(𝑥, 𝑥
2, . . . , 𝑥𝑛)‖
is called an 𝑛-norm on 𝑋 and the pair (𝑋, ‖⋅, . . . , ⋅‖) is called an𝑛-normed space over the field K. For example, we may take 𝑋 = R𝑛 being equipped with the Euclidean 𝑛-norm‖(𝑥1, 𝑥2, . . . , 𝑥𝑛)‖𝐸 = the volume of the 𝑛-dimensional parallelepiped spanned by the vectors 𝑥1, 𝑥2, . . . , 𝑥𝑛 which may be given explicitly by the formula
(𝑥1, 𝑥2, . . . , 𝑥𝑛)𝐸= det(𝑥𝑖𝑗), (16)
where𝑥𝑖= (𝑥1, 𝑥2, 𝑥3, . . . , 𝑥𝑛) ∈ R𝑛for each𝑖 = 1, 2, 3, . . . , 𝑛 and‖ ⋅ ‖𝐸denotes the Euclidean norm. Let(𝑋, ‖⋅, . . . , ⋅‖) be an 𝑛-normed space of dimension 𝑑 ≥ 𝑛 ≥ 2 and {𝑎1, 𝑎2, . . . , 𝑎𝑛} linearly independent set in𝑋. Then the following function ‖(⋅, . . . , ⋅)‖∞on𝑋𝑛−1defined by
(𝑥1, 𝑥2, . . . , 𝑥𝑛)∞
= max {(𝑥1, 𝑥2, . . . , 𝑥𝑛−1, 𝑎𝑖) : 𝑖 = 1, 2, . . . , 𝑛}
(17) defines an(𝑛−1) norm on 𝑋 with respect to {(𝑎1, 𝑎2, . . . , 𝑎𝑛)}. A sequence (𝑥𝑘) in an 𝑛-normed space (𝑋, ‖⋅, . . . , ⋅‖) is said to converge to some𝐿 ∈ 𝑋 if
lim
𝑘 → ∞(𝑥𝑘− 𝐿, 𝑧1, . . . , 𝑧𝑛−1) = 0,
for every𝑧1, . . . , 𝑧𝑛−1∈ 𝑋.
(18) A sequence(𝑥𝑘) in a normed space (𝑋, ‖⋅, . . . , ⋅‖) is said to be Cauchy if lim 𝑘 → ∞ 𝑝 → ∞(𝑥𝑘 − 𝑥𝑝, 𝑧1, . . . , 𝑧𝑛−1) = 0, for every𝑧1, . . . , 𝑧𝑛−1∈ 𝑋. (19)
If every Cauchy sequence in𝑋 converges to some 𝐿 ∈ 𝑋 then𝑋 is said to be complete with respect to the 𝑛-norm. Any complete𝑛-normed space is said to be 𝑛-Banach space.
Let(𝑋, ‖⋅, . . . , ⋅‖) be an 𝑛-normed space and let 𝑠(𝜔 − 𝑥) denote the space of𝑋-valued sequences. Let 𝑝 = (𝑝𝑘) be any bounded sequence of positive real numbers andM = (𝑀𝑘) a Musielak-Orlicz function. We define the following sequence spaces in this paper:
𝑤0𝜃(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ={{ { 𝑥 = (𝑥𝑘) ∈ 𝑠 (𝑤 − 𝑥) : lim𝑟 → ∞ℎ1 𝑟 × ∑ 𝑘∈𝐼𝑟 𝑀𝑘( ( 𝐵∧𝜇𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 = 0, 𝜌 > 0}} } , 𝑤𝜃(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ={{ { 𝑥 = (𝑥𝑘) ∈ 𝑠 (𝑤 − 𝑥) : lim𝑟 → ∞ℎ1 𝑟 × ∑ 𝑘∈𝐼𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘− 𝐿 𝜌 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 = 0, for some𝐿, 𝜌 > 0}} } , 𝑤∞𝜃 (M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ={{ { 𝑥 = (𝑥𝑘) ∈ 𝑠 (𝑤 − 𝑥) : lim𝑟 → ∞ℎ1 𝑟 × ∑ 𝑘∈𝐼𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 < ∞, 𝜌 > 0}} } ; (20) whenM(𝑥) = 𝑥, we get 𝑤0𝜃(𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ={{ { 𝑥 = (𝑥𝑘) ∈ 𝑠 (𝑤 − 𝑥) : lim𝑟 → ∞ℎ1 𝑟 × ∑ 𝑘∈𝐼𝑟 ( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 = 0, 𝜌 > 0}} } , 𝑤𝜃(𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ={{ { 𝑥 = (𝑥𝑘) ∈ 𝑠 (𝑤 − 𝑥) : lim𝑟 → ∞ℎ1 𝑟 × ∑ 𝑘∈𝐼𝑟 ( ( 𝐵𝜇∧𝑥𝑘− 𝐿 𝜌 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 = 0, for some𝐿, 𝜌 > 0}} } , 𝑤𝜃∞(𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ={{ { 𝑥 = (𝑥𝑘) ∈ 𝑠 (𝑤 − 𝑥) : lim𝑟 → ∞ℎ1 𝑟 × ∑ 𝑘∈𝐼𝑟 ( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 < ∞, 𝜌 > 0}} } ; (21) when𝑝𝑘= 1, for all 𝑘, we get
𝑤𝜃0(M, 𝐵𝜇∧, ‖⋅, . . . , ⋅‖) ={{ { 𝑥 = (𝑥𝑘) ∈ 𝑤 (𝑠 − 𝑥) : lim𝑟 → ∞ℎ1 𝑟 × ∑ 𝑘∈𝐼𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1) ) = 0, 𝜌 > 0 } } } , 𝑤𝜃(M, 𝐵𝜇∧, ‖⋅, . . . , ⋅‖) ={{ { 𝑥 = (𝑥𝑘) ∈ 𝑤 (𝑠 − 𝑥) : lim𝑟 → ∞ℎ1 𝑟 × ∑ 𝑘∈𝐼𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘− 𝐿 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) = 0, for some𝐿, 𝜌 > 0}} } , 𝑤𝜃∞(M, 𝐵∧𝜇, ‖⋅, . . . , ⋅‖) ={{ { 𝑥 = (𝑥𝑘) ∈ 𝑤 (𝑠 − 𝑥) : lim𝑟 → ∞ℎ1 𝑟 × ∑ 𝑘∈𝐼𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) < ∞, 𝜌 > 0 } } } . (22)
The following inequality will be used throughout the paper. If 0 ≤ 𝑝𝑘≤ sup 𝑝𝑘= 𝐻, 𝑘 = max(1, 2𝐻−1), then
𝑎𝑘+ 𝑏𝑘𝑝𝑘 ≤ 𝐾 {𝑎𝑘|𝑝𝑘+ 𝑏𝑘|𝑝𝑘} (23)
for all𝑘 and 𝑎𝑘, 𝑏𝑘∈ C. Also |𝑎|𝑝𝑘 ≤ max(1, |𝑎|𝐻) for all 𝑎 ∈ C.
2. Main Results
Theorem 1. Let M = (𝑀𝑘) be a Musielak-Orlicz function and
𝑝 = (𝑝𝑘) a bounded sequence of positive real numbers; the
spaces 𝑤𝜃0(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖), 𝑤𝜃(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖), and
𝑤𝜃
∞(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) are linear over the field of complex
numbersC.
Proof. Let𝑥 = (𝑥𝑘), 𝑦 = (𝑦𝑘) ∈ 𝑤0𝜃(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖), and
𝛼, 𝛽 ∈ C. Then there exist positive real numbers 𝜌1 and𝜌2 such that lim 𝑟 → ∞ 1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌1 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 = 0, lim 𝑟 → ∞ 1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑦𝑘 𝜌2 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 = 0. (24)
Define𝜌3= max(2|𝛼|𝜌1, 2|𝛽|𝜌2). Since ‖⋅, . . . , ⋅‖ is an 𝑛-norm on𝑋 and 𝑀𝑘𝑠 are nondecreasing and convex functions so by using inequality (23) we have
lim 𝑟 → ∞ 1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧(𝛼𝑥𝑘+ 𝛽𝑦𝑘) 𝜌3 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 ≤ lim𝑟 → ∞1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧𝛼𝑥𝑘 𝜌3 , 𝑧1, . . . , 𝑧𝑛−1) + ( 𝐵∧𝜇𝛽𝑦𝑘 𝜌3 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 ≤ 𝐾 lim𝑟 → ∞1 ℎ𝑟𝑘∈𝐼∑ 𝑟 1 2𝑝𝑘𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌1 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 + 𝐾 lim𝑟 → ∞ℎ1 𝑟𝑘∈𝐼∑𝑟 1 2𝑝𝑘𝑀𝑘( ( 𝐵∧𝜇𝑦𝑘 𝜌2 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 = 0. (25) Thus, we have 𝛼𝑥 + 𝛽𝑦 ∈ 𝑤𝜃0(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). Hence 𝑤𝜃0(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) is a linear space. Similarly, we can prove that 𝑤𝜃(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) and 𝑤𝜃∞(M, 𝐵∧𝜇, 𝑝, ‖⋅, . . . , ⋅‖) are linear spaces. This completes the proof of the theorem.
Theorem 2. Let M = (𝑀𝑘) be a Musielak-Orlicz function
and𝑝 = (𝑝𝑘) a bounded sequence of positive real numbers;
the space𝑤0𝜃(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) is a topological linear space
paranormed by 𝑔 (𝑥) = inf{{ { 𝜌𝑝𝑟/𝑀: (ℎ1 𝑟𝑘∈𝐼∑𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 ) 1/𝑀 ≤ 1}} } , (26)
where𝑀 = max(1, sup𝑘𝑝𝑘 < ∞).
Proof. Clearly 𝑔(𝑥) ≥ 0 for 𝑥 = (𝑥𝑘) ∈ 𝑤𝜃0(M, 𝐵𝜇∧,
𝑝, ‖⋅, . . . , ⋅‖). Since 𝑀𝑘(0) = 0, we get 𝑔(0) = 0. Again, if 𝑔(𝑥) = 0, then 𝑔 (𝑥) = inf{{ { 𝜌𝑝𝑟/𝑀: (1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 ) 1/𝑀 ≤ 1}} } = 0. (27)
This implies that, for a given𝜀 > 0, there exist some 𝜌𝜀 (0 < 𝜌𝜀< 𝜀) such that (ℎ1 𝑟𝑘∈𝐼∑𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌𝜀 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 ) 1/𝑀 ≤ 1. (28) Thus (ℎ1 𝑟𝑘∈𝐼∑𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜀 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 ) 1/𝑀 ≤ (ℎ1 𝑟𝑘∈𝐼∑𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌𝜀 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 ) 1/𝑀 ≤ 1 (29)
for each𝑟, and suppose that 𝑥𝑘 ̸= 0 for each 𝑘 ∈ N. This implies that𝐵𝜇∧𝑥𝑘 ̸= 0 for each 𝑘 ∈ N. Let 𝜀 → 0, then
(( ( 𝐵𝜇∧𝑥𝑘 𝜌𝜀 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 ) 1/𝑀 → ∞; (30)
which is a contradiction. Therefore,𝐵𝜇∧𝑥𝑘 = 0 for each 𝑘 and thus𝑥𝑘= 0 for each 𝑘 ∈ N. Let 𝜌1> 0 and 𝜌2> 0 be such that
(ℎ1 𝑟𝑘∈𝐼∑𝑟 𝑀𝑘( ( 𝐵∧𝜇𝑥𝑘 𝜌1 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 ) 1/𝑀 ≤ 1, (1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑦𝑘 𝜌2 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 ) 1/𝑀 ≤ 1 for each 𝑟. (31)
Let𝜌 = 𝜌1+𝜌2; then by using Minkowski’s inequality, we have
(1 ℎ𝑟𝑘∈𝐼∑𝑟𝑀𝑘( ( 𝐵∧𝜇(𝑥𝑘+ 𝑦𝑘) 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 ) 1/𝑀 ≤ (ℎ1 𝑟𝑘∈𝐼∑𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘+ 𝐵𝜇∧𝑦𝑘 𝜌1+ 𝜌2 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 ) 1/𝑀 ≤ (ℎ1 𝑟𝑘∈𝐼∑𝑟 𝑀𝑘 × (( 𝜌1 𝜌1+ 𝜌2)( 𝐵𝜇∧𝑥𝑘 𝜌1 , 𝑧1, . . . , 𝑧𝑛−1) + ( 𝜌2 𝜌1+ 𝜌2) ( 𝐵𝜇∧𝑦𝑘 𝜌2 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 ) 1/𝑀 ≤ (𝜌 𝜌1 1+ 𝜌2) × (1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌1 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 ) 1/𝑀 + (𝜌 𝜌2 1+ 𝜌2) × (ℎ1 𝑟𝑘∈𝐼∑𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑦𝑘 𝜌2 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 ) 1/𝑀 ≤ 1. (32)
Since𝜌𝑠 are nonnegative, we have 𝑔 (𝑥 + 𝑦) = inf{{ { 𝜌𝑝𝑟/𝑀: (1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘 × ( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 ) 1/𝑀 ≤ 1}} } ≤ inf{{ { 𝜌1𝑝𝑟/𝑀: (1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘 × ( ( 𝐵𝜇∧𝑥𝑘 𝜌1 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 ) 1/𝑀 ≤ 1}} } + inf{{ { 𝜌2𝑝𝑟/𝑀: (1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘 × ( ( 𝐵𝜇∧𝑦𝑘 𝜌2 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 ) 1/𝑀 ≤ 1}} } . (33) Therefore,𝑔(𝑥 + 𝑦) ≤ 𝑔(𝑥) + 𝑔(𝑦).
Finally, we prove that the scalar multiplication is contin-uous. Let] be any complex number. By definition,
𝑔 (]𝑥) = inf{{ { 𝜌𝑝𝑟/𝑀: (1 ℎ𝑟𝑘∈𝐼∑𝑟 𝑀𝑘 × ( ( ]𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 ) 1/𝑀 ≤ 1}} } . (34)
Then 𝑔 (]𝑥) = inf{{ { (|]| 𝑡)𝑝𝑟/𝑀: (1 ℎ𝑟𝑘∈𝐼∑𝑟 𝑀𝑘 × ( ( 𝐵𝜇∧𝑥𝑘 𝑡 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 ) 1/𝑀 ≤ 1}} } , (35) where𝑡 = 𝜌/|]|. Since |]|𝑝𝑟 ≤ max(1, |]| sup 𝑝
𝑘), we have
𝑔 (]𝑥) = max (1, |]| sup 𝑝𝑘) inf
×{{ { (𝑡)𝑝𝑟/𝑀: (ℎ1 𝑟𝑘∈𝐼∑𝑟 𝑀𝑘 × ( ( 𝐵∧𝜇𝑥𝑘 𝑡 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 ) 1/𝑀 ≤ 1}} } . (36) So, the fact that scalar multiplication is continuous follows from the above inequality. This completes the proof of theorem.
Theorem 3. Let M = (𝑀𝑘) be a Musielak-Orlicz
func-tion. If sup𝑘(𝑀𝑘(𝑥))𝑝𝑘 < ∞ for all fixed 𝑥 > 0, then
𝑤𝜃(M, 𝐵𝜇
∧, 𝑝, ‖⋅, . . . , ⋅‖) ⊂ 𝑤∞𝜃 (M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖).
Proof. Let𝑥 = (𝑥𝑘) ∈ 𝑤𝜃(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). Then there
exists some positive number𝜌1such that lim 𝑟 → ∞ 1 ℎ𝑟𝑘∈𝐼∑𝑟𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘− 𝐿 𝜌1 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 = 0. (37) Define𝜌 = 2𝜌1. Since𝑀𝑘is nondecreasing and convex and by using inequality (23), we have
lim 𝑟 → ∞ 1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 = lim𝑟 → ∞1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘− 𝐿 + 𝐿 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 ≤ 𝐾{{ { lim 𝑟 → ∞ 1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘21𝑝 𝑘( ( 𝐵𝜇∧𝑥𝑘− 𝐿 𝜌1 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 + lim𝑟 → ∞1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘 1 2𝑝𝑘(( 𝐿 𝜌1, 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘} } } < 𝐾{{ { lim 𝑟 → ∞ 1 ℎ𝑟𝑘∈𝐼∑𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘− 𝐿 𝜌1 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 + lim𝑟 → ∞ℎ1 𝑟𝑘∈𝐼∑𝑟 𝑀𝑘((𝜌𝐿 1, 𝑧1, . . . , 𝑧𝑛−1) )𝑝𝑘}} } . (38) Hence𝑥 = (𝑥𝑘) ∈ 𝑤𝜃∞(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). This completes the proof of the theorem.
Theorem 4. Let M = (𝑀𝑘) be a Musielak-Orlicz function and
0 < ℎ = inf 𝑝𝑘. Then 𝑤∞𝜃 (M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ⊂ 𝑤𝜃0(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) (39) if and only if lim 𝑟 → ∞ 1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘(𝑡)𝑝𝑘 = ∞, 𝑓𝑜𝑟 𝑠𝑜𝑚𝑒 𝑡 > 0. (40) Proof. Let𝑤𝜃∞(M, 𝐵∧𝜇, 𝑝, ‖⋅, . . . , ⋅‖) ⊂ 𝑤𝜃0(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖).
Suppose (40) does not hold. Therefore there are a subinterval 𝐼𝑟(𝑚) of the set of intervals𝐼𝑟 and a number𝑛0, where𝑛0 = ‖(𝐵𝜇∧𝑥𝑘/𝜌, 𝑧1, . . . , 𝑧𝑛−1)‖ for all 𝑘, such that
1 ℎ𝑟(𝑚)𝑘∈𝐼∑
𝑟(𝑚)
𝑀(𝑛0)𝑝𝑘≤ 𝑁 < ∞, 𝑚 = 1, 2, 3, . . . .
(41) Let us define𝑥 = (𝑥𝑘) as follows:
𝐵𝜇∧𝑥𝑘 = {𝜌𝑛0, 𝑘 ∈ 𝐼𝑟(𝑚)
0, 𝑘 ∉ 𝐼𝑟(𝑚). (42) Thus by (41),𝑥 = (𝑥𝑘) ∈ 𝑤𝜃∞(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). But 𝑥 = (𝑥𝑘) ∉ 𝑤𝜃
0(M, 𝐵∧𝜇, 𝑝, ‖⋅, . . . , ⋅‖). Hence (40) must hold.
Conversely, suppose that (40) holds and let𝑥 = (𝑥𝑘) ∈ 𝑤𝜃 ∞(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). Then, 1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 ≤ 𝑁 < ∞. (43) Suppose that𝑥 = (𝑥𝑘) ∉ 𝑤𝜃0(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). Then for some number𝜀, 1 > 𝜀 > 0, there is a number 𝑁0such that, for a subinterval𝐼𝑟(𝑚)of the set of intervals𝐼𝑟,
(
𝐵𝜇∧𝑥𝑘
We have 𝑀𝑘(‖(𝐵𝜇∧𝑥𝑘/𝜌, 𝑧1, . . . , 𝑧𝑛−1)‖) ≥ 𝑀(𝜀)𝑝𝑘, which
contradicts (40) by using (43). Hence we get
𝑤∞𝜃 (M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ⊂ 𝑤0𝜃(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) . (45)
This completes the proof.
Theorem 5. Let 0 < ℎ = inf 𝑝𝑘 ≤ sup 𝑝𝑘 = 𝐻 < ∞. For
any Musielak-Orlicz functionM = (𝑀𝑘) which satisfies Δ2
-condition, one has
(i)𝑤𝜃0(𝐵∧𝜇, 𝑝, ‖⋅, . . . , ⋅‖) ⊂ 𝑤0𝜃(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) (ii)𝑤𝜃(𝐵∧𝜇, 𝑝, ‖⋅, . . . , ⋅‖) ⊂ 𝑤𝜃(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) (iii)𝑤𝜃∞(𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ⊂ 𝑤𝜃∞(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖).
Proof. (i) Let𝑥 = (𝑥𝑘) ∈ 𝑤0𝜃(𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). Then, we have
1 ℎ𝑟𝑘∈𝐼∑ 𝑟 ( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 → 0 as 𝑟 → ∞. (46) Let𝜀 > 0, and choose 𝛿 with 0 < 𝛿 < 1 such that 𝑀𝑘< 𝜀 for 0 ≤ 𝑡 ≤ 𝛿. We can write 1 ℎ𝑟𝑘∈𝐼∑ 𝑟 ( ( 𝐵∧𝜇𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 = ℎ1 𝑟 𝑘∈𝐼∑𝑟 ‖(𝐵𝜇 ∧𝑥𝑘/𝜌,𝑧1,...,𝑧𝑛−1)‖≤𝛿 ( ( 𝐵∧𝜇𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 +ℎ1 𝑟 𝑘∈𝐼∑𝑟 ‖(𝐵𝜇∧𝑥𝑘/𝜌,𝑧1,...,𝑧𝑛−1)‖>𝛿 ( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 . (47) For the first summation above, we can write
1 ℎ𝑟 𝑘∈𝐼∑ 𝑟 ‖(𝐵𝜇∧𝑥𝑘/𝜌,𝑧1,...,𝑧𝑛−1)‖≤𝛿 ( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 < max (𝜀, 𝜀ℎ) . (48)
By using continuity of𝑀𝑘, for the second summation we can write ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1) < 1 + ((𝐵𝜇∧𝑥𝑘/𝜌, 𝑧1, . . . , 𝑧𝑛−1)) 𝛿 . (49)
Since each𝑀𝑘is nondecreasing and convex and satisfiesΔ2 -condition, it follows that
1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 ≤ max (𝜀, 𝜀ℎ) + max {1, [2𝑀𝑘((𝐵𝜇∧𝑥𝑘/𝜌, 𝑧1, . . . , 𝑧𝑛−1)) 𝛿 ] ℎ } ×ℎ1 𝑟𝑘∈𝐼∑𝑟 ( ( 𝐵∧𝜇𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 . (50)
Taking limit as𝜀 → 0 and 𝑟 → ∞, it follows that 𝑥 = (𝑥𝑘) ∈ 𝑤𝜃
0(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). Hence 𝑤𝜃0(𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ⊂
𝑤𝜃
0(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). Similarly, we can prove (ii) and (iii).
This completes the proof of the theorem.
Theorem 6. Let M = (𝑀𝑘) be a Musielak-Orlicz function.
Then the following statements are equivalent:
(i)𝑤𝜃∞(𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ⊂ 𝑤𝜃∞(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖); (ii)𝑤𝜃0(𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ⊂ 𝑤∞𝜃 (M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖); (iii) sup𝑟(1/ℎ𝑟) ∑𝑘∈𝐼𝑟𝑀𝑘(𝑡)𝑝𝑘 < ∞ for all 𝑡 > 0, where 𝑡 =
‖𝐵𝜇∧𝑥𝑘/𝜌, 𝑧1, . . . , 𝑧𝑛−1‖.
Proof. (i)⇒ (ii) Suppose (i) holds. In order to prove (ii) we
have to show that
𝑤𝜃(𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ⊂ 𝑤∞𝜃 (M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) . (51)
Let𝑥 = (𝑥𝑘) ∈ 𝑤0𝜃(𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). Then for a given 𝜀 > 0 there exists𝑠 > 𝑠𝜀such that
1 ℎ𝑟𝑘∈𝐼∑ 𝑟 ( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 < 𝜀. (52) Hence there exists𝐾 > 0 such that
sup 𝑟 1 ℎ𝑟𝑘∈𝐼∑ 𝑟 ( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 < 𝐾. (53) This shows that𝑥 = (𝑥𝑘) ∈ 𝑤𝜃∞(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖).
(ii)⇒ (iii) Suppose (ii) holds and (iii) fails to hold. Then for some𝑡 > 0, sup 𝑟 1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘(𝜀)𝑝𝑘 = ∞, (54) and, therefore, we can find a subinterval𝐼𝑟(𝑚) of the set of intervals𝐼𝑟such that
1 ℎ𝑟(𝑚)𝑘∈𝐼∑ 𝑟(𝑚) 𝑀𝑘(1 𝑚) 𝑝𝑘 ≥ 𝑚, 𝑚 = 1, 2, 3, . . . . (55)
Let us define𝑥 = (𝑥𝑘) as follows: 𝐵𝜇∧𝑥𝑘={{ { 𝜌 𝑚, 𝑘 ∈ 𝐼𝑟(𝑚) 0, 𝑘 ∉ 𝐼𝑟(𝑚). (56) Thus 𝑥 = (𝑥𝑘) ∈ 𝑤𝜃0(𝐵∧𝜇, 𝑝, ‖⋅, . . . , ⋅‖). But by (55), 𝑥 = (𝑥𝑘) ∉ 𝑤𝜃∞(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) which contradicts (ii). Hence
(iii) must hold.
(iii)⇒ (i) Let (iii) hold. Suppose that 𝑥 = (𝑥𝑘) ∉ 𝑤𝜃∞(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). Then for 𝑥 = (𝑥𝑘) ∈ 𝑤∞𝜃 (𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). sup 𝑟 1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 = ∞. (57) Let𝑡 = ‖𝐵𝜇∧𝑥𝑘/𝜌, 𝑧1, . . . , 𝑧𝑛−1‖ for each 𝑘, and then by (57) sup𝑟(1/ℎ𝑟) ∑𝑘∈𝐼𝑟𝑀𝑘(𝑡)𝑝𝑘 = ∞, which contradicts (iii). Hence
(i) must hold. This completes the proof of the theorem.
Theorem 7. Let M = (𝑀𝑘) be a Musielak-Orlicz function.
Then the following statements are equivalent:
(i)𝑤𝜃0(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ⊂ 𝑤0𝜃(𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖); (ii)𝑤𝜃0(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ⊂ 𝑤∞𝜃 (𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖); (iii) inf𝑟(1/ℎ𝑟) ∑𝑘∈𝐼
𝑟𝑀𝑘(𝑡)
𝑝𝑘 > 0 for all 𝑡 > 0.
Proof. (i)⇒ (ii) is obvious
(ii)⇒ (iii) Let (ii) hold and let (iii) fail to hold. Then inf𝑟 1
ℎ𝑟𝑘∈𝐼∑
𝑟
𝑀𝑘(𝑡)𝑝𝑘= 0 for some 𝑡 > 0, (58) and we can find a subinterval𝐼𝑟(𝑚) of the set of intervals𝐼𝑟 such that 1 ℎ𝑟(𝑚)𝑘∈𝐼∑ 𝑟(𝑚) 𝑀𝑘(𝑚)𝑝𝑘 < 1 𝑚, 𝑚 = 1, 2, 3, . . . . (59) Let us define𝑥 = (𝑥𝑘) as follows:
𝐵𝜇∧𝑥𝑘= {𝜌𝑚, 𝑘 ∈ 𝐼𝑟(𝑚)
0, 𝑘 ∉ 𝐼𝑟(𝑚). (60) Thus by (iii),𝑥 = (𝑥𝑘) ∈ 𝑤0𝜃(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). But 𝑥 = (𝑥𝑘) ∉ 𝑤𝜃
∞(𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) which contradict (ii). Hence (iii)
must hold.
(iii) ⇒ (i) Let (iii) hold. Suppose that 𝑥 = (𝑥𝑘) ∈ 𝑤𝜃 0(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). Therefore, 1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 → 0 as 𝑟 → ∞. (61) Again suppose 𝑥 = (𝑥𝑘) ∉ 𝑤0𝜃(𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) for some number𝜀 > 0 and a subinterval 𝐼𝑟(𝑚) of the set of intervals 𝐼𝑟, we have ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)≥ 𝜀 ∀𝑘. (62)
Then, from properties of the Orlicz function, we can write 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘 𝜌 , 𝑧1, . . . , 𝑧𝑛−1) ) 𝑝𝑘 ≥ 𝑀𝑘(𝜀)𝑝𝑘. (63)
Consequently, by (61), we have lim𝑟 → ∞(1/ℎ𝑟)∑𝑘∈𝐼𝑟𝑀𝑘 (𝜀)𝑝𝑘 = 0, which contradicts (iii). Hence (i) must hold. This
completes the proof of the theorem.
Theorem 8. (i) If 0 < inf 𝑝𝑘 ≤ 𝑝𝑘 ≤ 1 for all 𝑘, then
𝑤𝜃(M, 𝐵𝜇
∧, ‖⋅, . . . , ⋅‖) ⊆ 𝑤𝜃(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖).
(ii) If 1 ≤ 𝑝𝑘 ≤ sup 𝑝𝑘 = 𝐻 < ∞, then
𝑤𝜃(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖) ⊆ 𝑤𝜃(M, 𝐵𝜇∧, ‖⋅, . . . , ⋅‖).
Proof. (i) Let𝑥 ∈ 𝑤𝜃(M, 𝐵∧𝜇, ‖⋅, . . . , ⋅‖). Since 0 < inf 𝑝𝑘 ≤ 1,
we get 1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘− 𝐿 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) ≤ ℎ1 𝑟𝑘∈𝐼∑𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘− 𝐿 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 , (64) and hence𝑥 ∈ 𝑤𝜃(M, 𝐵∧𝜇, 𝑝, ‖⋅, . . . , ⋅‖).
(ii) 1 ≤ 𝑝𝑘 ≤ sup 𝑝𝑘 = 𝐻 < ∞ and 𝑥 = (𝑥𝑘) ∈ 𝑤𝜃(M, 𝐵𝜇∧, 𝑝, ‖⋅, . . . , ⋅‖). Then for each 0 < 𝜀 < 1 there exists a
positive integer𝑠0such that 1 ℎ𝑟𝑘∈𝐼∑ 𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘− 𝐿 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 ≤ 𝜀 < 1 ∀𝑟 > 𝑠0. (65)
This implies that 1 ℎ𝑟𝑘∈𝐼∑𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘− 𝐿 𝜌 , 𝑧1, . . . , 𝑧𝑛−1)) 𝑝𝑘 ≤ℎ1 𝑟𝑘∈𝐼∑𝑟 𝑀𝑘( ( 𝐵𝜇∧𝑥𝑘− 𝐿 𝜌 , 𝑧1, . . . , 𝑧𝑛−1) ) . (66)
Therefore𝑥 = (𝑥𝑘) ∈ 𝑤𝜃(M, 𝐵𝜇∧, ‖⋅, . . . , ⋅‖). This completes the proof of the theorem.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
The authors gratefully acknowledge that this research was partially supported by the University Putra Malaysia under the ERGS Grant Scheme having Project no. ERGS 1-2013/5527179. The authors are grateful also to the anonymous referees for a careful checking of the details and for helpful comments that improved the paper.
References
[1] H. Kızmaz, “On certain sequence spaces,” Canadian Mathemat-ical Bulletin, vol. 24, no. 2, pp. 169–176, 1981.
[2] M. Et and R. C¸ olak, “On some generalized difference sequence spaces,” Soochow Journal of Mathematics, vol. 21, no. 4, pp. 377– 386, 1995.
[3] M. Et and M. Basarir, “On some new generalized difference sequence spaces,” Periodica Mathematica Hungarica, vol. 35, no. 3, pp. 169–175, 1997.
[4] H. Dutta, “On some differece sequences spaces,” Pacific Journal of Science and Technology, vol. 10, pp. 243–247, 2009.
[5] H. Dutta, “Some statistically convergent difference sequence spaces defined over real 2-normed linear spaces,” Applied Sciences, vol. 12, pp. 37–47, 2010.
[6] M. Is¸ik, “On statistical convergence of generalized difference sequences,” Soochow Journal of Mathematics, vol. 30, no. 2, pp. 197–205, 2004.
[7] M. Mursaleen, “Generalized spaces of difference sequences,” Journal of Mathematical Analysis and Applications, vol. 203, no. 3, pp. 738–745, 1996.
[8] M. Mursaleen, V. Karakaya, H. Polat, and N. Sims¸ek, “Measure of noncompactness of matrix operators on some difference sequence spaces of weighted means,” Computers & Mathematics with Applications, vol. 62, no. 2, pp. 814–820, 2011.
[9] M. Mursaleen and A. K. Noman, “On some new difference sequence spaces of non-absolute type,” Mathematical and Com-puter Modelling, vol. 52, no. 3-4, pp. 603–617, 2010.
[10] M. Mursaleen and A. K. Noman, “Compactness of matrix operators on some new difference sequence spaces,” Linear Algebra and Its Applications, vol. 436, no. 1, pp. 41–52, 2012. [11] S. A. Mohiuddine and A. Alotaibi, “Some spaces of double
sequences obtained through invariant mean and related con-cepts,” Abstract and Applied Analysis, vol. 2013, Article ID 507950, 11 pages, 2013.
[12] S. A. Mohiuddine, K. Raj, and A. Alotaibi, “Some paranormed double difference sequence spaces for Orlicz functions and bounded-regular matrices,” Abstract and Applied Analysis, vol. 2014, Article ID 419064, 10 pages, 2014.
[13] K. Raj, S. K. Sharma, and A. K. Sharma, “Some difference sequence spaces in n-normed spaces defined by Musielak-Orlicz function,” Armenian Journal of Mathematics, vol. 3, pp. 127–141, 2010.
[14] T. Bilgin, “Some new difference sequences spaces defined by an Orlicz function,” Filomat, no. 17, pp. 1–8, 2003.
[15] F. Bas¸ar and B. Altay, “On the space of sequences of 𝑝-bounded variation and related matrix mappings,” Ukrainian Mathematical Journal, vol. 55, no. 1, pp. 108–118, 2003. [16] M. Bas¸arir and M. Kayikc¸i, “On the generalized𝐵𝑚-Riesz
dif-ference sequence space and𝛽-property,” Journal of Inequalities and Applications, vol. 2009, Article ID 385029, 18 pages, 2009. [17] J. Lindenstrauss and L. Tzafriri, “On Orlicz sequence spaces,”
Israel Journal of Mathematics, vol. 10, pp. 379–390, 1971. [18] L. Maligranda, Orlicz Spaces and Interpolation, Seminars in
Mathematics, Polish Academy of Science, Warsaw, Poland, 1989. [19] J. Musielak, Orlicz Spaces and Modular Spaces, vol. 1034 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 1983. [20] A. R. Freedman, J. J. Sember, and M. Raphael, “Some Cesaro-type summability spaces,” Proceedings of the London Mathemat-ical Society, vol. 37, no. 3, pp. 508–520, 1978.
[21] S. G¨ahler, “2-metrische R¨aume und ihre topologische Struktur,” Mathematische Nachrichten, vol. 26, pp. 115–148, 1963. [22] A. Misiak, “𝑛-inner product spaces,” Mathematische
Nachrich-ten, vol. 140, pp. 299–319, 1989.
[23] H. Gunawan, “On n-inner product, n-norms and the Cauchy Schwartz inequality,” Scientiae Mathematicae Japonicae, vol. 5, pp. 47–54, 2001.
[24] H. Gunawan, “The space of p-summable sequences and its nat-ural n-norm,” Bulletin of the Australian Mathematical Society, vol. 64, no. 1, pp. 137–147, 2001.
[25] H. Gunawan and M. Mashadi, “On𝑛-normed spaces,” Interna-tional Journal of Mathematics and Mathematical Sciences, vol. 27, no. 10, pp. 631–639, 2001.
[26] K. Raj, A. K. Sharma, and S. K. Sharma, “A sequence space defined by Musielak-Orlicz function,” International Journal of Pure and Applied Mathematics, vol. 67, no. 4, pp. 475–484, 2011. [27] K. Raj and S. K. Sharma, “Some sequence spaces in 2-normed spaces defined by Musielak-Orlicz function,” Acta Universitatis Sapientiae. Mathematica, vol. 3, no. 1, pp. 97–109, 2011. [28] M. Mursaleen, S. K. Sharma, and A. Kılıc¸man, “Sequence spaces
defined by Musielak-Orlicz function over𝑛-normed spaces,” Abstract and Applied Analysis, vol. 2013, Article ID 364743, 10 pages, 2013.
[29] K. Raj and S. K. Sharma, “Some multiplier sequence spaces defined by a Musielak-Orlicz function in𝑛-normed spaces,” New Zealand Journal of Mathematics, vol. 42, pp. 45–56, 2012. [30] M. Et, Y. Altin, B. Choudhary, and B. C. Tripathy, “On some
classes of sequences defined by sequences of Orlicz functions,” Mathematical Inequalities & Applications, vol. 9, no. 2, pp. 335– 342, 2006.
[31] M. Gungor and M. Et, “Δ𝑟-strongly almost summable sequences
defined by Orlicz functions,” Indian Journal of Pure and Applied Mathematics, vol. 34, no. 8, pp. 1141–1151, 2003.
[32] M. Mursaleen, R. C¸ olak, and M. Et, “Some geometric inequali-ties in a new Banach sequence space,” Journal of Inequaliinequali-ties and Applications, vol. 2007, Article ID 86757, 6 pages, 2007. [33] B. C. Tripathy and H. Dutta, “On some new paranormed
differ-ence sequdiffer-ence spaces defined by Orlicz functions,” Kyungpook Mathematical Journal, vol. 50, no. 1, pp. 59–69, 2010.
Submit your manuscripts at
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematics
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering
Hindawi Publishing Corporation http://www.hindawi.com
Differential Equations
International Journal of
Volume 2014 Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematical PhysicsAdvances in
Complex Analysis
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Optimization
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Journal of Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Function Spaces
Abstract and Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences
Hindawi Publishing Corporation http://www.hindawi.com Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Discrete Dynamics in Nature and Society
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Discrete Mathematics
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014