Some Vector Fk Sequence Spaces Generated by Modulus Function
N. Irsyad
1
, E. Rosmani
1
and Herawati
1
1
Department of Mathematics, Faculty of Mathematics and Natural Sciences, Medan, Indonesia
Keywords: Vector Value Sequence Space, Modulus Function, Paranorm.
Abstract: In this paper, some vector value sequence spaces G
f
(X) and L
f
(X) using modulus function are presented.
Furthermore, we examined some topological properties of these sequence spaces equipped with a paranorm.
1 INTRODUCTION
Let X be a vector space and R be the set of real
numbers. A function f : R
+
[ f0g ! R
+
[ f0g is called
modulus function if following condition of f
satisfying:
1. f is vanishing at zero
2. f satisfies triangle inequality
3. f is an increasing function i.e. f ( ) "
The function f must be continuous for every ele-
ment x in (0;¥). The space of all real number se-
quences (x
n
) such that the infinite series of absolute
modulus function is finited denoted by `( f ) (Ruckle,
1973)
¥
1. f (jx
n
j) < ¥
n=1
The space `( f ) becomes a FK-space under the F-
norm.
¥
p(x) = å f (jx
n
j) < ¥
n=1
(Adnan, 2006) examined the FK-space proper-
ties of an analytic and entire real sequence space
using modulus function. (Adnan, 2006) showed the
characterization to matrix transformation of Ruckle’s
space `( f ) into analytic FK-space. For the theory of
FK-space we refer to Banas and Mursaleen[2].
Through the article W(X), G
f
(X), L
f
(X) denoted
by the space of vector value sequences, entire vector
value sequence space and analytic vector value
sequence space. The vector value sequence space
studied by some authors (Herawati et al., 2016;
Gultom et al., 2018; Kolk., 2011; Leonard., 1976;
Das and Choudhury., 1992; Et., 2006; Et et al., 2006;
Tripathy et al., 2004; Tripathy et al., 2003), and many
others. Further, the concept of sequence space using
modulus function was investigated by (Bilgin., 1994;
Pehlivan and Fisher., 1994; Waszak., 2002;
Bhardwaj., 2003, Altin., 2009), and many others.
Recently, (Herawati et al., 2016) studied the
geometric of the vector value sequence spaces
defined by order-j function under Lattice norm.
Further, (Gultom et al 2018) studied some topologies
properties of a finite arithmatic mean vector value
sequence space denoted by W
f
(X) for X is a linear
space and f is a j-function.
A functional is called paranormed if satisfies the
properties p : X ! R that satisfies the properties p(q)
= 0, with q is the zero vector in X, non-negative, p
satisfies triangle inequalities, even and every real
sequence (l
n
) with jl
n
lj ! 0. The space X with
paranorm p is called paranormed space, written as
X = (X; p). (Nakano, 1951; Simons, 1965)
In this work, we define the space of vector value
sequences G
f
(X) and L
f
(X) called entire and analytic
vector valued sequence spaces generated by modulus
function and study the topological properties of the
sets equipped with paranorm.
Irsyad, N., Rosmani, E. and Herawati, .
Some Vector FK Sequence Spaces Generated by Modulus Function.
DOI: 10.5220/0010079509750978
In Proceedings of the International Conference of Science, Technology, Engineering, Environmental and Ramification Researches (ICOSTEERR 2018) - Research in Industry 4.0, pages
975-978
ISBN: 978-989-758-449-7
Copyright
c
2020 by SCITEPRESS Science and Technology Publications, Lda. All rights reserved
975
2 MAIN RESULTS
In this main result section, firstly, we introduce para-norm
on this space and examine some topological properties
such as complete properties. Let X be a Banach space and
f be a modulus function. Let y(n) = f (kx(n)k
X
) 2 R for all
natural numbers n, then we get a sequence y = (y(n)). We
define the sets
G
f
(X) = x = (x(n))
n2N
: x(n) 2 X and (y(n)) n ! 0;
n ! ¥
L
f
(X) = x = (x(n))n 2 N : x(n) 2 X and
1
sup f(y(n)) n g < ¥
n2N
Theorem 2.1. The sets G
f
(X) and L
f
(X) are vector
spaces.
Proof. Let x;z be any elements in G
f
(X), then
1 1
lim (y(n)) n = 0 and lim (w(n)) n = 0
n!¥ n!¥
for n ! ¥, with y(n) = f (x(n) and w(n) = f (z(n))
for each natural number n. We will apply the
following inequality : if a
n
;b
n
2 R and 0 q
n
sup q
n
=
H for each natural number n, then
ja
n
+ b
n
j
qn
M(ja
n
j
qn
) + jb
n
j
qn
where M = maxf1;2
H
1
g. Therefore,
1
1
(
y
(n) + w(n)) n
(y(n)) n + (w(n))
n
Since (q
n
)
= (
), then H =
sup
= 1.
Thus
1 1
(
y
(n) + w(n)) n
(y(n)) n + (w(n))
n
1
for n ! ¥, then
Since (y(n)) n ! 0 and (w(n))
n
1
(y(n) + w(n)) n ! 0 for n ! ¥. Therefore, we ob-
tain x + y 2 G
f
(X). Further, for element x 2 G
f
(X)
and a 2 R, then
1
(y(n)) n ! 0;n ! ¥
Because of an increasing function f and the
positivity of jaj, then from the Archimedean
properties, there exists natural number n
0
with
f (jajkx(n)k) f (2
n0
kx(n)k)
Since f satisfies 4
2
-condition, we get
1 0 1
( f (2
n
0
kx(n)))
n
=
K
(
f
(kx(n)k))
n
!
0
for each natural number n. It shows that ax 2 G
f
(X). Because x + z 2 G
f
(X) and ax 2 G
f
(X) for each
x;y 2G
f
(X) and each a 2 R, we get G
f
(X) is a vector
or lin-ear space and the proof of the theorem is
finished. In the same way, it can be shown that L
f
(X) is a vector space.
Theorem 2.2. A functional p : G
f
(X) ! R defined by
1
p(x) = sup
n
1
(y(n))
n
is a paranorm.
Proof. Let x be an element in G
f
(X). It is clear that
the functional p is non-negative, p(q) = 0, with q is the
zero vector in X and even, for each x 2 G
f
(X). Now, we
will show that p satisfies the triangle in-equality. To do
that, take any x;z 2 G
f
(X), then
lim (y(n))
n = 0 and lim (w(n)) n = 0
n!¥ n!¥
for n ! ¥, with y(n) = f (x(n)) and w(n) = f (z(n))
for each n 2 N. we obtain
u
p
(y(
n
)
+
w
(
n
))
n
su
(y(
n
))
n
+
(
w
(
n
))
n
1 1 1
Therefore, there’s vector sequences of x;y 2 G
f
(X), we get p satisfies the triangle inequality. Next,
we will show that p satisfies the continuity of scalar
mul-tiplication. To do that, take any real sequence
(l
n
) and (x(n)) 2 G
f
(X) with jl
n
lj ! 0 for n 2 ¥. We
have
1 1
( f (kx(n))k
X
)) n =( f (kl
k
x(n) lx(n)k)) n
=( f (k(l
n
l)x(n)k) +
1
kl(x(n) x)k)) n
(( f jl
n
ljkx(n)k +
1
jljk(x(n) x)k) n
1
ICOSTEERR 2018 - International Conference of Science, Technology, Engineering, Environmental and Ramification Researches
976
p(l
n
x(n) lx(n)) = sup f( f (kl
n
x(n) lx(n)k)) n g
jl
n
ljp(x(n) + jljp(x(n) x) ! 0
Hence, p(l
n
x(n) lx(n)) ! 0. The proof of the the-
orem is finished.
Theorem 2.3. The vector spaces of G
f
(X) and L
f
(X) are complete paranormed sequence space under the
paranorm defined in Theorem 2.2.
Proof. Take any Cauchy sequence (x
i
) in G
f
(X)
with x
i
= (x
i
(n)) = (x
i
(1);x
i
(2);:::;). Therefore, for
any positive real number e, there exists i
0
2 N, for all
j i i
0
, we get
p(
x
j
x
i
)
=
su
p
(
f
(
kx
j
(
n
)
x
i
(
n
)
k
))
n < e
1
1
< e, we have
Since sup ( f kx
j
(n) x
i
(n)k)) n
( f (kx
j
(n) x
i
(n)k))
1
< e for e > 0. Since f is a mod-
n
ulus function, then kx
j
(n) x
i
(n)k = 0 for each nat-
ural number n. In other words, kx
j
(n) x
i
(n)k < e.
It shows that for each natural number n of the se-
quence (x
j
(n)) is a Cauchy. Since X is a complete
normed space, then (x
j
(n)) converges to x(n) 2 X.
Hence, lim x
j
(n) = x(n) for all n. Therefore, there’s
j!¥
sequence x = (x(n)) = (x(1);x(2);:::;) such that
k
su
p
k
i!¥
k
su
p
(
f
( x
i
1
(
f (
li
m x
i
)
)
n
)
n
sup
i!
¥
k
k
lim(
f
( x
x
i
)
n
i!
¥
k
k
= lim sup
(
f
( x
x
i
)
n
for every i i
0
. By using the definition of para-
norm, we get
p(x x
i
) =
sup
(
f
(kx
x
i
k
))
n
e
1
It shows that x
i
! x for i ! ¥. Then it will be shown
that x 2 G
f
(X). Using the continuous property of f ,
we get
(
f
( x
)
n
= (
f (
li
m x
i
)
n
k
¥
k
= lim( f ( x
i
)
n
k
k
for i ! ¥. Hence, x 2 G
f
(X). The proof of this
theorem is finished.
3 CONCLUSIONS
According to the main results, it can be concluded
G
f
(X) and L
f
(X) are complete paranormed sequence
space under the paranorm.
ACKNOWLEDGEMENTS
Authors would like to say thank you to Talenta USU
2018 for the financial support to join the conference
and also to the reviewers for the revision of this
paper.
REFERENCES
Adnan, A. (2006). Some FK International Journal of
Pure and Applied Mathematics. 30 43-48
Banas J and Mursaleen 2014 Springer
Herawati, E. (2016). Linear and multilinear algebra
65 545-54
Gultom, S. N. R. and Herawati, E. (2018). IOP Conf. Series:
Materials Science and Engineering. 300
Kolk, E. (2011). Filomat. 970 65-72
Ruckle, W H, (1973). Canad. J. Math. 25 973-78
Banas, J. and Mursaleen. (2014) Springer Nakano.
(1951). Proc. Japan Math. Soc. 27 508-12 Simons, S.
(1965). Proc. London Math. Soc.422-36
Leonard, I. E. (1976). Journal of Mathematical Anal-ysis
and Applications. 54 245-65
Das, N. R. and Choudhury, A. (1992). Bulletin of the
Calcutta Mathematical Society. 84 47-54
Et, M., Gokhan, A. and Altinok, H. (2006).
Et, M. (2006). Taiwanese Journal of Mathematics. 10 865-
879 Ukrains’kil Mathematichnii Zhur-nal. 58 125-
131
Tripathy, B. C. and Mahanta, S. (2004). Acta Mathe-
maticae Applicatae Sinica. 20 487-94
Tripathy, B. C. and Sen, M. (2003). Soochow Journal of
Mathematics. 29 313-26
Some Vector FK Sequence Spaces Generated by Modulus Function
977
Bilgin, T. (1994). Bulletin of the Calcutta Mathemat-ical
Society. 86 295-304 Bulletin of the Calcutta
Mathematical Society. 95 441-20
Pehlivan, S. and Fisher, B. (1994). Indian Journal of pure
and and applied mathematics. 25 1067-1071
Waszak, A. (2002). Fasciculi Mathematici. 33 125-137
Bhardwaj, V. K. (2003). Bulletin of the Calcutta
Mathematica Scientia B. English Edition. 95 441-20
Altin, Y. (2009). Acta Mathematica Scientia B. En-glish
Edition. 29 427-434
ICOSTEERR 2018 - International Conference of Science, Technology, Engineering, Environmental and Ramification Researches
978