Abstract
Within the framework of spaces admitting special \(L^{*}\)-operators (such as continuous or \(L_{n}^{*}\)-operators) we prove fixed point theorems (of Brouwer or Schauder type) and discuss some related issues (e.g. the existence of symmetric equilibria).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In what follows, \(\mathbf {R}\) denotes the space of real numbers, \(\mathbf {R}^{n}\) is the n-dimensional Euclidean topological vector space, and \(\mathbf {e}^{i}\) is the ith basic unit vector in \(\mathbf {R}^{n}\), \(n=1,2,\ldots \)
For any \(\varnothing \ne A\subseteq N=\left\{ 1,2,\ldots ,n\right\} \), let
Thus \(\Delta ^{N}\) is the canonical \(\left( n-1\right) \)-dimensional simplex in \(\mathbf {R}^{n}\), and \(\Delta ^{A}\) is a \(\left( \left| A\right| -1\right) \)-dimensional face of that simplex.
The KKM Theorem refers to the following celebrated theorem due to Knaster et al. [5]:
Theorem 1
If \(F_{i}\), \(i\in N\), are closed subsets of \(\Delta ^{N}\) such that \(\Delta ^{A}\subseteq {\displaystyle \bigcup } \{ F_{i}:\varnothing \ne i\in A\} \) for each \(\varnothing \ne A\subseteq N\), then \( {\displaystyle \bigcap } \left\{ F_{i}:i\in N\right\} \ne \varnothing \).
The contrapositive version of the KKM theorem (i.e., in the form of the implication \(\thicksim q\rightarrow \thicksim p\), with \(\thicksim p\) denoting the negation of p), where the closed sets \(F_{i}\) have been replaced by their complements \(U_{i}\), takes the following form:
\(\left( \mathrm{KKM} \right) \). If \(U_{1},\ldots ,U_{n}\) are open subsets of \(\Delta ^{N}\) that cover \(\Delta ^{N}\), then there exists \(A\subseteq N\) such that \(\Delta ^{A}\cap {\displaystyle \bigcap \limits _{i\in A}} U_{i}\ne \emptyset \).
The \(\left( \mathrm{KKM} \right) \) version of the original KKM-theorem can be restated in two more equivalent forms.
\(\left( KK\right) \) If \(\left\{ V_{i}:i=1,2,\ldots ,n\right\} \) is an open cover of a topological space X and \(f:\Delta ^{N}\rightarrow X\) is a continuous function, then there exists \(B\subseteq N\) such that \(f\left( \Delta ^{B}\right) \cap {\displaystyle \bigcap } \left\{ V_{i}:i\in B\right\} \not =\emptyset \).
\(\left( K\right) \) If A is a finite subset of a topological vector space X and \(\{ V_{x}:x\in A\} \) is an open cover of X, then there exists \(B\subseteq A\) such that \(coB\cap {\displaystyle \bigcap } \{ V_{x}:x\in B\} \not =\emptyset \), where coB stands for the convex hull of B.
Clearly \(\left( \mathrm{KKM}\right) \) implies \(\left( KK\right) \) by taking \(U_{i}=f^{-1}\left( V_{i}\right) \). To see that \(\left( KK\right) \) implies \(\left( K\right) \), let\(\ A=\left\{ x_{1},x_{2},\ldots ,x_{n}\right\} \) and let \(f:\Delta ^{N}\rightarrow X\) be given by \(f\left( {\displaystyle \sum \nolimits _{i=1}^{n}} \lambda _{i}\mathbf {e}^{i}\right) = {\displaystyle \sum \nolimits _{i=1}^{n}} \lambda _{i}x_{i}\). Then f is a continuous and since \(f\left( \Delta ^{B}\right) =co\left\{ x_{i}:i\in B\right\} \), we are done. Finally, \(\left( K\right) \) implies \(\left( \mathrm{KKM}\right) \) since KKM is a special version of \(\left( K\right) \) with \(X=\mathbf {R}^{n}\), \(A=\left\{ \mathbf {e}^{i}:i=1,2,\ldots ,n\right\} \), and \(V_{i}=U_{i}\cup \left( \mathbf {R}^{n}-\Delta ^{A}\right) \).
In [6], Kulpa derived statement \(\left( K\right) \) from Brouwer’s Fixed Point Theorem and referred to it as The Theorem on Indexed Families. Statement \(\left( K\right) \) has served as a prototype for \(L^{*}\)-operators [9], which we define next.
For any non-empty set E, let \(\left\langle E\right\rangle \) and \(\exp \left( E\right) \) denote the collection of all non-empty finite subsets of E and the collection of all subsets of E, respectively.
An \(L^{*}\)-operator on a topological space X is any function \(\Lambda :\left\langle X\right\rangle \rightarrow \exp \left( X\right) \) satisfying the following condition:
\(\left( *\right) \) If \(A\in \left\langle X\right\rangle \) and \(\left\{ U_{x}:x\in A\right\} \) is an open cover of X, then there exists \(B\subseteq A\) such that \(\Lambda \left( B\right) \cap {\displaystyle \bigcap } \left\{ U_{x}:x\in B\right\} \not =\emptyset \).
Statement \(\left( K\right) \) just asserts that the convex hull operator on any topological vector space is an \(L^{*}\)-operator on that space. However, unlike the co operator, the existence of an \(L^{*}\)-operator on a topological space does not entail imposing any additional algebraic structure on that space. It is a topological property.
A topological space endowed with an \(L^{*}\)-operator is going to be referred to as an \(L^{*}\)-space. Those spaces constitute a common generalization of Kulpa’s simplicial structures [6] and Park’s–Ben Mechaiekh et al. L-stucturesFootnote 1 [1].
In the setting of \(L^{*}\)-spaces, an important feature attributed exclusively to simplices can be utilized without any involvement of simplices. In this way, proving various types of fixed point theorems (of Tychonoff or Schauder type), along with a version of Nash’s equilibrium theorem, and generalization of the Maynard-Smith theorem has become achievable within \(L^{*}\)-spaces (see [7,8,9,10]). Since Park’s partial KKM spaces are closely related to \(L^{*}\)-spaces, many results obtained by S. Park in his development of the KKM theory carry out to \(L^{*}\)-spaces (see [18,19,20, 22,23,24,25,26,27,28,29]).
In [12], Kulpa presented versions of some classical theorems valid within \(L^{*}\)-spaces. The present paper provides further account of such possible generalizations. We prove two classical fixed-point theorems, that of Brouwer, Theorem 2, and of Schauder, Theorem 3, in the \(L^{*}\)-spaces realm. We generalize the theorem on signatures from [12] and derive from it the existence of symmetric equilibria (Theorems 4 and 5). We also introduce and discuss \(L_{n}^{*}\)-operators (the convex hull operator on \(\mathbf {R}^{n}\) is an instance of such an operator). We prove a new fixed point theorem and a version of the classical Helly’s theorem for spaces that admit \(L_{n}^{*}\)-operators.
2 \(L^{*}\)-operators and fixed point theorems
\(L^{*}\)-operators can be defined on arbitrary topological space: for a given space X, set \(\Lambda \left( A\right) \) to be any dense subset of X. Notice also that if \(\Lambda \) is an \(L^{*}\)-operator on the space X and \(\Upsilon :\left\langle X\right\rangle \rightarrow \exp \left( X\right) \) verifies that \(\Lambda \left( A\right) \cap \Upsilon \left( A\right) \) is a dense subset of \(\Lambda \left( A\right) \) for each \(A\in \left\langle X\right\rangle \), then \(\Upsilon \) is also an \(L^{*}\)-operator on X.
Those examples, notwithstanding being trivial and not interesting, witness at least that \(L^{*}\)-operators do not have to be monotone operators nor that A has to be a subset of \(\Lambda \left( A\right) \). They also indicate that the property \(\left( *\right) \) alone is not sufficient to get any kind of noteworthy properties of topological spaces that admit \(L^{*} \)-operators. More adequate \(L^{*}\)-operators to work with and topological spaces admitting them will be provided in the next sections.
For the following exposition of \(L^{*}\)-operators we will introduce some technicalities first:
For a relation \(S\subseteq X\times Y\), we write xSy to mean that \(\left( x,y\right) \in S\). We set \(S_{x}=\left\{ y\in Y:xSy\right\} \) and \(S^{y}=\left\{ x\in X:xSy\right\} \). Notice that \(y\in S_{x}\) iff \(x\in S^{y}\). Now, consider the following:
\(\left( **\right) \) If \(S\subseteq X\times X\), \(A\in \left\langle X\right\rangle \), and \(\left\{ S_{x}:x\in A\right\} \) is an open cover of X, then there exist \(B\subseteq A\) and \(y\in \Lambda \left( B\right) \) such that \(B\subseteq S^{y}\).
Proposition 1
The conditions \(\left( *\right) \) and \(\left( **\right) \) are equivalent.
Proof
For the sake of completeness we provide a simple proof.
\(\left( \Rightarrow \right) \) Observe that if \(y\in \Lambda \left( B\right) \cap {\displaystyle \bigcap } \left\{ S_{x}:x\in B\right\} \), then \(y\in \Lambda \left( B\right) \) and \(B\subseteq S^{y}\).
\(\left( \Leftarrow \right) \) Let \(S\subseteq X\times X\) be any relation such that \(S_{x}=U_{x}\) for each \(x\in A\in \left\langle X\right\rangle \). Let \(y\in \Lambda \left( B\right) \) and \(B\subseteq S^{y}\) for some \(B\subseteq A\). Then \(y\in S_{x}=U_{x}\) for each \(x\in B\). Thus \(y\in \Lambda \left( B\right) \cap {\displaystyle \bigcap } \left\{ U_{x}:x\in B\right\} \). \(\square \)
Example 1
Let \(\mathcal {P}\) be an open family in a space X and let \(g:X\rightarrow X\) be continuous. We set: xSy if \(\exists _{U\in \mathcal {P}}\)\(x,g\left( y\right) \in U\). Then \(S_{x}=g^{-1}\left( star\left( x,\mathcal {P}\right) \right) \) and \(S^{y}=star\left( g\left( y\right) ,\mathcal {P}\right) \) for each \(x,y\in X\). Assume that X is endowed with an \(L^{*}\)-operator \(\Lambda \). By \(\left( **\right) \), if \(\mathcal {P}\) is finite and \(g\left( X\right) \) is covered by \(\mathcal {P}\), then for any selection of points \(x_{U}\in U\in \mathcal {P}\), there exist \(B\subseteq \left\{ x_{U}:U\in \mathcal {P}\right\} \) and \(y\in \Lambda \left( B\right) \) such that \(B\subseteq star\left( g\left( y\right) ,\mathcal {P}\right) \).
Example 2
Let N be a neighborhood assignment on X, i.e., N is a function on X such that \(N\left( x\right) \) is an open neighborhood of x for each \(x\in X\),. Suppose that \(g:X\rightarrow X\) is continuous. We set: xSy if \(g\left( y\right) \in N\left( x\right) \). Then \(S_{x} =g^{-1}\left( N\left( x\right) \right) \); Assuming additionally that N is symmetric (i.e., \(y\in N\left( x\right) \) iff \(x\in N\left( y\right) \) ) we get that \(S^{y}=N\left( g\left( y\right) \right) \) for each \(x,y\in X\).
Remark 1
Neighborhoods assignments that are symmetric can be defined, e.g., by means of any real valued continuous symmetric function \(\mu \left( x,y\right) \): Fix any real number \(\varepsilon \) and set \(N\left( x\right) =\left\{ y:\mu \left( x,y\right) <\varepsilon \right\} \).
Let \(\Lambda \) be an \(L^{*}\)-operator on the space X. A set \(C\subseteq X\) is called convex if \(\Lambda \left( B\right) \subseteq C\) for each \(B\in \left\langle C\right\rangle \); the family of all such convex sets is going to be denoted by \(\mathcal {CON}\left( X,\Lambda \right) \).
Example 3
Let \(f:X\times X\rightarrow \mathbf {R}\) be continuous. We set: xSy if \(f\left( x,y\right) >f\left( y,y\right) \). For each \(x\in X\), the function \(g_{x}:X\rightarrow \mathbf {R}\) defined by \(g_{x}\left( y\right) =f\left( x,y\right) -f\left( y,y\right) \) is continuous. Then \(S_{x}=g_{x} ^{-1}\left( \left( 0,\infty \right) \right) \) and so \(S_{x}\) is open for each \(x\in X\). By the similar argument, \(S^{y}=\left\{ x\in X:f\left( x,y\right) >f\left( y,y\right) \right\} \) is open (and convex if f is assumed to be quasi-concave) for each \(y\in X\).
Proposition 2
Let N be a symmetric neighborhood assignment on a space X endowed with an \(L^{*}\)-operator such that \(N\left( x\right) \) is convex for each \(x\in X\). If \(g:X\rightarrow X\) is continuous and \(g\left( X\right) \) can be covered by finitely many \(N\left( x\right) \) - s, then there exists \(a\in X\) such that \(g\left( a\right) \in N\left( a\right) \).
Proof
Consider the relation xSy if \(g\left( y\right) \in N\left( x\right) \). Let \(\Lambda \) be the \(L^{*}\)-operator on X. In the light of Example 2 and utilizing \(\left( **\right) \), there exist a finite set B and \(a\in \Lambda \left( B\right) \) such that \(B\subseteq S^{a}\). Since \(S^{a}=N\left( g\left( a\right) \right) \) is convex, \(a\in \Lambda \left( B\right) \subseteq N\left( g\left( a\right) \right) \). Since N is symmetric, \(g\left( a\right) \in N\left( a\right) \). \(\square \)
Theorem 2
(Brouwer Fixed Point Theorem) Let X be space with an \(L^{*}\)-operator \(\Lambda \) satisfying the following condition:
\(\oplus \) For each finite open cover \(\mathcal {P}\) of X there exists a symmetric and convex neighborhood assignment N on X so that \(\left\{ N\left( x\right) :x\in X\right\} \) is a refinement of \(\mathcal {P}\).
Then each continuous function \(g:X\rightarrow X\) so that \(g\left( X\right) \) is contained in a compact subset of X has a fixed point.
Proof
Suppose otherwise and let \(g:X\rightarrow X\) be continuous, \(g\left( X\right) \) is contained in a compact subset of X and yet g has no fixed points. Then each point \(x\in X\) has an open neighborhood \(U_{x}\) such that \(U_{x}\cap g^{-1}\left( U_{x}\right) =\varnothing \). Pick finitely many among them that cover the closure of \(g\left( X\right) \). Those sets together with the complement of the closure of \(g\left( X\right) \) constitute a finite open cover \(\mathcal {P}\) of X. By \(\oplus \), there exists a symmetric and convex neighborhood assignment N on X so that \(\left\{ N\left( x\right) :x\in X\right\} \) is a refinement of \(\mathcal {P}\). Since \(g\left( X\right) \) can be covered by finitely many \(N\left( x\right) -s \), by Proposition 2, there exists \(a\in X\) such that \(g\left( a\right) \in N\left( a\right) \). Since \(N\left( a\right) \) intersects \(g\left( X\right) \), \(N\left( a\right) \) must be contained in one of \(U_{x}\)’s. But then \(g\left( a\right) \in g\left( U_{x}\right) \cap U_{x}\); a contradiction. \(\square \)
Let \(\left\langle V\right\rangle ^{\le n}\) denote the collection of all subsets of V of size at most n. If \(\Phi :\left\langle X\right\rangle \rightarrow \exp \left( X\right) \) and n is a natural number, then \(\Phi \) is said to be n-continuous at a point \(p\in X\) if each open neighborhood U of p contains a neighborhood V of p verifying that \(\Phi (A)\subseteq U\) whenever \(A\in \left[ V\right] ^{\le n}\); \(\Phi \) is n-continuous on a set Y if \(\Lambda \) is n-continuous at each point of Y.
We say that \(\Phi \) is continuous at a point \(p\in X\) if each open neighborhood U of p contains a neighborhood V of p verifying that \(\Phi (A)\subseteq U\) whenever \(A\in \left\langle V\right\rangle \). We say that \(\Phi \) is continuous on a set Y if \(\Lambda \) is continuous at each point of Y.
The following two propositions establish continuity properties of the convex hull operator:
Proposition 3
(cf. e.g. [10]) The convex hull operator on any topological vector space is n-continuous for all \(n=1,2,\ldots \)
Proof
Let X be a topological vector space and let U be an open neighborhood of 0. Take first an open set W such that \(0\in W+W\subseteq U\), and then, take an open and balanced set V with \(0\in V\subseteq W\). It shows that the convex hull operator in X is 2-continuous, and, by induction, that it is n-continuous for all \(n=1,2,\ldots \) \(\square \)
Proposition 4
The convex hull operator on a topological vector space is continuous if and only if the space is locally convex.
Proof
Only the necessity of the statements requires some argument. So let X be a topological vector space with the continuous convex hull operator and let U be an open neighborhood of \(\mathbf {0}\). If V is an open neighborhood of \(\mathbf {0}\) verifying that \(co(A)\subseteq U\) whenever \(A\in \left\langle V\right\rangle \), then \(co\left( V\right) \subseteq U\). Hence the interior of \(co\left( V\right) \) is as required for \(\mathbf {0} \) and by translation, for any point of X.
\(\square \)
Let us point out that since \(X=L_{p}\left( \left[ 0,1\right] \right) \), the space of all Lebesgue integrable real functions on the interval \(\left[ 0,1\right] \) with \( {\displaystyle \int \nolimits _{0}^{1}} \left| f\left( x\right) \right| ^{p}dx<\infty \) and \(0<p<1\), is not locally convex, the convex hull operator is not continuous at \(\mathbf {0}\) (hence it is continuous at no point) but it is n-continuous for all \(n=1,2,\ldots \) (cf. [10]).
Theorem 3
(Brouwer–Schauder Fixed Point Theorem) Let X be a space with an \(L^{*}\)-operator \(\Lambda \) and let \(g:X\rightarrow X\) be continuous so that \(g\left( X\right) \) is contained in a compact subset C of X. If \(\Lambda \) is continuous at each point of C, then g has a fixed point.
Proof
Suppose, contrary to our claim, that \(g(x)\not =x\) for each \(x\in X\). For each \(x\in X\), pick an open neighborhood \(W_{x}\) of x such that \(W_{x}\cap g\left( W_{x}\right) =\emptyset \). Without loss of generality, we may assume that \(g\left( X\right) \) is a dense subset of C. Next, for each \(x\in C\), pick an open neighborhood \(V_{x}\) of x so that \(V_{x}\subseteq W_{x}\) and \(\Lambda (A)\subseteq W_{x}\) provided \(A\in \left\langle V_{x}\right\rangle \). There exists an open finite covering \(\mathcal {U}\) of the compact set C that constitutes a star-refinement of the family \(\left\{ V_{x}:x\in C\right\} \) on the compact set C (cf. Engelking [4, p. 377]), i.e., for each \(y\in C\) there exists \(x\in C\) such that \(\ star\left( y,\mathcal {U}\right) =\bigcup \{U\in \mathcal {U}:y\in U\}\subseteq V_{x}\). Choose points \(x_{U}\in U\cap g\left( X\right) \) in each \(U\in \mathcal {U}\). As was noticed in Example 1, there exist \(B\subseteq \left\{ x_{U}:U\in \mathcal {U} \right\} \) and \(y\in \Lambda \left( B\right) \) such that \(B\subseteq star\left( g\left( y\right) ,\mathcal {U}\right) \). Since \(star\left( g\left( y\right) ,\mathcal {U}\right) \subseteq V_{x}\), \(B\in \) \(\left\langle V_{x}\right\rangle \) and so \(y\in \Lambda \left( B\right) \subseteq W_{x}\). Hence both y and \(g\left( y\right) \) belong to \(W_{x}\); a contradiction. \(\square \)
In the theorem, above, the continuity assumption for \(\Lambda \) is essential. In [6], a simplicial compact space without the fixed point property is constructed; however, the space is locally convex at each point but one.
Corollary 1
Let \(\Lambda \) be an \(L^{*}\)-operator on a compact Hausdorff space X and let \(\mathcal {M}\) be a family of continuous function from \(X\times X\) into \(\left[ 0,\infty \right) \) verifying the following properties:
-
(1)
If \(\varrho \in \mathcal {M}\), \(p\in X\), and \(r>0\), then the pseudoball \(B_{\varrho }\left( p,r\right) =\{ x\in X:\varrho ( x,p) <r\} \) is convex;
-
(2)
\(\varrho \left( x,x\right) =0\) for each \(x\in X\) and \(\varrho \in \mathcal {M}\);
-
(3)
For each two distinct points \(x,y\in X\) there is \(\varrho \in \mathcal {M}\) with \(\varrho \left( x,y\right) >0\).
Then any continuous function \(h:X\rightarrow X\) has a fixed point.
Proof
By compactness, the family
is an open base in X that consists of convex sets. Hence \(\Lambda \) is continuous and the corollary follows from Theorem 3. \(\square \)
In Corollary 1, if \(\mathcal {M}=\left\{ \left\| {}\right\| \right\} \), we get the classical Schauder fixed point theorem.
3 Signatures
The main result of this section is a theorem called here the Theorem on Signatures (Theorem 4). The notion of signature along with the forthcoming Theorem on Signatures were first introduced and discussed in [10], but only in the context of simplicial spaces. In [12], Kulpa proved it in the context of \(L^{*}\)-spaces and in the case \(h=id\). We derive from the Theorem on Signatures the existence of symmetric equilibrium points on compact Hausdorff \(L^{*}\)-spaces (see Theorem 4), which in turn, enables getting a proof of the Separating Hyperplane Theorem that is surprisingly simple and elegant (see Remark 2(b)).
Corollary 1 is sort of a prototype for the signature theorem. In our terminology, a signature is going to be a family of functions (like \(\mathcal {M}\), above) that satisfies the first two (adequately modified) conditions. Unlike the original families, signatures may consist of functions defined on the product of two arbitrary topological spaces. This imposes the necessity of modifying property (2). Towards this goal, we introduce the property of contingency at 0, which is defined as follows:
Let \(\mathcal {M}\) be a family of non-negative real functions defined on the product of two sets \(X\times Y\). We say that the family \(\mathcal {M}\) is (Y-)contingent at 0 if for each finite subfamily F of \(\mathcal {M} \), for each \(\varepsilon >0\), and for each \(y\in Y\) there exists \(a\in X\) such that \(\mu \left( a,y\right) <\varepsilon \) for each \(\mu \in \mathcal {M} \).
Clearly, if \(\mathcal {M}\) verifies condition \(\left( 2\right) \) of Theorem 1, then \(\mathcal {M}\) is (X-)contingent at 0. In case X is a compact Hausdorff space and each function \(\mu \in \mathcal {M}\) is continuous, to be (Y-)contingent at 0 for \(\mathcal {M}\) is equivalent to
\(\left( \bigstar \right) \) For each \(y\in Y\) there exists \(a\in X\) such that \(\mu \left( a,y\right) =0\) for each \(\mu \in \mathcal {M}\).
In the equivalence \(\left( \bigstar \right) \), compactness of X is necessary (see Example 4).
Example 4
Let \(\mu :X\times Y\rightarrow \left[ 0,\infty \right) \) be such that for each \(\varepsilon >0\) and for each \(y\in Y\) the pseudoball \(A\left( y;\varepsilon \right) =\left\{ x\in X:\mu \left( x,y\right) <\varepsilon \right\} \) is non-empty. Then \(\mathcal {M}=\left\{ \mu \right\} \) is (Y-)contingent at 0.
Example 5
Let \(X_{\alpha },\alpha \in A\), be a compact Hausdorff space and let \(X=\prod _{\alpha \in A}X_{\alpha }\) be the product of the spaces \(X_{\alpha }\). Suppose that for each \(\alpha \in A\), \(f_{\alpha }:X\rightarrow \mathbf {R}\) is a continuous real function on X. We define \(\mu _{\alpha }:X\times X\rightarrow \left[ 0,\infty \right) \), \(\alpha \in A\), by setting \(\mu _{\alpha }\left( x,y\right) =-f_{\alpha }\left( N_{\alpha }\left( x,y\right) \right) +\sup _{w\in X}f_{\alpha }\left( N_{\alpha }\left( w,y\right) \right) ,\)where \(N_{\alpha }:X\times X\rightarrow X\) denotes the \(\alpha ^{th}\) Nash projection: \(N_{\alpha }\left( x,y\right) =z=\left( z_{\xi }\right) \), where \(z_{\xi }=\left\{ \begin{array} [c]{c} y_{\xi }\text { if }\xi \ne \alpha \\ x_{\alpha }\text { if }\xi =\alpha \end{array} \right. \).
The family \(\mathcal {M}=\left\{ \mu _{\alpha }:\alpha \in A\right\} \) consists of non-negative continuous real functions on the space \(X\times X\). We shall show that \(\mathcal {M}\) is contingent at 0 by verifying \(\left( \bigstar \right) \). Pick \(y\in X\). For each \(\alpha \in A\), let \(a^{\alpha }=\left( a_{\xi }^{\alpha }\right) \) be such that \(\mu _{\alpha }\left( a^{\alpha },y\right) =0\). If \(a=\left( a_{\alpha }^{\alpha }\right) \), then since \(N_{\alpha }\left( a,y\right) =N_{\alpha }\left( a^{\alpha },y\right) \), \(\mu _{\alpha }\left( a,y\right) =0\) for each \(\alpha \in A\).
Let \(\Lambda \) be an \(L^{*}\)-operator on a space X. A collection \(\mathcal {M}\) of continuous functions \(\mu :X\times Y\rightarrow \left[ 0,\infty \right) \) is said to be a signature on \(X\times Y\) if:
\(\left( i\right) \) For each \(\varepsilon >0\) and for each \(y\in Y\) the pseudoball \(A\left( y;\varepsilon \right) =\left\{ x\in X:\mu \left( x,y\right) <\varepsilon \right\} \) is convex.Footnote 2
\(\left( ii\right) \) \(\mathcal {M}\) is (Y-)contingent at 0.
Theorem 4
(Theorem on Signatures) Let \(\Lambda \) be an \(L^{*}\)-operator on a compact Hausdorff space X. Let \(\mathcal {M}\) be a signature on \(X\times Y\). Then for each continuous function \(h:X\rightarrow Y \) there exists \(a\in X\) such that \(\mu \left( a,h\left( a\right) \right) =0 \) for all \(\mu \in \mathcal {M}\).
Proof
Fix \(\varepsilon >0\) and a finite subset F of \(\mathcal {M}\). For \(x\in X\) and \(y\in Y\) we set \(A(y)=\{x\in X:\mu (x,y)<\varepsilon \;\)for each\(\;\mu \in F\}\) and \(B(x)=\{y\in Y:\mu (x,y)<\varepsilon \;\)for each\(\;\mu \in F\}\). Observe that \(x\in A\left( y\right) \) iff \(y\in B\left( x\right) \), and therefore, since A(y) is non-empty for each \(y\in Y\), \(\{B\left( x\right) :x\in X\}\) is an open cover of Y. We claim that there exists \(a\in X\) such that \(\mu (a,h(a))<\varepsilon \ \) for each\(\ \mu \in F\).
Proof of the claim. Let \(A\in \left\langle X\right\rangle \) be such that \(\left\{ B(x):x\in A\right\} \) is a finite cover of the compact space \(h\left( X\right) \). There exist \(B\subseteq A\) and a point \(w\in X\) such that \(w\in \Lambda \left( B\right) \cap {\displaystyle \bigcap } \left\{ h^{-1}\left( B\left( x\right) \right) :x\in B\right\} \). Since \(h(w)\in {\displaystyle \bigcap } \left\{ h^{-1}\left( B\left( x\right) \right) :x\in B\right\} \), \(B\subseteq \) \(A\left( h\left( w\right) \right) \). Since \(A\left( h\left( w\right) \right) \) is convex,\(w\in \Lambda \left( B\right) \subseteq A\left( h\left( w\right) \right) \); the claim is proved.
For \(\mu \in \mathcal {M}\) and \(\varepsilon >0\), let \(K(\mu ,\varepsilon )=\{x\in X:\mu (x,h(x))\le \varepsilon \ \}\). Every set \(K(\mu ,\varepsilon )\) is closed in X and, by the claim, the family \(\{K(\mu ,\varepsilon ):\mu \in \mathcal {M}\) and \(\varepsilon >0\}\) is centered. By compactness of X, \(\bigcap \{K(\mu ,\varepsilon ):\mu \in \mathcal {M}\) and \(\varepsilon >0\}\ne \emptyset \). Thus any \(a\in \bigcap \{K(\mu ,\varepsilon ):\mu \in \mathcal {M}\) and \(\varepsilon >0\}\) verifies that \(\mu \left( a,h\left( a\right) \right) =0\) for each \(\mu \in \mathcal {M}\). \(\square \)
Here is an alternative proof of Corollary 1 as a corollary to the above theorem:
Proof
Theorem on Signatures yields a point \(a\in X\) such that \(\mu \left( a,h\left( a\right) \right) =0\) for all \(\mu \in \mathcal {M}\). Since \(\mathcal {M}\) is separating, \(a=h\left( a\right) \). \(\square \)
A point \(a\in X\) is said to be a symmetric equilibrium point for a function \(f:X\times X\rightarrow \mathbf {R}\) if \(f(x,a)\le f(a,a)\) for each \(x\in X\). It is a Nash equilibrium point in the symmetric game associated with f (i.e., a two-person game with the same strategy set X for the two players and the payoff function g for the second player as given by \(g\left( x,y\right) =f\left( y,x\right) \)). Symmetric equilibrium points are generalizations of evolutionarily stable strategies, ESS, which were introduced by Smith and Price in their ground breaking paper [15] (see also [14, 16, 17]).
Theorem 5
Let \(\Lambda \) be an \(L^{*}\)-operator on a compact Hausdorff space X. If \(f:X\times X\rightarrow \mathbf {R}\) is continuous and quasi-concave with respect to the first variable, then there exists a symmetric equilibrium point for f.
Proof
Let \(\mu (x,y)=-f\left( x,y\right) +\sup _{z\in X}f\left( z,y\right) \). One easily checks that \(\mu :X\times X\rightarrow \left[ 0,\infty \right) \) is continuous and quasi-convex with respect to the first variable and that for each y there exists x such that \(\mu (x,y)=0\). By applying the Theorem on Signatures to \(\mathcal {M}=\left\{ \mu \right\} \) and \(h=id_{X}\), we get a point \(a\in X\) such that \(\mu \left( a,a\right) =0\), i.e., a point a such that \(f\left( a,a\right) =\sup _{z\in X}f\left( z,a\right) \). \(\square \)
Remark 2
- \(\left( a\right) \) :
-
Here is another proof of Theorem 5 (appealing directly to \(\left( **\right) \)).
Set xSy if \(f\left( x,y\right) >f\left( y,y\right) \). Clearly, for each \(x\in X\), \(S_{x}\) is open; and, for each \(y\in Y\), \(S^{y}\) is convex. Since no y can belong to \(S^{y}\), by \(\left( **\right) \), \(S_{x} - s \) do not cover the space X. Hence, for some \(a\in X\), \(f\left( x,a\right) \le f\left( a,a\right) \) for each \(x\in X\).
- \(\left( b\right) \) :
-
Here is an elegant and very simple proof of the Separating Hyperplane Theorem based on that theorem (see [12]). Let C and D be two compact convex disjoint subsets of an inner product space V. Then \(X=D-C\) is convex and compact and \(0\notin X\). The Maynard-Smith theorem applied to \(f\left( x,y\right) =-\left\langle x,y\right\rangle \) on X yields a symmetric equilibrium a for f. Thus \(\left\langle x,a\right\rangle \ge \left\langle a,a\right\rangle =\left\| a\right\| >0\) for each \(x\in X\). It follows that there exists \(\alpha \) such that \(\left\langle c,a\right\rangle<\alpha <\left\langle d,a\right\rangle \) for each \(c\in C\) and \(d\in D\). Thus \(\left\langle x,a\right\rangle =\alpha \) is an equation of a separating hyperplane.
4 Topological spaces admitting \(L_{n}^{*}\)-operators
An operator \(\Lambda :\left\langle X\right\rangle \rightarrow \exp \left( X\right) \) on a topological space X is called \(L_{n}^{*}\)-operator if it satisfies the following condition \(\left( *^{+}\right) \):
\(\left( *^{+}\right) \) If \(A\in \left\langle X\right\rangle \) and \(\left\{ U_{x}:x\in A\right\} \) is an open cover of X, then there exists \(B\subseteq A\) such that \(\left| B\right| \le n+1\) and \(\Lambda \left( B\right) \cap {\displaystyle \bigcap } \left\{ U_{x}:x\in B\right\} \not =\emptyset \).
The condition defining \(L_{n}^{*}\)-operators is the original condition \(\left( *\right) \) with an additional requirement imposed on the size of the set B.
The class of \(L_{n}^{*}\)-operators and spaces that admit them possess some important properties. Among them, a fixed point property (Theorem 6) and Helly’s property (Theorem 10).
Lemma 1
Let \(\left( X,\Lambda \right) \) be an \(L^{*}\)-space and let \(f:X\rightarrow X\) be a continuous function. If \(\mathcal {P}\) is a finite open family in X and \(f\left( X\right) \subseteq {\displaystyle \bigcup } \mathcal {P}\), then there exists \(p\in X\) and \(F\in \left\langle st\left( f\left( p\right) ,\mathcal {P}\right) \right\rangle \) such that \(p\in \Lambda \left( F\right) \).
Proof
There exists an \(A\in \left\langle f\left( X\right) \right\rangle \) and \(\mathcal {Q}=\left\{ U_{a}:a\in A\right\} \subseteq \mathcal {P}\) such that \(f\left( X\right) \subseteq {\displaystyle \bigcup } \mathcal {Q}\) and \(a\in U_{a}\) for each \(a\in A\) (e.g., let \(\mathcal {Q} \subseteq \mathcal {P}\) irreducibly covers \(f\left( X\right) \) ). Since \(\left\{ f^{-1}\left( U_{a}\right) :a\in A\right\} \) is an open cover of X, there exists \(F\subseteq A\) such that \(\Lambda \left( F\right) \cap {\displaystyle \bigcap } \left\{ f^{-1}\left( U_{a}\right) :a\in F\right\} \not =\emptyset \). If p is any point from that non-empty set, then \(f\left( p\right) \in {\displaystyle \bigcap } \left\{ U_{a}:x\in F\right\} \) and since \(a\in U_{a}\) for each \(a\in F\), \(F\in \left\langle st\left( f\left( p\right) ,\mathcal {Q}\right) \right\rangle \subseteq \left\langle st\left( f\left( p\right) ,\mathcal {P}\right) \right\rangle \). \(\square \)
Theorem 6
If X is a compact \(T_{2}\) space that admits \(\left( n+1\right) \)-continuous \(L_{n}^{*}\)-operator, then X has the fixed point property.
Proof
Let \(f:X\rightarrow X\) be a continuous function and suppose that \(f(x)\not =x\) for each \(x\in X\). Hence there exists a finite open cover \(\mathcal {U}\) of X such that \(U\cap f\left( U\right) =\emptyset \) for each \(U\in \mathcal {U} \). By \(\left( n+1\right) \)-continuity of \(\Lambda \), there exists a finite open cover \(\mathcal {V}\) of X such that \(\left\{ {\displaystyle \bigcup } \Lambda \left( \left[ V\right] ^{\le n+1}\right) :V\in \mathcal {V}\right\} \) is a refinement of \(\mathcal {U}\). There exists a finite open family \(\mathcal {P}\) that is a star-refinement of the family \(\mathcal {V}\) (cf. Engelking [4, p. 377]). Applying Lemma 1 to that \(\mathcal {P}\) we get a point \(p\in X\) and an \(F\in \left[ st\left( f\left( p\right) ,\mathcal {P}\right) \right] ^{\le n+1}\)such that \(p\in \Lambda \left( F\right) \). Pick \(V\in \mathcal {V}\) that contains \(st\left( f\left( p\right) ,\mathcal {P}\right) \) and \(U\in \mathcal {U}\) that contains \( {\displaystyle \bigcup } \Lambda \left( \left[ V\right] ^{\le n+1}\right) \). Then both p and \(f\left( p\right) \) belong to U which is impossible. \(\square \)
A natural question that arises is what kind of \(L^{*}\)-operators could be \(L_{n}^{*}\)-operators for some n. For that purpose, let’s recall the concept of an n-ary operation.
Following van del Vel [31], a function \(\Lambda :\left\langle X\right\rangle \rightarrow \exp \left( X\right) \) is said to be n- ary, \(n=1,2,\ldots \), if \(\Lambda \left( A\right) =\) \( {\displaystyle \bigcup } \left\{ \Lambda \left( F\right) :F\in \left[ A\right] ^{\le n+1}\right\} \) for each \(A\in \left\langle X\right\rangle \).
Theorem 7
If \(\Lambda :\left\langle X\right\rangle \rightarrow \exp \left( X\right) \) is an \(L^{*}\)-operator that is also n-ary, then \(\Lambda \) is an \(L_{n}^{*}\)-operator.
Proof
Let \(A\in \left\langle X\right\rangle \) and \(\left\{ U_{x}:x\in A\right\} \) is an open cover of X. There exists \(B\subseteq A\) such that \(\Lambda \left( B\right) \cap {\displaystyle \bigcap } \left\{ U_{x}:x\in B\right\} \not =\emptyset \). Since \(\Lambda \) is n-ary, \(\Lambda \left( C\right) \cap {\displaystyle \bigcap } \left\{ U_{x}:x\in B\right\} \not =\emptyset \) for some subset C of B of size at most \(n+1\). Since \( {\displaystyle \bigcap } \left\{ U_{x}:x\in B\right\} \subseteq {\displaystyle \bigcap } \left\{ U_{x}:x\in C\right\} \), \(\Lambda \left( C\right) \cap {\displaystyle \bigcap } \left\{ U_{x}:x\in C\right\} \not =\emptyset \). \(\square \)
Theorem 8
The convex hull operator on \(\mathbf {R}^{n}\) is an \(L_{n}^{*}\)-operator.
Proof
By the classical Caratheodory’s theorem , co is n-ary. \(\square \)
We shall state more properties enjoyed by \(L_{n}^{*}\)-operators.
An operator \(\Lambda :\left\langle X\right\rangle \rightarrow \exp \left( X\right) \) on a set X is called n-monotone if it \(\Lambda \left( A\right) \subseteq \Lambda \left( B\right) \) provided that \(A\subseteq B\) and \(\left| B\right| \le n+1\).
Theorem 9
Let \(\Lambda :\left\langle X\right\rangle \rightarrow \exp \left( X\right) \) be an \(L_{n}^{*}\)-operator and n-monotone operator on a normal space X.
If A is a subset of X of size \(n+2\), then \( {\displaystyle \bigcap } \left\{ cl\Lambda \left( A-\left\{ x\right\} \right) :x\in A\right\} \not =\emptyset \).
Proof
Assume otherwise. By the Swelling Theorem (see [4], Theorem 7.1.4), there exist open sets \(V_{x}\) such that \(cl\Lambda \left( A-\left\{ x\right\} \right) \subseteq V_{x}\) and \( {\displaystyle \bigcap } \left\{ V_{x}:x\in A\right\} =\emptyset \). For each \(a\in A\) set \(U_{a}=\left( X- {\displaystyle \bigcup } \left\{ cl\Lambda \left( A-\left\{ x\right\} \right) :x\in A\right\} \right) \cup V_{a}\). Since \( {\displaystyle \bigcup } \left\{ cl\Lambda \left( A-\left\{ x\right\} \right) :x\in A\right\} \subseteq {\displaystyle \bigcup } \left\{ V_{x}:x\in A\right\} \), the family \(\left\{ U_{x}:x\in A\right\} \) constitutes an open cover of X. So there exists \(B\subseteq A\) such that \(\left| B\right| \le n+1\) and \(\Lambda \left( B\right) \cap {\displaystyle \bigcap } \left\{ U_{x}:x\in B\right\} \not =\emptyset \). Notice that since \(\Lambda \) is n-monotone,
\(\Lambda \left( B\right) \subseteq {\displaystyle \bigcap } \left\{ \Lambda \left( A-\left\{ x\right\} \right) :x\in A-B\right\} \subseteq {\displaystyle \bigcap } \left\{ V_{x}:x\in A-B\right\} \). Consequently, \(\Lambda \left( B\right) \cap {\displaystyle \bigcap } \left\{ U_{x}:x\in B\right\} \subseteq \left( {\displaystyle \bigcup } \{ cl\Lambda \left( A-\left\{ x\right\} \right) :x\in A\} \right) \cap {\displaystyle \bigcap } \{ V_{x}:x\in A-B\} \cap {\displaystyle \bigcap } \{ U_{x}:x\in B\} \subseteq {\displaystyle \bigcap } \left\{ V_{x}:x\in A-B\right\} \cap {\displaystyle \bigcap } \left\{ V_{x}:x\in B\right\} =\varnothing \); a contradiction. \(\square \)
Remark 3
- \(\left( a\right) \) :
-
The convex hull operator on \(\mathbf {R}^{n}\) is \(L_{n}^{*}\)-operator but it is not \(L_{n-1}^{*}\)-operator. Towards this goal, consider an n-dimensional simplex \(\Delta \) in \(\mathbf {R}^{n}\) with vertices \(x_{0},x_{1},\ldots ,x_{n}\). Let \(\Delta _{i}\) denote the \(\left( n-1\right) \)-dimensional face of the simplex \(\Delta \) of all the original vertices but \(x_{i}\). Thus \(\Delta _{i}=co\left( A-\left\{ x_{i}\right\} \right) \), where \(A=\left\{ x_{0},x_{1},\ldots ,x_{n}\right\} \). Since a point \(x= {\displaystyle \sum \nolimits _{i=0}^{n}} \lambda _{i}x_{i}\) of \(\Delta \) belongs to the face \(\Delta _{k}\) if and only if \(\lambda _{k}=0\), \( {\displaystyle \bigcap } \left\{ \Delta _{i}:i=0,1,\ldots ,n\right\} =\emptyset \). Clearly, the convex hull operator in any vector space is n-monotone for any n. Hence Theorem 9 shows that co cannot be \(L_{n-1}^{*}\)-operator.
- \(\left( b\right) \) :
-
The convex hull operator on any infinitely dimensional topological vector space cannot be an \(L_{n}^{*}\)-operator for any n. For any such vector space contains simplices of all possible finite dimensions and thus arguments from part \(\left( a\right) \) apply.
Helly’s Theorem has its counterpart within topological spaces admitting \(L_{n}^{*}\)-operators.
Theorem 10
(Helly’s Theorem) Let \(\Lambda :\left\langle X\right\rangle \rightarrow \exp \left( X\right) \) be an \(L_{n}^{*}\)-operator and n-monotone operator on a normal space X. If \(\mathcal {C}\) is a family of convex subset of X such that any \(n+1\) of them have a non-empty intersection, then the family \(\left\{ clF:F\in \mathcal {C}\right\} \) is centered.
Proof
Suppose otherwise and let \(\mathcal {F}\) be a finite subfamily of \(\mathcal {C} \) such that \( {\displaystyle \bigcap } \left\{ clF:F\in \mathcal {F}\right\} =\varnothing \). Assume that \(\mathcal {F}\) is of size \(n+2\) (the smallest possible), say \(\mathcal {F}=\left\{ F_{1},\ldots ,F_{n},F_{n+1},F_{n+2}\right\} \). By the Swelling Theorem (see [4], Theorem 7.1.4), there exist open sets \(V_{i}\) such that \(cl\Lambda F_{i}\subseteq V_{i}\) and \( {\displaystyle \bigcap } \left\{ V_{i}:i=1,2,\ldots ,n+2\right\} =\emptyset \). For each \(i=1,2,\ldots ,n+2\), pick \(a_{i}\in {\displaystyle \bigcap } \left\{ F_{j}:j\ne i\right\} \) and set
\(U_{a_{i}}=\left( X- {\displaystyle \bigcup } \left\{ clF_{j}:j=1,2,\ldots ,n+2\right\} \right) \cup V_{i}\). The open sets \(U_{a_{i}}\) cover the space X and since \(\Lambda \) is an \(L_{n}^{*} \)-operator, there exists \(A\subset \left\{ 1,2,\ldots ,n+2\right\} \), \(\left| A\right| \le n+1\), such that \(\Lambda \left( \left\{ a_{i}:i\in A\right\} \right) \cap {\displaystyle \bigcap } \left\{ U_{a_{i}}:i\in A\right\} \not =\emptyset \). Since \(a_{i}\in {\displaystyle \bigcap } \left\{ F_{j}:j\ne i\right\} \), for each \(i=1,2,\ldots ,n\), we have \(\left\{ a_{i}:i\in A\right\} \subseteq {\displaystyle \bigcap } \left\{ F_{j}:j\notin A\right\} \). In consequence, \(\Lambda \left( \left\{ a_{i}:i\in A\right\} \right) \subseteq {\displaystyle \bigcap } \left\{ F_{j}:j\notin A\right\} \subseteq {\displaystyle \bigcap } \left\{ V_{j}:j\notin A\right\} \). Clearly, the set \(\Lambda \left( \left\{ a_{i}:i\in A\right\} \right) \) is also contained in \( {\displaystyle \bigcup } \left\{ clF_{j}:j=1,2,\ldots ,n+2\right\} \). Hence \(\varnothing \ne \Lambda \left( \left\{ a_{i}:i\in A\right\} \right) \cap {\displaystyle \bigcap } \left\{ U_{a_{i}}:i\in A\right\} \subseteq \Big ( {\displaystyle \bigcup } \{ clF_{j}:j=1,2,\ldots ,n+2\} \Big ) \cap {\displaystyle \bigcap } \{ V_{j}:j\notin A\} \cap {\displaystyle \bigcap } \left\{ U_{a_{i}}:i\in A\right\} \subseteq {\displaystyle \bigcap } \left\{ V_{j}:j\notin A\right\} \cap {\displaystyle \bigcap } \left\{ V_{j}:j\in A\right\} =\varnothing \); a contradiction.
By induction, Helly’s Theorem holds true. \(\square \)
The statement: Every compact convex subset of a metric linear topological space has the fixed point property is known as the Schauder conjecture. Since its publication in The Scottish Book in 1935 (cf. [13], Problem 54), the conjecture has stimulated a great deal of research in efforts to settle it. Schauder’s conjecture was solved affirmatively (with a complicated and controversialFootnote 3 proof) by Cauty [2] (see also [3] for some details and for some pertinent references). Therefore it is desirable to come up with much simpler arguments than Cauty’s. It was the motivation of the first author when he introduced the concept of the characteristic of a metric in [11].
Let \((X,\rho )\) be a metric space. The characteristic of the metric (pseudometric) \(\rho \) is defined as follows:
where \(mesh\left( \mathcal {U}\right) =\sup \left\{ diam\left( V\right) :V\in \mathcal {U}\right\} \) and \(ord\left( \mathcal {U}\right) =\sup \{ \vert \{ V:x\in V\in \mathcal {U}\} \vert :x\in X\} \). In the same paper[11], he posed the following problem:
Problem 1
Let \(Y\subseteq E\) be a convex compact subset of a metrizable linear space E. Is there a subnorm \(\Vert \cdot \Vert :E\rightarrow [0,\infty )\) such that the metric \(\rho (x,y)=\Vert x-y\Vert \) for \(x,y\in Y\), is of characteristic equal to zero, \(\chi (\rho )=0\), and \(\rho \) is compatible with the topology of Y?
It is worth pointing out that an affirmative answer to that problem would allow us to present an alternative, much simpler, proof of the Schauder conjecture based on the method presented in Theorems 3 and 6.
Notes
An L-structure on a topological space X is given by a function \(\Gamma :\left\langle X\right\rangle \rightarrow \exp \left( X\right) \) such that for every \(A\in \left\langle X\right\rangle \) there exists a continuous function \(f^{A}:\Delta \left( A\right) \rightarrow \Gamma \left( A\right) \) so that \(f^{A}\left( \Delta \left( B\right) \right) \subseteq \Gamma \left( B\right) \) for all \(B\subseteq A\).
Simplicial structures and L-structures coincide if \(\Gamma \) is a \(T_{1}\) operator (cf. [30]).
In terms of more familiar notions, condition \(\left( i\right) \) can be restated as follows. Let \(\Lambda \) be an \(L^{*}\)-operator on X. Recall that a real function \(f:X\rightarrow \mathbf {R}\) is said to be quasi-convex (resp. quasi-concave) if the set \(\left\{ x\in X:f\left( x\right) <r\right\} \) (resp., if the set \(\left\{ x\in X:f\left( x\right) >r\right\} \)) is convex for each \(r\in \mathbf {R}\). Thus \(\left( i\right) \) asserts that \(\mu \left( .,y\right) \) is quasi-convex.
Cauty’s original proof and its follow up one stirred some controversies (cf. [21]). Even though Cauty’s proof is accepted to be correct by some, “Many people think that Cauty’s proofs are incorrect and that the Schauder conjecture is still open.”—to quote a referee of this paper.
References
Ben-El-Mechaiekh, H., Chebbi, S., Florenzano, M., Llinares, J.V.: ıAbstract convexity and fixed points. J. Math. Anal. Appl. 222, 138–150 (1998)
Cauty, R.: Solution du probleme de point fixe de Schauder. Fundam. Math. 170, 231–246 (2001)
Dobrowolski, T.: Revisiting Cauty’s proof of the Schauder conjecture. Abstract Appl. Anal. 7, 407–433 (2003)
Engelking, R.: General Topology. PWN, Warszawa (1977)
Knaster, B., Kuratowski, K., Mazurkiewicz, S.: Ein Beweis des Fixpunktsatzes für \(n\)-dimensionale Simplexe. Fund. Math. 14, 132–137 (1929)
Kulpa, W.: Convexity and the Brouwer fixed point theorem. Topol. Proc. 22, 211–235 (1997)
Kulpa, W., Szymanski, A.: On Nash theorem. Acta Univ. Carol. 43(2), 51–65 (2002)
Kulpa, W., Szymanski, A.: Infimum principle. Proc. AMS 192(1), 203–204 (2004)
Kulpa, W., Szymanski, A.: Applications of general infimum principles to fixed-point theory and game theory. Set Valued Anal. 16, 375–398 (2008)
Kulpa, W., Szymanski, A.: A note on n-continuous L*-operators. Topol. Proc. 37, 403–407 (2011)
Kulpa, W.: On metric of characteristic zero. Colloquium Mathematicum 130(1), 139–146 (2013)
Kulpa, W.: L*-operators of convexity. Math. Appl. 43, 145–156 (2015)
Mauldin, R.D. (ed.): The Scottish Book: Mathematics from the Scottish Cafe. Birkhäuser, Boston (1981)
Smith, J.M.: Evolution and the Theory of Games. Cambridge University Press, Cambridge (1982). 12th printing (2005)
Smith, J.M., Price, G.: The logic of animal conflict. Nature 246, 15–18 (1973)
Nash, J.F.: Equilibrium points in \(n\)-person games. Proc. Natl. Acad. Sci. USA 36, 48–49 (1950)
Nash, J.F.: Non-cooperative games. Ann. Math. 54, 286–295 (1951)
Park, S.: Elements of the KKM theory for generalized convex spaces. Korean J. Comput. Appl. Math. 7, 1–28 (2000)
Park, S.: Elements of the KKM theory on abstract convex spaces. J. Korean Math. Soc. 45(1), 1–27 (2008)
Park, S.: Foundations of the KKM theory. J. Nonlinear Convex Anal. 9, 1–20 (2008)
Park, S.: Compact Browder maps and equilibria of abstract economies. J. Appl. Math. Comput. 26, 555–564 (2008). MR2383687
Park, S.: Equilibrium existence theorems in KKM spaces. Nonlinear Anal. 69, 4352–4364 (2008)
Park, S.: The KKM principle in abstract convex spaces: equivalent formulations and applications. Nonlinear Anal. 73, 1028–1042 (2010)
Park, S.: Generalizations of the Nash Equilibrium Theorem in the KKM Theory, Hindawi Publishing Corporation, Fixed Point Theory and Applications, Article ID 234706 (2010)
Park, S.: A genesis of general KKM theorems for abstract convex spaces. J. Nonlinear Anal. Optim. 2, 133–146 (2011)
Park, S.: New generalizations of basic theorems in the KKM theory. Nonlinear Anal. 74, 3000–3010 (2011)
Park, S.: A genesis of general KKM theorems for abstract convex spaces. J. Nonlinear Anal. Optim. 2(1), 121–132 (2011)
Park, S.: Remarks on simplicial spaces and \(L^{\ast }-\) spaces of Kulpa and Szymanski. Commun. Appl. Nonlinear Anal. 19(1), 59–69 (2012)
Park, S., Kim, H.: Admissible classes of multifunctions on generalized convex spaces. Proc. Coll. Nat. Sci. SNU 18, 1–21 (1993)
Szymanski, A.: Convexities generated by multifunctions. Nonlinear Anal. Forum 21(2), 65–76 (2016)
van de Vel, M.L.J.: Theory of Convex Structures, p. 50. North-Holland Mathematical Library, Amsterdam (1993)
Acknowledgements
We would like to thank an anonymous referee for her/his valuable comments.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kulpa, W., Szymanski, A. & Turzański, M. Fixed point theorems and \(L^{*}\)-operators. J. Fixed Point Theory Appl. 20, 23 (2018). https://doi.org/10.1007/s11784-018-0494-9
Published:
DOI: https://doi.org/10.1007/s11784-018-0494-9