VECTOR-VALUED FUZZY MULTIFUNCTIONS
ISMAT BEG
Lahore University
of Management
SciencesDepartment of
Mathematics5792
LahoreCantt.,
Pakistan(Received October, 1999;
Revised February,2001)
Some
of the properties of vector-valued fuzzy multifunctions are studied.The notion of sum fuzzy
multifunction,
convex hull fuzzymultifunction,
close convex hull fuzzymultifunction,
and upper demicontinuous aregiven, and some of the properties of these fuzzy multifunctions are investi-
gated.
Key
words:Fuzzy Multifunction, Fuzzy Topological Vector Space, Fuzzy
TopologicalSpace, Fuzzy
Analysis.AMS
subject classifications:46S40, 47S40, 47H04, 04A72, 03E72,
46A99.1. Introduction
In
the last threedecades,
the theory of multifunctions has advanced in a variety of ways. The theory of multifunctions was first codified byBerge [8].
Applications of this theory can be found in economic theory, noncooperative games, artificial intelli- gence,medicine,
and existence of solutions for differential inclusions(see
Aubin andEkeland
[2],
Klein and Thompson[15],
Aubin and Frankowska[3],
and the referencestherein).
Recently, Heilpern[11],
Butnariu[9],
Albrycht and Maltoka[1], Papageor-
giou
[20],
Ozbakir and Aslim[19],
Tsiporkova-Hristoskova,De Baets
andKerre [22- 24],
andBeg [4-7]
have started the study offuzzy multifunctions and hemicontinuous fuzzy multifunctions. The aim of this paper is to study properties of vector-valued fuzzy multifunctions. The notion ofsum fuzzy multifunction, and upper demicontin- uous fuzzy multifunction are given, and some of the properties of these fuzzy multi- functions are investigated.2. Preliminaries
Let X
be an arbitrary(nonempty)
set.A
fuzzy set(in X)is
a function with domainX
and values in[0, 1].
IfA
is a fuzzy set and x EX,
the functionA(x)is
called thegrade of membership of x in
A.
The fuzzy setA c,
defined byAC(x)= 1-A(x),
isPrinted in the U.S.A.
@2001
by North Atlantic SciencePublishing Company 275called the complement of
A.
A(x) <_ B(x)
for each x EX.
and
Let A
andB
be fuzzy sets inX. We
writeACB
ifFor
any family{Ai}
I offuzzy sets inX,
we define:f’ Ail (x)=
infAi(x
ieI
J
ieI[ U IAiJ (x)
supIThe family v of fuzzy sets in
X
is called a fuzzytopology
forX (and
the pair(X, 7")
afuzzy topologicalspace)"
(i)
v contains every constant fuzzy set(function)
inX;
(ii) U
ieiAi
7- whenever eachA 7-(i
E1);
and(iii)
AflB
7" wheneverA, B
E r.The elements of r and their complements are called open and
closed,
respectively.A
neighborhoods of a fuzzy setA
ofa fuzzy topological spaceX
is any fuzzy setB
for which there is an open fuzzy setV
satisfyingA
CV
CB. Any
open fuzzy setV
that satisfiesA
CV
is called an open neighborhood ofA. A
fuzzy setA
in(X, r)
is calledfuzzy
compact
if and only if open covering ofA
has a finite subcovering. Similarly, we can define fuzzy Hausdorff spaces.A
net(x;)
eA in a fuzzy topological space(X, 7")
converges to a point x(denoted
by
xx):
if given a neighborhoodV
ofx,
there exists a"0
EA
such thatx,x
EV
whenever
, >_ "0" A
point xbelongs
to the closure ofafuzzy subsetC
ofX
ifthereis a net inC
converging to x.In general,
a net in a fuzzytopological
space may con- verge to several pointsbut in afuzzy Hausdorff space, the convergence is unique.A
single-valued mapf
from a fuzzy topological spaceX
to a fuzzy topological spaceY
is called continuous at some xEX
iff- I(V)
is a neighborhood ofx or each neighborhoodV
off(x). (Here f-l(v)is
the fuzzy set inX
defined by[(f- I(V))(z)- V(f(x))]. For
further details, werefer to[8, 10, 16-18, 25-27].
3. Fuzzy Multifunctions
A
fuzzy multifunctionf
from a setX
into a setY
assigns to each x inX,
a fuzzysubset
f(x)
ofY. We
denote this assignment byf:
X--,Y.We
can identifyf
with afuzzy subset
GI
ofX
xY
and[f(x)](y) G](x,y).
If
A
is a fuzzysubset ofX,
then thefuzzy setf(A)
inY
is defined by[f(A)](y)
sup[Gl(x,y
AA(x)].
xX
The graph
G
f off
is thefuzzy subset ofX
xY
associated withf,
G] {(x,y) X
xY:[f(x)](y) 0}.
by
Definition 3.1" The upper inverse
fu
ofa fuzzy multifunctionf: XY,
is defined[fU(A)](x)
yCYinf[(1-Gl(x,y))
VA(y)].
by
Definition 3.2: The lower inverse
fg
of a fuzzy multifunctionf" X---+Y
is defined[fg(A)](x) [Gi(x,y)
AA(y)].
yEY
Definition 3.3: The fuzzy multifunction
f: XY
is fuzzy closed valued iff(x)
is aclosed fuzzy set for each x. The terms fuzzy open valued and fuzzy compact valued are defined similarly.
Definition 3.4:
A
fuzzy multifunctionf:XY
between two fuzzy topological spacesX
andY
is"(a)
upper hemicontinuous at the point x, if for every open neighborhoodU
off(x), f’(U)
is a neighborhood of x inX.
The fuzzy multifunctionf
isupper hemicontinuous on
X
if it is upper hemicontinuous at every point ofX;
(b)
lower hemicontinuous atx,
if for every open fuzzy setU
which intersectsf(x), I(U)
is a neighborhood of x.As above, f
is lower hemicontinuous onX
if it is lower hemicontinuous at each point ofX;
(c)
continuousif it is both upper and lower hemicontinuous.For
a more detailed account of theconcepts
outlinedabove,
the reader is referred toBeg [5, 6]
and Tsiporkova-Hristoskova,De naets
andKerre [23, 24].
4. Fuzzy Topological Vector Spaces
Let E
be a vector space overK,
whereK
denotes either the real or the complex num- bers.Let A1,A2,...,A
n be fuzzy subsets ofE,
withA lxA2xA3x...xA
n denotingthefuzzy subset
A
inE
n defined byA(xl,x2,...,Xn) min{A(x),A2(x2),...,An(xn) }.
If
f:En--+E
is defined byf(xl,x2;...Xn) x +
x2+... + xn,
then the fuzzy setf(A)
in
E
is called the sum of the fuzzy setsA1,A2,...,An,
and it is denoted byA +
A2... + A
n.For
a fuzzy subsetA
ofE
and t ascalar,
we denotetA
as the image ofA
under the map g:EE, g(x)
ix. Ifa is a fuzzy set inK
andA
afuzzy set inE,
then the image inE
ofthe fuzzy setaxA,
a fuzzy subset ofKE[(a A) (t,x)=
min{a(t),A(x)}]
under the map h:KxEE, h(t,x)= tx,
is denoted bycA. A
fuzzy setA
inE
is called convex if for eachE[0,1], [tA+(1-t)A] (x)< A(x).
Theconvex hull of a fuzzy set
B
is the smallest convex fuzzy set containingB,
and is denoted byCo(B).
Given a topological space
(X, 7-),
the collectionw(7-)
of all fuzzy sets inX,
whichare lower
semicontinuous,
as a function fromX
to[0,1]
equipped with the usualtopology,
is a fuzzytopology
ofX.
The fuzzy topologyw(v)
is called the fuzzytopology
generated by the usualtopology
7-. The fuzzy usual topology onK
is the fuzzy topology generated by the topology ofK.
Definition 4.1"
A
fuzzy linear topology on a vector spaceE
overK
is a fuzzy topology 7- onE
such that the two mappings:f:ExE--,E, f(x,y)
x+
y, andh:
K E--E, h(t, x) tx,
are continuous when
K
has the usual fuzzy topology, withK
xE, E
xE
being the corresponding product fuzzy topologies.A
linear space with a fuzzy lineartopology
is called a fuzzy topological vector space.Lemma
4.2:In
a fuzzy topological vector spaceX,
the algebraic sumof
a compactfuzzy set and a closedfuzzy set is closedfuzzy set.
Proof:
Let A
be a compact fuzzy subset andB
be a closed fuzzy subset ofX. Let
a net
{x,x + Y,X}
inA + B
satisfyxx + yx--z.
SinceA
is compact fuzzyset,
we canassume
(by
passing to asubnet)
thatxA-x
EA.
The continuity of the algebraic operations imply"y)
(x + y)- x,x--z-
x y.Since
B
is a closed fuzzysubset, therefore, yEB. So z=x+yA+B. Hence A + B
is a close fuzzy set.Lemma
4.3:In
a fuzzy topological vector spaceX,
the algebraic sumof
twocompact fuzzy sets is a compact fuzzy set.
Proof: Similar to
Lemma
4.2.Theorem 4.4:
Let K
be a compact fuzzy subsetof
a fuzzy topological vector spaceX. Suppose K
CU,
whereU
is an openfuzzy subset. Then there is a neighborhoodW of
origin such thatK + W
CU.
Proof:
For
eachx K,
there is a neighborhoodV
x of origin such that x+ Vx
CU.
Choose an open neighborhoodWx
oforigin so thatWx + Wx
CVx
foreach x. Since
K
is a compact fuzzyset,
there is a finite set{Xl,X2,...,xn)
of pointswith
K
C[.Jni l(Xi + Wx
."Set W n
i=1W
xFor
every xK
there is some xsatisfying x x
+ Wx. F)r
this xi,+ w + + w) c + x; + w
xC x
+ Vxi
CU.
Hence K+WCU.
Theorem 4.5:
Let X
be afuzzy topological vector space.If
eachAi(i co n act, Co( [J
i--1Proof: Since the continuous image of a compact fuzzy set is a compact fuzzy set and the
Hence
DefinitionC0( J _4.6:1Ai) A
isfuzzy topologicala compact fuzzyvector spaceset. E
is called locally convexif it has
a base at the origin ofconvex fuzzy sets.
For basic concepts and details regarding fuzzy topological vector spaces, we refer to
[12-14,
17,181.
5. Vector-Valued Fuzzy Multifunctions
When the range space of a fuzzy multifunction is a vector space, then there are additional natural operations onfuzzy multifunctions.
Definition 5.1" If f,g’X---Y are two fuzzy multifunctions, where
Y
is a vector space, then wedefine:1. The sumfuzzy
multifunction f +
g by(f
/g)(x) f(x) + g(x) {y +
z:y Ef(x)
and z Eg(x)}.
The convexhullfuzzy
multifunction co(f)
off
by(co(f))(x) co(f(x)).
If
Y
is a fuzzy topological vector space, the closed convex hull fuzzymultifunction c(co(f)
off
by(cg(co(f)))(x) c(co(f(x)) ).
Lemmas
4.2 and 4.3 imply the following theorem.Theorem 5.2:
Let
f,g:X-Y
be twofuzzymultifunctions from
a fuzzy topological spaceX
into afuzzy topological vector spaceY:
1.
If f
is closed valued and g is compact-valued, thenf +
g is closed valued.2.
If f
and g are compactvalued,
thenf +
g is compact valued.Theorem 5.3:
Let
f,g:X---Y
be two fuzzymultifunctions from
a fuzzy topological spaceX
into a fuzzy topological vector spaceY. If f
and g are compact valued andupper hemicontinuous at apoint Xo, then
f +
g is upper hemicontinuous at xo.Proof:
Let f
and g be upper hemicontinuous fuzzy multifunctions at the point x0.Suppose f(xo) + g(xo)
CG,
whereG
is an open fuzzy subset ofY.By
Theorem4.4,
there is a neighborhoodV
oforigin such thatf(xo) + g(xo) + V
CG.
Select an openneighborhood
W
of origin withW+W
CY.
Sincef(xo)
Cf(xo) +W
andf(xo) + W
is open, the upper hemicontinuity off
at x0guarantees
the existence ofan open neighborhoodN
1 of x0 such thatf(N1)
Cf(Xo)+ W.
Similarly, there existsan open neighborhoodN
2 of x0 withg(N2) Cg(x o+W. Let N=N 1AN2,
thenN
isan open neighborhood ofx0and
(f + g)(N)
Cf(N1) + g(N2)
Cf(xo) + W + g(Xo) + W
CG.
It
further implies thatf
/g is upper hemicontinuousfuzzy multifunctions at x0.Theorem 5.4:
Let
f,g:X---Y
be two fuzzymultifunctions from
a fuzzy topological spaceX
into afuzzy topological vector spaceY. If f
and g are also lower hemicon- tinuous fuzzymultifunctions
at a point Xo, thenf
/g is also lower hemicontinuous fuzzymultifunctions
at xO.Proof:
Suppose [f(x0) + g(x0)
NU = ,
whereU
is open fuzzy subset. Then thereare y in
f(xo)
and zg(xo),
with y+
zU. Thus,
there is an open neighborhoodV
oforigin such that y+ V +
z+ V
CU.
Since yf(xo) (y + V)
andf
is lower hemi- continuous fuzzy multifunction at x0,f (y + V)
is a neighborhood ofx0.Similarly, g
(z/V)
is aneighborhood ofx0.Hence, ifxf (y/V)
Ng (zWV),
then
If(z) + g(x)] U .
Theorem 5.5:
Let fi: X-Y (i 1,2,...,n)
be(single-valued)
fuzzyfunctions from
a fuzzy topological space
X
into a fuzzy topological vector spaceY,
and the fuzzymultifunction I:X--Y
be given byf(x)-{fl(x),f2(x),...,fn(x)}. If
eachfi
iscontinuous at apoint xo E
X,
then thefuzzymultifunction f
is continuous at xo.Proof:
Suppose f(xo)= {fl(xo, f2(xo),...,fn(xo)}
CU,
whereV
is an open fuzzysubset of
Y.
Then:n
V f/- I(U)
i=1
is an open
neighborhood
of x0 such that x EV
impliesf(x)C U. It
further impliesthat the fuzzy multifunction
f
is upper hemicontinuous.Next,
supposef(xo)
r’lW -
for some open fuzzy subsetW
ofY.
Iffn(xo) W,
then
P-fl(W)
is a neighborhood of x0, and xGP
impliesf(P) MW :-. It
further implies that the fuzzy multifunction
f
is lower semicontinuous.Hence
the fuzzy multifunctionf
iscontinuous.Theorem 5.6:
Let fi:XY (i 1,2,3,...,n)
be(single-valued)
fuzzyfunctions from
a fuzzy topological spaceX
into a locally convex fuzzy topological vector spaceY,
andI:X--Y
be given byf(x)- {fl(x),f2(x),...,fn(x)}. If
eachfi
is continuous at some point Xo, then the convex hullfuzzymultifunction co(f)
is continuous at xo.Proof:
Suppose
that(co(f))(x)
CU,
whereU
is an open fuzzysubset ofthe locallyconvex fuzzy topological vector space
Y. By
Theorem4.5, (co(f))(x)
is compact.Theorem 4.4 further implies that there exists an open convex
neighborhood W
of origin satisfying(co(f))(Xo) + W
CU. From f(xo)
Cf(xo) + W
and the upper hemi- continuity off
at x0(Theorem 5.5),
there exists a neighborhoodV
of x0 such thatf(x)
Cf(xo)+ W
for each xY. So,
if xV,
then(co(f))(x)
C(co(f))(Xo)+
W
CU.
This also implies thatco(f)
is an upper hemicontinuous fuzzy multifunction at x0.Next,
let(co(f))(Xo)ClU :/=
for some open fuzzy subsetV.
Pick(i- 1,
2,n),
withn t
A i-1
andAifi(xo)
GU,i=1 i=1
The fuzzy function g:
XY
defined byg(x)- E = lifi(x)
is continuous at x0(by
definition offuzzy topological vector
spaces).
This implies that there exists aneigh- borhoodV
ofx0 such that xV
impliesi= llifi(x) U.
Therefore, ((Co)(I))(x)
glU :/:
for each xe V.
ThusCo(I)
is a lower hemicontin- uous fuzzy multifunction at x0.Hence, co(f)
is a continuous fuzzy multifunction atX 0
Theorem 5.7:
Let X
be a fuzzy topological space andY
be a locally convexfuzzy topological vector space. Letf:XY
be an upper hemicontinuous fuzzymultifunc-
tion at x.
If (cg(co(f)))(x)
is compact, thencg(co(f)
is an upper hemicontinuous fuzzymultifunction
at x.Proof:
Let (c(co(I)))(x)
CP
for some open fuzzy setP.
If(c(co(I)))(x)
iscom-pact, then there is a convex neighborhood
V
of origin withv + v c P (by
definition of local convexity and Theorem4.4). Lemma
4.2 furtherimplies that
(c(co(I)))(x) + c(V)is
a closed convex fuzzy set. Sincef
is an upperhemicontinuous fuzzy multifunction at x,
IU(f(x)+ V)is
a neighborhood of x. If ze fu(f(x)
/V),
thenf(z)
Cf(x)
/V,
so(cg(co(f)))(z)
C(cg(co(f)))(x) + cg(V)
c v + v c e.
Therefore, (ce(co(f)))(P)
includesfu(f(x)+ V). Hence ce(co(f)),
is an upper hemi- continuousfuzzy multifunction at x.Definition 5.8:
A
fuzzy multifunctionf:X-+Y
from a fuzzy topological spaceX
into a fuzzy topological vector spaceY
is upper demicontinuous iffU({y
EY:
h(y) <
a where h is a continuous linear fuzzy singlevalued function fromY
intoK})
is an open subset of
X.
Theorem 5.9:
A
compact valued fuzzymultifunction f:X-Y from
a fuzzytopological space
X
into afuzzy topological vector spaceY
is upper demicontinuousif
and only
if ce(co(f)
is upper demicontinuous.Proof:
Let H
CY
be an open half fuzzy space of the formH {y
where g:Y-K is a continuous linear fuzzy single valued function. Since g is a linear andcontinuous fuzzy function,
max{g(y):
yf(x)} max{g(y):
y(c.(co(f)))(x)}.
It
impliesf(x)
CH
if and only if(ce(co(f)))() c H.
demicontinuous if and only if
ce(c0(f)
is also demicontinuous.Hence f
is upperReferences
[2]
[41 [5]
[1]
Albrycht,a.
andMaltoka, M., On
fuzzy multivalued functions,Fuzzy Sets
andSystems
12(1984),
61-69.Aubin, J.P.
andEkeland, I.,
Applied Nonlinear Analysis, Wiley-Interscience 1984.Aubin, J.P.
andFrankowska, H.,
Set-Valued Analysis, Birkhauser,Boston
1990.Beg, I.,
Fixed points of fuzzy multivalued mappings with values in fuzzy orderedsets, J. Fuzzy
Math. 6:1(1998),
127-131.Beg, I.,
Continuity of fuzzymultifunctions, J.
Appl. Math. and Stoch. Anal.12:1
(1999),
17-22.[6] Beg, I., Fuzzy
closedgraph
fuzzymultifunctions, Fuzzy Sets Systems
115:3(2000),
451-454.[7] Beg, I.,
Operations on fuzzy multifunctions and fuzzy maximum principle, submitted.[8] Berge, C.,
TopologicalSpaces,
MacMillan,New
York 1963. English trans, byE.M. Patterson
ofEspaces
Topologiques Fonctions Multivoques,Dunod,
Paris 1959.[9]
Butanriu,D.,
Fixed points for fuzzy mappings,Fuzzy Sets
andSystems
7(1982),
191-207.[10] Chang, C.L., Fuzzy
topological spaces,J.
Math. Anal. Appl. 24(1968),
182-190.[11]
Heilpern,S., Fuzzy
mappings and fixed pointtheorem, J.
Math. Anal. Appl. 83(1981),
566-569.[12] Katsaras, A.K., Fuzzy
topological vector spacesI, Fuzzy Sets
andSystems
6(1981),
85-95.[13] Katsaras, A.K., Fuzzy
topological vector spacesII, Fuzzy Sets
andSystems
12[14]
[15]
[16]
[17]
[18]
[19]
[20]
[21]
[22]
[23]
[24]
[25]
[26]
(1984),
143-154.Katsaras, A.K.
and Liu,D.B., Fuzzy
vector spaces and fuzzy topological vector spaces,J.
Math. Anal. Appl. 58(1977),
135-146.Klein, E.
and Thompson,A.C.,
Theoryof
Correspondences: Including Applica- tions to Mathematical Economics, John Wiley andSons
1984.Li,
H.X.
andYen, V.C., Fuzzy Sets
andFuzzy
Decision Making,CRC Press,
London 1995.
Lowen, R., Fuzzy
topological spaces and fuzzy compactness,J.
Math. Anal.Appl. 56
(1976),
621-633.Lowen, R., A
comparison of different compactness notions in fuzzy topological spaces,J.
Math. Anal. Appl. 64(1978),
445-454.Ozbakir, O.B.
and Aslim,G., On
some types of fuzzy continuous multifunc-tions,
Bull. Cal. Math.Soc.
88(1996),
217-230.Papageorgiou,
N.S., Fuzzy topology
and fuzzymultifunctions, J.
Math. Anal.Appl. 109
(1985),
397-425.Pu, P.
andLiu, Y., Fuzzy topology I:
Neighborhood structure of a fuzzy point andMoore-Smith convergence,J.
Math. Anal. Appl. 76(1980),
571-599.Tsiporkova-Hristoskova,
E., De Baets, B.
andKerre, E., A
detailed study of direct and inverse images under fuzzy multivalued mappings,J. Fuzzy
Math 3(1995),
191-208.Tsiporkova-Hristoskova,
E., De Baets, B.
andKerre, E., A
fuzzy inclusion based approach to upper inverse images under fuzzy multivaluedmappings,Fuzzy Sets
and
Systems
85(1997),
93-108.Tsiporkova-Hristoskova,
E., De Baets, B.
andKerre, E.,
Continuity of fuzzy multivalued mappings,Fuzzy Sets
andSystems
94(1998),
335-348.Weiss,
M.D.,
Fixed points, separation and induced topologies for fuzzysets, J.
Math. Anal. Appl. 50