THE USA JOURNALS
THE AMERICAN JOURNAL OF SOCIAL SCIENCE AND EDUCATION INNOVATIONS (ISSN- 2689-100X)
VOLUME 06 ISSUE10
47
https://www.theamericanjournals.com/index.php/tajssei
PUBLISHED DATE: - 08-10-2024
DOI: -
https://doi.org/10.37547/tajssei/Volume06Issue10-05
PAGE NO.: - 47-55
SOME PROPERTIES OF A TRIPLE SEQUENCE
SPACES OF FUZZY REAL NUMBERS BY
DOUBLE ORLICZ FUNCTIONS
Alaa Fawzi Dabbas
Ministry of Education, Najaf Education Directorate, Iraq
INTRODUCTION
Zadeh established the idea of fuzzy set theory [1]. Based on this, other authors have introduced and
examined sequences of fuzzy numbers, studying significant properties. In Bromwich, the work on the
double sequence of real numbers was discovered [2]. In addition, a number of people, including Moricz
[3], Basarir and Sonalncan [4], and others, exacted the double sequence.
πΈ
πΉ
3
, denoting the family of all
β
or
π
triple sequences, is used throughout this article.
A triple sequence in [5][6] is a function from (
β
)to(
β
or
π
). Using a function
Ξ₯
where
Ξ₯ =
(Ξ₯
1
(π). Ξ₯
2
(π)).
novel outcomes of triple sequence spaces would be examined by double Orlicz function.
Assume that
(π. π) = (π
π₯.π.π
. . π
π₯.π.π
).
symbolizes a triple infinite array of elements with the name
(π
π₯.π.π
) . (π
π₯.π.π
)
.
π = (π
π₯.π.π
)
be an infinite array of elements
π
π₯.π.π
, and
π = (π
π₯.π.π
)
be an endless
array of elements
π
π₯.π.π
.
respectively.
Prof. Wlayshaw Roman Orlicz, a Polish scholar, established the concept of the Orlicz function and gave
it his name; consequently, he created the Orlicz space [7].
2)Definitions and preliminaries
Definition 2.1
Assume that
the sequence π = (π
π₯.π.π
). π = ( π
π₯.π.π
)
are Cauchy, then
(π. π) = (π
π₯.π.π
. π
π₯.π.π
)
is
said to be a triple Cauchy sequence if for every
π > 0
there exists
π β β
such that
πΉΜ ((π
π₯.π.π
. π
π.π§.π
). ( π
π₯.π.π
. π
π.π§.π
)) < π.
for all
π β₯ π₯ β₯ π. π§ β₯ π β₯ π.
π β₯ π β₯ π
where
πΉΜ (π
π₯.π.π
. π
π.π§.π
) <
π
and
πΉΜ ( π
π₯.π.π
. π
π.π§.π
) < π
.
Definition 2.2
A Triple sequence space
πΈ
πΉ
3
is said to be
convergence free if
(π
π₯.π.π
. π
π₯.π.π
) β πΈ
πΉ
3
.
whenever
RESEARCH ARTICLE
Open Access
Abstract
THE USA JOURNALS
THE AMERICAN JOURNAL OF SOCIAL SCIENCE AND EDUCATION INNOVATIONS (ISSN- 2689-100X)
VOLUME 06 ISSUE10
48
https://www.theamericanjournals.com/index.php/tajssei
(π
π₯.π.π
. π
π₯.π.π
) β πΈ
πΉ
3
and
(π
π₯.π.π
. π
π₯.π.π
) = (0.0)
implies
(π
π₯.π.π
. π
π₯.π.π
) = (0.0)
.
Definition 2.3
If
(π
π₯.π.π
. π
π₯.π.π
). (π
π₯.π.π
. π
π₯.π.π
) β πΈ
πΉ
3
suchthat
πΉΜ ((π
π₯.π.π
. 0Μ ). (π
π₯.π.π
. 0Μ )) β€ πΉΜ ((π
π₯.π.π
. 0Μ ). (π
π₯.π.π
. 0Μ ))
for all
π₯. π. π β β.
then
πΈ
πΉ
3
is said to be solid.
Definition 2.4
A canonical pre-image of a triple sequence of
(π
π₯.π.π
. π
π₯.π.π
) β πΈ
πΉ
3
is a triple sequence
(π
π₯.π.π
. π
π₯.π.π
) β πΈ
πΉ
3
defined as follows:
(π
π₯.π.π
. π
π₯.π.π
) = {
(π
π₯.π.π
. π
π₯.π.π
). If (π₯. π. π) β πΎ.
(0Μ . 0Μ ).
otherwise.
Definition 2.5:
If all of the canonical pre-images of a triple sequence space
πΈ
πΉ
3
are included within it, then
πΈ
πΉ
3
is
considered monoton.
Definition 2.6:
For any
(π. π) = (π
π₯.π.π
. π
π₯.π.π
) β πΈ
πΉ
3
, a
πΈ
πΉ
3
is considered symmetric if
πΊ(π. π) β πΈ
πΉ
3
where
πΊ(π. π)
=
{(π
π(π₯)π(π)π(π)
. π
π(π₯)π(π)π(π)
): π is a permutation of β Γ β Γ β}
.
We now define the following classes of triple sequences
:
(π
β
)
πΉ
3
Ξ₯
=
{
(π
π°π₯.π.π
. π
π₯.π.π
) β πΈ
πΉ
3
: π π’π
π₯.π.π
{Ξ₯
1
(
πΉΜ (π
π₯.π.π
. 0Μ )
π
) β¨ Ξ₯
2
(
πΉΜ (π
π₯.π.π
. 0Μ )
π
)} < β
for some π > 0.
}
.
where
(π
β
)
πΉ
3
Ξ₯
1
=
{
(π
π₯.π.π
) β πΈ
πΉ
3
: π π’π
π₯.π.π
{Ξ₯
1
(
πΉΜ (π
π₯.π.π
. 0Μ )
π
) } < β
for some π > 0.
}
.
and
(π
β
)
πΉ
3
Ξ₯
2
=
{
(π
π₯.π.π
) β πΈ
πΉ
3
: π π’π
π₯.π.π
{Ξ₯
2
(
πΉΜ (π
π₯.π.π
. 0Μ )
π
)} < β
for some π > 0.
}
.
(πΈ)
πΉ
3
Ξ₯
=
THE USA JOURNALS
THE AMERICAN JOURNAL OF SOCIAL SCIENCE AND EDUCATION INNOVATIONS (ISSN- 2689-100X)
VOLUME 06 ISSUE10
49
https://www.theamericanjournals.com/index.php/tajssei
{
(π
π₯.π.π
. π
π₯.π.π
) β πΈ
πΉ
3
: πππ
π₯.π.π
{Ξ₯
1
(
πΉΜ (π
π₯.π.π
. β
1
)
π
) β¨ Ξ₯
2
(
πΉΜ (π
π₯.π.π
. β
2
)
π
)} = 0
for some π > 0.
}
.
where
(πΈ)
πΉ
3
Ξ₯
1
=
{
(π
π₯.π.π
) β πΈ
πΉ
3
: πππ
π₯.π.π
{Ξ₯
1
(
πΉΜ (π
π₯.π.π
. β
1
)
π
)} = 0
for some π > 0.
}
and
(πΈ)
πΉ
3
Ξ₯
2
=
{
(π
π₯.π.π
) β πΈ
πΉ
3
: πππ
π₯.π.π
{Ξ₯
2
(
πΉΜ (π
π₯.π.π
. β
2
)
π
)} = 0
for some π > 0.
}
.
(πΈ
0
)
πΉ
3
Ξ₯
=
{
(π
π₯.π.π
. π
π₯.π.π
) β πΈ
πΉ
3
: πππ
π₯.π.π
{Ξ₯
1
(
πΉΜ (π
π₯.π.π
. 0Μ )
π
) β¨ Ξ₯
2
(
πΉΜ (π
π₯.π.π
. 0Μ )
π
)} = 0
for some π > 0.
}
.
where
(πΈ
0
)
πΉ
3
Ξ₯
1
{
(π
π₯.π.π
) β πΈ
πΉ
3
: πππ
π₯.π.π
{Ξ₯
1
(
πΉΜ (π
π₯.π.π
. 0Μ )
π
) } = 0
for some π > 0.
}
.
and
(πΈ
0
)
πΉ
3
Ξ₯
2
{
(π
π₯.π.π
) β πΈ
πΉ
3
: πππ
π₯.π.π
{Ξ₯
2
(
πΉΜ (π
π₯.π.π
. 0Μ )
π
)} = 0
π > 0.
}
.
Moreover, The triple sequence classes are defined by us.
(π)
πΉ
3
= (πΈ)
πΉ
3
(Ξ₯) β© (π
β
)
πΉ
3
(Ξ₯).
(π
0
)
πΉ
3
= (πΈ
0
)
πΉ
3
(Ξ₯) β© (π
β
)
πΉ
3
(Ξ₯).
3) Main Results
Theorem 3.1:
Let
(π
π₯.π.π
)
be bounded. Then the classes of triple sequences
(π
β
)
πΉ
3
(Ξ₯ . π )
is complete
metric spaces with respect to the distance defined by
πΊ((π. π). (π . π))
=
THE USA JOURNALS
THE AMERICAN JOURNAL OF SOCIAL SCIENCE AND EDUCATION INNOVATIONS (ISSN- 2689-100X)
VOLUME 06 ISSUE10
50
https://www.theamericanjournals.com/index.php/tajssei
πππ {π
π π₯.π.π
π₯
> 0: π π’π
π₯.π.π
{(Ξ₯
1
(
πΉΜ (π
π₯.π.π
.π
π₯.π.π
)
π
)) β¨ (Ξ₯
2
(
πΉΜ (π
π₯.π.π
.π
π₯.π.π
)
π
))} β€ 1}
π₯ = max (1. 2
πβ1
)
where
πΊ(π. π) = πππ {π
π
π₯.π.π
π₯
> 0: π π’π
π₯.π.π
(Ξ₯
1
(
πΉΜ (π
π₯.π.π
. π
π₯.π.π
)
π
)) β€ 1}
πΊ(π . π) = πππ {π
π
π°.π―.π
π₯
> 0: π π’π
π₯.π.π
(Ξ₯
2
(
πΉΜ (π
π₯.π.π
. π
π₯.π.π
)
π
)) β€ 1}
Proof
: Let us consider the case
(π
β
)
πΉ
3
(Ξ₯. π )
and the other cases can be established next similar
techniques..
Let
(π
π
). (π
π
)
be any Cauchy sequences in
(π
β
)
πΉ
3
(Ξ₯
1
. π ).
(π
β
)
πΉ
3
(Ξ₯
2
. π )
respectively, hence
(π
π
. π
π
) =
(π
π₯.π.π
π
. π
π₯.π.π
π
)
be a triple Cauchy sequence
Let
π > 0
,
π
0
. π > 0
be fixed. Then
β
there exists a positive integer N such that
πΊ
Ξ₯
1
(π
π
. π
π
) <
π
ππ
0
and
πΊ
Ξ₯
2
(π
π
. π
π
) <
π
ππ
0
.
for
π. π β₯ π.
and consequently,
πΊ
Ξ₯
((π
π
. π
π
). (π
π
. π
π
)) = (πΊ
Ξ₯
1
(π
π
. π
π
). πΊ
Ξ₯
2
(π
π
. π
π
)) <
π
ππ
0
,
for all
π. π β₯ π.
By definition of
πΊ.
we obtain
πππ {π > 0: π π’π
π₯.π.π
{Ξ₯
1
(
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
)
π
) β¨ Ξ₯
2
(
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
)
π
)} β€ 1}.
Thus,
π π’π
π₯.π.π
{Ξ₯
1
(
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
)
π
) β¨ Ξ₯
2
(
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
)
π
)} β€ 1.
for all
π. π β₯ π.
βΉ π π’π
π₯.π.π
{Ξ₯
1
(
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
)
πΊ
Ξ₯
1
(π
π₯.π.π
π
. π
π₯.π.π
π
)
) β¨ Ξ₯
2
(
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
)
πΊ
Ξ₯
2
(π
π₯.π.π
π
. π
π₯.π.π
π
)
)} β€ 1.
for each
π. π β₯ π.
Since
π
π₯.π.π
bounded it follows that
{Ξ₯
1
(
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
)
πΊ
Ξ₯
1
(π
π₯.π.π
π
. π
π₯.π.π
π
)
) β¨ Ξ₯
2
(
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
)
πΊ
Ξ₯
2
(π
π₯.π.π
π
. π
π₯.π.π
π
)
)} β€ 1.
for each
π°. π―. π β₯ 1
and for all
π. π β₯ π.
Hence one can find
π > 0
with
Ξ₯
1
(
ππ
0
2
) β₯ 1
and
Ξ₯
2
(
ππ
0
2
) β₯ 1
, such that
THE USA JOURNALS
THE AMERICAN JOURNAL OF SOCIAL SCIENCE AND EDUCATION INNOVATIONS (ISSN- 2689-100X)
VOLUME 06 ISSUE10
51
https://www.theamericanjournals.com/index.php/tajssei
Ξ₯
1
(
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
)
πΊ
Ξ₯
1
(π
π₯.π.π
π
. π
π₯.π.π
π
)
) β€ Ξ₯
1
(
ππ
0
2
) and Ξ₯
2
(
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
)
πΊ
Ξ₯
2
(π
π₯.π.π
π
. π
π₯.π.π
π
)
) β€ Ξ₯
2
(
ππ
0
2
)
Hence,
Ξ₯ (
ππ
0
2
.
ππ
0
2
)
=
(Ξ₯
1
(
ππ
0
2
) . Ξ₯
2
(
ππ
0
2
)) β₯ (1.1)
therefore,
{Ξ₯
1
(
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
)
πΊ
Ξ₯
1
(π
π₯.π.π
π
. π
π₯.π.π
π
)
) . Ξ₯
2
(
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
)
πΊ
Ξ₯
2
(π
π₯.π.π
π
. π
π₯.π.π
π
)
)} β€ (Ξ₯
1
(
ππ
0
2
) . Ξ₯
2
(
ππ
0
2
)).
This implies that.
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
) β€
ππ
0
2
β πΊ
Ξ₯
1
((π
π
. π
π
))
for all
π. πΏ β₯ π
0
.
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
) β€
ππ
0
2
β
π
ππ
0
=
π
2
π. πΏ β₯ π
0
.
βΉ πΜ (π
π₯.π.π
π
. π
π₯.π.π
π
) β€
π
2
π. πΏ β₯ π
0
.
and
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
) β€
ππ
0
2
β πΊ
Ξ₯
2
((π
π
. π
π
))
π. πΏ β₯ π
0
.
πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
) β€
ππ
0
2
β
π
ππ
0
=
π
2
π. πΏ β₯ π
0
βΉ πΉΜ (π
π₯.π.π
π
. π
π₯.π.π
π
) β€
π
2
π. πΏ β₯ π
0
.
then
πΉΜ ((π
π₯.π.π
π
. π
π₯.π.π
π
) . (π
π₯.π.π
π
. π
π₯.π.π
π
)) β€
ππ
0
2
.
π
ππ
0
=
π
2
π. πΏ β₯ π
0 .
Hence (
π
π₯.π.π
π
. π
π₯.π.π
π
)
is a triple Cauchy sequence in
π
3
.
Thus,
For each
(0 < π < 1)
,there exists a positive integer
π
such that
πΉΜ ((π
π₯.π.π
π
. π). (π
π₯.π.π
π
. π))
< π
for
all
π. π β₯ π.
where
πΉΜ (π
π
. π) < π
and
πΉ
Μ (π
π
. π) < π
for all
π. π β₯ π.
Taking
πΏ β β
and fixing
π.
so by using the continuity of
Ξ₯ = (Ξ₯
1
. Ξ₯
2
)
we get
π π’π
π₯.π.π
{Ξ₯
1
(
πΉΜ (π
π₯.π.π
π
. lim
πββ
π
π₯.π.π
π
)
π
) β¨ Ξ₯
2
(
πΉΜ (π
π₯.π.π
π
. lim
πββ
π
π₯.π.π
π
)
π
)} β€ 1
Thus,
π π’π
π₯.π.π
{Ξ₯
1
(
πΉΜ (π
π₯.π.π
π
. π)
π
) β¨ Ξ₯
2
(
πΉΜ (π
π₯.π.π
π
. π)
π
)} β€ 1.
On taking the infimum of such
π
' s, we get,
πππ {π > 0: π π’π
π₯.π.π
{Ξ₯
1
(
πΉΜ (π
π₯.π.π
π
. π)
π
) β¨ Ξ₯
2
(
πΉΜ (π
π₯.π.π
π
. π)
π
)} β€ 1} β€ π
for all
π β₯ π
and
π β β.
Since
(π
π
. π
π
) β (π
β
)
πΉ
3
(Ξ₯ . π )
and
Ξ₯
is continuous, it follows that
(π. π) β (π
β
)
πΉ
3
(Ξ₯ . π )
.
Proposition 3.1:
The class of triple sequences
(π
β
)
πΉ
3
(Ξ₯)
is symmetric but the class of triple sequences
(πΈ)
πΉ
3
(Ξ₯).
(πΈ
0
)
πΉ
.
(Ξ₯
), are not symmetric.
THE USA JOURNALS
THE AMERICAN JOURNAL OF SOCIAL SCIENCE AND EDUCATION INNOVATIONS (ISSN- 2689-100X)
VOLUME 06 ISSUE10
52
https://www.theamericanjournals.com/index.php/tajssei
Proof:
Noticeably the class of triple sequence
(π
β
)
πΉ
3
(Ξ₯)
is symmetric. However, other the class of triple
sequences, could be indicated by the example below.
Example 3.1 :
Let's say the class of triple sequences
(πΈ)
πΉ
3
(Ξ₯)
. Consider
Ξ₯ (π. π) = (π. π)
and suppose the triple sequence
(π
π₯.π.π
. π
π₯.π.π
)
be defined by
π
where
(π
1π
)(π) = {
(π + 1). for β 1 β€ π β€ 0;
(βπ + 1). for 0 β€ π β€ 1;
0. otherwise,
and
(π
1π
)(π) = {
(π + 1). for β 1 β€ π β€ 0;
(βπ + 1). for 0 β€ π β€ 1;
0. otherwise.
For
π₯ > 1
, we have
(π
π₯.π.π
. π
π₯.π.π
)(π) = {
(π + 2. π + 2)
for β 2 β€ π β€ β1;
(βπ. βπ)
for β 1 β€ π β€ 0;
(0.0)
otherwise.
where
(π
π₯.π.π
)(π) = {
π + 2. for β 2 β€ π β€ β1;
βπ. for β 1 β€ π β€ 0;
0. otherwise.
and
(π
π₯.π.π
)(π) = {
π + 2. for β 2 β€ π β€ β1;
βπ. for β 1 β€ π β€ 0;
0. otherwise.
Let
(π
π₯.π.π
)
,
(π
π₯.π.π
)
be a rearrangement of
(π
π₯.π.π
)
,
(π
π₯.π.π
)
respectively which is defined by
(π
π₯.π₯
)(π) = {
π + 1. for β 1 β€ π β€ 0;
βπ + 1. for 0 β€ π β€ 1;
0. otherwise.
and
(π
π₯.π₯
)(π) = {
π + 1. for β 1 β€ π β€ 0 ;
βπ + 1. for 0 β€ π β€ 1;
0. otherwise.
Therefore,
(π
π₯.π₯
. π
π₯.π₯
)
can be defined by
(π
π₯.π₯
. π
π₯.π₯
)(π) = {
(π + 1. π + 1).
for β 1 β€ π β€ 0;
(βπ + 1. βπ + 1).
for 0 β€ π β€ 1;
(0.0). otherwise.
THE USA JOURNALS
THE AMERICAN JOURNAL OF SOCIAL SCIENCE AND EDUCATION INNOVATIONS (ISSN- 2689-100X)
VOLUME 06 ISSUE10
53
https://www.theamericanjournals.com/index.php/tajssei
and for
π₯ β π.
we have
(π
π₯.π.π
. π
π₯.π.π
)(π)
=
{
(π + 2 . π + 2). for β 2 β€ π β€ β1.
(βπ . βπ). for β 1 β€ π β€ β1.
( 0 . 0). otherwise.
}
where
(π
π₯.π.π
)(π) = {
π + 2. for β 2 β€ π β€ β1;
βπ. for β 1 β€ π β€ 0;
0. otherwise.
and
(π
π₯.π.π
)(π) = {
π + 2. for β 2 β€ π β€ β1;
βπ. for β 1 β€ π β€ 0;
0. otherwise.
Thus,
(π
π₯.π.π
. π
π₯.π.π
) β (πΈ)
πΉ
3
(Ξ₯)
but
(π
π₯.π.π
. π
π₯.π.π
) β (πΈ)
πΉ
3
(Ξ₯).
Hence
(πΈ)
πΉ
3
(Ξ₯)
is not symmetric. In same sense,
it could
be indicated that other spaces of triple sequences are
not
symmetric too.
Proposition 3.2:
The
classes
of triple sequences
(π
β
)
πΉ
3
(Ξ₯).
(πΈ
0
)
πΉ
3
(Ξ₯)
and
(π
0
)
πΉ
3
(Ξ₯)
are solid
.
Proof :
Consider
(π
β
)
πΉ
3
(Ξ₯)
the class of triple sequences.
So
(π
π₯.π.π
. π
π₯.π.π
)
β (π
β
)
πΉ
3
(Ξ₯)
and
(π
π₯.π.π
. π
π₯.π.π
)
be such that
.
πΉΜ (π
π₯.π.π
. 0Μ ) β€ πΉΜ (π
π₯.π.π
. 0Μ )
and
πΉΜ (π
π₯.π.π
. 0Μ ) β€ πΉΜ (π
π₯.π.π
. 0Μ )
and consequently
πΉΜ ((π
π₯.π.π
. 0Μ ). (π
π₯.π.π
. 0Μ )) β€ πΉΜ ((π
π₯.π.π
. 0Μ ). (π
π₯.π.π
. 0Μ ))
as
Ξ₯ = (Ξ₯
1
. Ξ₯
2
)
is increasing , we have
π π’π
π₯.π.π
{Ξ₯
1
(
πΜ ((π
π₯.π.π
. 0Μ ). (π
π₯.π.π
. 0Μ ))
π
)}
β€ π π’π
π₯.π.π
{Ξ₯
2
(
πΜ ((π
π₯.π.π
. 0Μ ). (π
π₯.π.π
. 0Μ ))
π
)}
Hence, the classes of triple sequences
(π
β
)
πΉ
3
(Ξ₯)
is solid. In same way, we could recognize other spaces
are solid too by following same sense .
β
Proposition 3.3:
The classes of triple sequences
(πΈ)
πΉ
3
(Ξ₯). (π)
πΉ
3
(Ξ₯)
are not
monotone and hence
not
solid
.
Corollary 3.1
π(Ξ₯
1
) β© π(Ξ₯
2
) β π(Ξ₯
1
+ Ξ₯
2
).
for
π = (π
β
)
πΉ
3
(Ξ₯).
(πΈ)
πΉ
3
(Ξ₯ )
Corollary 3.2:
Let
Ξ₯
and
Ξ₯
1
be two Orlicz function then
π(Ξ₯
1
) β π(Ξ₯ β Ξ₯
1
).
for
π
=
THE USA JOURNALS
THE AMERICAN JOURNAL OF SOCIAL SCIENCE AND EDUCATION INNOVATIONS (ISSN- 2689-100X)
VOLUME 06 ISSUE10
54
https://www.theamericanjournals.com/index.php/tajssei
(π
β
)
πΉ
3
. (πΈ)
πΉ
3
. (πΈ
0
)
πΉ
3
. (π)
πΉ
3
.
and
(π
0
)
πΉ
3
.
Proof :
The result will be proven for the case
π = (πΈ
0
)
πΉ
3
.
The other cases can be prove by using the same
technique. Take
π > 0.
there exists
π > 0.
such that
π = Ξ₯(π).
Let
(π
π₯.π.π
. π
π₯.π.π
) β π( Ξ₯
1
).
then, there
exist
π
0
. π
0
β β.
such that
Ξ₯
1
[
π
Μ ((π
π₯.π.π
. 0Μ ). (π
π₯.π.π
. 0Μ ))
π
] < π. for some π > 0.
Let (π
π₯.π.π
. π
π₯.π.π
) = Ξ₯
1
[
πΉΜ ((π
π₯.π.π
. 0Μ ). (π
π₯.π.π
. 0Μ ))
π
] . for some π > 0.
Since
πΆ
is continuous and non-decreasing, we get
Ξ₯ (π
π₯.π.π
. π
π₯.π.π
) = Ξ₯ [Ξ₯
1
[
πΉΜ ((π
π₯.π.π
. 0Μ ). (π
π₯.π.π
. 0Μ ))
π
]] < Ξ₯(π) = π.
for some π > 0.
Which implies that,
(π
π₯.π.π
. π
π₯.π.π
) β π(Ξ₯ β Ξ₯
1
).
β
Proposition 3.4
The class of triple sequences
(π
β
)
πΉ
3
(Ξ₯). (πΈ)
πΉ
3
(Ξ₯). (πΈ
0
)
πΉ
3
(Ξ₯). (π)
πΉ
3
(Ξ₯)
are not
convergent
free
.
Proof:
The following Example will lead to such result.
Example 3.2:
Consider the classes of triple sequences
(πΈ)
πΉ
3
(Ξ₯).
Suppose
Ξ₯(π. π) = (π. π)
and consider the triple
sequence
(π
π₯.π.π
. π
π₯.π.π
)
defined by
(π
1π
. π
1π
) = (0Μ . 0Μ )
and for other values,
(π
π₯.π.π
. π
π₯.π.π
)(π)
=
{
(1.1).
for 0 β€ π β€ 1;
(βπ₯π(π₯ + 1)
β1
+ (2π₯ + 1)(π₯ + 1)
β1
. βπ₯π + (2π₯ + 1)(π₯ + 1)
β1
). for 1 β€ π β€ 2 + π₯
β1
;
(0.0).
otherwise.
where
(π
π₯.π.π
)(π)
=
{β
1.
for 0 β€ π β€ 1;
π₯π(π₯ + 1)
β1
+ (2π₯ + 1)(π₯ + 1)
β1
. for1 β€ π β€ 2 + π₯
β1 .
0.
otherwise.
and
(π
π₯.π.π
)(π)
=
{β
1.
for 0 β€ π β€ 1;
π₯π(π₯ + 1)
β1
+ (2π₯ + 1)(π₯ + 1)
β1
. for1 β€ π β€ 2 + π₯
β1.
0.
otherwise.
THE USA JOURNALS
THE AMERICAN JOURNAL OF SOCIAL SCIENCE AND EDUCATION INNOVATIONS (ISSN- 2689-100X)
VOLUME 06 ISSUE10
55
https://www.theamericanjournals.com/index.php/tajssei
Let the triple sequence
(π
π₯.π.π
. π
π₯.π.π
).
be defined by
(π
1π.
. π
1π
) = (0Μ . 0Μ ).
and for other values,
(π
π₯.π.π
. π
π₯.π.π
)
can be defined as
(π
π₯.π.π
. π
π₯.π.π
)(π)
=
{
(1.1).
for 0 β€ π β€ 1;
((π₯ β π)(π₯ β 1)
β1
. (π₯ β π)(π₯ β π)
β1
). for 1 β€ π β€ π₯
(0.0).
otherwise.
where
(π
π₯.π.π
)(π) = {
1.
for 0 β€ π β€ 1;
(π₯ β π)(π₯ β π)
β1
. for 1 β€ π β€ π₯;
0.
otherwise.
and
(π
π₯.π.π
)(π) = {
1.
for 0 β€ π β€ 1;
(π₯ β π)(π₯ β π)
β1
. for 1 β€ π β€ π₯;
0.
otherwise.
Then
(π
π₯.π.π
) β (πΈ)
πΉ
3
(Ξ₯).
and
(π
π°.π±.π
) β (πΈ)
πΉ
3
(Ξ₯).
βΉ
(π
π₯.π.π
. π
π₯.π.π
) β (πΈ)
πΉ
3
(Ξ₯)
but
(π
π₯.π.π
)
β (πΈ)
πΉ
3
(Ξ₯).
and
(π
π₯.π.π
) β (πΈ)
πΉ
3
(Ξ₯).
βΉ
(π
π₯.π.π
. π
π₯.π.π
) β (πΈ)
πΉ
3
(Ξ₯).
Therefore,
(πΈ)
πΉ
3
(Ξ₯)
isn't convergent free. Likewise, the other spaces are also not convergent free.
REFERENCES
1.
LA. Zadeh, Fuzzy sets. Lnform and Control 8 (1965) 338-353.
2.
T.J.I' A. Bromwich, An Introduction to the Theory of Infinite Series, New York, MacMillan and Co,
(1965).
3.
F. Moricz, Extension of spaces
π
and
π
0
from single to double sequences, Acta Math. Hung. 57(1-2)
(1991) 129-136.
4.
M. Basarir. O. Solancan, On some double sequence spaces, J. Indian Acad. Math. 21, (1999) 193-200.
5.
A.J.Datta , A. Esi, B.C. Tripathy, βStatistically convergent triple sequence spaces defined by Orlicz
functionβ. J. Math. Anal.,4(2) (2013) 16
-22.
6.
J. Lindenstrauss and L. Tzafriri, On Orlicz sequence spaces, Israel J. Math;101, (1971),379-390.
7.
P. Kostyrko, T. Salat, W. Wilczynski, '' -convergen'', Real Analysis Exchang, (2000), 26(2):669-686.
