Professional Documents
Culture Documents
Managing Editor:
M. HAZEWINKEL
Centre for Mathematics and Computer Science, Amsterdam, The Netherlands
Volume 424
Fixed Point Theory and
Best Approximation:
TheKKM-map
Principle
by
Sankatha Singh
Department of Mathematics and Statistics,
Memorial University ofNewfoundland,
St John's, Newfoundland, Canada
Bruce Watson
Department of Mathematics and Statistics,
Memorial University of Newfoundland,
St John's, Newfoundland, Canada
and
Pramila Srivastava
Allahabad Mathematical Society,
Allahabad, India
Preface ix
vii
viii
Bibliography 205
Preface
Recently a great deal of work has been done in the field of nonlinear
analysis. The topic has grown very rapidly and has many interesting applications
in various fields.
In this book, an attempt is made to pick up only a small section of
the growing field and give an up-to-date development so that any young
researcher can get enough literature to start with the work, and those who
are in the field, can get ready references of most recent work.
The book has five main chapters. The first chapter gives a brief survey
of results on fixed point theory. This includes most recent work in great
detail. In the end, a brief section is devoted to a set of applications.
The second chapter deals with the best approximation and fixed point
theorems. The starting point in this chapter is the well-known result of Ky
Fan. Several extensions and unifications of this important result are given.
This theorem has many applications in fixed theory, and therefore, a good
deal of work is in fixed point theory, especially for non-self maps. Many
interesting results of this nature dealing with random approximation and
random fixed point theorems could not be accommodated because of the
size of the text.
The third chapter is devoted to the study of KKM-map principle where
its extensions and a series of its applications in various fields are also
included. Again, the main result given in infinite dimensional space is due to
Ky Fan. Several extensions, unifications, and equivalence of such results are
given in detail. As results in fixed point theory, variational inequality and
KKM-theory are very closely related, and therefore, this topic has numerous
important applications in a variety of areas of mathematics, mathematical
economics, game theory, and in applied mathematics/engineering.
Chapter 4 deals with results on the partition of unity argument and the
Brouwer fixed point theorems. In this chapter, most of the results are given
where compact sets are considered. The main theorem of Browder is used
to give several interesting applications. The basic tools used simplify the
proof and have been used in various results. A few results are also given
where paracompact set has been considered.
In Chapter 5, applications of the nonlinear analysis are given in the areas
like approximation theory, variational inequalities, and complementarity
problems. Recently, it has been shown by a few researchers that fixed point
theory, optimization problems, approximation theory, complementarity problems,
variational inequalities, and KKM-map principle are equivalent. Thus, a
great deal of interest is generated in the field and researchers in applied
mathematics, engineering, economics, and applied physics are working together to
obtain interesting results.
ix
x
S. Singh et al., Fixed Point Theory and Best Approximation: The KKM-map Principle
© Springer Science+Business Media Dordrecht 1997
2 CHAPTER 1
The value (x, y) is called the inner product of the vectors x and y. In
case K = IR then (x, y) = (y, x) for all x, y E X. A vector space X is called
an inner product space if an inner product has been defined on X.
C[a, b] with the su prem urn norm is not an inner product space. Also £P,
p =1= 2, is not an inner product space. If X is an inner product space, then
we define the norm of x E X as Ilxll = (x, X)1/2. All properties of norm are
satisfied. Indeed
Ilxll 2:: 0, Ilxll = 0 if and only if x = 0,
IIAxl1 = IAlllxl1 since IIAxW = (AX, AX) = AX(X, x) = IAI21IxW,
and
Ilx + yll ::; Ilxll + Ilyll·
A metric is defined using the norm. If (X, II . II) is complete, then the
inner product space is called a Hilbert space.
Examples of Hilbert spaces are 1R, C, IRn , Cn , £2, and L2 among others.
V(h, 12, ... .In; E) = {x EX: Ifi(X)1 < E, for every i = 1,2, ... , n}.
Then the family of all sets V(h, 12, ... , fn; E) for every choice of E and
any finite sequence h, 12, ... , fn, defines a base of neighbourhoods of zero
of a topology which is called the weak topology of X. (We denote by (j, x)
the value f(x) of f at x.) Under the weak topology, a normed linear space
X is a locally convex topological vector space. In the sequel, by the terms
weakly closed, weakly compact, weak closure of a set, we mean closed,
compact, closure of a set with respect to the weak topology, respectively.
The norm topology (or strong topology) and the weak topology of a
Banach space X are equivalent if and only if X is finite dimensional. A
sequence {x n } E X converges weakly to y E X if and only if lim (j, x n ) =
n~oo
Br={XEX:llxll~r},
and strictly monotone if (Tx - Ty, x - y) >0 for all x, y E C(x =I- y).
Definition 1.17 A mapping T : C -r X* is called hemicontinuous if for
any x E C, Y E X and any sequence {t n } E lR+ , T(x + tny) -t Tx (weakly)
as tn -r 0 and n -r 00.
Fixed Point Theory and Best Approximation: The KKM-Map Principle 7
J(O) = 0;
and, for x=/; 0,
Example. In the Banach space C[O, 1], with IIfll = maxo9:51 If(t)l, every
point of the bounded and convex set
of the form Tx = °
In analysis and functional analysis, we frequently come across equations
and Tx = y. The main problem is to solve these
equations. There are often several methods available, some of which are
used to find exact solutions and others to find approximate solutions. Fixed
Fixed Point Theory and Best Approximation: The KKM-Map Principle 11
point theory has also been widely used. In order to illustrate the fact, let
us consider the simple equation
x2 - 7x + 12 = 0.
x=
x2 + 12
7
. x 2 + 12
Let us consIder x = f(x) where f(x) = 7 .
Then x = 3 and x = 4 are two fixed points of f.
°
Thus, it is easy to see that the problem of finding the solution of an
equation g(x) = is the same as finding a fixed point of a function f(x)
where g(x) = f(x) - x.
In 1912, Brouwer proved the following important result.
Theorem 1.25 Let C be the unit ball in IRn and T : C --t C a continuous
function. Then T has a fixed point in C (or Tx = x has a solution).
The particular case of this theorem on the real line can be stated in the
following way:
Let T : [0,1] --t [0,1] be a continuous function. Then T has a fixed
point.
The proof of this result follows from the Intermediate Value Theorem.
Most of the problems arise in function spaces, and therefore, it is natural
to ask if the theorem can be extended to function spaces. Kakutani produced
an example that Theorem 1.25 does not hold, in general, for infinite dimensional
spaces.
Example. Let C = {x E £2: IIx\\ ~ I} be the unit ball in the Hilbert space
£2. For each x = {Xl, X2, X3, ... } in C, define a map T : C --t C by
This gives Xl = 0,X2 = O, ... ,Xn = 0, ... or Xo = {O,O,O, ... ,O, ... }. But,
=
this contradicts IIxoll 1. Hence, T is fixed point free.
Brouwer's Theorem was extended to infinite dimensional spaces by
Schauder in 1930 in the following way [246].
Theorem 1.26 Let X be a Banach space, C a compact convex subset of
X, and T : C -t C a continuous map. Then T has at least one fixed point
in C.
The compactness condition on C is a strong one. Many problems in
analysis do not have a compact setting. It is natural to modify the theorem
by relaxing the condition of compactness. Schauder proved a theorem for a
compact map. We define a compact map and then state the theorem.
Definition 1.27 Let T : X -t X be a map. Then T is called a completely
continuous compact map if T is continuous and T maps bounded sets to
precompact sets.
A compact map is always continuous but a continuous map need not be
compact. For example, an identity function is continuous, but it may not
be compact.
The following is known as the Schauder Fixed Point Theorem (second
form) [246].
Theorem 1.28 Let X be a Banach space, C a closed bounded convex subset
of X and T : C -t C a compact map. Then T has at least one fixed point
in C.
This theorem is of great importance in the numerical treatment of
equations in analysis.
In 1935, Tychonoff extended Brouwer's result to a compact convex
subset of a locally convex topological vector space [296].
Theorem 1.29 Let C be a nonempty compact convex subset of a locally
convex topological vector space X and f : C -t C a continuous map. Then
f has a fixed point.
Proof.
We show that I : Br --1 B r . Let x E B r . Then
Finally, consider the following exam pIe: Let X = [1, 00 ), and let f : X -t
X be given by fx = x + ~. Then f'(x) = 1 - ~ and hence d(fx, fy) <
d(x, y), x :I y. In this case f has no fixed point.
A mapping f : X -t X is said to be nonexpansive if d(fx, fy) ~ d(x, y)
for all x, y E X. A translation map f : IR -t IR defined by f(x) = x + p, p
a positive constant, is a nonexpansive map, but f has no fixed point. An
identity function is a nonexpansive map, and each point of the domain is a
fixed point. A nonexpansive mapping may not have a fixed point, or it may
have more than one. Therefore, it is interesting to study the problem of the
existence of solutions of fx = x and the properties of the solution set. For
nonexpansive mappings, the sequence of iterates X n +l = fx n , n = 0,1,2, ...
need not converge to a fixed point of f. For example, let f : [-1,1] -t [-1,1]
be given by fx = -x. Then for Xo =F 0, Xn+1 = fX n does not converge to
0= f(O).
We have the following for nonexpansive mappings.
Theorem 1.34 Let B be a compact convex subset of a normed space X
and let f : B -t B be a nonexpansive map. Then f has a fixed point.
Proof.
We show that {fn y } is a Cauchy sequence. Let ry = Yn' Given & > 0
choose N so large that d(Yn' Yn+t} < 8(&) for all n ~ N. Since d(Yn, Yn+1) =
d(YN,!YN) < 8 we get f(Be(YN)) C Be(YN). This gives that YN+1 = fYN E
Be(YN) and fi YN = YN+i E Be(YN) by induction, for all i ~ O. Then
d(Yr' Yi) < 2& for all r, i ~ N implying that {Yn} is a Cauchy sequence and
converges to Y EX.
We claim that Y = fy. Suppose, by way of contradiction, that d(y, fy) =
/3 > O. Choose Yn E Bf3/3(Y) such that d(Yn,Yn+1) < 8(/3/3). By hypothesis
f(B{3/3(Yn)) C B{3/3(Yn). So fy E B{3/3(Yn)' Since d(fy, Yn) ~ d(fy, y) -
d(Yn,Y) ~ ~/3 implies fy ¢ B{3/3(Yn), a contradiction. Thus d(fy,y) = O.
This completes the proof.
In the following, it is shown that solving f(x) = 0 is equivalent to finding
a fixed point for a suitable function g.
Suppose that f is a differentiable function on a closed bounded interval
[a, b] such that f(a) < 0 and f(b) > O. If a::; f'(x) ::; f3 on [a, b] for positive
constants a and /3, then fx = 0 has precisely one root.
Define 9 : [a, b] -+ [a, b] by gx = x - J.Lfx, J.L i= O. By the Mean Value
Theorem we have
Thus d(gx,gy) ::; kd(x, y) where k = max{I(1 - J.La)l, 11 - J.L/3I}· Choose J.L
such that 9 is a contraction map on the closed bounded interval [a, b].
For such a J.L, the solution x of the equation fx = 0 can be obtained by
iteration. More precisely, x = lim Xn where Xn = Xn-l - J.LfXn-l, Xo E [a, b].
For rapid convergence of {x n }, J.L and [a, b] should be chosen so that
J.Lf'(x) is close to 1 on [a,b].
Caristi, in [44], proved the following theorem where neither continuity
nor a Lipschitz condition is required.
The function f : X -+ R. is said to be lower (upper) semicontinuous at
Xo if liminf f(x) ~ f(xo) (lim sup f(x) ::; f(xo)) as x -+ Xo·
Theorem 1.36 Let X be a complete metric space and </> : X -+ [0,(0)
a lower semicontinuous function. If T : X -+ X is such that for each
x EX, d(x, Tx) ::; </>(x) - </>(Tx), then T has a fixed point.
Note. If T is assumed to be continuous, then the proof is a simple one.
Indeed, for any fixed Xo E X let Xn = Tnxo. Then
Now
N
L d(Xi+!' Xi)
i=O
= d(xI,Xo) +d(X2,xd + ... +d(XN+I,XN)
< </>(XO) - </>(Xl) + 4>(Xl) - 4>(X2) + ... + </>(XN) - </>(XN+l)
</>(XO) - </>(XN+!)
< 4>(XO).
SO {xn} is a Cauchy sequence, and, since X is a complete metric space,
{xn} converges to y EX. Since T is continuous, Ty = y.
If T : X -r X is a contraction map, that is, d(Tx, Ty) ~ kd(x, y), 0 ~
k < 1, then conditions of Caristi's theorem are satisfied by taking </>( x) =
l~kd(x, Tx).
The proof of Theorem 1.36 is obtained by using a well known result of
Takahashi [280]. We need the following definition.
Let f : X -r X be a function. Then f is said to be a proper map if
f- (C) is compact for each compact set C C X.
1
Theorem 1.37 Let X be a complete metric space, and let </> : X -r (-00,00]
be a proper lower semicontinuous function, bounded from below. Suppose
that, for each U E X with inf </>( x) < 4>(u), there exists a v E X such that
xEX
v and 4>( v) + d( u, v)
=1= U ~ 4>( u). Then there exists an Xo E X such that
4>(xo) = infxEx 4>(x).
Proof.
Suppose infxEx 4>(x) < 4>(y) for every y E X, and let U E X. Define
inductively a sequence Un, n E N, starting with Uo = u. Suppose Un-l EX
is known.
Then
Sn = {w EX: 4>(w) + d(Un_l'W) ~ </>(un-d}
is nonempty. Choose Un E Sn such that
° °
4>(x). So, from Theorem 1.37, we get an Xo E X with 4>(xo) = infxEx 4>(x).
For such an Xo E X, we have < d(xo, Txo) ~ 4>(xo) - 4>(Txo) ~ 4>(Txo)-
4>(Txo) = a contradiction.
Note. If X is a metric space and T : X -t X, then there exists a 4> : X -t
[0,00) satisfying d(x, Tx) ~ 4>(x) - 4>(Tx) if and only if L: d(Tnx, Tn+1x)
converges for all x EX.
The next two results require some preliminary definitions.
For x E X, the symbol O(x, 00) := {x, Tx, T 2 x, ... } denotes the orbit of
x. A map G: X -t [0,00) is said to be T-orbitally lower semicontinuous at
x if {x n } E O(x, 00) and limx n = x imply that Gx ~ liminfG(xn). The
metric space X is said to be T-orbitally complete if every Cauchy sequence
contained in O(x,oo) for every x E X converges in X. X is T-orbitally
complete at x if the convergence condition holds at that particular x.
If d(y, Ty) ~ 4>(y) -4>(Ty) for every y E O(x, 00), then L: d(Tnx, Tn+1x)
converges for this x since the sequence of partial sums is nondecreasing and
bounded above by 4>( x ).
The following is due to Bollenbacher and Hicks [17].
Theorem 1.38 Suppose that T : X -t X and 4> : X -t [0,00) where X is
a metric space. If there exists an x E X such that X is T -orbitally complete
at x and d(y, Ty) ~ 4>(y) - 4>(Ty), then the following hold:
Fixed Point Theory and Best Approximation: The KKM-Map Principle 19
Thus,
i
(2) g(8) = 8/(8 - Q(8)) is nonincreasing on (0,00),
2x +4,3::;x::;4
and
Q(8) = { i28,
8, 0::; 8 ::; 1
1 < 8.
Clearly, f is a generalized contraction since d(x, y) ::; 1 implies dUx, fy) =
Ifx - fyl = ~Ix - yl = Q(d(x,y)). On the other hand, if d(x,y) > 1, then
5
dUx, fy) ::; 21x - yl = Q(d(x, y)).
Fixed Point Theory and Best Approximation: The KKM-Map Principle 21
Proof.
Since the mapping C is one-to-one, therefore, C- l : C(X) -t X exists,
and from (III), we have
G-1F:X-tX.
We claim that C- l F is a contraction mapping. From (II)
d(CC-1x, GC-1y) 2: d(C-1x, C-1y),
Since X is a complete metric space, C-l F has a unique fixed point; that
is, C- 1 Fy = y, and the sequence of iterates Xn = (C- 1 F)nx, for x E X,
converges to a unique fixed point of C- 1 F.
In order to illustrate the theorem, we give the following example. Let
1
Fx = -2--' x E [0,1], and Cx = eX -1, x E [0,1]. Then F is a contraction;
+x
i.e.,
1
d(Fx, Fy) ::; kd(x, y), k = 2'
and C satisfies condition (II) since ICx - Cyl = lex - eYI = etlx - yl with
o ::; t
::; 1; hence, e t 2: eO = 1. Thus, the equation Fx = Cx has a unique
1
solution on [0, 1]. (Clearly, -2- = eX - 1 has a solution in [0, 1] by the
+x
classical theorem on a continuous function changing signs at the end points
of an interval.)
The next two theorems were given by Rhoades and Watson in [238].
In the metric space (X, d), let D represent the closure of the range of
the metric d, and let f : X -t X. Suppose that Q is a real-valued map
defined on D satisfying all three of the following:
22 CHAPTER 1
where
0 ~ r, r' ~ p }.
M(x,y) = max { d(rx,ry),d(rx,r'x),d(JSy,r'y):
o ~ s, s' ~ q
m(x, y) = max{d(x, y), d(x, fx), d(y, fy), d(x, /y), d(y, fx)},
then f has a unique fixed point, x, and fn xo -+ x.
Proof.
Let <p = {D C C : T(D) CD; Dis nonempty closed and convex}. Since
C E <p, <p is nonempty; <p can be partially ordered by set inclusion.
A chain 1f; in <p has the finite intersection property.
Now, as a bounded closed convex set in a reflexive Banach space, C is
weakly compact. Therefore, the family 1f; of weakly closed subsets of <p has
nonempty intersection; that is, G = nC,EIl1Ci =/; 0.
Moreover, G is closed convex, and invariant under T; that is, T(G) C G.
Therefore, G E <p is a lower bound for 1f;. Then by Zorn's lemma, <p has a
minimal element, say Co.
If Co is a singleton, {xo}, our proof is complete since T(Co) C Co would
then imply Txo = Xo. It is shown that Co is singleton.
Let co(TCo) denote the closed convex hull of T(Co). Since T(Co) C Co,
we have co(Co) = d > 0. Since C has normal structure, there exists a point
Xo E Co which is not diametral; that is, there exists B(xo, dt) such that
0< d1 < d and Co C B(xo, d1 ).
Let P = {x E Co: Co C B(xo,d 1 )} = Co n {nYEcoB(y,dt)}.
Then F C Co. F =/; Co since d 1 < d. Now F is closed and convex. That
F is invariant under T follows as given here. If x E F C Co, and y E Co,
we have by the nonexpansiveness of T, IITx - Tyll ::; IIx - yll ::; d1 , so that
TCo C B(Tx, dt}. But then B(Tx, d1 ) is a closed convex set containing
TCo, so Co = co(TCo) C B(Tx, d1 ), and, by the definition of F, we have
Tx E F.
Thus, F is a closed convex invariant proper subset of Co contradicting
the minimality of Co in <p. Therefore, Co contains just one point.
Remark. This theorem remains true if X is any Banach space and C is a
convex weakly compact subset having normal structure.
It is worth noting that all the conditions of Theorem 1.45 are necessary.
The following examples support this claim [55].
(i) C is closed: Let X = 1R be a Hilbert space and C the interior of the unit
ball; that is, C = {x: IIxll < I}. Define T : C -+ C by Tx = ~(x + a),
where IIali = 1, a is real. Obviously, T is nonexpansive, but T has no
fixed point.
(ii) C is bounded. A translation in a Banach space is an isometry and
obviously has no fixed points.
(iii) C is convex. Let X = 1R be a Hilbert space and C the set containing just
the two points a and b. Define T : C -+ C such that Ta = b, Tb = a.
Clearly T is an isometry, but has no fixed points.
(iv) X is reflexive. Let X = C[O, 1] be a Banach space with sup norm.
°
It is known that C[O, 1] is not a reflexive Banach space. Let D =
{f(t) E C[O, 1] : = f(O) ::; f(t) ::; f(l) = I}. Define T : D -+ X by
T f(t) = t· f(t), t E [0,1]. Then T(D) C D, and T has no fixed point.
24 CHAPTER 1
(v) X has normal structure. Let Co be the Banach space of null sequences,
and let C be the unit ball in Co. Define the mapping T : C -+ C by
T(cl, C2, ... ) = (1, CI, C2, .. .). Then T is a nonexpansive mapping from
C to itself but has no fixed points since (x}, X2, X3, ... ) = (l, Xl, X2, ... )
would imply that Xl = X2 = ... = 1 and, hence, (Xl, X2, ... ) rt. Co. In
this case, the Banach space X = CO does not have normal structure.
An immediate consequence of Theorem 1.45 is the following well-known
result, which was proved independently by Browder [31], Gohde [99], and
Kirk [150].
Proof.
Let {x n } C C be a sequence that converges weakly to an element Xo
of C, and {xn - T(x n )} a sequence that converges to an element Yo in X.
Then we have
This implies that a(Cn ) ::; kna(C) -t 0 as n -t 00 and completes the proof.
Let X be a metric space and T : X -t X nonexpansive. Then T is a
I-set con traction.
The following results have been given by Furi and Vignoli [91].
Theorem 1.62 Let T : C -t C be a 1-set contraction defined on a closed
bounded convex subset C of a Banach space X. Then
inf{lIx - T(x)11 : x E C} = o.
Proof.
Let Xo E C . Define T>. : C -t C by
Therefore, it follows from the result of Darbo [53] that T>. has at least one
fixed point x>. in C for any A, 0 ::; A < 1.
Furthermore, T>.(x) converges to T(x) uniformly on C as A -t 1. But,
IIx>. - T(x>')11 = liT>. (x>.) - T(x>.)II. Therefore, IIx>. - T(x>.)II-t 0 as A -t 1;
and, hence, inf{lIx - T(x) II : x E C} = o.
The following lemma of Martelli [181] is stated without proof.
Fixed Point Theory and Best Approximation: The KKM-Map Principle 31
Rx= {
rx
nxrr '
IIxll ~ r
x , IIxli ::; r.
Then R is called the radial retraction of X onto B.
The following lemma is due to Nussbaum [203].
Lemma 1.65 Let X be a Banach space and B the open unit ball of X about
the origin. Then the radial retraction R : X --t B is a J-set contraction.
Proof.
Let A C X be a bounded set. Clearly, R(A) C co( {O} U A).
Therefore,
Theorem 1.66 Let B be an open ball about the origin in a Banach space
X. If T : B -+ X is a densifying mapping that satisfies the boundary
condition (p), then F(T), the set of fixed points ofT in B, is nonempty.
Proof.
Define the radial retraction R : X -+ B. Then R is a I-set contraction
of X onto B.
Now, if for all x in B we define the mapping TI(x) = R(T(x)), then
Tl is a continuous mapping of B into B is also densifying. Indeed, since
T : B -+ X is densifying, R : X -+ B is a I-set contraction, and, therefore,
a(Tl (B)) = a(R(T(B))) :::; a(T(B)) < a(B). Hence, by Theorem 1.64, Tl
has at least one fixed point z in B. But then z is also a fixed point of T.
Indeed, if z E B, then T(z) = z since the assumption that IITzll 2:: r
gives T(z) = ~z, which contradicts the fact that IIzll < r. If z E Band
z is not a fixed point of T, then k = ~ > 1, which contradicts condition
(p). Thus, z is a fixed point of T and, hence, F = F(T) is a nonempty set
in B.
Corollary 1.67 If T : B -+ X is densifying and satisfies anyone of the
following conditions
(i) T(B) C B,
(ii) T(oB) c B,
(iii) IIT(x) - xll 22:: IIT(x) 112 -lIxI12,
for all x in oB,
then the set of fixed points F(T) of T is nonempty.
Proof.
By Theorem 1.66, it is sufficient to show that each of the given conditions
implies condition (p) . It is obvious that each of (i) and (ii) implies (p).
Hence, we must show that (iii) implies (p). Suppose T(x) = kx for some x
in oB. Then (iii) implies that (k - 1)2 2:: k 2 - 1 or that k :::; 1; that is, (p)
holds.
Corollary 1.68 Let B be the open unit ball in a Hilbert space H, and let
T : B -+ H be a mapping. Let To : B -+ H be a densifying mapping such
that the following two conditions are satisfied:
(i) (T(x), x) :::; IIx1l2, and
(ii) IIT(x) - To(x)11 :::; Ilx - T(x)lI, for all x on B.
Then F(T) c B is nonempty.
Proof.
By Theorem 1.66, it suffices to show that conditions (i) and (ii) imply
condition (p) for To. Thus, suppose To(x) = kx for some x in B and, without
loss of generality, assume k > O. Then (ii) shows that IITx - kxll :::; Ilx -
Fixed Point Theory and Best Approximation: The KKM-Map Principle 33
In view of this and the assumed closed ness of (I - T)(D), we see that
oE (I - T)(D). Hence, F(T) i= 0. If we assume that T is demicompact
and I-set contraction on D, then (I - T)(D) is closed and thus, F(T) i= 0.
Furthermore, F(T) is also compact since T is demicompact on D.
Remarks.
1. The set (I - T) (D) is certainly closed if T is densifying.
2. If D is also convex, and T(D) C D, then (p) holds on D.
Theorem 1.72 Let D be a bounded open subset of Banach space X and
T : D -7 X a i-set contraction such that T satisfies anyone of the following
conditions:
(i) There exists an Xo in D such that if T (x) - Xo = a( x - xo) holds for
some x E aD, then a ~ l.
(ii) D is convex and T(D) CD.
Then, if (I - T)(D) is closed, we have F(T) i= 0. In particular, if T is
demicompact and a i-set contraction, then F(T) is nonempty and compact.
34 CHAPTER 1
Proof.
The theorem is proved first for condition (i).
Consider the set G = D - Xo = {x - Xo:X ED}. It follows that G is
compact bounded open 0 E G, {)G = {)D-xo, and G = D-xo. Furthermore,
G is convex if D is convex.
Define T': G --t X by T'y = Tx - Xo, where y = x - Xo,X E D.
Then T' is a I-set contraction, and T' satisfies condition (p) on {)G.
Furthermore, (I -T')(G) is closed since (I -T')(C) = (I -T)(D). Thus,
T' and G satisfy all the conditions of Theorem 1.71. Hence, there exists a
y in G such that T'(y) = Yi that is, T(x) - Xo = x - Xo with x E D.
The second part of the Theorem also follows since the demicompactness
of T implies the same for T'.
Condition (ii) implies condition (i). Suppose condition (ii) holds and let
Xo be any fixed element in D. Then G = D - Xo is convex, 0 E G, and
T'({)G) C G since T'({)G) = T({)D) - Xo C D - Xo = G and D is convex.
Hence, by Remark 2 following Theorem 1.71, T' satisfies condition (p) on
{)G, that is, condition (i) is satisfied.
The study of fixed point theorems for multivalued mappings was initiated
by Kakutani [139], in 1941, in finite dimensional spaces and was extended
to infinite dimensional Banach spaces by Bohnenblust and Karlin, in 1950,
[16] and to locally convex spaces by Fan [90], in 1952.
Fixed point theorems for multifunctions are useful in control theory
and have been effectively used in tackling problems in economics and game
theory.
The developments of geometric fixed point theory for multifunctions
were initiated by Nadler, Jr. [195] and subsequently pursued by Markin
[180], Assad and Kirk [4], Browder [26, 27], Himmelberg [119], Lami-Dozo
[160], Lassonde [162, 163], and others.
Let X and Y be two sets. A multifunction (set-valued map) p from X
to Y, denoted by F: X --t Y, is a subset P ~ X x Y.
The inverse of F : X --t Y is the multifunction p-l : Y --t X defined
by (y,x) E p-l if and only if (x,y) E P. The values of F are the sets
F(x) = {y E Y : (x, y) E F}i the fibres of F are the sets F-1(y) = {x E
X : (x,y) E F} for y E Y. Thus, the value of F- 1 for y E Y is the fibre
P-l(y).
For A C X, the set
G( ) _ { {O}, if x #0
x - [-1,1], if x= 0
F(x) = { {O}, if x =0
[-1,1], if x #0
is lower semicontinuous but not upper semicontinuous.
Xa -+ X
Ya E F(xa) } => y E F(x).
Ya -+ Y
F = Fn 0 Fn- l 0 •.. F o,
that is,
FQ Fl F2 F.
F : Xo -t Xl -t X2 -t ... :..'f X n + l = Xo.
Such multifunctions arise in a natural way in minimax and coincidence
theory.
Definition 1.80 Let X, Y be topological spaces. A multifunction F : X -t
Y is said to be a Kakutani multifunction if
(i) F is upper semicontinuous, and
(ii) either F is single valued (in which case, Y is assumed to be a Hausdorff
topological space) or, for each x E X, F(x) is a nonempty compact
convex subset of Y (in which case, Y is assumed to be a convex set in
a Hausdorff topological vector space) .
Definition 1.81 A multifunction F : X -t Y is said to be a Kakutani
factorizable multifunction if F = Fn 0 Fn- l 0 .•• Fo , that is, if there is a
diagram
Fo Fl F2 F
F : X = Xo -t Xl -t X2 -t . . . ~ Xn+l = Y
where each Fi is a Kakutani multifunction. The multifunctions Fi are called
the factor functions and the spaces Xi are called factor spaces. We note that
if Fi is multivalued, then Xi+! is a convex set in a topological vector space.
The following is due to Lassonde [162].
Theorem 1.82 Let K be a nonempty convex subset of a locally convex
Hausdorff topological vector space E. If F : K -t K is a K akutani factorizable
compact multifunction, then F has a fixed point.
Let C be a subset of a Banach space X. For each x E C, let the inward
set of C at x, Ic(x), be defined by
Browder [27] considered the following interesting case where the domain
and range are different.
Theorem 1.83 Let C be a nonempty compact convex subset of a locally
convex topological vector space X and F : C ~ 2 x upper semicontinuous
with F(x) nonempty closed and convex for each x E C.
If, additionally, either F satisfies
(i) Fx n Ic(x) =10 for each x E C, or
(ii) Fx n Oc(x) =10 for each x E C,
then F has a fixed point.
(The proof will be given in Chapter 2.)
Definition 1.84 LetX be a metric space andCB(X) the family of nonempty
bounded closed subsets of X. A multifunction F : X ~ CB(X) is called
a Lipschitz mapping, with Lipschitz constant A ~ 0, if H(F(x), F(y)) ~
Ad( x, y), for any x, y EX. F is called nonexpansive if A = 1, and a set-
valued contraction if A < 1.
Theorem 1.85 Let (X, d) be a metric space and F : X ~ CB(X) a
Lipschitz mapping with Lipschitz constant A. If Xn ~ xo, then d(x n1 F(xn)) ~
d(xo, F(xo)); that is, d(x, F(x)) is a continuous function of x.
Proof.
Proof.
Let Xo E X and Xl E F(xo). Then there exists X2 E F(XI) such that
Thus,
For m > n,
(1.4)
40 CHAPTER 1
(1.6)
Tn: K -t 2X by
1 1
Tn(x) = (1- -)Tx +-q (1.8)
n n
Then Tnx E 2 x and Tn satisfies the Condition (1.7) since so does T. Each
Tn is a contraction map for n EN. Therefore, by Theorem 1.86, for each
n E N, there exists an Xn E K such that Xn E Tn(xn) [195J.
Therefore, by (1.8) we have
1 1
Xn E (1- -)Txn + -q.
n n
This implies that there is a Yn E Tx n , n E N such that
1 1
Xn - Yn = -q - -Yn·
n n
Since T K is bounded,
Xn - Yn -t 0 as n -t 00.
Proof.
Let Xo be the starcenter of K. Choose a sequence {k n } such that 0 <
k n < 1 and k n -+ 0 as n -+ 00. Define Fn : K -+ C(X) by Fnx =
knxo + (1 - kn)Fx, x E K. Then, each Fn is a (1 - kn)-contraction and
Fnx ~ K for each x E oK. By Theorem 1.86, there exists an Xn E K
such that Xn E Fnxn. This implies that there is a Yn E FX n such that
Xn = knxo + (1 - kn)Yn. By the weak compactness of K, we can assume,
without loss of generality, that {xn} converges weakly to some element
x EK.
Since IIx n - Ynll --t 0 as n -+ 00 and I - F is demiclosed, we have
o E (I - F)x; that is, x E Fx.
The following is due to Ko [154].
Proof.
Let Xo E K. Choose a sequence {k n } such that 0 < k n < 1 and k n -+ O.
Define the mapping Fnx = knxo + (1 - kn)Fx for all x E K. Then, by
Fixed Point Theory and Best Approximation: The KKM-Map Principle 43
Theorem 1.86, Fn has a fixed point Xn for each n. Hence, there exists a
Yn E FX n such that
=
Xn knxo + (1 - kn)Yn.
If I - F is demiclosed on K, then by the weak compactness of K there
exists a subsequence {xnJ of {xn} which converges weakly to an element
Z in K.
g(x) = ~b k(x,y)g(y)dy,
h(x)y(x) = f(x) + l a
b(X)
k(x, t)y(t)dt.
h(x)y(x) = f(x) + l x
k(x, t)y(t)dt.
46 CHAPTER 1
l
h(x) = 1, we get
y(x) = f(x) + x
k(x,t)y(t)dt,
a Volterra integral equation of the second kind. In case b( x) = b, a constant,
we get
h(x)y(x) = f(x) + lb k(x, t)y(t)dt.
If h(x) = 0, it is called a Fredholm equation of the first kind, and if h(x) = 1,
it is called a Fredholm equation of the second kind. Respectively, these
equations are
with
y(O) 1,
y'(O) 0,
reduces to an integral equation
(x-b)(e-a) c <_ x
b-a , ..
{
k(x,~) =
(x-a)(e-b) c >_ x',
b-a , ..
The shape of a transmitted signal y(t) over a finite time duration and
with finite frequency bandwidth, a, must satisfy the integral equation
\()-1
Ay t -
1
-1
sin a(t - T) d
7r
()
t- T
T,
1
H(p,) = 1 + -2Wop,H(p,)
11
o
H(p/)
--,dp,', 0 :S p, :S 1,
P, + p,
where H(p,) is unknown, Wo is a parameter, with 0 :S Wo :S 1 (see Leggett
[166]).
The nonlinear integral equation of the form
Then T is a contraction mapping for IAI < Md-a)' If Yl and Y2 are two
continuous functions, then
(1.10)
for all x E X, A E (0,1), and f is continuous for all y!, Y2 E lR. Then
there is a unique continuous function 9 : X -t 1R such that gx =
f(x,gx) for all x EX.
Consider T : C(X) -t C(X) given by
Tg(x) = f(x,g(x)).
T is continuous since f is. It is easy to show that T is a contraction.
Thus by the Banach Contraction Principle, T has a unique fixed point;
that is, a continuous function 9 : X -t 1R such that
</>(x) = Yo + 1 x
xo
f(t, </>(t))dt (1.12)
</>(x + h) - </>(x)
h = *[l:+ h
f(t, </>(t))dt -1: f(t, </>(t))dt]
= !lx+h
h x
f(t,</>(t))dt = f(l, </>(I))h = f(I,</>(I)),
h
where x < t < x + h.
Taking the limit as h ~ 0 we get </>'(x) =
f(x, </>(x)). From (1.12),
</>(xo) = Yo + J:oo f(t, </>(t))dt = Yo means that </> is a solution of (1.11).
(iv) Next, consider the initial value problem
dy
dx = f(x, y), y(xo) = Yo· (1.13)
in R.
Then for sufficiently small k > 0, there is a unique solution of (1.13)
on [xo - k,xo + k].
Proof.
A function h satisfies (1.13) if and only if hx = Yo + f(t, h(t))dt, J:a
which is true if and only if h is a fixed point of T defined on C[a, b] by
(Th)(x) = Yo + lxox
f(t, h(t))dt.
dl (Th}, Th 2 ) = maxe-ptl
t
r (f(x, hI (x)) -
Jo
f(x, h2 (x))dxl
50 CHAPTER 1
1211, that is, d(Tn h, Tn h) ::; )..n Mn (b~~)" d(h, h). So Tn is a contraction
and T has a unique fixed point.
(vi) Consider the nonlinear integral equation of the form
Assume that k(x,y) is continuous for all x,y E [0,1] and g(y,t) is
continuous for all y E [0,1] and all t such that
L is constant and Ik(x, y)1 ::;; M. Then (1.14) has a unique solution in
L2[0, 1] provided 1)..1 < Lk·
Fixed Point Theory and Best Approximation: The KKM-Map Principle 51
11
Define T by
T f = ), k(x, y)g(y, fy)dy,
1:
(vii) A nonlinear integral equation of the type
that is,
IIFul - CUt - FU2 + cU211 ::; 1](c)lut - u21,
where 1](c) = max{la - cl, 1,8 - el}. An abstract version of an equation
of type (1.15) is the equation
g=x+KFx, (1.16)
(vii) The contraction mapping principle is useful in the existence and uniqueness
of trajectories f(t) E Gl[O, T] that are solutions of nonlinear ordinary
differential equations of the form
d
dtf(t) = G(t,J(t)), 0 < t ::; T, f(O) = fo (1.17)
IIG(t, ft} - G(t, 12)11 ::; Mllft(t) - h(t)ll, for all t E [0, T].
Since G(t, f) is continuous, IIG(t, fll ::; k on some bounded region
containing (0, fo).
Choose T, the time interval, so that TM < 1 and It I < T, Ilf(t) - fOil ::;
kT. With G[-T, T], the space of continuous functions on It I < T with
metric d(ft(t),h(t)) = SUPtE[O,T]lft(t) - h(t)l, (1.17) is equivalent to
1- k }
Ixl ::; a min { a, lei + k b .
1
ll(x) = 1 + -2Wxll(x)
11o x
ll(y)
--dy, 0::; x ::; 1.
+y
(1.18)
1
2W1n2 ,
or
IIH1 - Holl < .34658W.
If the operator T in C[O, 1] defined by
l
J; K(x, y)fydy arise where a = f(O) and K are given. Consider the integral
equation fx = a+ J; k(x, y)fydy. If, on a suitable interval, sup x
IK(x, y)ldy =
k < 1, then fx = a + foX K(x, y)fydy has a unique solution, and the
sequence Xn+1 = fX n converges to the solution of integral equation. For
example, if we take fx = 1 + f; fydy, then T f = 1 + f; fydy, which gives
TO = 1, T 20 = 1 + X, T 30 = 1 + X + x 2/2, ... ,. Thus fx = exp X satisfies
l
the equation
fx = 1 +
x
fydy.
If we take the Volterra integral equation of the second type, fx = gx +
f: K(x, t)ftdt. In the case where f is continuous for 0 :s: X ~ a and if
K (x, t) is continuous for 0 :s: x :s: a, and 0 :s: t :s: x, then the sequence
Yn(x) = g(x) + l x
K(x, t)Yn_l(t)dt, n = 1,2, ... ,
y(x) = g(x) + l x
K(x,t)y(t)dt.
l
For example, take
x
y(x) = x - (x - t)y(t)dt.
°
fx n , n = 0,1, ... converges to a fixed point of f if and only if lim IXn+I -
Xn I = as n 4- 00.
Proof.
If {xn} converges to a fixed point, then lim(xn+l-x n ) = 0. Iflim(xn+l-
xn) = 0, then {xn} converges to a fixed point. It is shown by contradiction.
Assume that {xn} does not converge. Since [0, 1] is compact, there exist
two subsequences of {xn} that converge, ZI and Z2, respectively. Assume
that ZI < Z2.
It is sufficient to show that fx = x for all x in (Zb Z2). Suppose this is
not the case, and an x exists in (zt, zz) such that fx =I- x. Then, a 8 >
could be found such that [x - 8, x + 8] C (Zl' Z2) and fxo =I- Xo whenever Xo
°
°
in (x - 8, x + 8). Assume Xo - fxo > (a similar argument can be given for
the other case as well), and choose N so that Irx - r+Ixl < 8 for n > N.
Since Z2 is a cluster point, a positive integer n > N must exist such that
fn x > x. Let no be the smallest such integer. Then ro-1x- < x < fn ox
and since fn ox - fno-IX < 8 we have fno-Ix - fno-IX < x, a contradiction.
It is interesting to note that for a continuous function f : [a, b] 4- [a, b],
the following statements are equivalent.
1. f is asymptotically regular; that is, limn-+oo IXn+I - xnl =
in [a, b] where Xn+I = fx n.
°for all x
2. f admits no cycle of order 2; that is, if for each x in [a, b] with x =I- fx,
then x =I- j2x.
3. {r(x)} converges for each x in [a, b].
For nonexpansive mappings, we have the following due to Bailey [6].
If f[a, b] -+ [a, b] is a nonexpansive mapping, then Xn+I = Hfxn + x n }
converges to a fixed point of f.
The following is due to Hillam [118].
56 CHAPTER 1
Theorem 1.106 Let f [a, b) -+ [a, b) be a map such that If X - fyl <
klx - yl for all x, y E [a, b] .
Let Xl E [a, b] be arbitrary, and let Xn+1 = (1- >')xn + >.fxn where>. = lik'
Then {xn} converges monotonically to z E [a, b) where fz = z.
Proof.
Assume that fXn =1= Xn for all n. Suppose fXI > Xl, and let p be the
first point greater than Xl such that fp = p.
Since fXI > Xl and fb :S b, the continuity of f implies there is such a
point.
We claim that if Xl < X2 < . .. < Xn < p and fXi > Xi for i = 1,2, ... , n,
then fX n+1 > Xn+1 and Xn+1 < p.
Suppose p < Xn+l, then Xn < P < Xn+l, thus, 0 < p- Xn < Xn+1-Xn =
>.(fxn - xn).
Hence
that is, klx n - pi < Ifx n - fpl, a contradiction since f is of Lipschitz class.
Thus, Xn+l < p and fXn+I > Xn+1 by the choice of p.
By using induction, it follows that Xn < Xn+I < p for all integers n.
Since a bounded monotone sequence converges, {xn} converges to some
point y.
Now Iy - fyl :S Iy - xnl + IXn - fXnl + Ifx n - fyl = Iy - xnl + il xn+l -
xnl + If X - fy l -+ 0 as n -+ 00. Thus, y = fy.
Similar arguments hold if f Xl < Xl .
Therefore, xN+1 - XN = an(J(YN) - YN) > 0, and XN+l > XN > x*. By
induction, each Xn > x* for n ~ N, contradicting that 6 is a limit point.
Similarly, f(x*) < x* leads to the contradiction that 6 is a limit point.
Therefore, every point of (6,6) is a fixed point of f.
It then follows that {xn} converges. Call the limit~. Suppose f(~) >~.
With i = (J(~) - ~)/2, since Xn --+ ~ and f is continuous, we can find an
N such that n > N implies f(YN) - XN > i. Thus, limm(xN+m - XN) ~
limm L:~~ E an = 00, a contradiction to the fact that each Xn E J. The
assumption f(~) < ~ also leads to a contradiction, so that ~ is a fixed point.
then Xn+1 = fXn gives, for Xo = 1 say, X2n = 1 and X2n+l = 0 for n ~
1. Also, rotation about the origin in the plane is another example where
Xn+l = fXn(xo =1= 0) does not converge.
An early result, concerning the convergence of the sequence of successive
approximations, is due to Krasnoselskii [157].
Theorem 1.108 Let X be a uniformly convex Banach space and C a closed
convex bounded subset of X . If f : C --+ C is nonexpansive and f(C) is
compact, then the mapping defined by
1 1
f lX = -x + -fx
2" 2 2
has the property that its sequence of iterates always converges to a fixed
point of f.
Since f and h have the same fixed points, the limit of a convergent
2
sequence given by
f>..x = AX + (1 - A)fx
is a nonexpansive map and has the same fixed points as f. Schaefer [245]
proved that the sequence Xn+1 = AX n + (1 - A)fxn converges to a fixed
point of f under the assumptions of Theorem 1.108. Since a nonexpansive
Fixed Point Theory and Best Approximation: The KKM-Map Principle 59
mapping may have more than one fixed point, the limit of Xn+I = AX n +
(1 - A)fxn can depend on Xo and on A as well.
In 1966, Edelstein [74] succeeded in relaxing the condition of uniform
convexity and proved Theorem 1.108 for strictly convex Banach spaces.
Diaz and Metcalf [58] gave a theorem for strictly convex Banach spaces for
sequences of the type
Xn+I = AXn + (1 - A)fxn (see Kirk [149]).
In 1971, Petryshyn [223] extended the result to densifying nonexpansive
mappings. Recall that a nonexpansive mapping f with f(C) compact is a
special case of a densifying mapping.
Theorem 1.109 Let X be a strictly convex Banach space, C a closed
bounded convex subset of X, and f : C --t C a densifying nonexpansive
mapping. Let /Ax = AX + (1 - A)fx for constant A, with 0 < A < 1. Then,
for each Xn E C, the sequence Xn+I = AX n + (1 - A)fx n , n = 0,1,2, ...
converges strongly to a fixed point of f in C.
Proof.
The set of fixed points of f, F(J) =I 0. Also, F(J) = F(/A). Since f
is densifying and nonexpansive, and 0 < A < 1, /A is also a densifying
nonexpansive map of C into C.
Since /A is nonexpansive and X is strictly convex, we have that
In 1970, Dotson Jr. [68] considered the iteration process given below and
discussed the convergence of the sequence given by Xn+1 = (1 - cn)xn +
cnfxn.
Let C be a closed subset of a Banach space X and let f : C -t X. Let
{c n } be a sequence such thatCn E (0,1) for each n. Let Xl E C be such
that X n +l is defined by
X n+l= (1 - cn)xn + cnfxn
for each n. If 0 < Cn < 1 and E n diverges, then {xn}
C is a normal Mann
process [68].
Results in the same direction were also given by Reinermann [233] and
Rhoades [236].
Recently, Edelstein and O'Brien [79], and Ishikawa [132] independently
proved that even strict convexity in Theorem 1.108 is not essential. Edelstein
and O'Brien considered f>..x = )..fx + (1 - )..)x, (ff(xo) = xn) whereas
Ishikawa considered the sequence of the type
Since R(Txn - Tp, Xn - p) :S 0, cn (1- cn) 2: 0 and IITxn - Tpil :S IIxn - plI,
we get
that is,
This gives
n
IIXn+1 - pll2 :S {II[1- 2ck(l- ck)]}lIxl _ p1l2.
k=l
Note that for 0 :S c:S 1,0 :S 2c(1 - c) :S !.
L cn (1- cn) diverges, it follows that limn-too Ilxn+1 -
00
Since pil = o.
1
Hence, {xn} converges strongly to p.
The first nonlinear ergodic theorem for nonexpansive mappings, given
below, was proved by Baillon in 1975 [8].
Let C be a closed bounded convex subset of a Hilbert space Hand
f : C -t C a nonexpansive map. Then, for each x E C, the Cesaro means,
that is,
n-l
sn(x) = -1 '""' .
L..J P(x)
n i=O
converges weakly to some y E F(J).
First we give a few definitions. Let C be a closed convex subset of a
Banach space X and f : C -t C. Then f is said to be a Lipschitzian
mapping if there exists, for each integer n 2: 1, a corresponding real number
An > 0 such that
d(Tx, Ty) :s; q. max{d(x, y), d(x, Tx), dey, Ty), d(x, Ty), dey, Tx)}.
Suppose that {X n } is the Ishikawa type iterative scheme defined by
°
where < an :s; 1 and 0 :s; f3n :s; 1 satisfies {x n } CD. Then {x n } converges
to a fixed point of T in D if and only if there exists a closed
subset G of X such that
(i) d(Tx,p) :s; d(x,p) for xED and pEG,
(ii) liminfd(xn,G) = 0 as n -t 00.
Proof.
We first show the necessity. Let {x n } converge to x*, a fixed point of
T, and let G ={x*}. Obviously, G is a closed subset of X. Since T is
quasi-nonexpansive and Xn -t x*, conditions (i) and (ii) are true.
Now we prove the sufficiency. By (1.21) and condition (i) we have that
for all pEG,
Fixed Point Theory and Best Approximation: The KKM-Map Principle 65
Let £ > O. Then there exists an no such that d(xn' G) < £/2 for n ~ no.
Hence, if n, m ~ no we have
P(I - f) : C --7 C,
where P is a metric projection onto C.
If u is a fixed point of P(I - f), then P(I - f)u = u and ((1 - f)u -
u, u - v) ~ 0 for all v E C, that is, (- fu, u - v) ~ O. Hence, (ju, v - u) ~ 0
for all v E C and (1.25) is satisfied.
Similarly, if (ju, v - u) ~ 0 for all v E C, then u is a fixed point of
P(I - f)·
The following algorithm gives the solution of the variational inequalities.
Fixed Point Theory and Best Approximation: The KKM-Map Principle 67
and f strongly monotone; that is, there exists a constant a > 0 such that
where A(u) is a nonlinear continuous mapping such that A(u) E H'. The
inequality (1.26) is known as the general mildly nonlinear variational inequality.
If g(u) = u E C, the Problem (1.26) is equivalent to finding u E C such
that
(Tu, v - u) ~ (A(u)v - u), for all v E C. (1.27)
68 CHAPTER 1
u = F(u),
where
F(u) = u - g(u) + Pc[g(u) - pA(Tu - A(u))]. (1.33)
This formulation is useful in approximation and numerical analysis of variational
inequalities. One obtains an approximate solution of (1.26) by an iterative
algorithm for (1.33).
Algorithm 1.
Given Uo E H, compute un+! by the iterative scheme
SPECIAL CASES
If g(u) = u E C, then Algorithm 1 reduces to
Fixed Point Theory and Best Approximation: The KKM-Map Principle 69
Ip - 0' + ')'(k -
{32 2
1) I< J(a + ')'(k - 1)2 - ({32 - ')'2)k(2 - k)) k
{32 -')'2 ' < 1,
-')'
and
IIUn - U - pA(Tun - Tu) 112 ::; (1 - 2pa + p2 ,82) IIUn - U1I2. (1.40)
From (1.38), (1.39), (1.40) and by using the Lipschitz continuity of A, one
gets
lIun+! - ull < {(2}1 - 28 + (12)) + p, + }1 - 2ap + p2,82} II Un - ull
{k + p, + t(p)} II Un - ull
ellun - ull,
where
k 2} 1 - 28 + (12,
t(p) }1 - 2ap + p2,82,
and
e = k + p, + t(p).
Now t(p) assumes its minimum value for (5 = ;2 with t(p) = }1- a 2/,82.
We claim thate < 1. For p = (5, k + P'Y + t(P) < 1 implies that k < 1 and
a > ,(1- k) + }(,82 - ,2)k(2 - k). Thus, e = k + P'Y + t(p) < 1 for all p
with
Ip - a + ,(k - 1)
(.12 2 <
I
}(a + ,(k - 1)2 - (,82 - ,2)k(2 - k) k
(.12 2 ' < 1,
fJ - , fJ - ,
and
() = k + t(p) < 1 for k < 1, a> f3y'k(k - 2),
and
Ip - a I y'a 2 - f32(2k - k 2)
13 2 < 13 2 •
Thus, F has a fixed point, which is the solution of the problem (1.28)
[200].
Ky Fan's Best Approximation Theorem
2.1. Introduction
The Banach Contraction Principle, the Brouwer fixed point theorem, the
Schauder fixed point theorem, and a fixed point theorem for nonexpansive
maps due to Browder, Gohde, and Kirk are for self-maps; that is, for maps
where the domain and range are the same. These results have been extended
recently when the domain and range space need not be the same, but the
domain is a subset of the range. There are even results where the topologies
of the domain space and the range need not be the same. One of the earlier
results due to Rothe is stated below.
Let B be the closed unit ball of a Banach space X, I : B -+ X
continuous, 1(8B) C Band f(B) compact. Then I has a fixed point.
The condition that 1(8B) C B is, in general, sufficient to guarantee the
existence of a fixed point for f. Recently, weaker assumptions have been
considered and interesting generalizations have been obtained.
The importance of Ky Fan's best approximation theorem [86] is due to
its unifying nature. One can easily derive most of the fixed point theorems
under weaker assumptions as corollaries.
The well known best approximation theorem of Ky Fan has been of great
importance in nonlinear analysis, approximation theory, minimax theory,
game theory, fixed point theory, and variational inequalities.
Interesting extensions have been given by several researchers and a
variety of applications, mostly in fixed point theory and approximation
theory, has also been given by many.
Multivalued analogues also have been considered by researchers and
interesting applications in the study of fixed points of multifunctions have
been given by them.
Consider the function I : C -+ X, where C is a nonempty subset
of a normed linear space X. We seek a point x E C which is a best
approximation for fx; that is, seek an x E C such that
73
S. Singh et al., Fixed Point Theory and Best Approximation: The KKM-map Principle
© Springer Science+Business Media Dordrecht 1997
74 CHAPTER 2
·
11m d((l - h)x
h
+ hfx, C) < II x - f x.
II
h-+O+
Proof.
Let m : C -t 1R+ be defined by m(x) = min{lly - Ixll : y E C}.
Since I is continuous on C for each x E C there exists ayE C such that
m(x) = Ily - Ixll·
Define a set-valued function G : C -t 2c by
Proof.
Let Q be the metric projection on C. Define F(x) = Q(J(x)) for each
x E C.
Then F is upper semicontinuous and F(x) is nonempty compact convex
subset of C for each x E C. Since f(C) is relatively compact, so F(C) is
also relatively compact because the image of a compact set under an upper
semicontinuous map with compact point images is compact. So the result
follows from Himmelberg's theorem [119].
An interesting extension of Ky Fan's Theorem, established by Lin [175]
is given below for noncompact set C, continuity however is replaced by a
stronger condition.
Theorem 2.4 Let B be a ball of radius r and centre 0 in a Banach space
X and let f : B -t X be a continuous densifying mapping. Then there
exists a Yo E B such that Ilyo - fyoll = d(Jyo, B).
Proof.
Define the radial retraction R : X -t B by
if Ilxll::; r,
Rx= { x
rx
lfxlT if Ilxll ~ r.
Also, for each nonempty bounded subset A of B with a(A) > 0 we have
a(gA) = a(Rf A) ~ a(f A) < a(A).
Thus g is a densifying map and has a fixed point Yo = gyo = Rfyo [30].
Now,
That is,
A211Px - pyll2 + 2A(X - Px, Px - Py) ~ O.
This will be violated for small A unless (x - Px, Px - Py) ~ O.
(ii) (x - Px, Px - Py) ~ 0 implies that (x, Px - Py) ~ (Px, Px - Py).
Similarly, (y- Py, Py- Px) ~ 0 implies that (y, Py- Px) ~ (Py, Py-
Px); that is, (-y, Px - Py) ~ (-Py, Px - Py).
Adding we get
Put I - 1= T. Then I = I - T.
Since I is nonexpansive, Il/x - Iyll ::; Ilx - Yl12
Proof.
By Theorem 2.7, there is a Yo E C such that lIyo - fyoll = d(Jyo, C).
If fyo E C, then Yo = fyo. Otherwise Yo E BC, and since f(BC) c c,
fyo E C and hence Yo = fyo.
Browder raised the following question [29].
Let C be a closed convex subset of a Banach space X, and let f : C -+ C
be a nonexpansive mapping. For any k E [0,1) and any Xo E C, the mapping
defined by
ik(x) = kf(x) + (1 - k)xo
The following result was established by Singh and Watson [274] where
f is not necessarily a self-map andC is not bounded.
Theorem 2.10 Let H be a real Hilbert space and C a closed convex subset
of H. Let f : C --+ H be a nonexpansive mapping with f(C) bounded and
f(aC) ~ C. Suppose that 0 E C. Let fk(X) = kf(x) + (1 - k)xo for some
Xo E C and 0 < k < 1, k --+ 1, and let ikXk = Xk. Then Xk converges
strongly to Yo, where Yo is the fixed point of f closest to Xo.
Proof.
The fixed point set, F(J), of f is nonempty [275] and F(J) is closed
and convex [31]. So there exists a unique closest point to Xo, say Yo = fyo.
For the sake of convenience we take Xo = O. Now,
82 CHAPTER 2
that is,
This gives
Hence Xi - IXi -T o.
Since I - I is demiclosed [28], (I - f)x = 0; that is, Ix = x. Since
Ilxill ::; IIYoll, so Ilxll ::; IIYoll· But Yo is closest to Xo = 0, so Ilxll = IIYoll·
This implies that X = Yo, and so Xi ~ Yo weakly. Again
Proof.
Following the same proof as that of Corollary 2.13, Po f is a nonexpansive
and continuous I-set contraction map of cl co(Pof(S)) into cl co(Pof(S)).
Also, (I - Po f)(cl co(P 0 f(S))) is closed in X . By Theorem 2.12, there
exists a point u in 8 such that
Proof.
The function f is a I-set contraction map. Since f is semicontractive,
there exists a continuous map V : 8 x 8 --+ X such that f (x) = V (x, x) for
x E 8, V(·, x) is a nonexpansive map of S into X and V(x,·) is a completely
continuous map of 8 into X, uniformly for x in 8. Since the proximity map
P is nonexpansive from X to 8, it is easily seen that Po V has all the
properties which V has. Therefore P 0 f is a continuous semicontractive
(I-set contraction) map and (I - Po f)( cl co( Po f (S) )) is closed in X. By
Theorem 2.12 there exists a point u in 8 such that
Proof.
A LANE map f is a I-set contraction map. Let P be the proximity map
of X into S. Since f is a LANE map and P is a nonexpansive map, then
Po f is also a LANE map of S into S and 1- Po f is demiclosed. Now,
we claim that (I - Po J)(S) is closed. For y E cl((I - Po f)(S)), there
exists a sequence {x n } in S such that Xn - Po f(x n ) -+ y. Since S is weakly
compact, there exists a subsequence {x n;} of {x n } such that Xnj -+ xES.
Without loss of generality we assume that Xn -+ x. By the demiclosedness
of I -Pof, x-Pof(x) = y and y E (I -Pof)(S). Therefore (I -Pof)(S)
is closed in X. By Theorem 2.12, there exists a point u in S such that
Proof.
Assume that f satisfies condition (1). By Theorem 2.12 there exists a
point u in S such that Ilu - f(u)11 = d(J(u),S). Suppose f has no fixed
point in S, then 0 < Ilu - f(u)ll. To this u, there is a number>' such that
1>'1 < 1 and >.u + (1 - >.)f(u) = xES. Therefore
o < Ilu - f(u)11 = d(J(u) , S) ~ Ilx - f(u)11
= 1>.lllu - f(u)11 < Ilu - f(u)11,
86 CHAPTER 2
Theorem 2.25 Suppose that X and f are the same as in Theorem 2.23.
Then f has a nonzero fixed point u in Br,R if f satisfies anyone of the
following six conditions on the outer boundary 8BR.
(i) For each x E 8BR with Ilf(x)1I > R, there exists y in IBR(x) such that
lIy - f(x)1I < IIx - f(x)ll·
(ii) f is weakly inward; that is, f(x) E IBR(x) for each x E 8BR .
(iii) x i= )..f(x), for each x E 8BR with IIf(x)1I > Rand)" E (0,1).
(iv) IIf(x) - xII i= IIf(x)lI- R, for each x E 8BR with IIf(x) II > R .
(v) For each x E 8BR, with IIf(x)1I > R, there exists (\I E (1,00) such that
IIf(x)W~ - Rex ~ IIf(x) - x II ex .
(vi) For each x E 8BR with Ilf(x)1I > R, there exists f3 E (0,1) such that
IIf(x)II" - R" ~ Ilf(x) - xII"·
In this section, we discuss recent results given on cones and spheres. A
few fixed point theorems are derived as corollaries. Several mathematicians
have proved fixed point theorems on cones in Banach spaces and have given
interesting applications in various areas.
Let X be a real Banach space. A nonempty subset K of X is called
a cone if K is closed and whenever x, y in K and a, b in JR, a :2: 0, b ~ 0,
then ax+by in K. Set Kr = {x E K: Ilxll < r}, 8Kr = {x E K: Ilxll =
r},Kr,R = {x E K : r < Ilxll < R}, and Kr ,R = {x E K: r ~ Ilxll ~ R}.
Lin gave the following [173].
Theorem 2.26 Let f be a continuous densifying map from K R --+ K.
Then there exists a u in KR such that Ilu - full = d(fu, KR)'
Proof.
Define h : K --+ B(O, R) by
X, if Ilxll ~ R
{
hx = Rx/llxll, if Ilxll:2: R .
Then h is a continuous I-set contraction. Let gx =
hfx. Since K is a
cone, we get KR = B(O, R) n K and h : K --+ B(O, R) n K. This gives
9 : K R --+ K R. Since 9 is a continuous densifying map, it has a fixed point
say y = gy, [203] . Now, for this y in KR we have
Proof.
Define
if Ilxll ~ r,
R(x) = { ~~/lIxll, if Ilxll ~
r.
90 CHAPTER 2
IIg(x)1I = 11,~f(~)1I11 = r,
this implies that g(x) E Sr and 9 : Sr -+ Sr. From Massatt [184], 9 has a
fixed point in Sr, say u. Therefore
lIu - f(u) II IIg(u) - f(u) II = IIR(f(u)) - f(u)1I
Theorem 2.30 Let Sr, X and f be the same as in Theorem 2.29. Then f
has a fixed point whenever one of the following conditions is satisfied for
x E Sr with x =1= fx:
(i) There exists ayE I Br (x) satisfying
(iii) fx E IBr(x).
(iv) there exists ayE Br satisfying
AX + (1 - A)fx E B r .
a contradiction.
=
(ii) Let y AX + (1 - A)fx. If x =1= fx, then
Yk - Y --+ Yo - y,
94 CHAPTER 2
so
IIYa - YII ::; liminf IIYk - YII = d(y, C) ::; IIYa - Ylli
that is, IIYa - YII = d(y, C).
By the definition of {Yn} we get IIYni - YII -t d(y, C) = IIYa - YII. Since
X is a uniformly convex Banach space we get
d(x, M) ~ Ilx - Ynll ~ IIx - xnll + IIxn - Ynll = IIx - xnll + d(xn' M),
it followsthat IIx - Ynll --+ d(x, M). Since {Yn} ~ Q(A) ~ M and M is
approximatively compact set, the above relation implies the existence of a
Y E M and a subsequence {YnJ of the sequence {Yn} with Ynj --+ y. This
proves that Q(A) is a compact subset of M.
The following is given in [250].
Theorem 2.37 Let M be a nonempty convex subset of a normed linear
space X and let Q : X --+ 2M be the metric projection satisfying
(a) Q(x) # 0 for each x EX,
(b) Q maps compact subsets of X onto compact subsets of M and 9 : M --+
M is a continuous, almost affine onto map such that
for any compact set D ~ M,g-l(D)is compact. (2.3)
Then for any continuous mapping f : M --+ X with f(M) relatively compact,
there exists an x E M such that
Since 9 is an onto map, it follows by condition (a) that G(x) # 0 for any
x E M. Also, since 9 is almost affine and continuous, we deduce that G(x)
is closed and convex subset for each x E M. It is shown that G is an upper
semicontinuous multifunction.
Let A be a closed subset of M and x a limit point of G-l (A). Choose a
sequence {x n } ~ G-l(A) ~ M such that Xn --+ x. Since for each n, G(x n ) n
A # 0, choose a sequence {Yn} ~ M with Yn E G(x n ) n A. This implies
that for each n,
(2.4)
Let B denote the closure of the set f(M) and D = Q(B). By condition (b),
D is a compact subset of M. If C = g-l(D), then by (2.3) C is a compact
subset of M. Further, for each n,
Note that the conditions in Definition 2.38 imply that IIx-yll = d(y, M).
Clearly, a compact set is AWC. Further, since (2.5) implies that {x n }
is bounded, it follows that any subset of an infinite dimensional reflexive
Banach space is AWC but not necessarily compact.
Theorem 2.39 Let M be a nonempty convex and AWe subset of a normed
space X and 9 : (M, W) -+ (M, W) a continuous, almost affine, onto
mapping satisfying
Then for any continuous mapping f : (M, W) -+ (X, II . II) with f(M)
relatively compact in (X, II . II), there exists an x E M satisfying
(i) P(x) = {y E C : IIx - yll :s; IIx - zil for all Z E C} is nonempty for
each x E X and
(ii) P sends compact subsets of X onto compact subsets of C.
Let 9 : C -+ C be a continuous, onto, proper and g-l (z) an acyclic subset
of C for every z E C.
Then for every continuous map f : C -+ X with f(C) relatively compact
there exists a Yo E C such that
Fx = {y E C : gy E P(J(x))}.
Proof.
Define for each x E C, Qp(x) = {y E C : dp(Y, Fx) = dp(Fx, C)}. Since
F is continuous so Qp is upper semicontinuous. Since Qp(x) is nonempty
convex and closed, therefore, Qp has a fixed point by Fan's fixed point
theorem. That is, there is a point x in C such that dp(x,Fx) = dp(Fx,C).
Waters [303] gave the following for uniformly convex Banach space. We
use the following facts.
Note. Suppose that C is a closed subset of a uniformly convex Banach space
X, F : C -+ 2x is a compact valued multifunction and that a sequence {x n }
in C converges to x E C.
1. If F is upper semicontinuous, then there exists a subsequence {xnJ
such that d(Fx,C) ~ limid(Fxn.,C).
2. If F is lower semicontinuous, then there is a subsequence {x nj } such
that limjd(Fxnj'C) ~ d(Fx,C).
3. If F is continuous, then d(Fx, C) = limnd(Fxn,C),
Theorem 2.47 Let C be a closed and convex subset of a uniformly convex
Banach space X and F : C -+ K(X) a continuous multifunction. (K(X)
stands for the compact and convex subsets of X). If F( C) is compact, then
there exists an x E C such that d(x, F(x)) = d(F(x),C).
Furthermore, if d(x, F(x)) > 0 then x E BC [303].
Proof.
Define G : C -+ 2c by
that G(x) is convex for each x E C. Let). E [0,1]' and let YI, Y2 E F(x) so
that PYI and PY2 are in G(x). Then
These equalities imply that P(y) E G(x). Also, since P(Yn) E A and A
is closed, P(y) E A. This shows that G(x) n A =I 0,
and G is upper semicontinuous.
Let D = coG(C). Since cl G(C) is compact and X is complete, D is a
compact subset of C. Further G : D -t 2D is a point compact and convex
upper semicontinuous multifunction. So there exists an xED such that
x E G(x) (Ky Fan's Theorem). This implies that for some Y E F(x), P(y) =
x and that
IIP(y) - yll = d(F(x),C).
Hence,
aG(B) ::; aPF(B) ::; aF(B) < a(B) since G(B) C PF(B).
Therefore, G is densifying. By Theorem 2.48 there exists an x E C such
that x E G (x). Hence, there exists ayE F (x) so that
Proof.
Choose Yo: E F(xo:) and Y E F(x) such that dp(Yo:-w) = dp(F(xo:)-w)
and p(y - w) = dp(F(x) - w). By Lemma 2.51, there exists a z E F(x) and
a subnet {Yj3} of the net {Yo:} with Yj3 -t z. Let E > 0 and U = {u E E :
p(u - w) < p(y - w) + E}. Then, U is open and Y E F(x) n U. Consequently,
since F is lower semicontinuous, there is a neighbourhood V of x such that
F(v)nU /; 0 for each v E GnV. Since xj3 -t x, it follows that F(xj3)nU /;
o eventually. Thus, if zj3 E F(xj3) n U, then p(z{3 - w) < p(y - w) + E.
Further, zj3 E F(xj3) impliesthatp(Y{3-w) ~p(z{3-w) ~p(Y-W)+E and
hence p(z - w) ~ p(y - w) + E. This yields p(z - w) = p(y - w), that is,
dp(Fxj3 - w) -t p(z - w) = dp(Fx - w).
Proof of Theorem.
Let w E int(C) and p = p(w) E Jr. Define a mapping 1 : cl(C) -t [0,1]
by
l(x) = (max{l,dp(F(x) - wn)-l.
Note that for any x in cl(C) , 0 < l(x) ~ 1 and l(x)dp(Fx - w) ~ 1. Let
9 : cl(C) -t cc(E) be defined by
Then h(x) is a nonempty convex and compact subset of E and since g(x) ~
F(x), it follows that h is condensing with bounded range. Furthermore, the
last expression implies that Z E h(x) n cl(G) for any Z E g(x). The set-
valued map h is, in fact, upper semicontinuous; that is, h- 1 (A) is closed
for any closed set A in E. Indeed, let a net {xo:} ~ h-1(A) be such that
Xo: -t x E cl(G). Since h(xo:) n A/; 0, there exists for each 0:', a Yo: E g(xo:)
satisfying
(2.10)
Now by Lemma 2.51, there exists a subnet {Yj3} and ayE F(x) with
Yj3 -t y. By Lemma 2.53, we may assume that p(Y{3-w) = dp(F(x{3) -w) -t
dp(Fx - w). This implies that dp(Y - w) = dp(F(x) - w), that is, y E g(x).
Further, since l(xo:) -t l(x), it follows by (2.10) that h(x) n A/; 0, that is,
x E h-1(A). Thus, h satisfies the conditions of Theorem 2.52. Consequently,
there is a u E cl(G) with u E h(u). This implies that
We consider two cases: (i) dp(F(u) - w) ::; 1 and (ii) dp(F(u) - w) > 1. If
dp(F(u) - w) ::; 1, then l(u) = 1, and hence, u E g(u) ~ F(u), and in this
case, dp(u - Fu) = dp(F(u) - cl(G)) = O.
If dp(F(u) - w) > 1, then l(u)dp(F(u) - w) = 1. Choose a z E g( u) with
u = l(u)z + (1 -l(u))w. Then z - u = (1 -l(u))(z - w) and
dp(F(u)-u)::; dp(z-u) = (l-l(u))dp(F(u)-w) = p(f(u)-w)-1. (2.12)
g(x) = dp(Fx, K)
Example. Let X E ]R2 with the Euclidean norm and let K = [0,1] x {O}.
Clearly K is convex and compact.
Define F : K -+ 2x by
F(
a,
O)-{
-
(0,1), ifa=/:O
L = the line segment [(0,1), (1,0)], if a = O.
Fixed Point Theory and Best Approximation: The KKM-Map Principle 107
0, if An L =0
F-1(A) ={ K, if (0,1) E A
(0,0), if (0,1)~A,AnL#0.
F(a,O) = { (0,1),
[(0,1), (1,0)] U [(-1,0), (0, 1)],
if a =I°
if a = 0.
where [A, B] stands for the closed line segment joining points A and B in the
plane. Then F is not lower semicontinuous but Xo = (0,0) and Yo = (~, ~)
satisfy the conclusion of Theorem 2.56.
Browder proved the following extension of Schauder's fixed point theorem
[25]. It may be remarked that the sharpness of Browder's theorem stems
from p being a continuous convex map on K x E instead of being continuous
seminorm on E.
Theorem 2.57 Let K be a compact convex subset of a locally convex Hausdorff
topological vector space E and let I : K -+ E be a continuous map. Suppose
that p : K x E -+ [0,00) is a continuous convex map that satisfies the
condition: for each x =I lx, there exists ayE IK(X) with p(x , Ix - y) <
p(x, Ix - x) . Then I has a fixed point.
Fixed Point Theory and Best Approximation: The KKM-Map Principle 109
Since 9 is an onto map, the supposition implies that for each x E K there
is ayE K such that p(x, Fx - gy) < p(x, Fx - gx).
112 CHAPTER 2
Define a mapping 0 : K -+ 2K by
0(x) = {y E K : p(x, Fx - gy) < p(x, Fx - gx)}.
Then 0(x) is nonempty and since 9 is a (p - F) almost affine map, 0(x) is
convex for each x E K. We show that for each y E K,0- 1 (y) is an open
subset of K. To prove this, let {xa : 0' E 6} be a net in the complementary
set K\0- 1 (y) such that for some x E K, Xa -+ x. This implies that for each
O'E 6,
(2.18)
Choose for each 0', a Wa E FXa such that p(xa, Wa - gXa) = p(xa, FXa -
gXa). Since F(K) is compact, it follows that {w a } has a subnet converging
to some W E Fx. We may assume that Wa -+ w. Hence p(xa, Wa - gXa) -+
p(x,w - gx). Let Z E Fx be arbitrary and i > O. By Lemma 2.62, there is
a net {za : Za E Fx a , 0' ~ ,8} such that p(xa, Za - gy) ~ p(x, Z - gy) + i.
Consequently by (2.18)
p(xa, Wa - gXa) = p(xa, FXa - gXa) ~ p(xa, FXa - gy) ~ p(x, Z - gy)+ E .
The above inequalities imply that,
That is, p(u, Fu-gu) ~ p(u, Fu-z) for each Z E IK(9U)\K and consequently
for each Z E IK(gU),
In the above definition, the function F need not be convex valued even
if both FI and Fo are convex valued. Further, if F is any multifunction,
10 F has the property (S) where I denotes the identity mapping on E.
Lemma 2.64 Let E be a locally convex Hausdorff topological vector space
and K an approximatively p-compact convex subset of E. Let F : K -4 E
be a continuous compact multifunction with nonempty closed convex values.
If the multifunction G : K -4 E is defined by
Consider )..Yl + (1- )..)Y2 for 0 ~ ).. ~ 1. Now since )..SI + (1- )")S2 E K,
Proof.
Define f : K --+ K as follows:
f = f1 0 fo
where
dp(Fl(YO),K)
dp(F(xo), xo).
where A = {(Yb Y2) : Yb Y2 ;::: 0 and Yr + y~ ::; 4}. Here p denotes the usual
norm in R2, and Q(x, y) denotes the set of best approximations to (x, y)
from A.
It is easy to see that Fl and Fo are continuous multifunctions with
closed convex values and that Fo(K) is compact. Also, F has the property
(S) because for any (Xl, X2) E K, and the only point (x, y) E Fo((xI, X2))
which satisfies
Zp = {x E K: dp(x,F(x)) = O}
Proof.
Define f : K -+ K as follows:
Since Za --t Zo, we have dp(za, K) --t dp(zo , K). Since Q is upper
semicontinuous, it can be seen that Q(FI (cl(Fo(K))) is compact and hence
by the condition on g,g-I(Q(FI(clFo(K)))) is compact. Because
we may assume that Wa --t Wo. By the continuity of 9 we have gWa --t gwo.
Now we have
3.1. Introduction
Knaster, Kuratowski, and Mazurkiewicz proved a very important result
(KKM theorem) in 1929, presently it is known as the KKM-map principle.
This result is equivalent to the well known topological fixed point theorem
due to Brouwer. The KKM theorem gave a simplified proof of Brouwer's
theorem. Ky Fan [89] extended the KKM theorem to topological vector
spaces and gave several interesting applications in the fixed point theory,
minimax theory, and game theory. There have appeared several extensions,
unifications, and equivalent formulations of Ky Fan's theorem. Because of
its widespread applications and importance, it is now known as the KKM-
map theory. A very interesting paper due to Granas [101] is worth reading
on this topic as it includes a lot of applications. Recently, it has been shown
that the KKM theory, the fixed point theory, the variational inequality and
the geometric form of KKM-map principle all are equivalent (Results in this
direction due to Gwinner [104]; Tarafdar [293]; Mehta and Tarafdar [187];
Lassonde [163]; Park [212], [214]; Tan [285], [286]; Tan and Yuan [288]; and
Yuan [309] are of interest).
Lassonde [163] introduced the idea of c-spaces and proved results on
KKM theory. Recently, H-space introduced by Horvath has been an important
setting for H-KKM theory. Results in this direction due to Bardaro and
Ceppitelli [10, 11], Horvath [125, 126], Ding [59], Tan and Yuan [288],
and Tarafdar [289] are worth mentioning. A very brief introduction of the
HKKM theory will be given in the end . Park [212, 215] has taken a unifying
view and has given several important results in c-spaces and H-spaces.
Recently, further extensions are given with a variety of applications
in various nonlinear problems. It is also found that results from different
diverse fields, e.g., the KKM-map principle, the variational inequality, the
fixed point theorem, and the geometric lemma are equivalent.
121
S. Singh et al., Fixed Point Theory and Best Approximation: The KKM-map Principle
© Springer Science+Business Media Dordrecht 1997
122 CHAPTER 3
{I, 2, 3, ... ,n} of I. Given {I, 2, ... , n} apply Corollary 3.4 to the set
n n
A = {(x, y) EX x X : LPi(X - fy) 2:: LPi(y - fy)}·
1 1
Thus, by Theorem 3.3 nxEcGx I- 0; that is, Ilyo - fYol1 ::; Ilfyo - xii
for all x E C, or lIyo - fYol1 = d(fyo, C).
This theorem has applications in various fields. For example, the following
is a fixed point theorem derived from Theorem 3.8 [86].
Fixed Point Theory and Best Approximation: The KKM-Map Principle 125
Proof.
By Theorem 3.8, there is a Yo E C such that
Then
a contradiction, so Yo = fyo.
The following well-known result is due to Browder [27]. He proved it
by using the partition of unity and the Brouwer fixed point theorem. This
theorem has applications in many areas of mathematics. Here the KKM-
map principle is used to prove the theorem [101].
Theorem 3.10 Let C be a nonempty compact convex subset of a Hausdorff
topological vector space X, and let T : C --+ 2 c be a set-valued map such
that
(i) Tx is convex and nonempty for each x E C, and
(ii) T-1y is open for each y E C.
Then there is a Yo E C such that Yo E Tyo .
Proof.
Define G : C --+ 2 c by y t-+ C - T-1y. Then G(y) is nonempty closed
in C and, therefore, is compact. Note that C = U{T-1y: y E C}. Given
any Xo E C choose a Yo E Txo. Then Xo E T-1yo. Thus nyEcGy = n(C-
T-1y) = (UT-1y)c = ¢ and G can not be a KKM-map. Therefore, w =
n
Proof.
Since y sup f(x, y) is lower semicontinuous, its minimum min sup f(x, y)
I-t
xEC yEC xEC
on compact C exists. Let J.L = sup f(x, x) < 00. Define G : C ~ 2 x by
xEC
G(x) = {y E C: f(x, y) ~ J.L}. Clearly, G is a KKM-map and Gx
is closed in C by (i) and is compact in Case is compact. Theorem 3.3
implies that nxEcGx =1= 0. Hence, there is a Yo E C such that f(x, Yo) ~ J.L
for all x E C. This completes the proof.
The following result, known as the coincidence theorem, is due to Ky
Fan [87]. This follows by using the KKM-map principle [23].
Theorem 3.12 Let C C X and DeY be nonempty compact convex sets
in the topological vector spaces X and Y . Let F, G : C ~ 2D be two set-
valued mappings such that
(i) Px is open and Gx is a nonempty convex set for each x E C,
(ii) G-1y is open and p-ly is a nonempty convex set for
each y E D.
Then there is an Xo E C such that PXo n Gxo =1= 0.
Proof.
Let A = C x D and define H: A ~ 2XxY by (x,y) t-t A- (G-1y X Fx).
Then each H(x, y) is a nonempty set closed in A and, hence, is compact. For
any (xo, Yo) E A, choose an (x, y) E F-1yo X Gxo, then (xo, Yo) E G-1y x
Fx. Thus, A = U{G-ly X Px : (x,y) E A}. Consequently, n{H(x,y) :
(x, y) E A} = 0 and H is not a KKM-map. Therefore, there are elements
at, a2,' ", an E A such that co{ at, a2,'" ,an} is not contained in Ui=l H(ai)
n
so that w = LAiai f/. Ui=lH(ai). Because A is convex, w E A, so w =
i=l
A - Ui=lH(ai) = ni=1(G-1Yi x PXi).
Fixed Point Theory and Best Approximation: The KKM-Map Principle 127
n n n
Write w = (L AiXi, L AiYi). Then we get L AiXi E G-1Yi for each
~l ~l ~l
n
1, = 1,2,"', n, and L AiYi E FXi for i = 1,2"", n. This gives that
i=l
n n n
each Yi E G(L AiXi) and therefore L AiYi E G(L AiXi) and similarly
i=l i=l i=l
n n n
each Xi E F-1(LAiYi), therefore, LAiXi E F-1(LAiYi) and, hence,
i=l i=l i=l
n n n n
L AiYi E F(L AiXi). Thus, F(L AiXi) n G(L AiXi) =/; 0.
i=l i=l i=l i=l
Now we give the following known as the Minimax Theorem due to Sion
[276]. Theorem 3.12 is used to give a simple proof [101].
Theorem 3.13 Let X and Y be two nonempty compact convex sets in the
linear topological spaces E and F, respectively. Let f : X x Y -+ R satisfy
(i) for each fixed x EX, f(x, y) is a lower semicontinuous and
quasi-convex function of y,
(ii) for each fixed Y E Y, f (x, y) is an upper semicontinuous and quasi-
concave function of x.
Then maxx miny f(x, y) = miny maxx f(x, y).
Proof.
Since f(x, y) is an upper semicontinuous function of x for fixed y, so
maxx f(x, y) exists for each y and is a lower semicontinuous function of
y, so miny maxx f(x, y) exists. Similarly, maXx miny f(x, y) exists. Since
f(x, y) :$ maxx f(x, y), miny f(x, y) :$ miny maxx f(x, y) and, hence, maxx
miny f(x, y):$ miny maxx f(x, y).
Here it is shown that the inequality does not hold. Assume that inequality
holds. Then there would be some r such that max min f(x, y) < r <
x y
min maxf(x, y). Define F, G : X -t 2Y by F(x) = {y : f(x, y) > r} and
y x
Gx = {y : f(x,y) < r}. Each F(x) is open by condition (i) and each Gx
is convex by condition (ii) and is nonempty because maxminf(x,y) < r.
x y
Since F-1y = {x: f(x, y) > r} so each F-1y is nonempty and convex
and each G-1y = {x : f(x, y) < r} is open. By Theorem 3.12 there exists
(xo, YO) with Yo E Fxo n Gxo giving r < f(xo, yo) < r, a contradiction.
Thus, the inequality cannot hold.
128 CHAPTER 3
o < p(u - lu) ::; p(z - lu) = ap(u - lu) < p(u - lu)
Suppose that the conclusion of the theorem is false; that is, suppose that
the convex hull of every finite subset {Xl, X2, .. . , xn} of X is contained in
Y\ni=l A(Xi) = Ui=IF(Xi). From this, we show that nxExF(x) =1= 0, which
means UxEx A( x) =1= Y, a contradiction.
Consider an arbitrary finite subset {Xl, X2,.'" x n } of X. Let Xl =
XoU {Xb X2,"" xn} and let K = co(CU {Xl, ... , xn}) Since C is compact
convex, K is compact. Also, since CUX is contained in the convex set Y, we
have KeY. For y E Xb let G(y) = K n F(y). As F(y) is closed in Y and
K is a compact subset ofY, G(y) is compact. The convex hull of every finite
subset {Vb Y2,"" Ym} of Xl is contained in K n (UY!=1 F(Yj)) = UJ!=1 G(Yj).
Then by Theorem 3.3 nyEX1G(y) =1= 0. As
it follows that n~I[DnF(Xi)] =1= 0 for every finite subset {XI,X2, ... ,X n }
of X. Since D is compact, so is also D n F(x). Hence, nxEx[D n F(x)] =1= 0
and therefore nxEx F(x) =1= 0, or UxEx A(x) =1= Y, a contradiction. Thus, the
proof.
A consequence of Theorem 3.32 is the following due to Ky Fan [83].
Theorem 3.33 Let X be a nonempty convex set in a Hausdorff topological
vector space. Let A C X x X be such that
(i) for each X E X, {y EX: (x, y) E A} is open in X,
(ii) for each y E X, {x EX: (x, y) E A} is nonempty and convex,
(iii) there is a nonempty compact convex set K C X such that
Then conditions of Theorem 3.35 are satisfied and there exists Yo E X such
that f(x, Yo) ::; 0 for all x E X. Hence lIyo - <p(Yo)ll ::; IIx - <p(Yo) II for all
x E Xi that is, lIyo - <p(Yo) II = d(<p(yo)'X).
This theorem is used to get several fixed point theorems.
The following result [255], where the weak topology is considered, extends
a theorem due to Ky Fan [83].
Theorem 3.37 Let X be a convex subset of a locally convex topological
vector space (E, r), and let IF represent the family of seminorms generating
r. Let f : (X, "wk") ~ (E, r) be a continuous mapping where "wk" denotes
the relative weak topology on X, often denoted by a(E, E*). Let S be a
nonempty convex and weakly compact subset of X and K a weakly compact
subset of X. Let pElF and suppose f satisfy the condition:
for each y E X -K there exists an xES such that p(x- fy) < p(y- fy).
Then there exists au E K satisfying p(u - fu) = minp(x - fu).
xEX
Corollary 3.38 Let X be a nonempty convex and weakly compact subset
of E and let f: (X, "wk") ~ (E, r) be a continuous mapping.
Then for each pElF there exists a u E X satisfying p(u - fu) =
minp(x - fu).
xEX
Proof.
Let X = S = K. Then X - K = 0 and the condition is satisfied trivially.
Hence the result follows by Theorem 3.37.
In the above corollary if E is also a Hausdorff space, then either f has a
fixed point or there is a seminorm PElF and au E X with 0 < p(u- fU) =
minp(x - fu).
xEX
The following well known result due to Ky Fan [83] is a consequence of
Theorem 3.37.
Corollary 3.39 Let X be a nonempty compact convex subset of E and
f : X ~ E a continuous function. Then for each pElF there exists a
u E X satisfying p(u - fu) = min{p(x - fu) : x EX}.
Fixed Point Theory and Best Approximation: The KKM-Map Principle 139
Proof.
It suffices to show that f : (X, w) -+ (E, r) is continuous. Let C be
a r-closed subset of E. Then by hypothesis f- 1 (C) is r-closed in X and
since w-topology is Hausdorff, hence, f- 1 (C) is r-compact. This implies
that f-1(C) is weakly compact and hence is weakly closed.
An application of Theorem 3.34 is given due to Lin [174].
Theorem 3.40 Let X be a nonempty convex subset of a Hausdorff topological
vector space E. Let A C X x X be a subset such that
(a) for each x E X, the set {y E XI(x,y) E A} is closed in X;
(b) for each y E X, the set {x E XI(x,y) f/. A} is convex or empty;
(c) (x,x) E A for each x E X;
(d) X has a nonempty compact convex subset Xo such that the set B =
{y E XI(x, y) E A for all x E Xo} is compact.
Then there exists a point Yo E B such that X x {Yo} c A.
Proof.
For each x E X, let F(x) = {y E XI(x, y) E A}. By assumption (a),
F(x) is closed in X. By assumptions (b), (c), cO{XI, ... , x n } C Ui=l F(Xi)
for any finite subset {Xl! ... , xn} of X. Indeed, let z = E~l aiXi, E?=l ai =
1,ai 2: O,i = 1, ... ,n. If z f/. Ui=lF(Xi), then (Xi'Z) f/. A for i = 1, ... ,n.
By assumption (b) applied to this z, the set {y E XI(x, z) f/. A} is convex.
Therefore, (z, z) f/. A, which contradicts (c). By assumption (d), the intersection
nXExoF(x) is contained in B and is compact. By Theorem 3.34, there exists
a point Yo E nxEX F(x), which means X x {Yo} c A.
Remark. Condition (d) of Theorem 3.40 can be replaced by the following
condition:
(d1) Let Xo be a nonempty compact convex subset of X, and K a nonempty
compact subset of X. If for every y E X\K, there is a point x E Xo
such that (x, y) f/. A.
We remark that, under the assumption (a) of the theorem, (d1) is a special
case of (d). Indeed, by (d1), the set
for any finite subset {XI. ... ,x n } of X. Indeed, if z = E?=l aiXi, E?=l ai =
1, ai 2: 0, and z ¢ Ui=l F(Xi), then (f(Xi), z) > 0, i = 1, . .. , n. By (c),
f(z, z) > 0, which contradicts the assumption (a). By (a) F(x) C G(x).
Then CO{Xl, ... ,x n } C Ui=lG(Xi). Since nXEXoG(X) is a closed subset of
the compact set B, nXExoG(x) is compact. By Theorem 3.34, there exists
a point Yo E nXEXG(X), which means g(x,yo) ~ 0 for all x E X.
The following result, due to Lin [174], gives the minimax inequality.
Theorem 3.44 Let X be a nonempty convex set in a Hausdorff topological
vector space. Let 9 and f be two real-valued functions on X X X having the
following properties:
(a) 9 (x, y) ~ f (x, y) for all (x, y) E X X x.
142 CHAPTER 3
minsupg(x,y)::; supf(x,x)
yEB xEX xEX
holds.
Proof.
Without loss of generality, we assume that t = sUPxEX f(x, x) < +00.
Applying Theorem 3.43 to
is compact.
Then there exists a point Xo E B such that
Proof.
Let
is compact,
(b) For any x E X,f(x,y) = 0 has at least one solution y in X.
Then there exists a point Xo E B such that f(xo, xo) = o.
Proof.
Let
A = {(x, y) E X X Xlllf(x, y)1I :2: IIf(x, x)II}.
Then for each Y E X, the set {x E XI(x,y) E A} is closed in X and
(x, x) E A for all x E X. For each x E X, the set {y E XI(x, y) <t. A} =
{y E Xlllf(x, y)1I < IIf(x, x)lI} is convex or empty. In fact, Let Yll Y2 belong
to the set, that is,
From condition (b), to this Xo, f(xo, y) = 0 has at least one solution, say
Yo, in X. Therefore, IIf(xo, yo) II = 0 and f(xo,xo) = o.
Proof.
Define a map G : C -+ 2 c by Gx = C - Px. Each G(x) is open
in C since Px is closed. Since C ~ Ui=lPXi, we get ni=lGxi = C -
Ui=l PXi = 0. Therefore, G is not a KKM-map, so there exists a finite
n n
subset {Yl, Y2,"', Yn} of C such that w = L:: AiYi ¢ GYi where L:: Ai = 1
i=l i=l
and Ai ~ O. Thus w E ni=lPYi, and Yi E p-1w for every i = 1,2"" n.
n
Since P-1(w) is convex, w = L::AiYi E P-1w. That is, wE P(w).
i=l
The following is based on the previous result.
Corollary 3.50 Let C be a nonempty, closed, convex subset of a Hausdorff
topological vector space E and let T : C -+ 2 c be an upper semicontinuous
convex valued map. Assume that there exists some finite subset K of C such
that Tx n K =10 for every x E C. Then T has a fixed point.
Proof.
Define G : C -+ 2 c by G(x) = T-1x = {y E C: x E T(y)}. Since T
is upper semicontinuous each G(x) is closed and G- 1(y) = (T-l )-ly = Ty
is convex. By assumption C can be covered by a finite number of closed
subsets {G(x) : x E K}. By Theorem 3.49 there exists a z E C such that
z E G(z); that is, z E T(z).
The following interesting result, due to Kim, is worth mentioning [145].
Corollary 3.51 Let C be a compact convex subset of a topological vector
space E and let f : C x C -+ R be a real valued function such that
(i) for each x E C, f(x, y) is a continuous function of y,
(ii) for each y E c, f(x, y) is a quasi-concave function of x.
Assume further that for any a E R, there exist points x, y in C such
that f(x, y) > a. Then the restriction of f to the diagonal of C x C is
unbounded.
Proof.
It suffices to show that there exists an x E C such that f(x, x) ~ a for
any a E R. Define P : C ~ 2 c by P(x) = {y E C: f(x,y) ~ a} for
each x E C. Then each P(x) is closed in C. Also, the set G(x) = {y E C :
f(x, y) > a} is open in C for each x E C. p-l(y) := {x E C: f(x, y) ~ a}
is convex for each y E C by (ii). Furthermore, {G (x) : x E C} is an
open cover of C. In fact, suppose that there exists ayE C such that
y ¢ G(x) for all x E C. Then f(x, y) :s; a for all x E C, a contradiction.
Since C is compact, C can be covered by a finite number of closed sets
P(xt}, P(X2),"', P(x n ). By Theorem 3.49 there exists an x E P(x). That
146 CHAPTER 3
B {xEX: yrtTxforallyEXo}
{x EX : x rt T-1y for all y E Xo}
{x EX: x E Fy for all y E Xo}
nyExo{Fy}
Proof.
For each y E X let F(y) = {x EX: (x,y) E B}. Then F(y) is closed
in X by (ii). Then y E F(y) and F(y) =I 0 follows from (i) and (iv). F is
a KKM-map follows from (ii) and (iv). Now C = {x EX: (x, y) E B
for all y E Xo} = nYExoF(y) is compact. Therefore, there exists an Xo E
nYExF(y). That is, {xo} X Xc B.
Proof.
Let A = (X X X) - {(x,y)1 y E T(x)} and B = (X x X) - {(x,y)1 y E
S(x)}. Then A C B follows from (i), and (x, x) E A for each x E X follows
from (ii). The set {y E XI (x,y) ~ A} = {y E XI y E T(x)} = T(x) is
convex or empty for each x E X by (iii). The set {x E XI y ~ S(x)} =
{x E XI (x, y) E B} is closed in X for each y E X by (iv). Moreover,
C = {x E XI y ~ S(x) for all y E Xo} = {x E XI (x, y) E B for all y E Xo}
is compact from (v). Therefore, by Theorem 3.57, there exists an Xo E X
such that {xo} x X C B. Hence (xo,Y) E B for all y E X and y ~ S(xo)
for all y E X. That is, S(xo) = 0.
Proof.
Assume that T has no fixed point. That is, assume that x ¢ T-Ix for any
x E X or that x ¢ Ax for all x. For x E X define Fx = A; . Since Ax is open
in X for each x EX, so Fx is relatively closed subset of X for each x EX.
The set nXExoFx is compact by (iv) for some Xo contained in a compact
convex subset. Let {Xl, X2,···, x n } be a finite subset of X. We claim that
F is a KKM-map. We need to show that CO(XI' X2,··· ,x n ) ~ Ui=l FXi.
n
Let z E co(xt, X2,·· ., x n ). Then z = L AiXi, where 0 < Ai < 1, and,
i=l
n
L Ai = 1. Assume that z ¢ U~l FXi. Then z ¢ A;; for i = 1,2,···, n. Thus
i=l
for each i, z E Ax;. But Ax; ~ T-1(Xi) for all i by (ii). This implies that
Xi E T(z) for all i. Since T(z) is convex by (i) so z E T(z), a contradiction to
the statement that T has no fixed point. Thus CO(Xl, X2,···, x n ) ~ Ui=l FXi.
By Theorem 3.34 we conclude that nxEx Fx =/; 0. Let Xo E nFx. Then
Xo E Fx = A; for all x E X contradicting (iii). This proves that T has a
fixed point.
is compact.
Then the set nyEx{x EX: g(x, y) ~ O} is a nonempty compact subset of
L.
Tarafdar [291] has shown that all ofthe above five theorems are equivalent.
Recently, Tan and Yuan [287] proved results showing their equivalence.
They proved several interesting results extending earlier works. Here E
need not be Hausdorff.
Fixed Point Theory and Best Approximation: The KKM-Map Principle 155
Tan and Yuan [288] have shown that all are equivalent.
They have given further interesting results which we include here.
Theorem 3.80 Let X be a nonempty convex subset of a topological vector
space and </>, 'IjJ : X X X --t R U { -00, +oo} be such that
(i) </>(x, y) ~ 'IjJ(x, y) for each (x, y) E X x X and 'IjJ(x, x) ~ 0 for each
x EX;
(ii) for each fixed x E X, Y 1-+ </>(x, y) is a lower semicontinuous function
of y on each nonempty compact subset C of X;
(iii) for each fixed y E X, the set {x EX: 'IjJ(x, y) > O} is convex;
(iv) there exists a nonempty closed and compact subset K of X and a point
Xo E X such that 'IjJ(xo, y) > 0 for all y E X\K.
Then there exists yE K such that </>( x, Y) ~ 0 for all x EX.
Theorem 3.81 Let X be a nonempty convex subset of a topological vector
space and P, Q : X --t 2x be such that
(i)for each x EX, P(x) C Q(x);
(ii)for each x E X, p- 1 (x) is compactly open in X;
(iii)for each y E X, Q(y) is convex;
(iv) there exists a nonempty closed and compact subset K of X and a point
Xo E X such that X\K, C Q-l(XO);
(v) for each y E K, P(y) -# 0.
Then there exists a point x E X such that x E Q (x).
4.1. Introduction
In nonlinear analysis, several interesting results have been proved by using
a technique known as the partition of unity. This approach is based upon
elementary topological tools - the existence of a finite covering of a compact
space, and a partition of unity subordinated to this covering and then the
Brouwer fixed point theorem for single-valued mappings.
Let X be a compact Hausdorff space and let {AI,···, An} be a finite
family of open subsets of X such that X = Ui;:l Ai. Then there exist
continuous functions 131,132, ... ,f3n on X satisfying the following.
(i) 0 ::; f3i (x) ::; 1 for all i, 1 ::; i ::; n, x EX.
n
(ii) Lf3i(X) = 1 for all x EX.
i=l
(iii) f3i(X) = 0 if x rt A.
We call the family {f31,···, f3n} a partition of unity corresponding to
{At,···, An}.
A family of functions {fo: : X -+ R.+} is a locally finite partition of unity
if L fo: = 1 and each point has a neighbourhood on which all but finitely
0:
many fo: vanish.
A set A is called paracompact if it has the property that whenever
{Ao:} is an open cover of A then there is a locally finite partition of unity
subordinate to it. Every subset of R.n is paracompact. Every metric space
is paracompact.
In many problems in nonlinear functional analysis, applied mathematics,
and economics, the selection theorem is a very useful tool for proving the
existence of a solution. The concept of a selection was studied by Michael
[189] [190]. The application of a selection theorem in the proof of fixed point
theorems is well known.
Definition 4.1 Let X and Y be Hausdorff topological vector spaces and
F : X -+ 2Y a multifunction. Then f : X -+ Y is called a selection of F if
f(x) E F(x) for each x EX.
The following is a well-known selection theorem due to Michael [189].
159
S. Singh et al., Fixed Point Theory and Best Approximation: The KKM-map Principle
© Springer Science+Business Media Dordrecht 1997
160 CHAPTER 4
Since each Yi lies in C and p(x) is a convex combination of the points Yi,p(X)
lies in C. For each i such that !3i(X) =1= 0, x E P-l(Yi)i that is, Yi E F(x).
Since F(x) is convex and p(x) is a convex combination of points Yi, hence,
p(x) E F(x) for all x E C.
Let D be the finite dimensional simplex spanned by the finite set {Yl, ... , Yn}.
Then p : D -+ D is a continuous function. By the Brouwer fixed point
theorem there is an xED such that x = px E P(x).
As a consequence of this, the following well known result in variational
inequality due to Browder [27] is obtained. The proof is as given in [27].
Theorem 4.6 Let C be a compact convex subset of the locally convex topological
vector space E and let f : C -+ E* be a continuous function . Then there
exists a Uo E C such that
Then
max min f(x, y) = min maxf(x,y).
yEY xEX xEX yEY
Proof.
Let c be such that
maxminf(x,y)
y x
< c < minmaxf(x,y).
x y
F(x,y) = By x Ax
The following fixed point theorem due to Browder [26], which extends
and unifies several results, is obtained by using Theorem 4.5.
Theorem 4.8 Let E be a locally convex topological vector space, K a compact
convex subset of E, f : K --r E a continuous map. Let p : K x E --r R such
that for each real number r and for each x E K the set {y : y E E, p(x, y) <
r} is convex.
Suppose that for each x E K for which f (x) i= x, there exists ayE K
such that
p(x,y - f(x)) < p(x,x - f(x)).
Then f has a fixed point.
Proof.
Suppose that f has no fixed points in K. For each x E K let T(x) =
{y E K : p(x, y - f(x)) < p(x, x - f(x))}. Then for each x E K, T(x) is
nonempty and convex. Since p is continuous so for each y E K, T- 1 (y) is
open. Hence, by Theorem 4.5, we get a contradiction. Hence the theorem.
The above Theorem 4.8 is used to prove the following fixed point theorem
[26].
Theorem 4.9 Let E be a locally convex topological vector space, K a compact
convex subset of E, f : K --r E a continuous map. Suppose that p : K X E --r
IR is a continuous convex function. Suppose further that for each x E K such
that x i= f (x), there exists a point y ElK (x) such that
Proof.
If Y E K, then the proof follows from Theorem 4.8.
In case Y is outside K, then there is a u E K such that u = (1 - ).)x +
).y,O < ). < 1. Since p(x,·) is convex, so
Hence, the conditions of Theorem 4.8 are satisfied and f has a fixed point.
Browder [27] proved the following where C need not be compact. This
is a selection theorem.
Let {fh, {h, ... , ,Bn} be partition of unity subordinate to this finite open
cover of C.
Define
n
f(x) = L,Bi(X)Yi.
i=l
Then f is a continuous function from C into the convex span of the finite
set {Y}' .. . ,Yn}.
For x E C, if ,Bi(X) =1= 0, then x E T-1Yij that is, Yi E Tx. Then f(x) is
a convex combination of points of Tx. Since Tx is convex, so f(x) E T(x).
The following extension of Theorem 4.5 is a corollary of Theorem 4.10.
Proof.
By Theorem 4.10, there exists a continuous function f of C into the
convex span of a finite subset of C such that f(x) E T(x) for all x E C. By
the Brouwer fixed point theorem, f has a fixed point Xo and so Xo = fxo E
Txo·
Theorem 4.5 has an interesting application given below. The following
result is known as the Ky Fan's minimax lemma [85].
Theorem 4.12 Let C be a compact convex subset of a Hausdorff topological
vector space E and f : C X C -+ R such that
(i) f(x,x) ~ 0 for all x E C
(ii) for each x E C, {y : f(x, y) > O} is convex
(iii) for each y E C the function f (' , y) is lower semicontinuous on C.
Then there exists an Xo E C such that
f(xo, y) ~ 0 for all y E C.
Proof.
For each x E C, let
Tx = {y E C: f(x, y) > O}.
Then Tx is convex for each x E C by (ii).
T-1y is open in C for each y E C by (iii).
If Tx =I 0 for each x E C, then T would have a fixed point Xo by
Theorem 4.5, for which f(xo, xo) > 0, a contradiction to (i). So for some
Xl,Txl = 0, that is, f(Xl,Y) ~ 0 for all y E C.
The following result due to Browder [25] stated without proof yields
a well known theorem of Brezis, Nirenberg and Stampacchia [22] as a
corollary.
Theorem 4.13 Let C be a convex subset of a Hausdorff topological vector
space E, and T : C -+ C a nonempty convex-valued map with the following
properties:
(a) there exists a compact subset Co of C and a Yo E Co such that Yo lies
in Tx for all x E C\Co.
(b) for each finite dimensional subspace F of E, the map TF : C n F -+
C n F given by
TF(X) = T(x) n F,
has the property that Ti1y is open in CF for each y E CF (CF =
CnF) .
(c) if x f3 is a convergent filter in C with limit x and if for all f3 and a line
segment D ending at x, T (x f3) is disjoint from D, then T (x) is disjoint
from D.
Then T has a fixed point.
Fixed Point Theory and Best Approximation: The KKM-Map Principle 165
Proof.
For each x E C set
Then T(x) is convex for all x E C by (ii). For each finite dimensional
subspace F of E, T-ly n F is open in C n F by (iii). Conditions (c) and
(a) of Theorem 4.13 are implied by (iv) and (v), respectively. Since T has
no fixed point by (i), so Tx must be empty for some x E Co. Hence, there
is an Xo E Co such that f(xo, y) ~ 0 for all y E C.
The following is useful in economics.
Let C be a subset of a linear topological space E. With each binary
relation P on C, one can associate a multifunction F : C -t 2° as follows:
y E F(x) {::} (x, y) E P. Conversely, if F : C -t 2° is a multifunction, then
a binary relation P is defined on C by the condition that (x, y) E P <=> y E
F(x).
Definition 4.15 A point Xo E C is said to be a maximal element of the
multifunction F : C -t 2° if F(xo) = 0 with reference to binary relation P.
The following result is due to Yannelis and Prabhakar [308].
Theorem 4.16 Let X be a compact convex subset of a Hausdorff topological
vector space E and F : X -t 2x a multifunction such that,
(i) for all x E X, x ¢ coF(x),
(ii) for each y E X, F-1(y) = {x EX: y E F(x)} is open in X.
Then there exists an x E X such that Fx = 0; that is, x is a maximal
element in X.
166 CHAPTER 4
Proof.
Suppose that for all x E X,F(x) =1= 0. Define G: X -+ 2x by G(x) =
co F(x) for all x E X. Then G(x) is convex and nonempty. Also, G-1y =
{x EX: y E G(x)} is open in X for each y E X [308].
So by Theorem 4.5, there is an x E X such that x E G(x) = co F(x),
contradiction to the assumption that x rt. co F(x) for all x E X.
In a Euclidean space JRn, the following holds [308].
Theorem 4.17 Let X be a nonempty compact convex subset ofJRn and T :
X -+ 2x a lower semicontinuous map such that for all x E X, x rt. eoT(x).
Then there is an x E X such that Tx = 0.
Proof.
Suppose that for all x E X, Tx =1= 0. Then G : X -+ 2x defined
by G(x) = coT(x) for all x E X is nonempty convex valued and lower
semicontinuous. By Theorem 4.2, there is an x E X such that x E Gx =
coT(x), a contradiction.
Another consequence of Theorem 4.5 is the following result proved in
[136].
Theorem 4.18 Let X be a nonempty compact convex subset of a locally
convex topological vector space E. Let A be a subset of X X X such that
(i) for any y E X the set {x EX: (x, y) E A} is closed,
(ii) (x,x) E A for every x E X,
(iii) for any x E X the set {y EX: (x, y) rt. A} is convex.
Then, there exists a point Xo E X such that Xo x X CA.
Proof.
Suppose that for each x EX, there exists ayE X such that (x, y) rt. A.
Set Tx = {y EX: (x, y) rt. A} for each x E X. Then Tx is nonempty
and convex for each x E X and T-1y is open for each y EX. Hence, by
Theorem 4.5, there is an Xo E X such that Xo E Txo; that is, (xo, xo) rt. A
contradiction to (ii).
An interesting consequence of Theorem 4.18 is the following well known
result of Browder [27).
Theorem 4.19 Let X be a nonempty compact convex subset of a locally
convex topological vector space E 1. Let E2 be a separated topological vector
space and let g be a continuous map of X X X -+ E 2 . Let C be a closed
subset of E 2 • Suppose that for each x E X the set {y EX: g(x, y) E C} is
nonempty and convex. Then there exists au E X such that g(u, u) E C.
Proof.
Let
A = ((x,y) E X x X: g(x,y) E C}.
Fixed Point Theory and Best Approximation: The KKM-Map Principle 167
Proof.
If UXExoGx = Y, then there exists {x!,···, xn} C Xo such that C C
U%:lGxi. Let {lit, /h,···, ,Bn} be a partition of unity corresponding to this
n
covering and define py = L,Bi(y)Xi for every y E C . If Co = CO{XI,···, x n },
i=l
then p : Co -+ Co and p has a fixed point z, so we get z E Fpz = Fz as in
Theorem 4.5.
Let Y - UXExoGx be compact. Then there exists {Xl'···' Xn} C X -
Xo such that Ui=lGxi :> Y - UXExoGx. Let Xo U {Xl,···, Xn} = D and
B = co(CU {XI,···,X n }). Then B is a compact convex subset of Y and
UxEDGx = Y. Then, as in the first part, z E X such that z E Fz.
The following is proved by Takahashi [282].
Proof.
Suppose that for each X E X there exists ayE X such that g(x, y) < c.
Set Ay = {x EX: g(x,y) < c} for each y E X. Then UyEXAy = X. Since
X is compact U%:lAYi = X. Let {,Bl,,B2,··· ,,Bn} be a partition of unity
corresponding to this covering.
n
Define p : X -+ X by p( x) = L,Bi (x) Yi. Following the proof of Theorem
i=l
n
4.5, there is an Xo E X such that pXo = Xo = L,Bi(XO)Yi. But, since 9
i=l
n
is convex in y, for this Xo we have c ~ g(xo, xo) = g(xo, L ,Bi(XO)Yi) <
i=l
Fixed Point Theory and Best Approximation: The KKM-Map Principle 169
n
Lf3i(XO)9(xo, Yi) < c, a contradiction. Hence there is an Xo E X such that
i=l
g(xo,Y) 2: c for all y E X.
The above theorem yields the following result as a corollary. The proof
is given in [282].
Proof.
Assume that f has no fixed point in X. Then for each x EX, there
exists a continuous seminorm Px on E such that Px(x - fx) > o. Since
and X is compact, we obtain a finite set {Xl,X2, ... ,Xn } C X such that
X = UY=l {y EX: PXi(y - fy) > O} . Let {lh,f32, ... ,f3n} be a partition
of unity subordinate to this covering. Define a real valued function 9 on
X xX by
n n
i=l i=l
Then 9 satisfies conditions of Theorem 4.23, hence there exists an Xo E X
such that g(xo, y) 2: 0 for all y E X, that is,
n n
L f3i(XO)PXi (y - fxo) 2: L f3i(XO)PXi (xo - fxo) > 0
i=l i=l
Proof.
If f has no fixed point, then Theorem 4.24 there exists an element
Xo E X and a continuous seminorm p on E such that
Proof.
Define a real valued function f on X X X by
{y EX: g(x, y) E C}
(Jz,z - uo) ~ 0,
The following well known result due to Browder [27] is a direct consequence
of Theorem 4.36 [283].
Theorem 4.37 Let X be a nonempty compact convex subset of a locally
convex topological vector space E and f a continuous mapping of X into
E. If for each x E X, there exist an Xl E X and ,X ~ 0 such that fx - x =
'x(XI - x), then f has a fixed point.
Proof.
Suppose f has no fixed point. Then by Theorem 4.36, there exist an
Xo E X and 9 E E* such that
For this Xo, choose Xl E X and ,X ~ 0 such that fxo - Xo = 'x(XI - xo).
Since f has no fixed point, ,X > O. Hence,
1
g(xo - fxo) < 0 ::; ~g(xo - fxo),
Proof.
Consider the restriction of f to X. If f has no fixed point in X, then
by Theorem 4.36, there exist an Xo E X and 9 E E* such that
Let Xo E IHX. Since fxo E H, we can choose A(O < A < 1) so that
Y = Afxo + (1 - A)XO EX. Hence,
g(xo - fxo) < 0 ~ Ag(XO - fxo),
a contradiction. Similarly, we get a contradiction for Xo E BHX. Therefore,
f has a fixed point.
(ii) for each fixed x E X, Y 1-7 f(x, y) is quasi-concave and upper semicontinuou.s
If X or Y is compact then sup inf f(x, y)
y x
= inf
x
sup f(x, y).
y
Proof.
For any Yo, inf f(x, Yo) ~ inf sup f(x, y). So a = sup inf f(x, y) ~ b =
x x y y x
inf sup f(x, y). Suppose a < b. Choose c such that a < c < b and define
x y
Proof.
Since f(x, y) ::; sUPYEY f(x, y) for each (x, y) E X X Y, inxf f(x, y) ~
xE
inf sup f(x, y). Therefore, sup inf f(x, y) ::; inf sup f(x, y).
xEX yEY yEY xEX xEX yEY
Suppose, by way of contradiction, that sup inf f(x, y) ~ c ~ inf sup f(x, y).
y x x y
Define T : X -+ 2Y
and S : X -+ by Tx = {y E Y : f(x, y) > c}, and
2Y
Sx = {y E Y : f(x, y) < c}. Then T and S satisfy the conditions of
Theorem 4.44, so there exists an x E X such that Tx n Sx =1= 0. This is
clearly impossible.
Proof.
If supf(x,x) = 00 then there is nothing to prove. Let supf(x,x) =
xEX xEX
k < 00. Then f(x, x) ::; k for every x EX. Theorem 4.47 implies that there
is a Yo E Y such that g(x, Yo) ::; k for every x in X. Hence sup g(x, Yo) ::; k
xEX
and inf supg(x,y)::; k = supf(x,x).
yEY xEX xEX
The result given below [281] follows the lines of proof of Theorem 4.22.
A} for any Y E K2. Then there exists a finite covering {A(Yl), ... , A(Yn)}
of Kl and a partition of unity {Ih, ... , ,Bn} corresponding to this finite
covering. Set p(x) = :L~l ,Bi(X)Yi for any x E K 1. Then p is a continuous
mapping of Kl into K 2. Define a mapping T : Kl --+ 2KJ by T(x) =
{u E Kl : (u,p(x)) E A}, then by (i) and (ii) T(x) is nonempty, convex,
and compact for every x E K 1 • Since p is continuous and A is closed, T
is upper semicontinuous. By the Fan's fixed point theorem, T has a fixed
point z E K 1. Thus, (z,p(z)) E A. On the other hand, by (iii) (z,p(z)) (j. A
a contradiction. Thus, the proof.
The following, given by Tarafdar in [294], uses the partitions of unity
and extends the result of Browder [27].
Theorem 4.53 Let K be a nonempty compact convex subset of a real
Hausdorff topological vector space E. Let T : K --+ 2K be a multifunction
such that
(i) for each x E K, Tx is a nonempty convex subset of K,
(ii) for each Y E K, T-1y = {x E K : Y E Tx} contains an open, possibly
empty, subset Oy of K,
(iii) U{Q y : y E K} = K.
Then there exists a point z E K such that z E T z .
Proof.
Since K is compact, there exists a finite family {Yl,"', Yn} such that
K = Ui=lOy;. Let {,Bl,,B2,"',,Bn} be a partition of unity corresponding
n
to this finite covering. Define a mapping p : K --+ K by px = L.':,Bi(X)Yi,
i=l
x E K. For each i with ,Bi(X) =F 0, x E Q Yi ~ T-1(Yi); that is Yi E T(x).
Since T(x) is convex so px E Tx for each x E K. Let C = CO{Yl' Y2,"', Yn}.
Then p : C --+ C. As in Theorem 4.5, there is a z E C such that z = pz E Tz.
Thus, the proof.
The following is obtained as a corollary [295].
Corollary 4.54 Let K be a nonempty compact convex subset of a real
Hausdorff topological vector space E and T : K --+ 2K a multivalued map
such that
(i) for each x E K, T(x) is a nonempty convex subset of K,
(ii) for each x E K, there exists ayE K such that
Proof.
If for each v E K there exists a u E K such that (Tu, u - v) < 0 holds,
then there is a solution Uo of (4.1) by Theorem 4.56. In case it does not
hold, then it means that there is a Uo E K such that (Tu, u - uo) ;::: 0 for all
u E K. Since T is hemicontinuous by Lemma 4.55, we get (Tuo, u- uo) ;::: 0
for all u E K; that is, Uo is a solution of (4.1).
In case K is not compact, then the following result is given in [292].
Theorem 4.58 Let F : K ~ E* be a monotone and hemicontinuous map.
Further, assume that there exists a nonempty subset Ko contained in a
compact convex subset K 1 of K such that the set
is compact. Then there is a point Xo E K such that (Txo, y - xo) ;::: 0 for
all y E K.
Mehta proved the following result for paracompact convex sets in a
locally convex Hausdorff topological vector space [186].
Theorem 4.59 Let X be a nonempty paracompact convex subset of a Hausdorff
locally convex topological vector space E. Let D be a compact subset of X
and T : X ~ 2D a multifunction such that
(i) for all x E X, Tx is convex and nonempty, and
(ii) for each x E X there exists ayE D such that x E int T- 1 (y).
Then there exists a point Xo E D such that Xo E Txo.
Proof.
If there is no maximal element, then Tx and therefore Ax is nonempty
for each x EX. So, A : X -+ 2D is nonempty convex-valued multifunction.
The condition (ii) implies the condition (ii) of Theorem 4.59. Consequently,
there exists an Xo E X such that Xo E Txo ~ A(xo). This is a contradiction
since assumption (i) implies that x r¢. A(x) for all x E X. Consequently, T
has a maximal element.
The following results are due to Kim [146].
Definition 4.61 A topological vector space E is said to have sufficiently
many linear functionals if for each x E E, x i- 0, there exists a linear
functional 1 E E* such that 1(x) i- O.
A topological vector space E with sufficiently many linear functionals has
the property that E* separates points on E. Every locally convex topological
vector space has sufficiently many linear functionals and so does HP for
O<p<1.
Let E be a topological vector space and E* the dual of E. Let X be an
arbitrary subset of E. A map f : X -+ E is weakly continuous if for every
1 E E* the composition 1(1) : X -+ IR is continuous. A continuous map is
weakly continuous but not conversely. If Xn converges to x strongly and fX n
converges to fx weakly then f is weakly continuous but not continuous.
Using partition of unity, Kim gave the following [146].
Theorem 4.62 Let X be a compact convex subset of a topological vector
space E with sufficiently many linear functionals . Let f : X -+ E be a
weakly continuous map such that for each x E X with fx i- x, fx E Ix(x) .
Then f has a fixed point.
Proof.
Let fx i- x for each x EX. Then there exists at least one 1 E E* such
that l(x - fx) < 0 for each x E X by hypothesis. For every 1 E E*, let
N/ = {y EX: l(y - fy) < O} . Since f is weakly continuous 1(1 - f) is
continuous. Consequently, N/ is an open subset of X and each x E X is
contained in at least one N/. Therefore the family {N/ : 1 E E*} is an open
cover of the compact set X.
Hence there exists a finite subfamily {h,·· · , In} in E* such that X =
Ui=lN/;. Let {,81,j32,··· ,,8n} be a partition of unity subordinated to this
n
cover. Define hx = L,8i(x)li for each x EX. Then h is a continuous map
i=l
of X into E*. For each x E X,
n
h(x)(x - fx) = L,8i(x)li(x - fx) <0 (4.3)
i=l
184 CHAPTER 4
since f3i(X) =I- 0 implies that li(x - fx) < 0 and f3i(X) > o. By Browder's
theorem [27] there exists a yo E X such that h(yo)(yo - x) ~ 0 for each
x E X. Since fyo E Ix(yo), there exists a set Ya E Ix(yo) converging to
f(yo). From the definition of Ix(yo), for each Ya we can find Za E X and a
real number Aa > 0 such that yO' = YO+Aa(Za-YO). Hence, h(Yo)(Yo-Ya) =
Aah(yO)(Yo - z) ~ 0 since h(yo)(Yo - x) ~ 0, and thus h(yo)(yo - fyo) =
lim h(yo)(Yo - yO') ~ o. This contradicts (4.3). Thus the proof.
a
The following results are derived as easy corollaries [146].
Halpern gave the following in [109].
Theorem 4.63 Let X be a nonempty compact convex subset of a locally
convex topological vector space E and let f : X -t E be a continuous map
such that f x E Ix (x) for each x EX. Then f has a fixed point.
The following extension is due to Ky Fan [86].
Theorem 4.64 Let E be a topological vector space with sufficiently many
continuous linear functionals and let X be a nonempty compact convex
subset of E. Then every continuous map f : X -t X has a fixed point.
Kaczynski [138] gave the following.
Theorem 4.65 Let E be a topological vector space with sufficiently many
continuous linear functionals and let X be a compact convex subset of E.
Let f : X -t E be a continuous map satisfying:
for each x E X with fx =I- x there exists some number A such that
Proof.
As the family {T- 1 (y) : y E D} is an open cover of the set C which is
paracompact, there is a partition of unity {,By: y E D} subordinate to the
cover {T-1(y) : y ED} of C. Define p: C -t D by
R(x) = S(p(x)),
The following fixed point theorem follows from Theorem 4.76 [155].
Theorem 4.79 Let E be a locally convex Hausdorff topological vector space,
C ~ E nonempty paracompact convex, and K ~ C nonempty compact
convex. If T : C -t 20 satisfies
(i) T(x) is convex for each x E C;
(ii) T- 1 (y) is open in C for each y E C;
(iii) T(x) ~ K for each x E C\K;
then T has a fixed point in C.
Proof.
Let S : C -t 20 be defined by S(x) = {x} for all x E C. Then
S is upper hemicontinuous. Moreover, if x E C\K and y E T(x), then
S(y) = {V} c T(X) c K by (iii) so that S(y) n K =1= 0. Hence, by Theorem
4.76, T and S have a coincidence, implying that T has a fixed point in C.
An application of Theorem 4.79 to another minimax inequality is as
follows [155].
Theorem 4.80 Let E be a locally convex Hausdorff topological vector space,
C C E be nonempty paracompact convex. Let K ~ C be nonempty compact
convex and 1 : C X C -t IR. If
(i) f(x, x) :S 0 for all x E C;
(ii) for each x E C, {y E C : !(x, y) > O} is convex;
(iii) for each y E C,X -+ f(x,y) is lower semicontinuous on C;
(iv) I(x, y) :S 0 for all x, y E C\K;
then there exists an x E C such that 1(x, y) :S 0 for all y E C.
190 CHAPTER 4
Proof.
Let T{x) = {y E C : f{x,y) > O} for all x E C . Suppose T(x) =I- 0 for
all x E C . Then T : C -+ 2c is such that
T{x) is convex for each x E C by (ii);
T- 1 (y) is open for each y E C by (iii);
T(x) C K for each x E C\K by (iv) .
Hence, by Theorem 4.79, there exists an x E C such that x E Tx, so that
f(x, x) > 0, which contradicts (i). Therefore, there exists an x E C such
that T(x) = 0, and consequently, f(x, y) ::; 0 for all y E C .
Application of Fixed Points to Approximation Theory
5.1. Introduction
Fixed point theorems have been used in many instances in approximation
theory. To prove existence of best approximants see, for example, Brandt
[21], Brosowski [23], Ky Fan [86], Hicks and Humphries [114], Reich [230],
Sahney, Singh, and Whitfield [244], Singh [271] [270] [269], Singh and Watson
[275], and Subrahmanyam [278]. For different types of applications of fixed
point theorems (mainly Schauder's fixed point theorem) see Brosowski [23],
Klee [151], Meinardus [188], and Vlasov [302]. Application of the fixed-
point theorem to simultaneous best approximation is given by Sahney and
Singh [243] . For further references and a survey of the subject, we refer to
Brosowski [24] and Cheney [47].
191
S. Singh et al., Fixed Point Theory and Best Approximation: The KKM-map Principle
© Springer Science+Business Media Dordrecht 1997
192 CHAPTER 5
Definition 5.7 A Banach space is said to have the Oshman property if the
metric projection on every closed convex subset is upper semicontinuous.
Theorem 5.8 Let C be a closed convex subset of a Banach space E with
the Oshman property. If T : C -+ E is continuous and T(C) is relatively
compact, then there is a point y E C such that d(Ty, C) = IIT(y) - yll [230j.
Theorem 5.9 A convex boundedly compact subset of a normed linear space
is proximinal [24j.
Proof.
The proof in [24] is established by applying Ky Fan's fixed point theorem.
A second proof using Bohnenblust and Karlin's fixed point theorem [16] is
given by Prolla [227].
Proof.
Let Pc(y) be the set of best C-approximants to y. Then, Pc(y) being
compact, it is complete and totally bounded and, hence, sequentially complete
and bounded. Moreover, it follows from the continuity of I - T that (I -
T)Pc(y) is compact and therefore closed. Thus, the corollary follows from
Theorem 5.23.
Corollary 5.21 Let E be a locally convex Hausdorff topological vector space
and let T : E -+ E be a p-nonexpansive mapping. Let C be aT-invariant set
and y aT-invariant point. Assume that for every PElF, pc(y) is nonempty
weakly compact and star-shaped. If I - T is demiclosed, then T has a fixed
point which is a best approximation to y E E.
The condition that Pc(x) be nonempty and compact may be difficult
to verify in some instances. This leads to the consideration of special cases
when it is possible to replace compactness by weak compactness. The
following result of Hicks and Humphries in [114], which is a variant of
a theorem due to Browder and Petryshyn ([33], Theorem 4), holds in this
situation.
Theorem 5.22 Let D be a nonempty weakly compact and star-shaped subset
of a Hilbert space E. Suppose T is a nonexpansive mapping of D into D.
Then T has a fixed point.
Remark. Theorem 5.22 is a particular case of Corollary 5.21. Since T is
nonexpansive and E is a Hilbert space, it follows that 1- T is demiclosed
[31 ].
Remark. Hicks and Humphries in [114] proved the following. As usual, the
notation f)C denotes the boundary of C.
Lemma 5.23 If T is nonexpansive and T : f)C -+ C, then T : Pc(x) -+
Pc(x).
In view of Lemma 5.23, it is enough to assume that T maps the boundary
of C into C in Theorems 5.11, 5.15, 5.19, and in Corollary 5.20.
and (ii) Q(B) is compact. Hence, Schauder's fixed point theorem implies
that Q has a fixed point Xo E B (Q(xo) = xo). Thus, Xo = Q(xo) = x~, i.e.,
x~zxo are in the same line, i.e., x~ has Xo as the closest point, so z must
have Xo as the closest point. Since C is Chebyshev Xo = zoo Then zoz has
a point x~ beyond z. This proves that C is a sun.
Note that the definition above assigns a meaning to d(B, C) that differs
from the usual one.
The following is a theorem for the best simultaneous approximation
[243].
Let X be a strictly convex Banach space, and C a weakly compact
convex subset of X. Then there exists a unique best simultaneous approximation
from the elements of C to any given compact subset F of X.
The following result also deals with best simultaneous approximation
[243].
Let X be a strictly convex normed linear space and C a reflexive
subspace of X . Then for any nonempty compact subset F of X there exists
one and only one best simultaneous approximation in C.
The distance between two sets has been given by Cheney and Goldstein
[49], Pai [208], and Sahney and Singh [243] .
Cheney and Goldstein proved the following in Hilbert space.
Fixed Point Theory and Best Approximation: The KKM-Map Principle 199
Let A and B be two closed convex sets in Hilbert space H. Let PA and
PB be proximity maps for A and B, respectively. Any fixed point of PAPB
is a point of A nearest B and conversely.
The following result on the distance between two sets is due to Sahney
and Singh [243], which extends a result of Pai [208].
Theorem 5.31 Let X be a strictly convex Banach space and A a closed
convex locally compact subset of X and let B be a compact convex subset
ofX.
Then there exists an a E A and bE B such that d(A, B) =
lIa - bll.
Consequently, f'(xo)(x - xo) 2:: 0 for all x E [a, b]. Such an inequality is
referred to as the variational inequality.
The well-known result due to Hartman and Stampacchia [112] was
proved by using the partition of unity and the Brouwer fixed point theorem.
200 CHAPTER 5
y fx
x > 0
y > 0
(x,y) o.
As x and yare nonnegative vectors in R n , so either x and yare orthogonal
(x, y) = 0) or the component-wise product of x and y is the 0 vector.
The complementarity problem requires to find a nonnegative vector whose
image is also nonnegative and such that the two vectors are orthogonal.
The following result is due to Isac [130] for a convex cone of the Hilbert
space H .
Fixed Point Theory and Best Approximation: The KKM-Map Principle 201
Examples.
1. Consider the problem of optimization. Let 9 : K -+ lR.. The problem is
to find x E K such that gx ~ gy for all y E K; that is, g(x) = min {gy :
y E K} (O.P.).
Set f(x, y) = gy - gx. The (O.P.) coincides with (E.P.).
2. Fixed Points: Let X = X* be a Hilbert space. Let 9 : K -+ K. Find
an x E K such that x = gx (F.P.).
Set f(x, y) = (x - gx, y - x).
Then x is a solution of (E.P.) iff x is a solution of (F.P.).
If x is a fixed point of g, then (x - gx, y - x) ~ 0 for all y E K, that is,
f(x, y) ~ O.
If (E.P.) is satisfied, then by taking y = gx, we get that 0 < f(x, y) =
-lIgx - xll 2 a contradiction, so gx = x and (E.P.) implies (F.P.).
Let 9 : K -+ X*. Find x E X such that x E K, (gx,y - x) ~ 0 for all
y E K (Variational Problem, V.P.).
Set f(x,y) = (gx,y - x). Then (V.P.) if and only if (E.P.).
Let K be a closed convex cone with K* = {x E X* : (x, y) ~ 0 for all
y E K}-polar cone of K.
204 CHAPTER 5
25. F.E. Browder. Coincidence theorems, minimax theorem and variational inequalities.
Contem. Math., 26 (1984), 67-80.
26. F.E. Browder. On a sharpened form of the Schauder fixed point theorem . Proc.
Nat. Acad. Sci., U.S.A ., 74 (1977), 4749-4751.
27. F.E. Browder. Fixed point theory of multi valued mappings in topological vector
spaces. Math. Ann., 177 (1968), 283-301.
28. F.E. Browder. Semicontractive and semiaccretive nonlinear mappings in Banach
spaces. Bull. Amer. Math. Soc., 74 (1968), 660-665.
29. F.E. Browder. Convergence of approximants to fixed point of nonexpansive
nonlinear mappings in Banach spaces. Arch. Rat. Mech. Anal., 74 (1967), 82-90.
30. F.E. Browder. Fixed point theorems for nonlinear semicontractive mappings in
Banach spaces. Arch. Rat. Mech. Anal., 21 (1966), 259-269.
31. F.E. Browder. Fixed point theorems for noncompact mappings in Hilbert spaces.
Proc . Nat. Acad. Sci., U.S.A., 53 (1965), 1272-1276.
32. F.E. Browder. Nonexpansive nonlinear operators in Banach space. Proc. Nat. Acad.
Sci., 54 (1965), 1041-1044.
33. F.E. Browder and W. V. Petryshyn. Construction of fixed points of noninear
mappings in Hilbert spaces. J. Math. Anal. Appl., 20 (1967), 197-228.
34. F.E. Browder and W . V. Petryshyn. The solution of iteration of nonlinear functional
equations in Banach spaces. Bull. Amer. Math. Soc., 72 (1966), 571-575.
35. R.E. Bruck. On the convex approximation property and the asymptotic behaviour
of nonlinear contractions in Banach spaces. Israel J. Math., 38 (1981), 304-314.
36. R.E. Bruck. A simple proof of the mean ergodic theorem for nonlinear contractions
in Banach spaces. Israel J. Math., 32 (1979), 277-282.
37. C.C. Buoi. Some fixed point theorems for multifunctions with applications in game
theory. Dissert. Math., 245 (1986), 1-40.
38. G.L. Cain, Jr. and M. Z. Nashed, Fixed points and stability for a sum of two
operators in locally convex spaces. Pacific J. Math., 39 (1972), 581-592.
39. A. Carbone. Kakutani factorizable maps and best approximation. Indian J. Math.
19 (1996), 711-716. this may go after the next one.
40. A. Carbone. An extension of a best approximation theorem. Intern. J. Math. Sci.
(1995).
41. A. Carbone and G. Conti. Multivalued maps and the existence of best approximants.
J. Approx. Theory, 64 (1991), 203-208.
42. A. Carbone and S.P. Singh. On Fan's best approximation and fixed points. Rend.
Sem. Mat. Univ. Pol. Torino (1995), to appear.
43. A. Carbone and S.P. Singh. Fixed point theorems for Altman type mappings. Indian
J. Pure Appl. Math., 18 (1987), 1082-1087.
44. J. Caristi. Fixed point theorems for mappings satisfying the inwardness condition.
Trans. Amer. Math. Soc., 215 (1976), 241-250.
45. T.H. Chang and C.L. Yen. Some fixed point theorems in Banach spaces. J. Math .
Anal. Appl., 138 (1989), 550-558.
46. E.W. Cheney. Introduction to Approximation Theory. Chelsea Publ. Co., New York,
2nd. Edition (1982).
47. E.W. Cheney. Applications of fixed point theorems to approximation theory.
In Theory of approximations with applications Academic Press, Ed. Law and Sahney,
(1976), 1-8.
48. E.W. Cheney. Introduction to Approximation Theory, McGraw-Hill, New York
(1966).
49. E.W. Cheney and A.A. Goldstein. Proximity maps for convex sets. Proc. Amer.
Math. Soc., 10 (1959), 448-450.
50. C.E. Chidume. An iterative process for nonlinear Lipschitzian strongly accretive
mappings in L spaces. J. Math. Anal. Appl., 151 (1990), 453-461.
51. R.W. Cottle. Some recent developments in linear complementarity theory
variational inequalities and complementarity problems. Theory and Applications,
Fixed Point Theory and Best Approximation: The KKM-Map Principle 207
John-Wiley and Sons, New York (Editors: Cottle, Giannessi and Lions).
52. R.W. Cottle, J .S. Pang, and R.E. Stone. The Linear Complementarity Problem,
Accademic Press (1992).
53. A. Darbo. Punti uniti in transformazioni a codominio non compatto. Rend. Accad.
Naz. Linccei, 48 (1970), 195-198.
54. KM. Das, S.P. Singh, and B. Watson. A note on Mann iteration for quasi-
nonexpansive mappings. Nonlinear Analysis, 6 (1981), 675-676.
55. D.G. DeFigueredo. Topics in nonlinear functional analysis. Lecture Note, University
of Maryland (1967).
56. K Deimling. Nonlinear Functional Analysis. Springer, New York (1985).
57. R. deMarr. Common fixed points for commuting contraction mappings. Paci/. J.
Math., 13 (1963), 1139-1141.
58. J.B. Diaz and F .T . Metcalf. On the set of subsequential limit points of successive
approximations. Trans. Amer. Math . Soc., 135 (1969), 459-485.
59. X .P . Ding. New generalizations of an HKKM type theorem and their applications.
Bull. Austr. Math. Soc., 48 (1993), 451-464.
60. X.P. Ding. Continuous selection theorem, coincidence theorem, and intersection
theorems concerning sets with H-convex sections. J. Austr. Math . Soc., 52 (1992),
11-25.
61. X.P. Ding. Iterative process for nonlinear mappings in convex metric spaces. J.
Math. Anal. Appl., 132 (1988), 114-122.
62. X.P. Ding and KK Tan. Generalizations of KKM theorem and applications to best
approximations and fixed point theorems. SEA Bull. Math., 18 (1994), 27-36.
63. X.P. Ding and KK. Tan. A set-valued generalization of Fan's best approximation
theorem. Canad. J. Math, 44 (1992), 784-796.
64. X.P. Ding and KK Tan. Matching theorems, fixed point theorems, and inequalities
without convexity. J. Austr. Math. Soc., 49 (1990), 111-128.
65 . W.G. Dotson Jr. An iterative process for nonlinear montonic nonexpansive
operators in Hilbert spaces. Math. Comp., 32 (1978), 223-225 .
66. W .G. Dotson, Jr. On fixed points of nonexpansive mappings in nonconvex sets.
Proc. Amer. Math. Soc., 38 (1973) , 155-156.
67. W.G. Dotson Jr. Fixed points of quasinonexpansive mappings. J. Australian Math .
Soc., 13 (1972), 167-170.
68. W.G . Dotson Jr. On the Mann iterative process. Trans. Amer. Math. Soc ., 149
(1970), 65-73.
69. D. Downing and W.A. Kirk. Fixed point theorems for set-valued mappings in metric
and Banach spaces. Math. Japonica, 22 (1977), 99-112.
70. J . Dugundji. Topology, Allyan and Bacon Inc. (1966).
71. J . Dugundji and A. Granas. Fixed Point Theory, 1. Polish Academic Publishers,
Warszawa, (1982).
72 . J. Dugundji and A. Granas. KKM-maps and variational inequalities. Ann. Scuola
Norm. Sup. Pis a, 5 (1978), 679-682.
73. N. Dunford and J.T. Schwarz. Linear operators. Interscience , I (1958).
74. M. Edelstein. A remark on a theorem of M.A. Krasnoselskii. Amer. Math. Monthly,
73 (1966), 509-510.
75. M. Edelstein. A nonexpansive mapping of Banach spaces. Proc. Cambridge Phil.
Soc., 60 (1964), 509-510.
76. M. Edelstein. On nonexpansive mappings. Proc. Amer. Math. Soc., 15 (1964),
689-695.
77. M. Edelstein. On fixed and periodic points under contractive mappings. J. London
Math. Soc., 37 (1962), 74-79.
78. M. Edelstein. An extension of Banach's contraction principle. Proc. Amer. Math.
Soc., 12 (1961), 7-10.
79. M. Edelstein and R.C. O'Brien. Nonexpansive mappings, asymptotic regularity and
successive approximations. J . London Math . Soc., (2) , 17 (1978), 547-554.
208 REFERENCES
80. E. Eilenberg and D. Montgomery. Fixed point theorems for multi valued
transformation. Amer. J. Math., 68 (1946), 214-222.
81. J. Eisenfeld and V. Lakshmikantham. Fixed point theorems on closed sets through
abstract cones. Appl. Math. Comput., 3 (1977), 155-167.
82. E.Fadell and G.Fournier. Fixed Point Theory, Lecture Notes in Math. Springer-
Verlag (1981).
83. Ky Fan. Some properties of convex sets related to fixed point theorems. Math.
Ann., 266 (1984), 519-537.
84. Ky Fan. Fixed points and related theorems for noncompact convex sets. Game
Theory and related topics, Ed.O.Moeschlin, D. Pollaschk, North Holland Publ. (1979),
151-156.
85. Ky Fan. A minimax inequality and applications. Inequalities III, Ed. O. Shisha,
Academic Press New York, (1972), 103-113.
86. Ky Fan. Extensions of two fixed point theorems of F. E. Browder. Math. Z., 112
(1969), 234-240.
87. Ky Fan. Applications of a theorem concerning sets with convex sections. Math.
Ann., 163 (1966), 189-203.
88. Ky Fan. Sur un theoreme minimax. C.R. Acad. Sci. Paris, Ser 1, Math., 259
(1964), 3925-3928.
89. Ky Fan. A generalization of Tychonoff's fixed point theorem. Math. Ann., 142
(1961), 305-310.
90. Ky Fan. Fixed point and minimax theorems in locally convex topological linear
spaces. Proc. Nat. Acad. Sci. U.S.A., 38 (1952), 121-126.
91. M. Furi and A. Vignoli. On alpha-nonexpansive mappings and fixed points. Rendi.
Acad. Naz. Lince;, 48 (1970), 195-198.
92. M. Furi and A . Vignoli. Fixed point theorem in complete metric spaces. Bull.
Unione Mat. Italiana, (4) 2 (1969), 505-509.
93. M. Furi and A. Vignoli . Fixed points for densifying mappings. Rend. Accad. Naz.
Lincei, 47 (1969), 465-467.
94. A. Genel and J. Lindenstrauss. An example concerning fixed points. Israel J. Math.,
22 (1975), 81-86.
95. I. Glicksberg. A further generalization of Kakutani fixed point theorem with
applications to Nash equilibrium points. Proc. Amer. Math. Soc., 3 (1952), 170-174.
96. R. Glowinski, J. Lions, and R. Tremolieres. Numerical analysis of variational
inequalities. with applications to Nash equilibrium points. North Holland, Amsterdam
(1982).
97. K. Goebel and W.A. Kirk. Topics in metric fixed point theory. Cambridge University
Press, Cambridge, U.K. (1990).
98. K. Goebel and W.A. Kirk. Iteration Process for nonexpansive mappings. Contem.
Math., AMS (Ed. Singh, Thomeier and Watson), 21 (1983), 115-123.
99. D. Gohde. Zum prinzip der kontraktiven abbildung. Math. Nachr., 30 (1965),
251-258.
100. A. Granas. Methodes Topologiques en Analyse Convex. Univ. de Montreal, 110
(1990).
101. A. Granas. KKM-maps and their applications to nonlinear problems. The Scottish
Book, Ed. R.D. Mauldin, Birkhauser, (1982), 45-61.
102. A. Granas and F. C. Liu. Coincidences for set valued maps and minimax
inequalities. J. Math. Pures Appl, 65 (1986), 119-148.
103. A. Granas, H. Ben-EI-Mechaiekh, and P. Deguire. A nonlinear alternative in convex
analysis - some consequences. G.R. Acad. Sci. Paris (1982), 257-259.
104. J. Gwinner. On fixed points and variational inequalities: A circular tour. Nonlinear
Anal., 5 (1981), 565-583.
105. C. W. Ha. Extensions of two fixed point theorems of Ky Fan. Math Z., 190 (1985),
13-16.
106. C. W. Ha. Minimax and fixed point theorems. Math. Ann., 248 (1980), 73-77.
Fixed Point Theory and Best Approximation: The KKM-Map Principle 209
107. G.J. Habetler and A.L. Price. Existence theory for generalized nonlinear
complementarity problem. J. Opt. Theory. Appl., 7 (1971) 223-239.
108. O . Hadzic. Some remarks on a theorem on best approximations. Rev. and Analyse
Numerique et Theory de Approx., 15 (1986), 27-35.
109. B. Halpern. Fixed point theorems for set-valued mappings in infinite dimensional
spaces. Math. Ann., 189 (1970), 87-98.
110. B. Halpern and G. M. Bergman. A fixed point theorem for inward and outward
maps. Trans. Amer. Math. Soc ., 130 (1968), 353- 358.
111. P.T.Harker and J.S. Pang. Finite dimensional variational inequality and nonlinear
complementarity problems, A survey of theory, algorithms and applications. Math
Programming, 48 (1990) 161-220.
112. P. Hartman and G. Stampacchia. On some nonlinear elliptic differential equations.
Acta Math., 115 (1966), 271-310.
113. H. G. Henser. Functional Analysis. Wiley Interscience, New York (1981) .
114. T.L. Hicks and M.D. Humphries. A note on fixed point theorems. J. Approx.
Theory, 34 (1982) , 221-225.
115. T.L. Hicks and B.E. Rhoades. Fixed points and continuity for multi valued
mappings. Intern. J. Math. Sci., 15 (1992) , 15-30.
116. T.L. Hicks and B.B. Rhoades. A Banach type fixed point theorem. Math. Japon ,
24 (1979), 327-330.
117. B.P. Hillam. A Characterization of the convergence on successive approximations.
Amer. Math. Monthly, 83 (1976), 273.
118. B.P. Hillam. A generalization of Krasnoselskii's theorem on the real line. Math
Mag., 48 (1975), 167-168.
119. C.J. Himmelberg. Fixed points of compact multifunctions. J. Math . Anal. Appl.,
38 (1972) , 205-207.
120. C .J . Himmelberg, C.J. Porter, and F.S. Van Vleck. Fixed point theorems for
condensing multifunctions. Proc. Amer. Math. Soc ., 23 (1969), 635-641.
121. N. Hirano. A proof of the mean ergodic theorem for nonexpansive mappings in
Banach spaces. Proc. Amer. Math . Soc., 78 (1980), 361- 365.
122. N. Hirano and W. Takahashi. Nonlinear ergodic theorems for nonexpansive
mappings in Hilbert spaces. Kodai Math. J., 2 (1979), 11- 25.
123. R.B. Holmes. Geometric Functional Analysis and its Applications. Springer-Verlag,
New York (1975).
124. R.B. Holmes. A course on optimization and best approximation. Lecture Notes
257, Springer-Verlag, New York (1972).
125. C. Horvath. Contractibility and generalized convexity. J. Math. Anal. Appl., 156
(1991), 341-357.
126. C. Horvath. Some results on multi valued mappings and inequalities without
convexity. Proc. Nonlinear and Convex Analysis, Ed. B.L. Lin and S. Simons, Marcel
Dekker (1989), 99-106.
127. V. Hutson and J.S. Pym. Applications of functional analysis and operator theory.
Academic Press (1980) .
128. T. lchishi. On the Knaster-Kuratowski-Mazurkiewicz-Shapley theorem. J. Math .
Anal. Appl. 8 (1981), 297-299.
129. G. Isac. Complementarity Problems. Springer-Verlag (1992).
130. G. Isac. A special variational inequality and the implicit complementarity problem.
J. Fac . Sci. Univ. Tokyo, 37 (1990) 109-127.
131. G. Isac. Fixed point theory and complementarity problems in Hilbert space. Bull.
Austral. Math. Soc ., 36 (1987) 295-310.
132. S. Ishikawa. Fixed points and iteration of a nonexpansive mappings in Banach
space. Proc . Amer. Math. Soc., 59 (1976) , 361-365.
133. S. Ishikawa. Fixed points by a new interation method. Proc. Amer. Math . Soc . 44
(1974) , 147-150.
134. V.1. Istratescu. Fixed point theory. D.Reidel, Dordrecht (1981) .
210 REFERENCES
135. S. Itoh and W. Takahashi. The common fixed point theory of singlevalued
mappings and multivalued mappings. Pacif. J. Math., 79 (1978), 493-508.
136. S. Itoh, W. Takahash, and K. Yanagi. Variational inequalities and complementarity
problems. J. Math. Soc. Japan, 30 (1978), 23-28.
137. M.C. Joshi and R.K. Bose. Some topics in nonlinear functional analysis. Wiley
Eastern Ltd. India, (1985).
138. T. Kaczynski. Quelques theoremes ayant suflisamment de fonctionnalles lineaires.
C.R. Acad. Sci. Paris, 296 (1983), 873-874.
139. S. Kakutani. A generalization of Brouwer fixed point theorem. Duke Math. J., 8
(1941), 457-459.
140. R. Kannan. Some results on fixed points. Bull. Calcutta Math. Soc., 60 (1968),
71-78.
141. O.P. Kapoor. On an intersection lemma. J. Math. Anal. Appl., 45 (1974), 354-356.
142. S. Karamardian. The complementarity problem. Math Programming, 2 (1972),
107-129.
143. S. Karamardian. Generalized complementarity problem. J. Optimiz. Theory and
Appl., 10 (1971), 161-168.
144. S. Karamardian. The nonlinear complementarity problem with applications I, II.
J. Optimiz. Th. Appl., 4 (1969), 87-98, 167-181.
145. W.K. Kim. Some applications of the Kakutani fixed point theorem. J. Math. Anal.
Appl., 131 (1987), 119-122.
146. W.K. Kim. Studies on the KKM Maps. Ph.D. Thesis, Seoul National University,
Korea (1985).
147. D. Kindrelehrer and G. Stampacchia. An Introduction to Variational Inequalities
and Their Applications. Acad. Press, New York (1980).
148. W.A. Kirk. Krasnoselskii's iteration process in hyperbolic space. Numer. Funct.
Anal f3 Optimiz., 4 (1982), 371-381.
149. W.A. Kirk. On successive approximations for nonexpansive mappings in Banach
spaces. Glasgow Math. J., 12 (1971), 6-9.
150. W.A. Kirk. A fixed point theorem for mappings which do not increase distances.
Amer. Math. Monthly, 72 (1965), 1004-1006.
151. V. Klee. Convexity of Chebyshev sets. Math. Ann., 142 (1961), 292-304.
152. E. Klein and A.C. Thompson. Theory of Correspondences. Wiley, Interscience
Publ. (1984).
153. B. Knaster, C. Kuratowski, S. Mazurkiewicz. Ein beweis des fixpunktsatzes fur
n-dimensionale simplexe. Fund. Math., 14 (1929), 132-137.
154. H.M. Ko. Fixed point theorems for point-to-set mappings. Ph.D.Thesis, University
of British Columbia (1970).
155. H.M. Ko and K.K. Tan. A coincidence theorem with applications to minimax
inequalities and fixed point theorems. Tamkang J. Math., 17 (1986), 37-45.
156. G. Kothe. Topological vector spaces I. Springer-Verlag, Berlin/New York (1969).
157. M.A. Krasnoselskii. Two observations about the method of successive
approximations. Usp. Math. Nauk., 10 (1955), 123-127.
158. M.A. Krasnoselskii and P.P. Zabreiko. Geometrical Methods of Nonlinear Analysis,
Springer-Verlag (1984).
159. C. Kuratowski. Topologie. Warszawa, 1 (1958).
160. E. Lami-Dozo. Multivalued nonexpansive mappings and Opial's condition. Proc.
Amer. Math. Soc., 38 (1973), 286-292.
161. M. Lassonde. Reduction du cas multivoque au cas univoque dans les problemes de
coincidence. Proc. Fixed Point Theory and Applications, Ed. Baillon J. B. and M. A.
Thera, Pitman Publishers (1991), 292-302.
162. M. Lassonde. Fixed points for Kakutani factorizable multifunctions. J. Math.
Anal. Appl., 152 (1990), 46-60.
163. M. Lassonde. On the use of KKM-multifunction in fixed points and related topics.
J. Math. Anal. Appl., 97 (1983), 151-201.
Fixed Point Theory and Best Approximation: The KKM-Map Principle 211
(1978), 1-7.
192. G. Minty. Monotone (non-linear) operators in Hilbert spaces. Duke Math. J., 29
(1962), 341-346.
193. J. Moreau. De'composition orthogonale d'un espace hilbertien selon deux co'nes
mutuellement polaires. C.R. Acad. Sci., Paris, 225 (1962) 238-240.
194. U. Mosco. Approximation of the solution of some variational inequalities. Annl.
Scuola Normale Sup. Pis a, 21 (1967).
195. S.B. Nadler Jr. Multivalued contraction mappings. Pacif J. Math ., 30 (1969),
475-488.
196. S.A. Naimpally, K.L. Singh, and J.H.W. Whitfield. Fixed points in convex. metric
spaces, Math. Japon., 29 (1984), 485-597.
197. L. Nirenberg. Nonlinear functional analysis. Lecture Notes, Courant lnst., New
York (1968).
198. M.A. Noor. An iterative algorithm for variational inequalities. J. Math. Anal.
Appl., 158 (1991), 448-455.
199. M.A. Noor. On complementarity problems. Math Japonicae, 34 (1989) 83-88.
200. M.A. Noor. General variational inequalities. App. Math . Letters, 1 (1988), 119-
122.
201. M.A. Noor. Strongly nonlinear variational inequalities. C.R. Math . Rep. Acad.
Sci. Canada, 4 (1982), 213-218.
202. R.D. Nussbaum. Some fixed point theorems. Bull. Amer. Math. Soc., 77 (1971),
360-365.
203. R. Nussbaum. The fixed point index and fixed point theorems for k-set contractions
Doctoral dissertation, University of Chicago (1969).
204. Z. Opial. Nonexpansive and Monotone mappings in Banach spaces. Brown
University (1967).
205 . Z. Opial. Weak convergence of the sequence of successive approximations for
nonexpansive mappings. Bull. Amer. Math. Soc., 73 (1967), 591-597.
206. J.M. Ortega and W.C. Rheinboldt. Nonlinear Solutions of Nonlinear Equations in
Several Variables, Acad. Press, New York (1970).
207. E.V. ashman. On the continuity of metric projection in Banach space. Math. Sb.,
9 (1969), 171-182.
208. D. V. Pai. Proximal points of convex sets in normed linear spaces. Yokohama
Math. Jour., 22 (1974), 53-78.
209. S. Park. Extensions of best approximation and coincidence theorems. (1995).
210. S. Park. Fixed points of condensing maps on spheres satisfying the Leray-Schauder
condition. Indian J. Math. (1995).
211. S. Park. On minimax inequalities on spaces having certain contractible subsets.
Bull. Austr. Math. Soc. (to appear, 1995).
212. S. Park. A unified approach to generalizations of the KKM type theorems related
to acyclic maps. Numer. Funct. Anal. and Optimiz., 15 (1994), 105-119.
213. S. Park. Remarks on generalizations of best approximation theorems. Honam
Math. J., 16 (1994), 27-39.
214. S. Park. Some coincidence theorems on acyclic multifunctions and applications to
KKM theory. Proc . 2nd Intern. Con/. on Fixed Point Theory, Ed. K.K. Tan, World
Sci. Publishers (1992), 248-277.
215. S. Park. On the KKM type theorems on spaces having certain contractible subsets.
Kyungpook Math. J., 32 (1992), 607-628.
216. S. Park. Best approximations, inward sets, and fixed points. Progress in Approx.
Theory, Academic Press (1991), 711-719.
217. S. Park. Generalizations of Ky Fan's matching theorems and their applications.
J. Math. Anal. Appl., 141 (1989), 164-176.
218. S. Park. Fixed point theorems on compact convex sets in topological vector spaces.
Contemp. Math., 72 (1988), 183-191.
219. S. Park. On generalizations of Ky Fan's theorems on best approximation. Numer.
Fixed Point Theory and Best Approximation: The KKM-Map Principle 213
248. V.M. Sehgal. A simple proof of a theorem of Ky Fan. Proc. Amer. Math. Soc., 63
(1977), 368-369.
249. V.M. Sehgal. A fixed point theorem for the mappings with a contractive iterates.
Proc. Amer. Math. Soc., 23 (1969), 631-634.
250. V.M. Sehgal and S.P. Singh. A theorem on best approximations. Numer. Funct.
Anal. Optimiz., 10 (1989), 181-184.
251. V.M. Sehgal and S.P. Singh. A generalization to multi functions of Fan's best
approximation. Proc. Amer. Math. Soc., 102 (1988), 534-537.
252. V.M. Sehgal and S.P. Singh. A theorem on the minimization of a condensing
multifunction and fixed points. J. Math. Anal. Appl., 107 (1985), 96-102 .
253. V.M. Sehgal and S.P. Singh. A variant of a fixed point theorem of Ky Fan. Indian
J. Mathematics, 25 (1983), 171-174.
254. V .M. Sehgal, S.P. Singh, and G.C. Gestl. On a fixed point theorem for multi valued
maps. Proc. Intern. Conf. on Fixed Point Theory and Applications, Pittman
Publishers, Ed. Baillon and Thera (1991), 377-382.
255. V .M. Sehgal, S.P. Singh and R.E. Smithson. Nearest points and some fixed point
theorems. J. Math. Anal. Appl., 128 (1987), 108-111.
256. V.M. Sehgal, S.P. Singh, and B. Watson. Best approximation and fixed point
theorems. Bull. Allahabad math. Soc., 6 (1991), 11-27.
257. V .M. Sehgal, S.P. Singh and B. Watson. A coincidence theorem for topological
vector spaces. Indian J. Pure Appl. Math., 14 (1983), 565-566.
258. V.M. Sehgal and C.H. Suo Some fixed point theorems for non-expansive mappings
in locally convex spaces. Boll. UMI, 10 (1974), 598-601.
259. S. Sessa. Some remarks and applications of an extension of a lemma of Ky Fan.
Comm. Math. Univ. Carol., 29 (1988), 567-575.
260. S. Sessa and G. Mehta. General coincidence theorems for maps and multi valued
maps in topological vector spaces. Intern. J. Math. and Math. Sci. (to appear).
261. L.L. Shan. On approximation theorems and fixed point theorems for non-self-
mappings in infinite dimensional Banach spaces. J. Math. Anal. Appl., 188 (1994),
541-551.
262. M.S. Shih and K.K. Tan. Minimax inequalities and applications. Contemp. Math,
54 (1986), 45-63.
263. S. Simons. An existence theorem for quasiconcave functions with applications.
Nonlinear Analysis, 10 (1986), 1133-1152.
264. S. Simons. Two function minimax theorems and variational inequalities for
functions on compact and noncompact sets. Proc. Symp. Pure Math., AMS, 45 (1986),
377-392.
265. S. Simons. Minimax and variational inequalities, are they of fixed point or Hahn-
Banach type? Game theory and mathematical economics, North Holland (1981) 379-
387.
266. R. Sine. Fixed points and nonexpansive mappings. Contemp. Math. Amer. Math.
Soc., 18 (1982).
267. I. Singer. Best approximation is normed linear space by elements 0/ linear
subspaces. Springer-Verlag, New York (1970).
268. I. Singer. Some remarks on approximative compactness. Rev. Roumaine Math .
Pures. Appl., 6 (1964), 167-177.
269. S.P. Singh. Some results on best approximation in locally convex spaces. J. Approx.
Theory, 28 (1980), 329-332.
270. S.P. Singh. Application of a fixed point theorem to approximation theory. J.
Approx. Theory, 25 (1979), 88-89.
271. S.P. Singh. Application of fixed point theorems in approximation theory In Applied
nonlinear analysis, Academic Press (1979), 389-394.
272. S.P. Singh and B. Watson. Best approximation and fixed point theorems. Proc.
NATO-ASI on Approximation Theory, Wavelets, and Applications, Kluwer Academic
Publishers (1995), 285-294.
Fixed Point Theory and Best Approximation: The KKM-Map Principle 215
273. S.P. Singh and B. Watson. On convergence results in fixed point theory. Rend.
Sem. Mat., Univ. Pol. Torino, 51 (1993), 73-91.
274. S.P. Singh and B. Watson. On approximating fixed points. Proc. Symp. Pure
Math ., Amer. Math. Soc. Ed. F.E. Browder, 45 (1986), 393-395.
275. S.P. Singh and B. Watson. Proximity maps and fixed points. J. Approx. Theory,
28 (1983), 72-76.
276. M. Sion. On general minimax theorems. PaciJ.J. Math, 8 (1958), 171-176.
277. D.R. Smart. Fixed point theory. Cambridge University Press, Cambridge (1974).
278. P.V. Subrahmanyam. An application of a fixed point theorem to best
approximations. J. Approx. Theory, 20 (1977), 165-172.
279. S. Swaminathan. Fixed Point Theory and its Applications, Academic Press, New
York (1975).
280. W. Takahashi. Existence theorems generalizing foxed point theorems for
multi valued mappings. Proc. Fixed Point Theory and Applications, Eds. Thera and
Baillon, Pitman Publishers, London, 252 (1991), 397-406.
281. W. Takahashi. Fixed point, minimax and Hahn-Banach theorem. Proc. Symp.
Pure Math. AMS, 45 (1986), 419-427.
282. W. Takahashi. Recent results in fixed point theory. Southeast Asian Bull. Math.,
4 (1980), 59-85.
283. W. Takahashi. Nonlinear inequalities and fixed point theorems. J. Math. Soc.
Japan 28 (1976), 168-181.
284. W . Takahashi. A convexity in metric space and nonexpansive mappings I. Kodai
Math. Sem. Rep. (1970), 142-149.
285. KK Tan. Fixed point theory and applications. World Scientific Publishers, Hong
Kong (1992).
286. KK Tan. Comparison theorems on minimax inequalities, variational inequalities,
and fixed point theorems. J. London Math. Soc., 28 (1983), 555-562.
287. KK . Tan and H.K Xu. A nonlinear ergodic theorem for asymptotically non-
expansive mappings. Bull. Austr. Math . Soc., 45 (1992), 25-36.
288. K.K Tan and X.Z. Yuan. A minimax inequality with applications to existence of
equilibrium points. Bull. Austr. Math. Soc., 47 (1993), 483-503.
289. E. Tarafdar. Fixed point theorems in H-spaces and equilibrium points of abstract
economies. J. Austr. Math. Soc., 53 (1992), 252-260.
290. E . Tarafdar. A fixed point theorem in H-spaces and related results. Bull. Austr.
Math. Soc., 42 (1990), 133-140.
291. E. Tarafdar. Five equivalent theorems on a convex subset of a topological vector
space. Commen. Math. Univ. Carolinae, 30 (1989), 323-326.
292. E. Tarafdar. Variational problems via a fixed point theorem. Indian J. Math., 28
(1986), 229-240.
293. E. Tarafdar. On minimax principles and sets with convex sections . Publ. Math.
Debrecan, 27 (1982), 219-226.
294. E. Tarafdar. On nonlinear variational inequalities. Proc. Amer. Math. Soc, 67
(1977), 95-98.
295. E. Tarafdar and G. Mehta. On the existence of quasi-equilibrium in a competitive
economy. Int. J. Sci. Engr., 1 (1984), 1-12.
296. M.A. Thera and J.B. Baillon. Fixed point theory and applications. Pitman Res.
Notes in Mathematicse, Series 252 (1991).
297. A. Tychonoff. Ein fixpunktsatz. Math. Ann., 111 (1935), 767-776.
298. V. Vetrivel. On fixed points of nonexpansive and multi valued mappings. Ph.D.
Thesis, lIT Madras (1992).
299. V. Vetri vel , P. Veeramani, and P. Bhattacharyya. Some extensions of Fan's best
approximation theorem. Numer. Funct. Anal. Optimiz., 13 (1992), 397-402.
300. A. Villar. Operator theorems with applications to distributive problems and
equilibrium models. Lecture Notes in Economics and Mathematical Systems, Springer-
Verlag (1992).
216 REFERENCES
301. L.P. Vlasov. Approximative properties of set in normed linear spaces. Russian
Math. Surveys, 28 (1973), 1-66.
302. L.P. Vlasov. Chebyshev sets in Banach spaces. Soviet Math. Doklady, 2 (1961),
1373-1374.
303. C.W. Waters. Some fixed point theorems for radial contractions, nonexpansive
and set-valued mappings. Ph.D. Thesis, University of Wyoming, USA (1994).
304. B. Watson, B. Meade, and C. Norris. Note on a theorem of Altman. Indian J.
Pure Appl. Math., 17 (1986), 1092-1093.
305. A. Wilansky. Functional Analysis, Blaisdell Publishing Company, New York
(1964).
306. K. Yanagi. On some fixed point theorems for multi valued mappings. Pacific J.
Math., 87 (1980), 233-240.
307. N.C. Yannelis and N.D. Prabhakar. On a market equilibrium theorem with an
infinite number of commodities. J. Math. Anal. Appl., 108 (1985), 595-599.
308. N.C. Yannelis and N .D. Prabhakar. Existence of maximal elements and equilibria
in linear topological spaces. J. Math. Eco., 12 (1983), 233-243.
309. X.Z. Yuan. Knaster-Kuratowski-Mazurkiewicz theorems, Ky Fan minimax
inequalities and fixed point theorems. Nonlinear World, 2 (1995), 131-169.
310. E. Zeidler. Nonlinear functional analysis and its applications. I. Springer-Verlag,
New York (1985).
INDEX
217
218 INDEX
topological, 8
vector, 3
star center, 4
starshaped, 4
strictly contractive, 14
strictly convex, 4
strictly monotone, 6
strong topology, 5
strongly continuous, 6, 82
strongly monotone, 67
sufficiently many linear functionals,
183
sun, 197
supremum norm, 4
ueED, 7
uniformly convex, 4
in every direction, 7
unit ball, 6
unit sphere, 6
upper semicontinuous, 16, 35
Urysohn integral equation, 47
weak closure, 5
weak topology, 5, 9
weak* -topology, 9
weakly H-convex, 156
weakly asymptotically regular, 62
weakly closed, 5
weakly compact, 5
weakly continuous, 6, 183
weakly inward, 37, 43
weakly outward, 37
Other Mathematics and Its Applications titles of interest:
A.J. Jerri: Linear Difference Equations with Discrete Transform Methods. 1996,
462 pp. ISBN 0-7923-3940-1
I. Novikov and E. Semenov: Haar Series and Linear Operators. 1997, 234 pp.
ISBN 0-7923-4006-X
L. Zhizhiashvili: Trigonometric Fourier Series and Their Conjugates. 1996,
312 pp. ISBN 0-7923-4088-4
R.G. Buschman: Integral Transformation, Operational Calculus, and Generalized
Functions. 1996,246 pp. ISBN 0-7923-4183-X
V. Lakshmikantham, S. Sivasundaram and B. Kaymakcalan: Dynamic Systems on
Measure Chains. 1996,296 pp. ISBN 0-7923-4116-3
D. Guo, V. Lakshmikantham and X. Liu: Nonlinear Integral Equations in Abstract
Spaces. 1996,350 pp. ISBN 0-7923-4144-9
Y. Roitberg: Elliptic Boundary Value Problems in the Spaces of Distributions.
1996, 427 pp. ISBN 0-7923-4303-4
Y. Komatu: Distortion Theorems in Relation to Linear Integral Operators. 1996,
313 pp. ISBN 0-7923-4304-2
A.G. Chentsov: Asymptotic Attainability. 1997,336 pp. ISBN 0-7923-4302-6
S.T. Zavalishchin and A.N. Sesekin: Dynamic Impulse Systems. Theory and
Applications. 1997, 268 pp. ISBN 0-7923-4394-8
U. Elias: Oscillation Theory of Two-Term Differential Equations. 1997,226 pp.
ISBN 0-7923-4447-2
D. O'Regan: Existence Theory for Nonlinear Ordinary Differential Equations.
1997, 204 pp. ISBN 0-7923-4511-8
Yu. Mitropolskii, G. Khoma and M. Gromyak: Asymptotic Methods for Investigat-
ing Quasiwave Equations of Hyperbolic Type. 1997,418 pp. ISBN 0-7923-4529-0
R.P. Agarwal and P.J.Y. Wong: Advanced Topics in Difference Equations. 1997,
518 pp. ISBN 0-7923-4521-5
N.N. Tarkhanov: The Analysis of Solutions of Elliptic Equations. 1997, 406 pp.
ISBN 0-7923-4531-2
B. Rieean and T. Neubrunn: Integral, Measure, and Ordering. 1997,376 pp.
ISBN 0-7923-4566-5
N.L. Gol'dman: Inverse Stefan Problems. 1997,258 pp. ISBN 0-7923-4588-6
S. Singh, B. Watson and P. Srivastava: Fixed Point Theory and Best Approxima-
tion: The KKM-map Principle. 1997,230 pp. ISBN 0-7923-4758-7