- Research
- Open access
- Published:
Evolution of the 1984 KKM theorem of Ky Fan
Fixed Point Theory and Applications volume 2012, Article number: 146 (2012)
Abstract
Recently we established the Knaster, Kuratowski, and Mazurkiewicz (KKM) theory on abstract convex spaces. In our research, we noticed that there are quite a few generalizations and applications of the 1984 KKM theorem of Ky Fan compared with his celebrated 1961 KKM lemma. In a certain sense, the relationship between the 1984 theorem and hundreds of known generalizations of the original KKM theorem has not been recognized for a long period. There would be some reasons to explain this fact. Instead, in this paper, we give several generalizations of the 1984 theorem and some known applications in order to reveal the close relationship among them.
MSC: 47H04, 47H10, 47J20, 47N10, 49J53, 52A99, 54C60, 54H25, 58E35, 90C47, 91A13, 91B50.
1 Introduction
One of the earliest equivalent formulations of the Brouwer fixed point theorem of 1912 is the theorem of Knaster, Kuratowski, and Mazurkiewicz (the KKM theorem for short) of 1929 [1], which was concerned with a particular type of multimaps, later called KKM maps. The KKM theory (first called by the author in 1992 [2–4]) is the study of applications of various equivalent formulations of the KKM theorem and their generalizations.
From 1961 Ky Fan showed that the KKM theorem provides the foundation for many of the modern essential results in diverse areas of mathematical sciences. Actually, a milestone in the history of the KKM theory was erected by Fan in 1961 [5]. His 1961 KKM lemma (or the Fan-KKM theorem or the KKMF theorem) extended the KKM theorem to arbitrary topological vector spaces and was applied to various problems in his subsequent papers [6–9]. Moreover, his lemma was extended in 1979 and 1984 [10, 11] to the 1984 KKM theorem with a new coercivity (or compactness) condition for noncompact convex sets with new applications.
Consequently, at the beginning, the basic theorems in the KKM theory and their applications were established for convex subsets of topological vector spaces mainly by Fan in 1961-84 [5–11]. A number of intersection theorems and their applications to equilibrium problems followed. In our previous review [12], we recalled Ky Fan’s contributions to the KKM theory based on his celebrated 1961 KKM lemma and introduced relatively recent applications of the lemma due to other authors in the twenty-first century.
Then, the KKM theory was extended to convex spaces by Lassonde in 1983 [13], and to c-spaces (or H-spaces) by Horvath in 1983-93 [14–17] and others. Since 1993 the theory has been extended to generalized convex (G-convex) spaces in a sequence of papers of the present author and others. Since 2006 the main theme of the theory has become abstract convex spaces in the sense of Park. The basic theorems in the theory have many applications to various equilibrium problems in nonlinear analysis and other fields. In our another review [18], we recalled our versions of general KKM type theorems for abstract convex spaces and introduced relatively recent applications of various generalized KKM type theorems due to other authors in the twenty-first century.
While we were studying [12, 18], we noticed that there are quite a few generalizations and applications of the 1984 KKM theorem of Ky Fan. In a certain sense, nobody noticed the relation between the theorem and hundreds of known generalizations of the original KKM theorem. There would be some reasons to explain this fact. Instead, in this paper, we introduce several generalizations of the 1984 theorem and some known direct applications in order to reveal the close relationship among them.
In Section 2 of this paper, we introduce the recent concepts of abstract convex spaces and partial KKM spaces and the modern versions of some most general KKM type theorems. Section 3 recalls Ky Fan’s contributions to the KKM theory based on his celebrated 1961 KKM lemma and his 1984 KKM theorem. Section 4 deals with the evolution of the 1984 theorem, and we deduce several important generalizations. Section 5 is devoted to the discussion on relatively recent applications of the 1984 theorem due to other authors in the twenty-first century. Finally, Section 6 deals with some remarks on current studies of the KKM theory.
2 Abstract convex spaces and general KKM theorems
Multimaps are also simply called maps. Let denote the set of all nonempty finite subsets of a set D. Recall the following [19–21]:
Definition An abstract convex space consists of a topological space E, a nonempty set D, and a multimap with nonempty values for .
For any , the Γ-convex hull of is denoted and defined by
A subset X of E is called a Γ-convex subset of relative to if for any , we have , that is, .
In case , let .
Definition Let be an abstract convex space and Z be a topological space. For a multimap with nonempty values, if a multimap satisfies
then G is called a KKM map with respect to F. A KKM map is a KKM map with respect to the identity map .
A multimap is called a -map (resp., a -map) if, for any closed-valued (resp., open-valued) KKM map with respect to F, the family has the finite intersection property. In this case, we denote (resp., ).
Definition The partial KKM principle for an abstract convex space is the statement ; that is, for any closed-valued KKM map , the family has the finite intersection property. The KKM principle is the statement ; that is, the same property also holds for any open-valued KKM map.
An abstract convex space is called a (partial) KKM space if it satisfies the (partial) KKM principle respectively.
In our recent works [19–21], we studied the elements or foundations of the KKM theory on abstract convex spaces and noticed that many important results therein are related to the partial KKM principle.
Recall the following well-known diagram for triples :
For a long time, the present author tried to unify hundreds of generalizations of the KKM type theorems and, finally, obtained Theorems A-C below in [22–24]. The following whole intersection property for the map-values of a KKM map is a standard form of the KKM type theorems.
Theorem A Let be an abstract convex space, the identity map (resp., ), and be a multimap satisfying
(1) G has closed (resp., open) values; and
(2) for any (that is, G is a KKM map).
Then has the finite intersection property.
Further, if
(3) is compact for some , then we have
Consider the following related four conditions for a map :
(a) implies .
(b) (G is intersectionally closed-valued).
(c) (G is transfer closed-valued).
(d) G is closed-valued.
From the partial KKM principle we have a whole intersection property of the Fan type. The following is given in [22–24]:
Theorem B Let be a partial KKM space (that is, ) and be a map such that
(1) is a KKM map (that is, for all ); and
(2) there exists a nonempty compact subset K of E such that either
(i) for some ; or
(ii) for each , there exists a compact Γ-convex subset of E relative to some such that and
Then we have
Furthermore,
(α) if G is transfer closed-valued, then ;
(β) if G is intersectionally closed-valued, then .
Remark Considering the closure instead of the compact set K, we may assume K is closed without loss of generality. Then the closure notations in each coercivity condition (i) and (ii) can be eliminated. Moreover, for the applications of Theorem B, see the recent work [25] and the references therein.
Theorem B can be extended to instead of as the following in [22–24] shows:
Theorem C Let be an abstract convex space, Z be a topological space, , and be a map such that
(1) is a KKM map w.r.t. F; and
(2) there exists a nonempty compact subset K of Z such that either
(i) for some ; or
(ii) for each , there exists a Γ-convex subset of E relative to some such that , is compact, and
Then we have
Furthermore,
(α) if G is transfer closed-valued, then ; and
(β) if G is intersectionally closed-valued, then .
Remark We may assume K is closed without loss of generality. Then the closure notations in each coercivity condition can be eliminated. As far as the author knows, Theorem C contains several hundred generalizations of the KKM theorem that appeared in the existing literature; see [12, 18, 21–28] and the references therein.
3 The origin and Fan’s applications
In this section, we will follow [4, 29] and others.
Knaster, Kuratowski, and Mazurkiewicz in 1929 [1] obtained the following KKM theorem from the Sperner combinatorial lemma in 1928 and applied it to a simple proof of the Brouwer fixed point theorem.
The KKM theorem ([1])
Let () be closed subsets of an n-simplex . If the inclusion relation
holds for all faces (, ), then .
This was extended by Ky Fan in 1961 [5] as follows.
The 1961 KKM lemma ([5])
Let X be an arbitrary set in a Hausdorff topological vector space Y. To each , let a closed set in Y be given such that the following two conditions are satisfied:
(i) convex hull of any finite subset of X is contained in .
(ii) is compact for at least one .
Then .
This is usually known as the Fan-KKM lemma or the Fan-KKM theorem or the KKMF theorem. Fan assumed the Hausdorffness of Y, which was known to be superfluous later. Fan and his followers applied his KKM lemma to various problems in many fields in mathematics; see [4, 25, 29].
Later, Fan [10, 11] introduced a KKM theorem with a more general coercivity (or compactness) condition for noncompact convex sets as follows.
The 1984 KKM theorem ([11])
In a Hausdorff topological vector space, let Y be a convex set and . For each , let be a relatively closed subset of Y such that the convex hull of every finite subset of X is contained in the corresponding union . If there is a nonempty subset of X such that the intersection is compact and is contained in a compact convex subset of Y, then .
This was first introduced in 1979 [10] without proof and was proved in 1984 [11]via an equivalent matching theorem for open covers of convex sets. We give a proof of the following for completeness.
The 1984 theorem ⇒ The 1961 lemma Suppose is compact for some . Then satisfies the requirement of the 1984 theorem. □
From the 1984 theorem or some equivalents, Fan [10, 11] extended many of known results to noncompact cases. We list some main results as follows:
Generalizations of the KKM theorem for noncompact cases;
Geometric formulations;
Fixed point and coincidence theorems;
Generalized minimax inequality (extends Allen’s variational inequality (1977));
A matching theorem for open (closed) covers of convex sets;
The 1978 model of the Sperner lemma;
Another matching theorem for closed covers of convex sets;
A generalization of Shapley’s KKM theorem (Shapley, 1973);
Results on sets with convex sections;
A new proof of the Brouwer theorem.
At a conference in 1983, Fan listed various fields in mathematics which have applications of KKM maps, as follows:
Potential theory;
Pontrjagin spaces or Bochner spaces in inner product spaces;
Operator ideals;
Weak compactness of subsets of locally convex topological vector spaces;
Function algebras;
Harmonic analysis;
Variational inequalities;
Free boundary value problems;
Convex analysis;
Mathematical economics;
Game theory;
Mathematical statistics.
We may add the following fields to this list: nonlinear functional analysis, approximation theory, optimization theory, fixed point theory, and some others; see Park [30].
4 Evolution of the 1984 KKM theorem of Ky Fan
Until now, nobody claimed any generalization of the 1984 KKM theorem of Ky Fan. In this section, we show several major generalizations of the theorem in the chronological order and that such generalizations are the consequences of Theorem B.
4.1 Lassonde’s theorem
The concept of convex sets in a topological vector space was extended to convex spaces by Lassonde in 1983 [13] and further to c-spaces by Horvath in 1983-93 [14–17]. A number of other authors also extended the concept of convexity for various purposes.
Definition Let X be a subset of a vector space and D be a nonempty subset of X. We call a convex space if and X has a topology that induces the Euclidean topology on the convex hulls of any ; see Park [3]. If is convex, then becomes a convex space in the sense of Lassonde [13].
A nonempty subset L of a convex space X is called a c-compact set [13] if for each finite subset there is a compact convex set such that .
Lassonde [13] presented a simple and unified treatment of a large variety of minimax and fixed point problems. He first noticed that the Hausdorffness in the 1961 lemma is redundant. More specifically, he gave several KKM type theorems for convex spaces and proposed a systematic development of the method based on the KKM theorem; the principal topics treated by him may be listed as follows:
Fixed point theory for multimaps;
Minimax equalities;
Extensions of monotone sets;
Variational inequalities;
Special best approximation problems.
We begin with the following particular form of [[13], Theorem I] for in 1983, which extends the 1984 theorem of Fan:
Theorem 1 ([13])
Let D be an arbitrary set in a convex space X and be a multimap having the following properties:
(i) for each , is compactly closed in X;
(ii) F is a KKM map, that is, for any finite subset of D,
(iii) for some c-compact subset , is compact.
Then .
Theorem 1 ⇒ The 1984 theorem of Fan In the 1984 theorem, is a convex space with . Note that, by adopting the compactly generated extension of the original topology of Y, becomes a closed-valued KKM map; see Park [30, 31]. Let L be the compact convex subset of a Hausdorff t.v.s. Y containing . So L is a c-compact set; see [13]. Hence, is compact as a closed subset of a compact set . Therefore, all of the requirements of Theorem 1 are satisfied. Now, the 1984 theorem follows from Theorem 1 of Lassonde. □
Remark As shown in the above proof, Hausdorffness is essential in the 1984 theorem. Note that it does not generalize the 1961 lemma without assuming Hausdorffness. Moreover, the compactly closed sets adopted by Lassonde and many followers can be replaced simply by closed sets; see [30, 31].
4.2 Chang’s theorem
In 1989, Chang [32] obtained the following theorem which eliminated the concept of c-compact sets in Theorem 1.
Theorem 2 ([32])
Let D be a nonempty subset of a convex space X and be a multimap. Suppose that
(i) for each , is closed in X;
(ii) F is a KKM map;
(iii) there exist a nonempty compact subset K of X and, for each finite subset N of D, a compact convex subset of X containing N such that
Then .
Theorem 2 ⇒ Theorem 1 Let in Theorem 1. Then (iii) of Theorem 1 implies (iii) of Theorem 2. In fact, by (iii) of Theorem 1, since L is c-compact, for any , there exists a compact convex subset containing L and N such that is compact. Then we have
This is just (iii) of Theorem 2. Hence, Theorem 1 follows from Theorem 2. □
Note that Theorem 2 is due to Chang [[32], Theorem 2.1] and improves Lassonde [[13], Theorem III] who assumed the Hausdorffness of the underlying topological vector space and adopted a stronger condition than (iii).
4.3 For H-spaces
In this subsection, we follow [33].
Definition A triple is called an H-space (by Park in 1992) if X is a topological space, D is a nonempty subset of X, and is a family of contractible (or, more generally, ω-connected) subsets of X indexed by such that whenever .
For an H-space , a subset C of X is said to be H-convex if for each , implies . A multimap is said to be H-KKM if for each . A subset L of X is called an H-subspace of if and for every , is contractible.
If , we denote instead of , which is called a c-space by Horvath [14–17] or an H-space by Bardaro and Ceppitelli [34]. It is notable that a torus, the Möbius band, or the Klein bottle can be regarded as c-spaces and are examples of compact H-spaces without having the fixed point property.
Theorem 3 ([33])
Let be an H-space and be an H-KKM multimap with closed values. Suppose that there exists a nonempty compact subset K of X such that either
(i) for some ; or
(ii) for each , there exist a compact H-subspace of X containing N such that
Then .
Theorem 3 ⇒ Theorem 2 Any convex space is an H-space. □
4.4 For G-convex spaces
Since 1996 the following has become one of the main themes of the KKM theory.
Definition A generalized convex space or a G-convex space consists of a topological space X, a nonempty set D, and a map such that for each with the cardinality , there exists a continuous function such that implies .
Here, is the standard n-simplex, and is the face of corresponding to ; that is, if and , then . We may write for each and .
For a G-convex space , a map is called a KKM map if for each . A subset C of X is said to be G-convex with respect to a subset if for each , we have .
Note that D is not necessarily a subset of X. However, for a G-convex space , a subset C of X is said to be G-convex if for each , implies .
There are lots of examples of G-convex spaces; see [21] and the references therein. So, since 1996 the KKM theory has been extended to the study of KKM maps on G-convex spaces based on the following.
Theorem 4 Let be a G-convex space and be a closed-valued KKM map such that there exists a nonempty compact subset K of X such that either
(i) for some ; or
(ii) for each , there exist containing N and a compact G-convex subset of X with respect to such that
Then .
The following KKM theorem for G-convex spaces originates from [26, 27] and simply follows from Theorem 4.
Corollary 4.1 Let be a G-convex space and be a closed-valued KKM map such that there exists a nonempty compact subset K of X satisfying either
(i) for some ; or
(ii) for each , there exists a compact G-convex subset of X containing N such that
Then .
Theorem 4 ⇒ Theorem 3 Since every H-space is a G-convex space, Theorem 3 follows from Corollary 4.1. □
Remark Similarly, for Theorems 1-3, the case (i) also holds, and generalizes the 1961 KKM lemma of Ky Fan.
4.5 For -spaces
Since the concept of G-convex spaces first appeared in 1993 [26], a number of modifications or imitations of the concept due to other authors have followed. Most of such examples are unified by the following -spaces in 2007 [35].
Definition A space having a family or simply a -space
consists of a topological space X, a nonempty set D, and a family of continuous functions (that is, singular n-simplexes) for with the cardinality .
For a -space , a subset C of X is said to be -convex with respect to a subset if for each , we have .
We collect some known facts on -spaces as follows in [24, 25, 36, 37].
Proposition
(1) Any -space can be made into a G-convex space in several ways.
(2) For a -space , any map satisfying
is a KKM map on a G-convex space .
(3) For a -space , the corresponding abstract convex space with for with is a KKM space. This KKM space may not be G-convex.
Because of Proposition (3), Theorem 4 can be extended to -spaces as follows.
Theorem 5 For a -space , let be a closed-valued map such that
Suppose that there exists a nonempty compact subset K of X such that either
(i) for some ; or
(ii) for each , there exist containing N and a compact -convex subset of X with respect to such that
Then .
Theorem 5 ⇒ Theorem 4 Recall that every G-convex space is a -space. □
4.6 For partial KKM spaces
As we have seen in Section 2, recently we introduced the concepts of KKM spaces and partial KKM spaces. Since all of the spaces in Sections 4.1-4.5 are -spaces, and hence KKM spaces, Theorems A-C can be applied to them.
Example We give known examples of partial KKM spaces; see [21] and the references therein:
(1) Every -space is a KKM space; see [26].
(2) A connected linearly ordered space can be made into a KKM space.
(3) The extended long line is a KKM space with the ordinal space . But is not a G-convex space.
(4) For a closed convex subset X of a complete -tree H, and for each , Kirk and Panyanak showed that the triple satisfies the partial KKM principle.
(5) For Horvath’s convex space with the weak Van de Vel property is a KKM space, where for each .
(6) A -space due to Briec and Horvath is a KKM space.
More recently, Kulpa and Szymanski [38] found some partial KKM spaces which are not KKM spaces.
As usual, for a partial KKM space , a KKM map is a map satisfying for each .
Theorem 6 Let be a partial KKM space and be a closed-valued KKM map such that there exists a nonempty compact subset K of X satisfying either
(i) for some ; or
(ii) for each , there exist containing N and a compact Γ-convex subset of X with respect to such that
Then .
Proof Considering instead of K, (i) and (ii) imply the requirements of Theorem B. Now, the conclusion follows from Theorem B. □
Theorem 6 ⇒ Theorem 5 Recall that every -space is a KKM space with for each ; see [25]. Moreover, in Theorem 5 becomes a KKM map on . Hence, this is also a partial KKM space and satisfies the requirements of Theorem 6. □
The KKM theorem, the 1961 lemma, and the 1984 theorem of Fan are all extended to Theorems 1-6. Moreover, all of them are included into Theorem B.
5 Recent applications of the 1984 KKM theorem of Ky Fan
In this section, we introduce relatively recent applications of the 1984 KKM theorem of Fan due to other authors in the twenty-first century.
(I) Abstract of Hai and Khanh [39] in 2007: ‘A general quasiequilibrium problem is proposed including, among others, equilibrium problems, implicit variational inequalities, and quasivariational inequalities involving multifunctions. Sufficient conditions for the existence of solutions with and without relaxed pseudomonotonicity are established. Even semicontinuity may not be imposed.’
In [39], Fan’s 1984 KKM theorem was applied. Moreover, the authors deduced the following ‘modification’ of the 1984 theorem from a result of Lin [40]:
Theorem ([39])
Assume that V is a convex set in a Hausdorff topological vector space and is a KKM map in V with closed values. Assume further that there exists a nonempty compact subset such that, for all finite subsets , there is a compact convex subset of V containing M such that
Then .
This follows from Theorem 2 of Chang [32] earlier in 1989 without assuming Hausdorffness.
(II) Abstract of Farajzadeh et al. [41] in 2008: ‘We first define upper sign continuity for a set-valued mapping and then we consider two types of generalized vector equilibrium problems in topological vector spaces and provide sufficient conditions under which the solution sets are nonempty and compact. Finally, we give an application of our main results. The paper generalizes and improves results obtained by Fang and Huang in 2005 [42].’
They are based on the following particular form of the 1984 theorem of Fan:
Lemma Let K be a nonempty subset of a topological vector space X and be a KKM map with closed values. Assume that there exists a nonempty compact convex subset B of K such that is compact. Then .
Moreover, their Lemma 2.10 is based on an incorrect theorem.
(III) Abstract of Farajzadeh et al. [43] in 2009: ‘In this work, we consider a generalized nonlinear variational-like inequality problem in topological vector spaces, and, by using the KKM technique, we prove an existence theorem. Our result extends a theorem of Ahmad and Irfan [44].’
They are based on the preceding particular form of the 1984 theorem of Fan.
(IV) Abstract of Mitrović and Merkle [45] in 2010: ‘We prove the existence of a solution to the generalized vector equilibrium problem with bounds. We show that several known theorems from the literature can be considered as particular cases of our results, and we provide examples of applications related to the best approximations in normed spaces and variational inequalities.’
They are based on the 1984 KKM theorem of Fan.
Remark The authors of the above four papers listed in this section could not recognize the relationship between the 1984 theorem and other generalized KKM theorems.
6 Remarks on current studies
Recall that the main applications of recent generalized KKM theorems are as follows (see [12, 18]):
Vector variational-type inequalities;
Various quasi-equilibrium problems;
Eigenvector problems;
Set-valued minimax inequality;
Fixed point theorems;
Generalizations of Nash equilibrium theorem;
Variational inclusion problem;
Simultaneous nonlinear inequalities problem;
Differential inclusion problem;
(Vector mixed) quasi-variational inequality;
(Vector mixed) quasi-complementarity problem;
Traffic network problem;
Quasi-monotone vector equilibrium problem;
Generalized vector equilibrium problem;
Generalized (implicit) vector variational-like inequality;
Set equilibrium problem;
Set-valued mixed (quasi-)variational inequalities;
Variational-hemivariational inequalities.
In 2006-09, we proposed new concepts of abstract convex spaces and the (partial) KKM spaces which are proper generalizations of G-convex spaces and adequate to establish the KKM theory; see [19–21] and the references therein. The partial KKM principle for an abstract convex space is an abstract form of the classical KKM theorem. A partial KKM space is an abstract convex space satisfying the partial KKM principle. A KKM space is an abstract convex space satisfying the partial KKM principle and its ‘open’ version. Now, the KKM theory becomes the study of spaces satisfying the partial KKM principle.
In our work [21], we clearly derive a sequence of a dozen statements which characterize the KKM spaces and equivalent formulations of the partial KKM principle. We add more than a dozen statements as their applications, including generalized formulations of von Neumann minimax theorem, von Neumann intersection lemma, the Nash equilibrium theorem, and the Fan type minimax inequalities for any KKM spaces. Consequently, [21] unifies and enlarges previously known several proper examples of such statements for particular types of KKM spaces.
References
Knaster B, Kuratowski K, Mazurkiewicz S: Ein Beweis des Fixpunktsatzes für n -Dimensionale Simplexe. Fundam. Math. 1929, 14: 132–137.
Park S: Some coincidence theorems on acyclic multifunctions and applications to KKM theory. In Fixed Point Theory and Applications. Edited by: Tan K-K. World Scientific, River Edge; 1992:248–277.
Park S: Foundations of the KKM theory via coincidences of composites of upper semicontinuous maps. J. Korean Math. Soc. 1994, 31: 493–519.
Park S: A brief history of the KKM theory. RIMS Kôkyûroku 2009, 1643: 1–16.
Fan K: A generalization of Tychonoff’s fixed point theorem. Math. Ann. 1961, 142: 305–310. 10.1007/BF01353421
Fan K: Sur un théorème minimax. C. R. Acad. Sci. Paris Sér. I, Math. 1964, 259: 3925–3928.
Fan K: Applications of a theorem concerning sets with convex sections. Math. Ann. 1966, 163: 189–203. 10.1007/BF02052284
Fan K: Extensions of two fixed point theorems of F. E. Browder. Math. Z. 1969, 112: 234–240. 10.1007/BF01110225
Fan K: A minimax inequality and applications. In Inequalities III. Edited by: Shisha O. Academic Press, New York; 1972:103–113.
Fan K: Fixed-point and related theorems for noncompact convex sets. In Game Theory and Related Topics. Edited by: Moeshlin O, Pallaschke D. North-Holland, Amsterdam; 1979:151–156.
Fan K: Some properties of convex sets related to fixed point theorems. Math. Ann. 1984, 266: 519–537. 10.1007/BF01458545
Park, S: Recent applications of the Fan-KKM theorem. RIMS Kôkyûroku (2013, to appear)
Lassonde M: On the use of KKM multifunctions in fixed point theory and related topics. J. Math. Anal. Appl. 1983, 97: 151–201. 10.1016/0022-247X(83)90244-5
Horvath CD: Some results on multivalued mappings and inequalities without convexity. In Nonlinear and Convex Analysis - Proc. in Honor of Ky Fan. Edited by: Lin BL, Simons S. Dekker, New York; 1987:99–106.
Horvath CD Sém. Math. Supér. 110. In Convexité généralisée et applications. Presses University Montréal, Montréal; 1990:81–99.
Horvath CD: Contractibility and generalized convexity. J. Math. Anal. Appl. 1991, 156: 341–357. 10.1016/0022-247X(91)90402-L
Horvath CD: Extension and selection theorems in topological spaces with a generalized convexity structure. Ann. Fac. Sci. Toulouse 1993, 2: 253–269. 10.5802/afst.766
Park, S: Recent applications of the generalized KKM theorems. Proc. NAO-Asia2012 (to appear)
Park S: Elements of the KKM theory on abstract convex spaces. J. Korean Math. Soc. 2008, 45(1):1–27.
Park S: New foundations of the KKM theory. J. Nonlinear Convex Anal. 2008, 9(3):331–350.
Park S: The KKM principle in abstract convex spaces: equivalent formulations and applications. Nonlinear Anal. 2010, 73: 1028–1042. 10.1016/j.na.2010.04.029
Park S: General KKM theorems for abstract convex spaces. J. Inform. Math. Sci. 2009, 1(1):1–13.
Park S: A genesis of general KKM theorems for abstract convex spaces. J. Nonlinear Anal. Optim. 2011, 2(1):133–146.
Park S: Remarks on certain coercivity in general KKM theorems. Nonlinear Anal. Forum 2011, 16: 1–10.
Park S: Applications of some basic theorems in the KKM theory. Fixed Point Theory Appl. 2011., 2011: Article ID 98. doi:10.1186/1687–1812–2011–98 In: The series of papers on S. Park’s Contribution to the Development of Fixed Point Theory and KKM Theory
Park S:Abstract convex spaces, KKM spaces, and -spaces. Nonlinear Anal. Forum 2012, 17: 1–7.
Park S, Kim H: Coincidence theorems for admissible multifunctions on generalized convex spaces. J. Math. Anal. Appl. 1996, 197: 173–187. 10.1006/jmaa.1996.0014
Park S, Kim H: Foundations of the KKM theory on generalized convex spaces. J. Math. Anal. Appl. 1997, 209: 551–571. 10.1006/jmaa.1997.5388
Park S: Ninety years of the Brouwer fixed point theorem. Vietnam J. Math. 1999, 27: 187–222.
Park S: Remarks on topologies of generalized convex spaces. Nonlinear Funct. Anal. Appl. 2000, 5: 67–79.
Park S: Remarks on some basic concepts in the KKM theory. Nonlinear Anal. 2011, 74: 2439–2447. 10.1016/j.na.2010.10.035
Chang SY: A generalization of KKM principle and its applications. Soochow J. Math. 1989, 15: 7–17.
Park S: On minimax inequalities on spaces having certain contractible subsets. Bull. Aust. Math. Soc. 1993, 47: 25–40. 10.1017/S0004972700012235
Bardaro C, Ceppitelli R: Some further generalizations of Knaster-Kuratowski-Mazurkiewicz theorem and minimax inequalities. J. Math. Anal. Appl. 1988, 132: 484–490. 10.1016/0022-247X(88)90076-5
Park S: Various subclasses of abstract convex spaces for the KKM theory. Proc. Natl. Inst. Math. Sci. 2007, 2(2):35–47.
Park S:Comments on the KKM theory on -spaces. Panam. Math. J. 2008, 18(2):61–71.
Park S: Generalized convex spaces, L -spaces, and FC -spaces. J. Glob. Optim. 2009, 45(2):203–210. 10.1007/s10898-008-9363-1
Kulpa, W, Szymanski, A: Some remarks on Park’s abstract convex spaces. Preprint
Hai NX, Khanh PQ: Existence of solutions to general quasiequilibrium problems and applications. J. Optim. Theory Appl. 2007, 133: 317–327. 10.1007/s10957-007-9170-8
Lin LJ: Applications of fixed point theorem in G -convex space. Nonlinear Anal. 2001, 46: 601–608. 10.1016/S0362-546X(99)00456-3
Farajzadeh AP, Amini-Harandi A, O’Regan D: Existence results for generalized vector equilibrium problems with multivalued mappings via KKM theory. Abstr. Appl. Anal. 2008., 2008: Article ID 968478. doi:10.1155/2008/968478
Fang Y-P, Huang N-J: Existence results for generalized implicit vector variational inequalities with multivalued mappings. Indian J. Pure Appl. Math. 2005, 36: 629–640.
Farajzadeh AP, Amini-Harandi A, O’Regan D, Agarwal RP: New kinds of generalized variational-like inequality problems in topological vector spaces. Appl. Math. Lett. 2009, 22: 1126–1129. 10.1016/j.aml.2008.12.002
Ahmad R, Irfan SS: On the generalized nonlinear variational-like inequality problems. Appl. Math. Lett. 2006, 19: 294–297. 10.1016/j.aml.2005.05.010
Mitrović ZD, Merkle M: On a generalized vector equilibrium problem with bounds. Appl. Math. Lett. 2010, 23: 783–787. 10.1016/j.aml.2010.03.009
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Park, S. Evolution of the 1984 KKM theorem of Ky Fan. Fixed Point Theory Appl 2012, 146 (2012). https://doi.org/10.1186/1687-1812-2012-146
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2012-146