Bulletin of Mathematical Analysis and Applications ISSN: 1821-1291, URL:

advertisement
Bulletin of Mathematical Analysis and Applications
ISSN: 1821-1291, URL: http://www.bmathaa.org
Volume 2 Issue 4(2010), Pages 140-145.
CLOSABILITY OF FARTHEST POINT MAPS IN FUZZY
NORMED SPACES
(DEDICATED IN OCCASION OF THE 70-YEARS OF
PROFESSOR HARI M. SRIVASTAVA)
ALIREZA KAMEL MIRMOSTAFAEE, MAJID MIRZAVAZIRI
Abstract. Let (𝑋, 𝑁 ) be a fuzzy normed space. For each 0 < 𝛼 < 1 and a
non-empty subset 𝐴 of 𝑋, we define a natural notion for 𝛼-farthest points from
𝐴 and a set-valued map π‘₯ 7→ 𝑄𝛼 (𝐴, π‘₯), called the fuzzy 𝛼-farthest point map.
Then we will investigate basic properties of the fuzzy 𝛼-farthest point mapping.
In particular, we show that the fuzzy 𝛼-farthest point map is closable.
1. Introduction
Together with advances in fuzzy theory, it seems necessary to create and develop
an environment so the mathematical precision meet the reality of fuzzy systems.
To achieve this goal, traditional objects of mathematics are changed to their fuzzy
versions to obtain more compact formulations or more general results. This divided
mathematics into two parts: in one traditional, i. e. crisp structures are studied,
while the second part encompasses fuzzification of these structures.
The concept of a fuzzy norm on a linear space was initiated by Katsaras [8] in
1984. Later, some mathematicians defined notions for a fuzzy norm from different
points of view. In particular, following [2], Bag and Samanta in [3] and [4], introduced and studied an idea of a fuzzy norm on a linear space in such a manner that
its corresponding fuzzy metric is of Kramosil and Michalek type [9].
The notion of the farthest points has many nice applications in the study of
some geometrical properties of a normed linear space, see e.g. [1, 5, 10, 11]. In this
paper, we use the notion of a fuzzy norm introduced in [3] to define natural notions
for fuzzy farthest points, fuzzy bounded subsets of a fuzzy normed space and fuzzy
closability. Then we will prove the closability of the fuzzy farthest point map from
a fuzzy bounded subset of a fuzzy normed space.
1991 Mathematics Subject Classification. 35A07, 35Q53.
Key words and phrases. Fuzzy normed spaces, fuzzy remotal set.
c
⃝2010
Universiteti i Prishtinës, Prishtinë, Kosovë.
This research was supported by a grant from Ferdowsi university of Mashhad No.
MP86174MIZ.
Submitted April 25, 2010. Published November 29, 2010.
140
CLOSABILITY OF FARTHEST POINT MAPS
141
2. Fuzzy farthest points
To start with, following [3] and [4], we will give a notion of a fuzzy normed space.
Definition 2.1. Let 𝑋 be a complex linear space. By a fuzzy norm on 𝑋, we
mean a fuzzy subset of 𝑋 × [0, ∞) such that the following conditions hold for all
π‘₯, 𝑦 ∈ 𝑋 and scalars 𝑐, 𝑠, 𝑑:
(N1) 𝑁 (π‘₯, 0) = 0 for each π‘₯ βˆ•= 0;
(N2) π‘₯ = 0 if and only if 𝑁 (π‘₯, 𝑑) = 1 for all 𝑑 ≥ 0;
𝑑
(N3) 𝑁 (𝑐π‘₯, 𝑑) = 𝑁 (π‘₯, βˆ£π‘βˆ£
), whenever 𝑐 βˆ•= 0;
(N4) 𝑁 (π‘₯ + 𝑦, 𝑠 + 𝑑) ≥ min{𝑁 (π‘₯, 𝑠), 𝑁 (𝑦, 𝑑)} (the triangle inequality);
(N5) lim𝑑→∞ 𝑁 (π‘₯, 𝑑) = 1.
A linear space 𝑋 with a fuzzy norm 𝑁 , will be denoted by (𝑋, 𝑁 ) and is called a
fuzzy normed space. It follows from (N2) and (N4) that 𝑁 (π‘₯, .) is an increasing
function for each π‘₯ ∈ 𝑋. In fact, if π‘₯ ∈ 𝑋 and 0 < 𝑠 < 𝑑, then
𝑁 (π‘₯, 𝑑) ≥ min{𝑁 (π‘₯, 𝑠), 𝑁 (0, 𝑑 − 𝑠)} = 𝑁 (π‘₯, 𝑠).
One may regard 𝑁 (π‘₯, 𝑑) as the truth value of the statement ‘the norm of π‘₯ is less
than or equal to the real number 𝑑’.
Example 2.2. Let (𝑋, βˆ₯.βˆ₯) be a normed linear space. It is easy to verify that
{
𝑑
π‘₯ βˆ•= 0
𝑑+βˆ₯π‘₯βˆ₯
𝑁 (π‘₯, 𝑑) =
1
π‘₯=0
defines a fuzzy norm on 𝑋.
Definition 2.3. Let {π‘₯𝑛 } be a sequence in 𝑋 and 𝛼 ∈ (0, 1). We say that the
sequence {π‘₯𝑛 } is 𝛼-convergent to π‘₯ ∈ 𝑋, and write π‘₯𝑛 →𝛼 π‘₯ or 𝛼-lim𝑛→∞ π‘₯𝑛 = π‘₯,
if
∀πœ€ > 0 ∀𝛿 > 0, ∃𝑛0 such that 𝑛 ≥ 𝑛0 implies that 𝑁 (π‘₯ − π‘₯𝑛 , 𝛿) ≥ 𝛼 − πœ€.
It is called convergent to π‘₯, and write π‘₯𝑛 → π‘₯, if it is 𝛼-convergent to π‘₯ for each
𝛼 ∈ (0, 1), or equivalently lim𝑛→∞ 𝑁 (π‘₯ − π‘₯𝑛 , πœ€) = 1 for each πœ€ > 0.
Throughout the rest of this section, unless otherwise is stated, we will assume
that 𝛼 ∈ (0, 1) and (𝑋, 𝑁 ) is a fuzzy normed space.
Definition 2.4. A subset 𝐴 of 𝑋 is said to be fuzzy 𝛼-bounded if there is a positive
real number π‘š such that 𝑁 (π‘Ž, π‘š) ≥ 𝛼 for all π‘Ž ∈ 𝐴. 𝐴 is called fuzzy bounded, if
it is 𝛼-bounded for each 𝛼 ∈ (0, 1).
Definition 2.5. Let 𝐴 be a fuzzy 𝛼-bounded subset of 𝑋. For π‘₯ ∈ 𝑋, we define
𝑄𝛼 (𝐴, π‘₯) to be
{π‘Ž ∈ 𝐴 : if 0 < 𝑠 < 𝑑 then 𝑁 (π‘₯ − π‘Ž, 𝑠) ≥ 𝛼 implies 𝑁 (π‘₯ − 𝑏, 𝑑) ≥ 𝛼 for all 𝑏 ∈ 𝐴}.
If there is no danger of ambiguity, we denote 𝑄𝛼 (𝐴, π‘₯) simply by 𝑄𝛼 (π‘₯). Each
element π‘Ž ∈ 𝑄𝛼 (π‘₯) is called a fuzzy 𝛼-farthest point of 𝐴 from π‘₯ and the map
π‘₯ 7→ 𝑄𝛼 (π‘₯) is called the 𝛼-farthest point map associated to 𝐴. The set 𝐴 is said
to be fuzzy 𝛼-remotal in 𝑋 if for each π‘₯ ∈ 𝑋, 𝑄𝛼 (π‘₯) is nonempty. 𝐴 is called
𝛼-singleton if for each π‘Ž, 𝑏 ∈ 𝐴 and each 𝑑 > 0, the relation 𝑁 (π‘Ž − 𝑏, 𝑑) ≥ 𝛼 hold.
Clearly, 𝐴 is singleton if and only if it is 𝛼-singleton for all 𝛼 ∈ (0, 1). If 𝑄𝛼 (π‘₯)
is 𝛼-singleton then we say that π‘₯ admits an 𝛼-unique 𝛼-farthest point in 𝑋. 𝐴 is
142
A. K. MIRMOSTAFAEE, M. MIRZAVAZIRI
said to be fuzzy 𝛼-uniquely remotal in 𝑋 if each π‘₯ ∈ 𝑋 admits 𝛼-unique 𝛼-farthest
point in 𝐴.
Remark. If for some π‘₯ ∈ 𝑋, 𝑄𝛼 (π‘₯) is not empty, then 𝐴 is fuzzy 𝛼-bounded. To
see this, let π‘Ž ∈ 𝑄𝛼 (π‘₯). By (N5) there is an 𝑠0 > 0 such that 𝑁 (π‘₯ − π‘Ž, 𝑠0 ) ≥ 𝛼.
Thus for 𝑑0 = 𝑠0 + 1 and each 𝑏 ∈ 𝐴 we have 𝑁 (π‘₯ − 𝑏, 𝑑0 ) ≥ 𝛼. Moreover, we
can find some 𝑑1 > 0 such that 𝑁 (π‘₯, 𝑑1 ) ≥ 𝛼. Thus for π‘š = 𝑑0 + 𝑑1 we have
𝑁 (𝑏, π‘š) ≥ min{𝑁 (𝑏 − π‘₯, 𝑑0 ), 𝑁 (π‘₯, 𝑑1 )} ≥ 𝛼 for each 𝑏 ∈ 𝐴. This shows that 𝐴 is
fuzzy 𝛼-bounded. So we will assume that 𝐴 is 𝛼-bounded in our discussion.
Lemma 2.6. Let 𝐴 be a subset of 𝑋 and 𝑄𝛼 denote the 𝛼-farthest point map
associated to 𝐴. Let π‘Ž ∈ 𝐴 and for some π‘žπ›Ό (π‘₯) ∈ 𝑄𝛼 (π‘₯),
𝑁 (π‘Ž − π‘žπ›Ό (π‘₯), 𝑑) ≥ 𝛼
for all 𝑑 > 0. Then π‘Ž ∈ 𝑄𝛼 (π‘₯).
Proof. Let 𝑠 < 𝑑 and 𝑁 (π‘₯ − π‘Ž, 𝑠) ≥ 𝛼. Then for πœ€ = 𝑑 − 𝑠,
πœ€
πœ€
𝑁 (π‘₯ − π‘žπ›Ό (π‘₯), 𝑠 + ) ≥ min{𝑁 (π‘₯ − π‘Ž, 𝑠), 𝑁 (π‘Ž − π‘žπ›Ό (π‘₯), )}
2
2
≥ min{𝛼, 𝛼}
=
Let 𝑏 ∈ 𝐴. Since 𝑑 = 𝑠+πœ€ > 𝑠+
𝛼. Thus π‘Ž ∈ 𝑄𝛼 (π‘₯).
πœ€
2,
𝛼.
the definition of 𝑄𝛼 (π‘₯) implies that 𝑁 (π‘₯−𝑏, 𝑑) ≥
β–‘
Corollary 2.7. Let 𝐴 be a fuzzy 𝛼-uniquely remotal subset of 𝑋. If 𝑄𝛼 (π‘₯) ∩
𝑄𝛼 (𝑦) βˆ•= πœ™ then 𝑄𝛼 (π‘₯) = 𝑄𝛼 (𝑦).
Proof. Let π‘Ž ∈ 𝑄𝛼 (π‘₯) ∩ 𝑄𝛼 (𝑦). Then for each π‘žπ›Ό (π‘₯) ∈ 𝑄𝛼 (π‘₯), π‘žπ›Ό (𝑦) ∈ 𝑄𝛼 (𝑦) and
𝑑 > 0, we have
𝑑
𝑑
𝑁 (π‘Ž − π‘žπ›Ό (π‘₯), ) ≥ 𝛼 and 𝑁 (π‘Ž − π‘žπ›Ό (𝑦), ) ≥ 𝛼.
2
2
Therefore
𝑑
𝑑
𝑁 (π‘žπ›Ό (π‘₯) − π‘žπ›Ό (𝑦), 𝑑) ≥ min{𝑁 (π‘Ž − π‘žπ›Ό (π‘₯), ), 𝑁 (π‘Ž − π‘žπ›Ό (𝑦), )} ≥ 𝛼.
2
2
Therefore, by Lemma 2.6, 𝑄𝛼 (π‘₯) = 𝑄𝛼 (𝑦).
β–‘
Definition 2.8. Let 𝐴 be a fuzzy bounded subset of 𝑋. For π‘₯ ∈ 𝑋, we define
𝑄(𝐴, π‘₯) = ∩𝛼∈(0,1) 𝑄𝛼 (𝐴, π‘₯).
When there is no difficulty to understand the set 𝐴, we simply denote 𝑄(𝐴, π‘₯) by
𝑄(π‘₯). Each element π‘Ž ∈ 𝑄(π‘₯) is called a fuzzy farthest point of 𝐴 from π‘₯ and the
map π‘₯ 7→ 𝑄(π‘₯) is called the fuzzy farthest point map associated to 𝐴.
Lemma 2.9. Let 𝐴 be a fuzzy bounded subset of 𝑋. Then
(𝑖) 𝑄(π‘₯) = {π‘Ž ∈ 𝐴 : ∀𝑏 ∈ 𝐴 𝑁 (π‘₯ − π‘Ž, 𝑠) ≤ 𝑁 (π‘₯ − 𝑏, 𝑑) if 0 < 𝑠 < 𝑑}.
(𝑖𝑖) 𝐴 is fuzzy uniquely remotal if and only if 𝑄(π‘₯) is singleton for each π‘₯ ∈ 𝑋.
Proof. (𝑖) Let π‘Ž ∈ 𝑄(π‘₯). Then for each 𝛼 ∈ (0, 1) and 𝑏 ∈ 𝐴,
𝑁 (π‘₯ − π‘Ž, 𝑠) < 𝛼 or 𝑁 (π‘₯ − 𝑏, 𝑑) ≥ 𝛼,
if 0 < 𝑠 < 𝑑. Let 𝛼 = 𝑁 (π‘₯ − π‘Ž, 𝑠), since π‘Ž ∈ 𝑄𝛼 (π‘₯), we have 𝑁 (π‘₯ − 𝑏, 𝑑) ≥ 𝛼 =
𝑁 (π‘₯ − π‘Ž, 𝑠) for 𝑑 > 𝑠 .
CLOSABILITY OF FARTHEST POINT MAPS
143
Conversely, if 𝑁 (π‘₯ − π‘Ž, 𝑠) ≤ 𝑁 (π‘₯ − 𝑏, 𝑑) for all 𝑏 ∈ 𝐴 and all 𝑠 < 𝑑 then for each
𝛼 ∈ (0, 1) with 𝑁 (π‘₯ − π‘Ž, 𝑠) ≥ 𝛼, we have 𝛼 ≤ 𝑁 (π‘₯ − π‘Ž, 𝑠) ≤ 𝑁 (π‘₯ − 𝑏, 𝑑). By the
definition, π‘Ž ∈ 𝑄𝛼 (π‘₯), for all 𝛼 ∈ (0, 1). Hence π‘Ž ∈ 𝑄(π‘₯).
(𝑖𝑖) Let 𝐴 be uniquely remotal. Then for each π‘Ž, 𝑏 ∈ 𝑄(π‘₯) and each 𝛼 ∈ (0, 1)
we have π‘Ž, 𝑏 ∈ 𝑄𝛼 (π‘₯). Thus 𝑁 (π‘Ž − 𝑏, 𝑑) ≥ 𝛼 for each 𝑑 > 0 and each 𝛼 ∈ (0, 1).
This implies that 𝑁 (π‘Ž − 𝑏, 𝑑) = 1 for all 𝑑 > 0. By (N1) we have π‘Ž − 𝑏 = 0. Thus
𝑄(π‘₯) is singleton. The converse is obvious.
β–‘
The following result shows that the 𝛼-farthest point map is closable, i.e. if
π‘₯𝑛 →𝛼 π‘₯ and π‘žπ›Ό (π‘₯𝑛 ) ∈ 𝑄𝛼 (π‘₯𝑛 ) for each 𝑛 and π‘žπ›Ό (π‘₯𝑛 ) →𝛼 𝑦, then 𝑦 ∈ 𝑄𝛼 (π‘₯).
Theorem 2.10. Let 𝐴 be a fuzzy 𝛼-bounded subset of 𝑋 and π‘₯ 7→ 𝑄𝛼 (π‘₯) be the
fuzzy 𝛼-farthest point map. If π‘₯𝑛 →𝛼 π‘₯ and π‘žπ›Ό (π‘₯𝑛 ) ∈ 𝑄𝛼 (π‘₯𝑛 ) for each 𝑛 and
π‘žπ›Ό (π‘₯𝑛 ) →𝛼 𝑦. Then 𝑦 ∈ 𝑄𝛼 (π‘₯).
Proof. Let 𝑠 < 𝑑, πœ€ = 𝑑 − 𝑠 and 𝑁 (π‘₯ − 𝑦, 𝑠) ≥ 𝛼. Take some 𝑛0 ∈ β„•, such that for
each 𝑛 ≥ 𝑛0 ,
πœ€
πœ€
𝑁 (π‘₯𝑛 − π‘₯, ) ≥ 𝛼 and 𝑁 (𝑦 − π‘žπ›Ό (π‘₯𝑛 ), ) ≥ 𝛼.
8
8
If for some 𝑛 ≥ 𝑛0 ,
πœ€
𝑁 (π‘₯𝑛 − π‘žπ›Ό (π‘₯𝑛 ), 𝑠 + ) < 𝛼.
4
Then for some 𝑛 ≥ 𝑛0 ,
πœ€
𝛼 > 𝑁 (π‘₯𝑛 − π‘žπ›Ό (π‘₯𝑛 ), 𝑠 + )
4
πœ€
πœ€
≥ min{𝑁 (π‘₯𝑛 − π‘₯, ), 𝑁 (π‘₯ − 𝑦, 𝑠), 𝑁 (𝑦 − π‘žπ›Ό (π‘₯𝑛 ), )
8
8
≥ min{𝛼, 𝑁 (π‘₯ − 𝑦, 𝑠), 𝛼}
≥ 𝛼
which is a contradiction. Hence
πœ€
πœ€
𝑁 (π‘₯𝑛 − π‘žπ›Ό (π‘₯𝑛 ), 𝑠 + ) ≥ 𝑁 (π‘₯𝑛 − π‘žπ›Ό (π‘₯𝑛 ), 𝑠 + ) ≥ 𝛼
2
4
for all 𝑛 ≥ 𝑛0 , therefore, by the definition of 𝑄𝛼 (π‘₯𝑛 ),
πœ€
𝑁 (π‘₯𝑛 − 𝑏, 𝑠 + ) ≥ 𝛼 ∀𝑛 ≥ 𝑛0 , ∀𝑏 ∈ 𝐴.
2
Thus for each 𝑏 ∈ 𝐴 and 𝑛 ≥ 𝑛0 ,
𝑁 (π‘₯ − 𝑏, 𝑑)
= 𝑁 (π‘₯ − 𝑏, 𝑠 + πœ€)
πœ€
πœ€
≥ min{𝑁 (π‘₯ − π‘₯𝑛 , ), 𝑁 (π‘₯𝑛 − 𝑏, 𝑠 + )}
2
2
≥ min{𝛼, 𝛼}
= 𝛼.
By the definition, 𝑦 ∈ 𝑄𝛼 (π‘₯).
β–‘
Corollary 2.11. Let 𝐴 be a fuzzy bounded subset of 𝑋 and π‘₯ 7→ 𝑄(π‘₯) be the fuzzy
farthest point map. If π‘₯𝑛 → π‘₯ and π‘ž(π‘₯𝑛 ) ∈ 𝑄(π‘₯𝑛 ) for each 𝑛 and π‘ž(π‘₯𝑛 ) → 𝑦. Then
𝑦 ∈ 𝑄(π‘₯).
Proof. Use Theorem 2.10 and Lemma 2.9.
β–‘
144
A. K. MIRMOSTAFAEE, M. MIRZAVAZIRI
3. Applications in traditional normed spaces
In this section, we state some results of farthest point problems as easy consequences of the corresponding results in fuzzy mathematics.
Let (𝑋, βˆ₯ ⋅ βˆ₯) be a normed linear space and 𝐴 be a bounded subset of 𝑋. Define
the set valued map 𝑄(𝐴, .) : 𝑋 → 2𝐴 by
𝑄(𝐴, π‘₯) = {π‘Ž ∈ 𝐴 : ∣∣π‘₯ − π‘Žβˆ£βˆ£ = sup{∣∣π‘₯ − π‘βˆ£βˆ£ : 𝑏 ∈ 𝐴} }.
If there is no danger of ambiguity, we denote 𝑄(𝐴, π‘₯) simply by 𝑄(π‘₯). If for each
π‘₯ ∈ 𝑋, the set 𝑄(𝐴, π‘₯) is nonempty, then 𝐴 is said to be remotal in 𝑋. If moreover,
𝑄(𝐴, π‘₯) is singleton for each π‘₯ ∈ 𝑋, then 𝐴 is said to be uniquely remotal in 𝑋.
The following Lemma shows that our definitions and results coincide with the
ordinary cases when we consider a traditional normed space equipped with the
structure mentioned in Example 2.2.
Lemma 3.1. Let (𝑋, ∣∣ ⋅ ∣∣) be a normed space and 𝐴 be a bounded subset of 𝑋.
Then ∩𝛼∈(0,1) 𝑄𝛼 (𝐴, π‘₯), where 𝑄𝛼 (𝐴, π‘₯) is in the sense of Definition 2.5 with the
fuzzy norm defined by Example 2.2, is equal to 𝑄(𝐴, π‘₯) in (𝑋, ∣∣ ⋅ ∣∣).
Proof. Let π‘Ž ∈ ∩𝛼∈(0,1) 𝑄𝛼 (𝐴, π‘₯). We may assume that π‘Ž βˆ•= π‘₯. Thus for each 𝛼 ∈
(0, 1) and each 0 < 𝑠 < 𝑑 and 𝑏 ∈ 𝐴 we have 𝑁 (π‘₯−π‘Ž, 𝑠) ≥ 𝛼 implies 𝑁 (π‘₯−𝑏, 𝑑) ≥ 𝛼.
𝑠
𝑑
= 𝑁 (π‘₯ − 𝑏, 𝑑) ≥ 𝑁 (π‘₯ − π‘Ž, 𝑠) = 𝑠+βˆ₯π‘₯−π‘Žβˆ₯
This is equivalent to the fact that 𝑑+βˆ₯π‘₯−𝑏βˆ₯
for every 𝑏 ∈ 𝐴. Thus for each 𝑏 ∈ 𝐴 and 0 < 𝑠 < 𝑑 we have
𝑑βˆ₯π‘₯ − π‘Žβˆ₯ ≥ 𝑠βˆ₯π‘₯ − 𝑏βˆ₯.
By letting 𝑠 → 𝑑, we see that
∣∣π‘₯ − π‘βˆ£βˆ£ ≤ ∣∣π‘₯ − π‘Žβˆ£βˆ£
(𝑏 ∈ 𝐴).
I. e. π‘Ž ∈ 𝑄(𝐴, π‘₯) in (𝑋, ∣∣ ⋅ ∣∣).
Conversely, suppose that π‘Ž ∈ 𝑄(𝐴, π‘₯) in (𝑋, ∣∣ ⋅ ∣∣), then for each 𝑏 ∈ 𝐴, ∣∣π‘₯ − π‘βˆ£βˆ£ ≤
∣∣π‘₯ − π‘Žβˆ£βˆ£. It follows that
𝑁 (π‘₯ − 𝑏, 𝑑) ≤ 𝑁 (π‘₯ − π‘Ž, 𝑑)
By the definition π‘Ž ∈ ∩𝛼∈(0,1) 𝑄𝛼 (𝐴, π‘₯).
(𝑏 ∈ 𝐴, 𝑑 > 0).
β–‘
Theorem 3.2. Let 𝐴 be a bounded subset of a normed space 𝑋 and π‘₯ 7→ 𝑄(π‘₯) be
the farthest point map. If π‘₯𝑛 → π‘₯ and π‘ž(π‘₯𝑛 ) ∈ 𝑄(π‘₯𝑛 ) for each 𝑛 and π‘ž(π‘₯𝑛 ) → 𝑦.
Then 𝑦 ∈ 𝑄(π‘₯).
Proof. Equip 𝑋 with the structure mentioned in Example 2.2 to be a fuzzy normed
space. Then 𝐴 is a fuzzy 𝛼-bounded subset of 𝑋 for each 𝛼 ∈ (0, 1), 𝑄(π‘₯) =
∩𝛼∈(0,1) 𝑄𝛼 (π‘₯) and 𝑄(π‘₯𝑛 ) = ∩𝛼∈(0,1) 𝑄𝛼 (π‘₯𝑛 ). Moreover π‘₯𝑛 → π‘₯ is equivalent to
π‘₯𝑛 →𝛼 π‘₯. The result is now achieved by Theorem 2.10.
β–‘
Corollary 3.3. Let 𝐴 be a bounded subset of a normed space 𝑋 and π‘₯ 7→ 𝑄(π‘₯)
be the fuzzy farthest point map. If π‘₯𝑛 → π‘₯ and π‘ž(π‘₯𝑛 ) ∈ 𝑄(π‘₯𝑛 ) for each 𝑛 and
π‘ž(π‘₯𝑛 ) → 𝑦. Then 𝑦 ∈ 𝑄(π‘₯).
CLOSABILITY OF FARTHEST POINT MAPS
145
References
[1] S. Cobzas, Geometric properties of Banach spaces and the existence of nearest and
farthest points, Abstr. Appl. Anal. (2005), no. 3, 259–285.
[2] S. C. Chang and J. N. Mordeson, Fuzzy linear operators and fuzzy normed linear
spaces, Bull. Cal. Math. Soc. 86, (2004) 429–436.
[3] T. Bag and S. K. Samanta, Finite dimensional fuzzy normed linear spaces, J. Fuzzy
Math. 11 (3) (2003), 687-705.
[4] T. Bag and S. K. Samanta, Fuzzy bounded linear operators, Fuzzy Sets and Systems
151 (2005), 513–547.
[5] M. Baronti and P. L. Papini, Remotal sets revisited, Taiwanese J. Math. 5 (2001), no.
2, 367–373.
[6] C. Feblin, The completion of a fuzzy normed space, J. Math. Anal. Appl. 174 (1993)
428–440.
[7] O. Kaleva and S. Seikkala, On fuzzy metric spaces, Fuzzy set and System, 12 (1984)
215–229.
[8] A. K. Katsaras, Fuzzy topological vector space II , Fuzzy set and System, 12 (1984)
143–154.
[9] I. Kramosil and J. Michalek, Fuzzy metric and statistical metric spaces, Kybernetica,
11 (1975) 326–334.
[10] A. K. Mirmostafaee and A. Niknam, A remark on uniquely remotal sets, Indian J. pure
appl. Math., 29,(8) (1998) 849-854.
[11] M. Sababheh and R. Khalil, Remarks on remotal sets in vector valued function spaces,
J. Nonlinear Sci. Appl. 2 (2009), no. 1, 1–10.
Department of Pure Mathematics, Centre of Excellence in Analysis on Algebraic
Structures,, Ferdowsi University of Mashhad, P.O. Box 1159, Iran
E-mail address: mirmostafaei@ferdowsi.um.ac.ir (A. K. Mirmostafaee); mirzavaziri@math.um.ac.ir(M.
Mirzavaziri)
Download