 Research
 Open Access
 Published:
A combinatorial lemma and its applications
Journal of Inequalities and Applications volume 2016, Article number: 105 (2016)
Abstract
In this paper, we present a generalization of a combinatorial lemma we stated and proved in a recent work. Then we apply the generalized lemma to prove: (1) a theorem on the existence of a zero for an excess demand mapping, (2) the existence of a continuum of zeros for a parameterized excess demand mapping, (3) Sperner’s lemma on labelings of triangulations. Proofs of these results are constructive: they contain algorithms (based on the combinatorial lemma) for the computation of objects of interest or, at least, of their approximations.
Introduction
In the paper [1], we stated and proved a combinatorial lemma with the help of which we then showed the existence of a zero for an excess demand functions and Brouwer’s fixed point theorem. We also stated some open problems in the referred paper. The current work answers some of these questions.
First, we prove a generalization of the combinatorial lemma presented in [1]. Then we apply it to prove the existence of an equilibrium price vector for an excess demand mapping (Lemma 6 and Theorem 7). Next, we apply our combinatorial lemma to prove the existence of a continuum of zeros for a parameterized excess demand mapping (Theorem 8). Then we derive Sperner’s lemma (Theorem 13) from our combinatorial result.
Let us emphasize the fact that the combinatorial Lemma 2 allows us to get algorithms for finding (approximations of) objects whose existence is claimed in Theorems 7 and 8 and a simplex enjoying properties stated in Sperner’s lemma. Hence, our proofs are not only of existential character, but they enable the computation of objects of interest (or at least their approximations).^{Footnote 1}
In the next section, we set up notation and introduce preliminary notions from combinatorial topology. Then we prove the just mentioned combinatorial lemma (Lemma 2) and apply it to get the promised results. The last section comprises some comments.
Preliminaries
Let \(\mathbb{N}\) denote the set of positive integers, and for any \(n\in\mathbb{N}\), let \(\mathbb{R}^{n}\) denote the ndimensional Euclidean space, and let \([n]:=\{1,\ldots,n\}\), \([0]:=\emptyset\), \([n]_{0}:=\{0,1,\ldots ,n\}\), and \([n]_{i}:=\emptyset\) for \(i>n\). We take on the convention \(\sum_{i\in\emptyset}a_{i}=0\). Moreover, \(e^{i}\) is the ith unit vector of the standard basis of \(\mathbb{R}^{n}\), where \(i\in[n]\). The (vector) inequality \(x\geq y\) (\(x>y\)), \(x, y\in\mathbb{R}^{n}\), means \(x_{i}\geq y_{i}\) (\(x_{i}>y_{i}\)), \(i\in[n]\). In what follows, for \(n\in \mathbb{N}\), the set \(\Delta^{n}:=\{x\in\mathbb{R}^{n}_{+}: \sum_{i=1}^{n}x_{i}=1\}\), where \(\mathbb{R}_{+}\) is the set of nonnegative real numbers, is the standard (closed) \((n1)\)simplex, and \(\operatorname{int} \Delta ^{n}:=\{x\in \Delta^{n}: x_{i}>0, i\in[n]\}\) is its (relative) interior. For a set \(X\subset\mathbb{R}^{n}\), \(\partial({X})\), intX, and convX denote its boundary (or relative boundary of the closure of X if X is convex), interior (or relative interior if X is convex), and convex hull, respectively. For vectors \(x,y\in\mathbb{R}^{n}\), their scalar product is \(xy:=\sum_{i=1}^{n}x_{i}y_{i}\). For sets \(A, B\subset\mathbb{R}^{n}\), \(AB:=\{ab\in \mathbb{R}: a\in A, b\in B\}\) and \(A+B:=\{a+b\in\mathbb{R}^{n}: a\in A, b\in B\}\); for \(a\in\mathbb{R}^{n}\), we briefly write aB and \(a+B\) instead of \(\{a\}B\) and \(\{a\}+B\), respectively (similarly if the set B has one element only). If \(A\subset\mathbb{R}^{n}\) and \(b\in\mathbb{R}^{n}\), then \(A\geq b\) (\(A>b\)) means that for each \(a\in A\), \(a\geq b\) (\(a>b\)). If \(a\in \mathbb{R}\) and \(b\in\mathbb{R}^{n}\), then by \(b\geq a\) we mean \(b_{i}\geq a\), \(i\in[n]\); similarly, for the strict inequality ‘>’. The Euclidean norm of \(x\in\mathbb{R}^{n}\) is denoted by \(x\). For any set A, #A denotes its cardinality, and \(\operatorname{diam}{A}:=\sup\{xy: x, y\in A\} \) is the diameter of the set A. For \(r>0\), \(B_{r}:=\{x\in\mathbb{R}^{n}: x< r\}\) is the open ball centered at \(0\in\mathbb{R}^{n}\) with radius r. For a multivalued mapping \(F:A\multimap B\), where A, B are some sets, \(F(C):=\bigcup_{c\in C}F(c)\) for any set \(C\subset A\). For a sequence \(k_{q}\in\mathbb{R}\), \(q\in\mathbb{N}\), \(k_{q}\nearrow+\infty\) means that \(k_{q}\) diverges to +∞ strictly monotonically as q increases to +∞.
We need some more or less standard definitions and facts from combinatorial topology, which can be found in [2] and [3]. Let us fix \(n\in\mathbb{N}\).

Let \(v^{j}\in\mathbb{R}^{n}\), \(j\in[k]\), \(k\in[n+1]\), be affinely independent. The set σ defined by \(\sigma:=\{x\in\mathbb {R}^{n}: x=\sum_{j=1}^{k}\alpha_{j}v^{j}, \alpha\in\Delta^{k}\}=\operatorname {conv}\{v^{1},\ldots,v^{k}\}\) is called a \((k1)\)simplex with vertices \(v^{j}\), \(j\in[k]\). We write it briefly as \(\sigma= \langle{v^{j}: j\in [k]} \rangle\) or \(\sigma= \langle{v^{1},\ldots,v^{k}} \rangle\) or \(\sigma = \langle{\{v^{1},\ldots ,v^{k}\}} \rangle\). Observe that the standard \((n1)\)simplex \(\Delta^{n}\) is an \((n1)\)simplex since \(\Delta^{n}= \langle{e^{1},\ldots, e^{n}} \rangle\subset \mathbb{R}^{n}\). If we know that σ is a \((k1)\)simplex, then the set of its vertices is denoted by \(V(\sigma)\). If \(p=\sum_{j=1}^{k}\alpha^{\sigma}_{j}(p)v^{j}\in\sigma\), then the vector \(\alpha^{\sigma}(p):=(\alpha ^{\sigma}_{1}(p),\ldots,\alpha^{\sigma}_{k}(p))\in\Delta^{k}\) is called (the vector of) the barycentric coordinates of the point p in the simplex σ; in this case, we say that the barycentric coordinate \(\alpha^{\sigma}_{j}(p)\) of p corresponds to the vertex \(v^{j}\) or, in short, that \(\alpha^{\sigma}_{j}(p)\) is the ith barycentric coordinate of p in σ, \(j\in[n]\). For each \(p\in\sigma\), its vector \(\alpha^{\sigma}(p)\) of the barycentric coordinates in the simplex σ is uniquely determined. If σ is a ksimplex and we do not order its vertices \(V(\sigma)\), then it is sometimes convenient to think that the barycentric coordinates of a point \(p\in\sigma\) in σ are determined according to the unique function \(\alpha ^{\sigma}(p):V(\sigma)\to[0, 1]\), \(V(\sigma)\ni v\mapsto\alpha ^{\sigma}_{v}(p)\in[0, 1]\), with \(\sum_{v\in V(\sigma)}\alpha^{\sigma}_{v}(p)=1\) and \(p=\sum_{v\in V(\sigma)}\alpha^{\sigma}_{v}(p)v\); it is said in this case that the barycentric coordinate \(\alpha^{\sigma}_{v}(p)\) of the point \(p\in\sigma\) corresponds to the vertex \(v\in V(\sigma)\) in the simplex σ. Moreover, \(\alpha^{\sigma}(p)\) is called the (mapping of) barycentric coordinates of p in S.

If σ is a \((k1)\)simplex, then \(\langle {A} \rangle\), where \(\emptyset\neq A\subset V(\sigma)\), is called a \((\#A1)\)face of σ.

If σ is a \((k1)\)simplex and \(A=V(\sigma)\backslash \{v\}\), where \(v\in V(\sigma)\), then the \((k2)\)simplex \(\langle{A} \rangle\) is the \((k2)\)face opposite to the vertex v. Obviously, to each vertex v, there corresponds a unique \((k2)\)face opposite to v.

A collection \(T(S)=\{\sigma_{j}\subset S: j\in[J]\}\), \(J\in \mathbb{N}\), of nonempty subsets of a \((k1)\)simplex \(S\subset \mathbb{R}^{n}\), \(0< k\leq n+1\), is called a triangulation of S if it meets the following conditions:

1.
\(\sigma_{j}\) is a \((k1)\)simplex, \(j\in[J]\),

2.
if \(\sigma_{j}\cap\sigma_{j'}\neq\emptyset\) for \(j,j'\in [J]\), then \(\sigma_{j}\cap\sigma_{j'}\) is a common face of \(\sigma _{j}\) and \(\sigma_{j'}\),

3.
\(S=\bigcup_{j\in[J]}\sigma_{j}\).
The collection of all vertices of simplices in \(T(S)\) is denoted by \(V(T(S))\). If there is no ambiguity, then we write T instead of \(T(S)\).

1.

If T is a triangulation of an \((n1)\)simplex S, then for \((n2)\)face F of S, the set \(\{\sigma\cap F: \sigma\cap F \text{ is an }(n2)\text{simplex}, \sigma\in T\}\) is a triangulation of F (see [4], p.27, Theorem 2.3(e)).

Two different \((k1)\)simplices \(\sigma_{j}\), \(\sigma_{j'}\), \(j,j'\in[J]\), \(j\neq j'\), in a triangulation T of a \((k1)\)simplex S are said to be adjacent if \(\langle{V(\sigma)\cap V(\sigma ')} \rangle\) is a \((k2)\)face for both of them. Each \((k2)\)face of a simplex \(\sigma _{j}\), \(j\in[J]\), is a \((k2)\)face for exactly two different simplices in the triangulation, provided that the \((k2)\)face is not contained in \(\partial({S})\).

The \(K_{m}\)triangulation of an \((n1)\)simplex \(S= \langle{v^{1},\ldots,v^{n}} \rangle\subset\mathbb{R}^{n}\) with grid size \(m^{1}\), where m is a positive integer,^{Footnote 2} is the collection of all \((n1)\)simplices σ of the form \(\sigma= \langle {p^{1}, p^{2},\ldots, p^{n}} \rangle\), where vertices \(p^{1}, p^{2},\ldots, p^{n}\in S\) satisfy the following conditions:

(1)
the barycentric coordinate \(\alpha^{S}_{v_{i}}(p^{1})\) of \(p^{1}\) corresponding to \(v_{i}\) in S, \(i\in[n]\), is a nonnegative integer multiple of \(m^{1}\),

(2)
\(\alpha^{S}(p^{j+1})=\alpha^{S}(p^{j})+m^{1}(e^{\pi_{j}}e^{\pi _{j}+1})\), where \(\pi=(\pi_{1},\ldots,\pi_{n1})\) is a permutation of \([n1]\), \(l\in\{j,j+1\}\), \(j\in[n1]\).
The \(K_{m}\)triangulation of S with grid size \(m^{1}\) is denoted by \(K_{m}(S)\), and the set of all vertices of simplices in \(K_{m}(S)\) is denoted by \(V_{m}(S)\). Obviously, \(V_{m}(S)=\bigcup_{\sigma\in K_{m}(S)}V(\sigma)=\{\alpha_{1}v^{1}+\cdots+\alpha_{n} v^{n}: \alpha\in \Delta^{n}, \alpha_{i}\in\{0,1/m,\ldots,11/m,1\}\}\). For any \(\varepsilon>0\) and for a sufficiently large m, each simplex in \(K_{m}(S)\) has the diameter not greater than ε. Moreover, the vertex \(v^{n}\) belongs to exactly one simplex in \(K_{m}(S)\).

(1)
We shall also need a variant of a result by Kuratowski [5], Theorem 5.47.6:
Lemma 1
Let \(G^{q}\subset X\), \(q\in\mathbb{N}\), where \(X \subset\mathbb{R}^{n}\) is a convex, compact, and connected set, be a sequence of nonempty compact and connected sets such that there exists a point \(\overline{g}=\lim_{q\to+\infty}\overline{g}^{q}\), \(\overline{g}\in X\), \(\overline{g}^{q}\in G^{q}\), \(q\in\mathbb{N}\). Then the (limit) set
is compact and connected in X. Moreover, \(\overline{g}\in\Gamma\).
Proof
It is obvious that \(\overline{g}\in\Gamma\). Let us assume that \(\overline{g}\in\bigcap_{q\in\mathbb{N}}G^{q}\). Let \(\gamma^{k}\in \Gamma \subset X\), \(k\in\mathbb{N}\). By the BolzanoWeierstrass theorem we may assume that \(\gamma:=\lim_{k\to+\infty} \gamma^{k}\) exists in X. Since \(\gamma^{k}\in\Gamma\), by the definition of Γ we get that, for each k, there exist sequences \(k_{q}\in\mathbb{N}\), \(g^{k_{q}}\in G^{k_{q}}\), \(q\in\mathbb{N}\), such that \(\lim_{q\to+\infty }g^{k_{q}}=\gamma ^{k}\). Hence, for each k, there exists \(s(k)\in\mathbb{N}\) such that \(g^{k_{s(k)}}\gamma^{k}<1/k\), and we may assume that \(k_{s(k)}\nearrow+\infty\) as \(k\to+\infty\). It is now obvious that \(\gamma\in\Gamma\), which proves the compactness of Γ. Suppose that \(A, A'\subset X\) are open sets such that \(\overline {g}\in A\), \(A\cap A'=\emptyset\), and \(\Gamma\subset A\cup A'\). Notice that the connectedness of \(G^{q}\) and the fact that \(\overline{g}\in G^{q}\), \(q\in \mathbb{N}\), imply \(G^{q}\subset A\), \(q\in\mathbb{N}\). To show that Γ is connected, it suffices to demonstrate that \(\Gamma\cap A'=\emptyset\). Let us now fix a point \(x\in\Gamma\) and assume that \(x\in A'\). Since \(A'\) is open, there exists \(\varepsilon>0\) with \(x+B_{\varepsilon}\subset A'\). The last inclusion implies that for any sequence converging to x, almost all its terms belong to \(A'\). From this, the fact that \(G^{q}\subset A\), \(q\in\mathbb{N}\), and the disjointness of A from \(A'\) it follows that \(x\notin\Gamma\). Thus, \(\Gamma\cap A'=\emptyset\).
Now, if \(\bigcap_{q\in\mathbb{N}}G^{q}=\emptyset\), then let for each \(q\in \mathbb{N}\), \(h^{q}\in G^{q}\) be a point such that \(h^{q}\overline {g}=\inf\{ \overline {g}h: h\in G^{q}\}\); such a point exists by the compactness of \(G^{q}\). Define the sets \(H^{q}:=G^{q}\cup\{t\overline{g}+(1t)h^{q}: t\in[0,1]\}\), \(q\in\mathbb{N}\). By the convexity of X, \(H^{q}\subset X\), \(q\in \mathbb{N}\). Moreover, the sets \(H^{q}\), \(q\in\mathbb{N}\), are compact, connected, and the point g̅ belongs to each of them. Thus, the limit set \(\Gamma'\) (defined as Γ, but with \(H^{q}\) in place of \(G^{q}\)) is compact, nonempty, and connected. It suffices to prove that \(\Gamma=\Gamma'\). Obviously, \(\Gamma\subset\Gamma'\). If \(x\in\Gamma'\backslash \Gamma\), then x is the limit of a sequence of points \(g^{k_{q}}\in\{ t\overline{g}+(1t)h^{q}: t\in[0,1)\}\backslash G^{k_{q}}\) for a sequence \(k_{q}\nearrow+\infty\), \(q, k_{q}\in\mathbb{N}\). But \(\lim_{q\to +\infty}h^{q}=\overline{g}\), and thus \(x=\overline{g}\). Consequently, \(x\in \Gamma\), which ends the proof. □
The combinatorial lemma and its applications
The result which is common for our proofs of the existence of zeros for excess demand mappings, continuum of zeros for parameterized excess demand mappings, and for a proof of Sperner’s lemma is the following combinatorial Lemma 2, which generalizes the combinatorial lemma presented in [1].^{Footnote 3}
Lemma 2
Let \(S:= \langle{v^{1},\ldots,v^{n}} \rangle\subset\mathbb {R}^{n}\) be an \((n1)\)simplex, \(T:=T(S)=\{\gamma_{j}: j\in[Q]\}\), \(Q\in\mathbb{N}\), be a triangulation of S, and let \(V:=V(T)\) denote the set of all vertices of simplices in T. Suppose that there exists exactly one simplex \(\overline{\sigma }\in T\) such that \(v^{n}\in\overline{\sigma}\). Assume also that \(\overline {\sigma}\cap \langle{v^{1},\ldots,v^{n1}} \rangle=\emptyset\). Let now \(l:V\rightarrow [n]_{0}\) be a function satisfying for all \(p\in V\) the following conditions:

1.
for \(i\in[n1]\): \(\alpha^{S}_{i}(p)=0\Leftrightarrow l(p)\neq i\),

2.
\(l(p)=0\Leftrightarrow\alpha^{S}_{n}(p)=0\),

3.
\(l(p)=n\Leftrightarrow\alpha^{S}_{n}(p)=1\),

4.
\(l(p)\in[n1]\Leftrightarrow\alpha^{S}_{n}(p)\in(0,1)\),
where \(\alpha^{S}_{i}(p)=\alpha^{S}_{v^{i}}(p)\) is the ith barycentric coordinate of the point p in S, \(i\in[n]\). Then there exists a unique finite sequence of simplices \(\sigma_{1},\ldots, \sigma_{J}\in T\), \(J\in\mathbb{N}\), such that \(\sigma_{j}\) and \(\sigma_{j+1}\) are adjacent for \(j\in[J1]\), \(n\in l(\sigma_{1})\), \(0\in l(\sigma_{J})\), \([n1]\subset l(\sigma_{j})\), \(j\in[J]\), and \(0\notin l(\sigma^{j})\), \(\sigma_{j+1}\notin\{\sigma_{1},\ldots,\sigma_{j}\}\), \(j\in [J1]\).^{Footnote 4} See Figure 1.
Proof
Let \(\sigma_{1}:=\overline{\sigma}\). Obviously, \(n\in l(\sigma_{1})\). Since \(\sigma_{1}\) is the unique \((n1)\)simplex in T containing \(v^{n}\) and \(\sigma_{1}\cap \langle{v^{1},\ldots,v^{n1}} \rangle =\emptyset\), we have \(\sigma_{1}= \langle{p^{1},\ldots,p^{n1},p^{n}} \rangle\), where \(p^{j}=t^{j}v^{j}+(1t^{j})v^{n}\) for some \(t^{j}\in(0,1)\), \(j\in[n1]\). Hence, \(\alpha^{S}(p^{j})\), the vector of barycentric coordinates of the vertex \(p^{j}\), is of the form
The equality \(\alpha^{S}_{i}(p^{j})=0\) implies \(l(p^{j})\neq i\), and therefore, due to the facts that \(\alpha^{S}_{j}(p^{j})=t^{j}>0\), \(j\in [n1]\), and \(\alpha^{S}_{n}(p^{n})=1\), we see that \(l(p^{j})=j\), \(j\in[n]\), and \([n1]\subset l(\sigma_{1})\). Moreover, since for all \(v\in V\), \(\alpha^{S}_{i}(v)=0\) implies \(l(v)\neq i\), \(l(\sigma')=[n1]\) entails that \(\sigma'\) is not contained in \(\partial({S})\), where \(\sigma'\) is an \((n2)\)face of some \(\sigma\in T\). Thus, the (relative) boundary \(\partial(S)\) of S contains no \((n2)\)face \(\sigma'\) of a simplex \(\sigma\in T\) such that \(l(\sigma')=[n1]\). From this we get that there exists exactly one \(\sigma_{2}\in T\backslash\{\sigma_{1}\}\) that is adjacent to \(\sigma_{1}\). Obviously, \([n1]\subset l(\sigma_{2})\), and if \(0\in l(\sigma_{2})\), then the proof is finished (\(J=2\)). Suppose that \([n1]=l(\sigma_{2})\) and let \(p^{n+1}\) be the only element of \(V(\sigma_{2})\backslash V(\sigma_{1})\). Since \(l(\{p^{1},\ldots,p^{n1}\} )=[n1]\) and \(l(p^{n+1})\in[n1]\), there exists exactly one index \(i_{1}\in[n]\) such that \(l(p^{i_{1}})=l(p^{n+1})\) and \(l(V(\sigma ^{2})\backslash\{p^{i_{1}}\})=[n1]\). So we can find a simplex \(\sigma _{3}\in T\backslash\{\sigma_{1},\sigma_{2}\}\) adjacent to \(\sigma_{2}\) with \([n1]\subset l(\sigma_{3})\), and if \(0\in l(\sigma_{3})\), then the process is complete, if not, then proceeding as before, we can find a simplex \(\sigma_{4}\in T\backslash\{\sigma_{1},\sigma_{2},\sigma_{3}\}\) and so on.^{Footnote 5} Suppose that we have constructed the sequence \(\sigma_{1},\ldots,\sigma_{J}\). If \(0\in l(\sigma_{J})\), then the sequence satisfies the claim. Suppose that \(0\notin l(\sigma_{J})\). Since each \((n2)\)face that is not contained in \(\partial(S)\) is shared by exactly two simplices of T, there exists precisely one simplex \(\sigma'\) in \(T\backslash\{\sigma _{1},\ldots,\sigma_{J}\}\) such that \(\sigma_{J}\) and \(\sigma'\) share the \((n2)\)face \(\sigma'\cap\sigma_{J}\) with \(l(\sigma'\cap\sigma _{J})=[n1]\); this ensures that \(\sigma_{J+1}=\sigma'\) and that no simplex of T appears twice (or more) in the sequence \(\sigma _{1},\ldots, \sigma_{J+1}\), and \(l(\sigma_{j})=[n1]\), \(j\in [J1]\backslash\{1\}\). Thus, in view of the finiteness of T and the fact that no \((n2)\)face \(\sigma'\) of some \(\sigma^{j}\), \(j\in[J+1]\), with \(l(\sigma')=[n1]\) is contained in \(\partial({S})\), we conclude that there exists the first index \(J\in\mathbb{N}\) such that \(0\in l(\sigma_{J})\). The uniqueness of the constructed sequence comes from the preceding sentences, properties of the simplex containing \(v^{n}\), and the fact that each \((n2)\)face in the (relative) interior of S is shared by exactly two simplices of the triangulation. □
The existence of equilibrium
Definition 3
Let us fix \(n\in\mathbb{N}\). We say that a mapping \(z:\operatorname {int}\Delta ^{n}\multimap\mathbb{R}^{n}\) is an excess demand mapping if it satisfies the following conditions:

1.
z is upper semicontinuous on \(\operatorname {int}\Delta^{n}\) with nonempty convex and compact values \(z(p)\), \(p\in\operatorname {int}\Delta^{n}\),

2.
Walras’ law: \(pz(p)=0\), \(p\in \operatorname{int} \Delta^{n}\),

3.
the boundary condition: if \(p^{q}\in \operatorname{int} \Delta^{n}\), \(y^{q}\in z(p^{q})\), \(q\in\mathbb{N}\), and \(\lim_{q\to +\infty} p^{q}=p\), then
$$p_{i}=0\quad \Rightarrow \quad \lim_{q\to+\infty} y^{q}_{i}=+\infty , \quad i\in[n], $$ 
4.
z is bounded from below: there exists a negative number L such that
$$\inf \bigl\{ y_{i}\in\mathbb{R}: y\in z(p), p\in \operatorname{int} \Delta ^{n} \bigr\} >L, \quad i\in[n]. $$
Definition 4
Let \(z:\operatorname{int}\Delta^{n}\multimap \mathbb{R}^{n}\) be an excess demand mapping, \(n\in\mathbb{N}\). A point \(p\in\operatorname {int}\Delta ^{n}\) is called an equilibrium point for z if \(0\in z(p)\).
Lemma 5
Let z be an excess demand mapping. Then

1.
there exists \(\varepsilon_{1}\in(0,1/2] \) such that for \(i\in[n]\) and \(y\in z(p)\), \(p\in\operatorname{int}\Delta ^{n}\), we have
$$(p_{i}\leq\varepsilon_{1}\Rightarrow y_{i}>0)\quad \textit{and}\quad (p_{i}\geq 1\varepsilon_{1}\Rightarrow y_{i}< 0), $$ 
2.
for any \(\varepsilon_{2}\in(0,1/2]\), there exists \(U>0\) such that \(z(p)\subset[L,U]^{n}\) for each \(p\in\operatorname {int}\Delta^{n}\) with \(p_{i}\geq\varepsilon_{2}\), \(i\in[n]\), where L is the constant appearing in Definition 3, condition 4,

3.
for each \(\varepsilon_{3}\in(0,1/2]\), there exists \(\varepsilon_{4}\in(0,\varepsilon_{3}/2]\) such that for \(p\in \operatorname{int}\Delta^{n}\) with \(p_{n}\leq1\varepsilon_{3}\), we have that, for \(i\in[n1]\) and \({y}\in{z}(p)\),
$$\bigl(p_{i}\leq\varepsilon_{4}\Rightarrow(1p_{n})y_{i}+p_{n}y_{n}>0 \bigr)\quad \textit{and}\quad \bigl(p_{i}\geq1\varepsilon_{4} \Rightarrow (1p_{n})y_{i}+p_{n}y_{n}< 0 \bigr). $$ 
4.
for \(\varepsilon_{3}\), \(\varepsilon_{4}\) for which claim 3 and its premises hold, there exists \(\Lambda\in (0,+\infty)\) such that, for \(i\in[n1]\),
$$(1p_{n})y_{i}+p_{n}y_{n}>\Lambda, $$whenever \(y\in z(p)\), \(p\in\operatorname{int}\Delta^{n}\), \(p_{i}\leq \varepsilon_{4}\), \(p_{n}\leq1\varepsilon_{3}\), and \(p_{j}\in[\varepsilon_{4}/2n, 1\varepsilon_{4}/2n]\), \(j\in[n]\).
Proof
Suppose that the lefthand side implication in claim 1 is not true. Then there exist \(i\in[n]\) and sequences \(p^{q}\in \operatorname{int}\Delta^{n}\), \(y^{q}\in z(p^{j})\), \(j\in\mathbb{N}\), such that \(\lim_{q\to+\infty}p^{q}=p\), \(p_{i}=0\), and \(\limsup_{q\to+\infty}y_{i}^{q}\leq0\), which is impossible due to the boundary condition. Hence, there exists \(\varepsilon_{1}\in(0,1/2]\) such that the considered implication is satisfied. To prove the righthand side implication in claim 1, observe that \(p_{i}\geq1\varepsilon_{1}\) implies \(p_{i'}\leq \varepsilon_{1}\), \(i\neq i'\), and \(y_{i'}>0\), \(i'\neq i\), for \(y\in z(p)\). Finally, by Walras’ law, \(0<\sum_{i'\neq i}p_{i'}y_{i'}=p_{i}y_{i}\), and consequently \(y_{i}<0\).
Statement 2 is true since the restriction of the mapping z to the (compact) set \(\{p\in\operatorname{int}\Delta^{n}: p_{i}\geq \varepsilon _{2}, i\in[n]\}\) is an upper semicontinuous mapping with compact values, and such mappings transform compact sets into compact sets [6], p.560.^{Footnote 6}
To prove assertion 3, suppose that there exists \(\varepsilon_{3}\in(0,1/2]\) such that for any \(q\in\mathbb{N}\), \(k\geq2\), there exist \(p^{q}\in\operatorname{int}\Delta^{n}\): \(p^{q}_{n}\leq 1\varepsilon_{3}\) and \(i_{q}\in[n1]\): \(p^{q}_{i_{q}}\leq\varepsilon_{3}/q\) with \((1p_{n}^{q})y^{q}_{i_{q}}+p^{q}_{n}y^{q}_{n}\leq0\) for some \(y^{q}\in z(p^{q})\). Without loss of generality, we assume that \(i_{q}=1\), \(q\in\mathbb{N}\). The boundary condition now implies that \(\lim_{q\to+\infty}y^{q}_{1}=+\infty\). Since \(1p^{q}_{n}\geq\varepsilon_{3}\), \(q\in\mathbb{N}\), and z is bounded from below by the constant L, we obtain that \((1p^{q}_{n})y^{k}_{1}+p^{q}_{n}y^{q}_{n}\geq\varepsilon_{3}y^{q}_{1}+L>0\) for large q. This contradicts our assumption that \((1p_{n}^{q})y^{q}_{i_{q}}+p^{q}_{n}y^{q}_{n}\leq 0\) for \(q\in\mathbb{N}\). Hence, for any \(\varepsilon_{3}\in(0,1/2]\), there exists \(\varepsilon_{4}\in(0,\varepsilon_{3}/2]\) such that the first implication in claim 3 is satisfied for any \(p\in\Delta ^{n}\): \(p_{n}\leq1\varepsilon_{3}\). Observe that for fixed \(\varepsilon _{3}\) and \(\varepsilon_{4}\) for which the first implication in claim 3 holds, it follows that if \(p\in\operatorname{int}\Delta ^{n}\): \(p_{n}\leq 1\varepsilon_{3}\) and \(p_{i}\geq1\varepsilon_{4}\) for some \(i\in[n1]\), then \(p_{j}\leq\varepsilon_{4}\), \(j\in[n1]\): \(j\neq i\), and by the first implication of assertion 3 we get \((1p_{n})y_{i}+p_{n}y_{n}=\sum_{j\in[n1]\backslash\{i\}}[(1p_{n})y_{j}+p_{n}y_{n}]<0\).
Let now \(\varepsilon_{3}\), \(\varepsilon_{4}\) be as in claim 3 and suppose that claim 4 is false. Thus, there exist sequences \(p^{q}\in\operatorname{int}\Delta^{n}\): \(p^{q}_{n}\leq 1\varepsilon_{3}\), \(p^{q}_{j}\in[\varepsilon_{4}/2n, 1\varepsilon_{4}/2n]\), \(j\in[n]\), \(y^{q}\in z(p^{q})\), \(q\in\mathbb{N}\), and \(\overline{i}\in[n1]\) such that \(p^{q}_{\overline {i}}\leq\varepsilon_{4}\) and \((1p^{q}_{n})y^{q}_{\overline {i}}+p^{q}_{n}y^{q}_{n}\leq 1/q\), \(q\in\mathbb{N}\). By the boundary and lower boundedness conditions on z, the boundedness of the standard simplex, and by the upper semicontinuity of z and compactness of its values, from the sequences \(p^{q}, y^{q}, q\in\mathbb{N}\), we can extract subsequences converging to \(p\in\operatorname{int}\Delta^{n}\) and \(y\in z(p)\), respectively. But then \(p_{i}\in [\varepsilon_{4}/2n, 1\varepsilon_{4}/2n]\), \(i\in[n]\), \(p_{n}\leq 1\varepsilon_{3}\), and \(p_{\overline{i}}\leq\varepsilon_{4}\). By the contradictory assumption we get \((1p_{n})y_{\overline{i}}+p_{n}y_{n}\leq0\), which is impossible due to the choice of \(\varepsilon_{3}\) and \(\varepsilon_{4}\). □
We are in position to prove the first consequence of the combinatorial Lemma 2.
Lemma 6
Let z be an excess demand mapping. For each \(\varepsilon>0\), there exist \(p\in\operatorname{int}\Delta^{n}\) and \(y\in z(p)\) such that \(y_{i}\leq \varepsilon\), \(i\in[n]\).
Proof
Fix \(\varepsilon>0\). The claim is trivial for \(n=1\), so assume that \(n\geq2\). To ease the reading, we divide the proof into four parts.
Part 1: A restriction of the mapping z to a simplex \(S\subset\operatorname{int}\Delta^{n}\). Let us fix \(\varepsilon_{1}\) for which the assertion of Lemma 5, statement 1 is satisfied. Let \(\varepsilon_{4}\) correspond to \(\varepsilon_{3}:=\varepsilon_{1}/2\) according to Lemma 5, statement 3. Finally, suppose that U fulfills Lemma 5, statement 2 for \(\varepsilon _{2}=\varepsilon_{4}\) and Λ corresponds to \(\varepsilon _{3}\) (\(=\varepsilon_{1}/2\)) and \(\varepsilon_{4}\) as in Lemma 5, statement 4. Notice that \(1\varepsilon_{1}<1\frac {1}{2}{\varepsilon_{1}}= 1\varepsilon_{3}<1\varepsilon_{4}<1\frac {n1}{2n}\varepsilon_{4}\leq1\frac{1}{2n}\varepsilon_{4}\).
Without loss of generality, we can assume that \(\varepsilon_{4}\) is so small that the vectors
are linearly independent. Let now \(S:= \langle{\overline{v}^{i}: i\in[n]} \rangle\), and let \(\alpha^{S}_{i}(p):=\alpha^{S}_{\overline{v}^{i}}(p)\) denote the ith barycentric coordinate of \(p\in S\) in the simplex S, \(i\in[n]\). Hence, \(p=\sum_{i\in[n]}\alpha^{S}_{i}(p)\overline{v}^{i}\). It is obvious that \(S\subset\operatorname{int}\Delta^{n}\), the set S is an \((n1)\)simplex with the vertices \(\overline{v}^{i}\), \(i\in[n]\), and \(p_{i}\in[\varepsilon _{4}/2n,1\frac {n1}{2n}\varepsilon_{4}]\) for \(p\in S\). Moreover, for each \(i\in[n]\), any value in \([\varepsilon_{4}/2n,1\frac{n1}{2n}\varepsilon_{4}]\) is taken on by \(p_{i}\) for a point \(p\in S\). Observe that if for a point \(p\in S\), \(\alpha^{S}_{i}(p)=0\) for some \(i\in[n]\) (\(\Leftrightarrow p_{i}=\varepsilon_{4}/2n\)), then \(p_{i}<\varepsilon_{1}\) and \(y_{i}>0\) for \(y\in z(p)\); if \(\alpha^{S}_{i}(p)=1\) (\(\Leftrightarrow p_{i}=1\frac {n1}{2n}\varepsilon_{4}\)) for some \(i\in[n]\), then \(p_{i}>1\varepsilon _{1}\) and \(y_{i}>0\) for \(y\in z(p)\). Further, if \(p\in S\), \(p_{n}\leq 1\varepsilon_{3}=1\varepsilon_{1}/2\), and \(\alpha^{S}_{i}(p)=0\) for some \(i\in[n1]\), then \(p_{i}\leq\varepsilon_{4}\) and \((1p_{n})y_{i}+p_{n}y_{n}>\Lambda\) for \(y\in z(p)\); in the case where \(\alpha ^{S}_{i}(p)=1\) for some \(i\in[n1]\), we have \(p_{i}\geq1\varepsilon_{4}\) and \((1p_{n})y_{i}+p_{n}y_{n}<0\) for \(y\in z(p)\).
Part 2: Two triangulations of S. From the upper semicontinuity of z we obtain that, for any \(p\in S\), there exists \(\delta_{p}\in(0,\varepsilon/2)>0\) such that \(z((p+B_{\delta_{p}})\cap S)\subset z(p)+B_{\varepsilon/2}\). By the compactness of S there exist points \(p^{1},\ldots,p^{Q}\in S\), \(Q\in\mathbb{N}\), such that the sets \(p^{i}+B^{i}\), \(i\in[Q]\), where \(B^{i}:=B_{\delta_{p^{i}}}\), are an open cover of S. Now, let \(D:=1+\sup\{y: y\in z(p), p\in S\}\) (\(D\in[1,+\infty)\) by Lemma 5, statement 2). Define \(\delta:=\min_{i\in[Q]}\delta_{p^{i}}\) and let \(\lambda\in(0,\min\{ \Lambda,\delta/2\})\) be a Lebesgue number of the covering \(\{ p^{i}+B^{i}: i\in[Q]\}\) of S satisfying the inequality
Hence, any set \(A\subset S\) whose diameter is less than λ satisfies the condition \(A\subset p^{i}+B^{i}\) for some \(i\in[Q]\). Let us now fix \(m_{1}\in\mathbb{N}\) so large that \(\operatorname{diam}{\sigma }<\min\{ \lambda ,\varepsilon_{1}/6\}\) for \(\sigma\in K_{m_{1}}(S)\), and to each vertex \(v\in V_{m_{1}}(S)\), arbitrarily assign a point \(y(v)\in z(v)\); notice that \(y(v)\leq D\), \(v\in V_{m_{1}}(S)\), and if a simplex \(\sigma\in K_{m_{1}}(S)\) contains a point p such that \(p_{n}\geq1\varepsilon _{1}/2\), then \(p'_{n}\geq12\varepsilon_{1}/3\), \(p'\in\sigma\). Let us also fix \(m_{2}\in\mathbb{N}\) such that for each simplex σ in the triangulation \(T^{S}:=K_{m_{1}\times m_{2}}(S)\), we have \(\operatorname {diam}{\sigma }<\min\{\lambda/D,\varepsilon_{1}/3\}\). Observe that \(V_{m_{1}}(S)\subset V^{S}:=V_{m_{1}\times m_{2}}(S)\). For any \(\sigma\in T^{S}\), by σ̂ we denote the unique simplex \(\hat{\sigma }\in K_{m_{1}}(S)\) such that \(\sigma\subset\hat{\sigma}\). So, it makes sense to speak on the barycentric coordinates of points \(p\in\sigma \in T^{S}\) in \(\hat{\sigma}\in K_{m_{1}}(S)\). We denote the barycentric coordinates of \(p\in\sigma\in T^{S}\) in the simplex \(\hat{\sigma}\in K_{m_{1}}(S)\) by \(\alpha^{\hat{\sigma}}(p)\) and the barycentric coordinate of p corresponding to \(v\in V(\hat{\sigma})\) in σ̂ by \(\alpha_{v}^{\hat{\sigma}}(p)\), \(v\in V(\hat{\sigma})\). Hence, \(p=\sum_{v\in V(\hat{\sigma})}\alpha^{\hat{\sigma}}_{v}(p)\) and \(\sum_{v\in V(\hat{\sigma})}\alpha^{\hat{\sigma}}_{v}(p)=1\), \(\alpha ^{\hat{\sigma}}_{v}(p)\in[0, 1]\), \(v\in V(\hat{\sigma})\). Since the set \(K_{m_{1}}(S)\) is finite and λ and D are fixed independently of the triangulation of S and the barycentric coordinates of a point p in a simplex are continuous functions of p, without loss of generality (increasing \(m_{2}\) if necessary), we may assume that \(\sum_{v\in V(\hat{\sigma})}\alpha^{\hat{\sigma}}_{v}(p)\alpha^{\hat{\sigma}}_{v}(p')<\lambda/D\) for any \(\sigma\in T^{S}\) and \(p, p'\in \sigma\), that is, the barycentric coordinates of points \(p, p'\in \sigma\in T\) in the simplex \(\hat{\sigma}\in K_{m_{1}}(S)\) differ by less than \(\lambda/D\).
Part 3: A labeling of \(V^{S}\). Recall that to each vertex \(v\in K_{m_{1}}(S)\subset T^{S}\), we have arbitrarily assigned \(y(v)\in z(v)\) in Part 2 of the proof. Let
where \(p\in S\), and σ is any simplex in \(T^{S}\) with \(p\in\sigma \); it is clear that \(h(p)\) is independent of the choice of σ as long as \(p\in\sigma\). For \(p, p'\in\sigma\in T^{S}\), we have
Further, for any \(p\in\sigma\in T^{S}\), we have
where \(\gamma(p,v):=vp\), \(v\in V({\hat{\sigma}})\), and by the choice of \(m_{2}\) we have \(\gamma(p,v)\leq\min\{\lambda/D,\varepsilon _{1}/3\}\), \(v\in V(\hat{\sigma})\), so by Schwarz’s inequality
and hence, for each \(p\in S\),
It is an elementary task to check that, for \(p\in S\),
Conditions (5) and (6) imply that, for \(p\in S\), we have
By Lemma 5, statement 1 and the choice of \(m_{2}\), \(h_{n}(p)<0\) for \(p\in S\) with \(p_{n}\geq1\varepsilon_{1}/2\) and \(h_{n}(p)>0\) for \(p\in S\) with \(p_{n}\leq\varepsilon_{1}/2\). Further, by Lemma 5, statement 4, \((1p_{n})h_{i}(p)+p_{n}h_{n}(p)>\Lambda>\lambda\) for \(p\in S\), \(p_{n}\leq1\varepsilon_{1}/2\), and \(p_{i}=\varepsilon_{4}/2n\) (\(\Leftrightarrow\alpha^{S}_{i}(p)=0\)) for some \(i\in[n1]\). These considerations show that the function \(l:V^{S}\to[n]_{0}\) defined by the formula^{Footnote 7}
the simplex S, the triangulation \(T^{S}\) of S, and its vertices \(V^{S}\) satisfy the assumptions of Lemma 2.
Part 4: The existence of the asserted point. By Lemma 2 and Part 3 we obtain that there exists a sequence of different simplices \(\sigma_{1},\ldots,\sigma_{J}\in T\), \(J\in\mathbb{N}\), such that \(\overline{v}^{n}\in\sigma_{1}\), \(0\in\sigma_{J}\), \(\sigma_{j}\) and \(\sigma _{j+1}\) are adjacent, \(j\in[J1]\), and \([n1]\subset l(\sigma_{j})\), \(j\in[J]\), \(0\notin l(\sigma_{j})\), \(j\in[J1]\). It is obvious that the set \(\bigcup_{j\in J}\sigma_{j}\) is an arcwise connected subset of S joining the ‘upper’ vertex \(\overline{v}^{n}\) of S with the ‘bottom’ \(\langle{\overline{v}^{i}: i\in[n1]} \rangle\) of S. Since \(0\in l(\sigma_{J})\), we have that \(h_{n}(v)>0\) for the unique vertex of \(\sigma_{J}\) for which \(l(v)=0\). It is also clear that there is the first simplex \(\sigma _{j_{1}}\), \(j_{1}\in[J]\), such that \(\sigma_{j}\subset\{p\in S: p_{n}\leq1\varepsilon_{1}/2\}\), \(j\in j_{1},\ldots,J\). The choice of \(\varepsilon_{1}\) and the fact that the diameters of simplices in T are sufficiently small guarantee \(\sigma_{j_{1}}\subset\{p\in S: p_{n}\in[1\varepsilon_{1}, 1\varepsilon_{1}/2]\}\). Hence, \(h_{n}(v)<0\) for \(v\in V(\sigma_{j_{1}})\). The arcwise connectedness of the set \(\bigcup_{j=j_{1}}^{J}\sigma_{j}\) implies now that there is \({\sigma }_{j_{2}}\), \(j_{2}\in\{{j_{1}},\ldots, J\}\) such that \(h_{n}(v)>0\) for some \(v\in V({\sigma}_{j_{2}})\) and \(h_{n}(v')\leq0\) for some \(v'\in V({\sigma }_{j_{2}})>0\), which in view of the construction of vectors \(h(p)\), \(p\in S\), and the convexity of \({\sigma}_{j_{2}}\), implies that there exists \(p\in{{\sigma}_{j_{2}}}\): \(h_{n}(p)=0\). From (4) we obtain that \(h_{n}(v)\leq\lambda\), \(v\in V({\sigma}_{j_{2}})\). Notice that for each \(v\in V({\sigma}_{j_{2}})\) with \(l(v)=i\) for some \(i\in[n1]\), we have \((1v_{n})h_{i}(v)+v_{n}h_{n}(v)\leq\lambda\). In view of the inequality \(v_{n}\leq1\frac{n1}{n}\varepsilon_{4}\) for all \(i\in[n1]\), we have
from which, according to (2), we get
Since for each \(i\in[n1]\), there is \(v'\in V({\sigma}_{j_{2}})\) such that \(l(v')=i\), by (4) we see that \(h_{i}(v)\leq\delta /2+\lambda< \delta\), \(v\in{\sigma}_{j_{2}}\), \(i\in[n1]\), and \(h_{n}(v)\leq\lambda<\delta\). Hence, \(h_{i}({v})<\delta\) for any \(v\in \sigma_{j_{2}}\), \(i\in[n]\). To end the proof, notice that \(v\in{\sigma }_{j_{2}}\subset\hat{\sigma}_{j_{2}}\in K_{m_{1}}(S)\), and thus \(h({v})\in \operatorname{conv}(z(p)+B_{\varepsilon/2})\) for some \(p\in\{p^{i}: i\in[Q]\}\) (see Part 2 of the proof). But \(z(p)+B_{\varepsilon/2}\) is a convex set, so that \(h({v})\in z(p)+B_{\varepsilon/2}\), and there are \(y\in z(p)\) and \(x\in B_{\varepsilon/2}\) such that \(h({v})=y+x\). We have
The points \(p\in S\subset\operatorname{int}\Delta^{n}\) and \({y}\in z(p)\) satisfy the assertion. See Figure 2. □
From Lemma 6 and its proof we obtain the following.
Theorem 7
Let z be as in Lemma 6. There exists an equilibrium point for z.
Proof
Observe that the simplex S constructed in Part 1 of the proof is independent of \(\varepsilon>0\). Hence, there are points \(p^{q}\in S\) and \(y^{q}\in z(p^{q})\), satisfying \(y^{q}_{i}\leq1/q\), \(i\in[n]\), \(q\in\mathbb{N}\). The compactness of S allows us to assume that the sequence \(p^{q}\) converges to a point \(p\in S\). From the upper semicontinuity of the mapping z and from the compactness of its values we may also assume that the corresponding sequence of points \(y^{q}\in z(p^{q})\) converges to a point \(y\in z(p)\) with \(y_{i}\leq0\), \(i\in[n]\). Since \(p\in S\subset \operatorname{int}\Delta^{n}\), \(y=0\) (by Walras’ law). □
A continuum of equilibria for parameterized excess demand mappings
The main result of this section is a version of Browder fixed point theorem for excess demand mappings.
Theorem 8
Let \(z:\operatorname{int}\Delta^{n1}\times[0,1]\multimap\mathbb {R}^{n1}\), \(n\in \mathbb{N}\), be a nonempty, convex, and compactvalued upper semicontinuous mapping such that

1.
\(pz(p,t)=0\), \((p,t)\in\operatorname{int}\Delta ^{n1}\times[0,1]\),

2.
if \((p^{q},t^{q})\in\operatorname{int}\Delta ^{n1}\times [0,1]\), \(y^{q}\in z(p^{q},t^{q})\), \(q\in\mathbb{N}\), \(\lim_{q\to +\infty}(p^{q},t^{q})=(p, t)\in\Delta^{n1}\times[0,1]\), then
$$p_{i}=0\quad \Rightarrow \quad \lim_{q+\infty}y^{q}_{i}=+ \infty,\quad i\in[n1], $$ 
3.
there exists a negative number L such that
$$\inf \bigl\{ y_{i}\in\mathbb{R}: y\in z(p,t), (p,t)\in \operatorname{int}\Delta ^{n1}\times[0, 1] \bigr\} >L, \quad i\in[n1]. $$
Then there exists a compact and connected set \(E\subset\operatorname {int}\Delta ^{n1}\times[0,1]\) such that \(E\cap(\operatorname{int}\Delta ^{n1}\times\{0\} )\neq\emptyset\), \(E\cap(\operatorname{int}\Delta^{n1}\times\{1\} )\neq \emptyset\), and \(0\in z(p,t)\), \((p,t)\in E\).
Before we present a proof of Theorem 8, let us remark that for any \(t\in[0, 1]\), the mapping \(z(\cdot,t)\) is an excess demand mapping in the sense of Definition 3. Theorem 8, assumptions 2 and 3 (and the assumption of upper semicontinuity) impose some uniformity conditions on the family of mappings \(\{z(\cdot,t): t\in[0, 1]\}\), and we suppose that the claim of Theorem 8 may not be valid for a nonempty, convex, and compactvalued upper semicontinuous mapping \(z:\operatorname {int}\Delta ^{n1}\times[0,1]\) satisfying Theorem 8, assumption 1 and such that each mapping \(z(\cdot,t)\) is an excess demand mapping, \(t\in[0,1]\), but either Theorem 8, assumption 2 or Theorem 8, assumption 3 is not satisfied. However, we were not able to construct an example of such mapping nor to deliver a proof of Theorem 8 without introducing the just mentioned conditions.
Proof of Theorem 8
The claim is certainly true for \(n=1\), so assume that \(n\geq2\). Let us define the mapping \(\xi:\operatorname{int}\Delta^{n}\multimap \mathbb {R}^{n}\) by
for \(p\in\operatorname{int}\Delta^{n}\). By the assumptions on the mapping z and the construction of ξ, reasoning similarly as in the proof of Lemma 5 (with ξ in place of z), we deduce that:

(i)
for each \(\varepsilon_{2}\in(0,1/12)\), there exists \(U>0\) such that \(\xi(p)\subset[L,U]^{n}\) for each \(p\in \operatorname{int} \Delta^{n}\) with \(p_{i}\geq\varepsilon_{2}\), \(i\in[n]\),

(ii)
for each \(\varepsilon_{3}\in(0,1/12)\), there exists \(\varepsilon_{4}\in(0,\varepsilon_{3}/2]\) such that for \(p\in \operatorname{int}\Delta^{n}\) with \(p_{n}\leq1\varepsilon_{3}\), we have that, for \(i\in[n1]\) and \({y}\in\xi(p)\),
$$\bigl(p_{i}\leq\varepsilon_{4}\Rightarrow(1p_{n})y_{i}+p_{n}y_{n}>0 \bigr)\quad \textit{and}\quad \bigl(p_{i}\geq1\varepsilon_{4} \Rightarrow (1p_{n})y_{i}+p_{n}y_{n}< 0 \bigr), $$ 
(iii)
for \(\varepsilon_{3}\), \(\varepsilon_{4}\) for which claim (ii) and its premises hold, there exists \(\Lambda\in(0,+\infty)\) such that, for \(i\in[n1]\),
$$(1p_{n})y_{i}+p_{n}y_{n}>\Lambda, $$whenever \(y\in\xi(p)\), \(p\in\operatorname{int}\Delta^{n}\), \(p_{i}\leq \varepsilon _{4}\), \(p_{n}\leq1\varepsilon_{3}\), and \(p_{j}\in[\varepsilon_{4}/2n, 1\varepsilon_{4}/2n]\), \(j\in[n]\).
Remark that for \(p\in\operatorname{int}\Delta^{n}\) and \(y\in\xi (p)\), we have \(y_{n}=0\), and thus the inequality \((1p_{n})y_{i}+p_{n}y_{n}>0\) is equivalent to \(y_{i}>0\) for \(i\in[n1]\); similarly, if we replace ‘>’ with ‘<’. Let \(\varepsilon_{4}\) correspond to some fixed \(\varepsilon_{3}\in (0,1/12)\) according to (ii) and \(\varepsilon _{1}:=2\varepsilon_{3}\), \(\varepsilon_{2}:=\varepsilon_{4}\).^{Footnote 8} Moreover, let U, Λ correspond to \(\varepsilon_{2}\), \(\varepsilon_{3}\), and \(\varepsilon_{4}\) as in (i), (iii), respectively. Finally, fix \(\varepsilon>0\). Observe, that \(\varepsilon_{i}\) are chosen independently of ε. Literally repeating the passage of the proof of Lemma 6 starting from ‘Without loss of generality, we can assume that \(\varepsilon _{4}\) is so small that…’ in Part 1 and ending with ‘It is obvious that the set \(\bigcup_{j\in J}\sigma_{j}\) is an arcwise connected subset of S joining the ‘upper’ vertex \(\overline {v}^{n}\) of S with the ‘bottom’ \(\langle{\overline{v}^{i}: i\in[n1]} \rangle\) of S’ in Part 4, with the exceptions that

we replace z with ξ, and

we keep in mind that \(y_{n}=0\) whenever y belongs to the image of ξ, so that, in consequence, \(h_{n}(p)=0\), \(p\in S\),
we obtain the simplex S, its triangulation \(T^{S}\), and a sequence of consecutively pairwise adjacent \((n1)\)simplices \(\sigma_{1},\ldots ,\sigma_{J}\) (with no simplex appearing twice in the sequence) in \(T^{S}\) joining \(\overline{v}^{n}\) and \(\langle{\overline{v}^{1},\ldots ,\overline{v}^{n1}} \rangle\) and satisfying the following equivalences: \(0\in l(\sigma^{j}) \Leftrightarrow j=J\), \(n\in l(\sigma_{j}) \Leftrightarrow j=1\) for \(j\in [J]\), \(l(\sigma^{j})\subset[n1]\). We also have that there exists the first \(j_{1}\in[J]\) such that \(p\in\sigma_{j}\), \(j>j_{1}\), implies \(p_{n}\leq2/3\), and there exists the greatest \(j\in\{j_{1}+1,\ldots,J\}\) such that \(p\in\sigma_{j}\), \(j\in\{j_{1},j_{1}+1,\ldots,j_{2}1\}\), implies \(p_{n}\geq1/3\). Let
Observe that since the diameter of each simplex in \(T^{S}\) is small, \(p\in\sigma^{j_{1}}\cup\sigma^{j_{2}}\) implies \(p_{n}\in(\varepsilon _{4}/2n,1\varepsilon_{1}/2)\). It is also clear that there are \(p\in \sigma_{j_{1}}\): \(p_{n}=2/3\) and \(p'\in\sigma_{j_{2}}\): \(p'_{n}=1/3\). Moreover, for any \(j', j''\in[J]\), \(j'\leq j''\), the set \(\bigcup_{j\in[J]: j'\leq j \leq j''}\sigma_{j}\) is arcwise connected.
The definition of the function l and the fact that \(l(\sigma _{j})=[n1]\), \(j\in A\), entail that for \(i\in[n1]\) and \(j\in A\), there is \(v\in V(\sigma_{j})\) with \((1v_{n})h_{i}(v)+v_{n}h_{n}(v)\leq\lambda\); hence,
and thus (see Part 4 of the proof of Lemma 6)
For each \(j\in A\), there are \(\hat{\sigma}_{j}\in K_{m_{1}}(S)\) with \(\operatorname{conv}\{h(v): v\in\sigma_{j}\}\subset\operatorname {conv}\{y(w): w\in\hat {\sigma}_{j}\}\) and \(i_{j}\in[Q]\) with \(\sigma_{j}\subset\hat{\sigma }_{j}\subset p^{i_{j}}+B^{i_{j}}\) (see formula (3) and Part 2 of the proof of Lemma 6). Hence, \(\operatorname{conv}\{h(v): v\in\sigma_{j}\} \subset\xi(p^{i_{j}})+B_{\varepsilon/2}\) and \(y_{i}\leq\delta\leq \varepsilon/2\) for \(y\in\operatorname{conv}\{h(v): v\in\sigma_{j}\} \), \(i\in [n1]\), \(j\in A\). By the arcwise connectedness of the set \(E_{A}\) there exists a continuous function \(g:[0,1]\to S\) such that

(iv)
\(g([0,1])\subset\{p\in S: p_{n}\in[1/3, 2/3]\}\),

(v)
\(g_{n}(0)=2/3\), \(g_{n}(1)=1/3\),

(vi)
for each \(t\in[0, 1]\), \(h_{i}(g(t))\leq\varepsilon /2\), \(i\in[n1]\), \(h_{n}(g(t))=0\),

(vii)
for each \(t\in[0, 1]\), there are \(p\in S\) and \(y\in \xi(p)\) with \(pg(t)<\delta\), \(yh_{i}(g(t))<\varepsilon/2\), \(i\in [n1]\), and thus \(y_{i}\leq\varepsilon\), \(i\in[n1]\).
From uptonow considerations we conclude that for each \(\varepsilon >0\), there exist \(\delta\in(0,\varepsilon/2)\) (see Part 2 of the proof of Lemma 6) and continuous functions \(g^{\varepsilon}:[0,1]\to S\) and \(h^{\varepsilon}:S\to\mathbb{R}^{n}\) satisfying properties (iv)(vii). Let \(\varepsilon^{q}=1/q\), \(q\in\mathbb{N}\), and let \(g^{q}\), \(h^{q}\) be functions meeting properties (iv)(vii) (with \(g^{\varepsilon}\), \(h^{\varepsilon}\) instead of g, h, respectively). Without loss of generality, let us assume that \(\lim_{q\to+\infty}g^{q}(0)=\overline{g}\). By (v), \(\overline {g}_{n}=2/3\). Notice that the continuity of \(g^{q}\) implies that the set \(\Gamma ^{q}:=g^{q}([0,1])\) is a compact and connected subset of the convex compact set S, \(q\in\mathbb{N}\). Define
By Lemma 1 the set Γ is a connected and compact subset of S. By property (v) there is a point \(\overline {g}'\in \Gamma: \overline{g}'_{n}=1/3\). Observe also that \(\overline{g}\in \Gamma\) and recall that \(\overline{g}_{n}=2/3\). From (vii) we see that \(0\in \xi (g)\), \(g\in\Gamma\). Indeed, if \(x\in\Gamma\), then there exist sequences \(k_{q}\in\mathbb{N}\), \(x^{q}\in g^{k_{q}}([0,1])\), \(q\in\mathbb{N}\), \(k_{q}\nearrow+\infty\), such that \(\lim_{q\to+\infty}x^{q}=x\). By property (vii), for each \(q\in\mathbb{N}\), there exist \(p^{q}\in S\) and \(y^{q}\in\xi(p^{q})\) such that \(p^{q}x^{q}<1/q\), \(y^{q}_{i}\leq1/q\), \(i\in [n1]\). Obviously, \(\lim_{q\to+\infty}p^{q}=x\), and since \(\xi (p^{q})\subset[L, U]^{n}\), \(q\in\mathbb{N}\), we may assume (extracting a subsequence if necessary) that \(\lim_{q\to+\infty}y^{q}=y\in[L, U]^{n}\), where \(y_{i}\leq0\), \(i\in[n1]\). By the upper semicontinuity of the compactvalued mapping ξ on the set S, \(y\in\xi(p)\). Now, since \(p\in S\subset\operatorname{int}\Delta^{n}\), by assumption 1 on the mapping z and the definition of ξ we get
which, due to the inequalities \(y\leq0\) and \(p>0\), implies \(y=0\), and hence \(0\in\xi(p)\).
Let now the function \(w:\{p\in\operatorname{int}\Delta^{n}: p_{n}\in [1/3, 2/3]\} \to\operatorname{int}\Delta^{n1}\times[0,1]\) be defined by
\(p\in\operatorname{int}\Delta^{n}\), \(p_{n}\in[1/3, 2/3]\). The function w is a homeomorphism between \(\{p\in\operatorname{int}\Delta^{n}: p_{n}\in [1/3, 2/3]\}\) and \(\operatorname{int}\Delta^{n1}\times[0, 1]\), \(w_{n}(p)=0\Leftrightarrow p_{n}=1/3\), and \(w_{n}(p)=1\Leftrightarrow p_{n}=2/3\), \(p\in \operatorname{int} \Delta^{n}\): \(p_{n}\in[1/3, 2/3]\). It follows that the set \(E:=w^{1}(\Gamma)\) satisfies the assertion. See Figure 2.
□
Sperner’s lemma
Let us fix \(n\in\mathbb{N}\backslash\{1\}\) and define, for \(i\in[n1]\),
where \(e^{i}\in\mathbb{R}^{n}\) denotes the ith unit vector of \(\mathbb {R}^{n}\), \(i\in [n]\). We can easily see that \(w^{i}, v^{i}\in\Delta^{n}\), \(i\in[n1]\), and that the vectors \(w^{1},\ldots, w^{n1}\) and \(v^{1},\ldots,v^{n1}\), are linearly independent, so \(\langle{w^{i}: i\in[n1]} \rangle\) and \(\langle{v^{i}: i\in[n1]} \rangle\) are \((n2)\)simplices contained in \(\Delta^{n}\). Moreover, directly from formula (8) we obtain that each of the sets \(\{v^{1},\ldots,v^{n1},w^{1}\}, \{v^{2},\ldots ,v^{n1},w^{1},w^{2}\}, \ldots,\{v^{n1},w^{1},\ldots,w^{n1}\}\) is a set of affinely independent vectors, and thus these sets generate \((n1)\)simplices
In what follows, by \(v^{i},\ldots,w^{i'}\) we mean \(v^{i},\ldots ,v^{n1}\), \(w^{1},\ldots,w^{i'}\) for any \(i,i'\in[n1]\). We first present some lemmas. Their proofs are postponed to the Appendix.
The next lemma is a bit technical, but the geometry behind it is rather intuitive. Namely, the lemma reveals that it is possible to decompose the polytope \(\operatorname{conv}\{v^{1},\ldots,v^{n},w^{1},\ldots ,w^{n}\}\) into the simplices \(S^{1},\ldots, S^{n1}\), and the intersection of any pair of those simplices is their common face.^{Footnote 9}
Lemma 9
Let \(w^{i}\), \(v^{i}\), \(i\in[n1]\), be as in (8), and \(S^{i}\), \(i\in[n1]\), as in (9). Then
and
Remark 10
Similar decomposition applies for the set \(\operatorname{conv}\{ v^{1},\ldots ,v^{n1},e^{1},\ldots,e^{n1}\}\). The idea for a proof is identical to that presented in the proof above (only some minor changes are necessary).
The situation presented further in Lemma 11 can be imagined easily.
Lemma 11
Fix \(n\geq3\), \(n\in\mathbb{N}\). Let T be a triangulation of an \((n2)\)simplex \(S= \langle{p^{1},\ldots,p^{n1}} \rangle \subset\mathbb{R}^{n}\), and let \(S'= \langle{p^{1},\ldots,p^{n1},r} \rangle\) be an \((n1)\)simplex. Then the collection \(T':=\{ \langle{V(\sigma)\cup\{r\}} \rangle: \sigma \in T\}\) is a triangulation of \(S'\). Moreover, each simplex \(\sigma\in T\) and each simplex \(\sigma'\) of the form \(\langle{V(F)\cup\{r\} } \rangle\), where F is an \((i1)\)face of a simplex in T, \(i\in[n2]\), belong to the set of all ifaces of simplices in \(T'\), \(i\in[n2]\).
We shall now show that there is a special triangulation of the standard closed simplex \(\Delta^{n}\). The special triangulation allows us to embed a triangulated \((n2)\)simplex S in the standard simplex \(\Delta^{n}\) keeping simplices from the triangulation of S as faces of simplices in the triangulation of \(\Delta^{n}\). This lemma allows us to apply our combinatorial Lemma 2 to detect a simplex satisfying the assertion of Sperner’s lemma.
Lemma 12
Fix \(n\geq3\), \(n\in\mathbb{N}\). Let \(v^{j}\), \(w^{j}\), \(j\in[n1]\), be defined by (8). Suppose that T is a triangulation of the \((n2)\)simplex \(\langle{v^{1},\ldots,v^{n1}} \rangle\). Then there exists a triangulation \(T'\) of \(\Delta^{n}\) such that \(\langle {v^{n},w^{1},\ldots ,w^{n1}} \rangle\in T'\) and, for each \(\sigma \in T\), there is a simplex \(\sigma'\in T'\) for which σ is its an \((n2)\)face. We also have
Moreover, if for a simplex \(\sigma'\in T'\), there is exactly one \(i\in [n1]\) such that \(e^{i}\in V(\sigma')\), then \(\sigma'= \langle {V(\sigma )\cup\{e^{i}\}} \rangle\) for some \(\sigma\in T\).
Theorem 13
(Sperner’s lemma)
Fix \(n\geq3\), \(n\in\mathbb{N}\). Suppose that T is a triangulation of an \((n2)\)simplex \(S= \langle{p^{1},\ldots,p^{n1}} \rangle\). Let \(l:V(T)\to[n]\) be a function such that \(l(v)\neq i\) whenever \(\alpha_{i}(v)=0\), where \(\alpha_{i}(v):=\alpha^{S}_{p^{i}}(v)\) is the ith barycentric coordinate of the vector v in S. There exists \(\sigma\in T\) with \(l(\sigma )=[n1]\). Moreover, the number of such simplices is odd.
Proof
Let \(v^{i}\), \(w^{i}\), \(i\in[n1]\), be defined by (8). Without loss of generality, assume that \(p^{i}=v^{i}\), \(i\in[n1]\). Since T triangulates \(\langle{v^{1},\ldots,v^{n1}} \rangle\), we may assume that \(T'\) is a triangulation of \(\Delta^{n}\) whose existence is asserted in Lemma 12. Let now \(l':V(T')\to[n]_{0}\) be defined by
where \(p\in V(T')\). The function \(l'\) and triangulation \(T'\) of \(\Delta ^{n}\) evidently meet the assumptions of Lemma 2. Hence, there exists a sequence \(\sigma_{1},\ldots,\sigma_{J}\) of adjacent simplices in \(T'\) such that \(\sigma_{J}\) is the first simplex with a vertex contained in \(\{e^{1},\ldots,e^{n1}\}\). Obviously, by Lemma 2, \(l'(\sigma_{J})=[n1]_{0}\), and from Lemma 12 we see that \(\sigma_{J}= \langle{V(\overline{\sigma})\cup\{e^{i}\}} \rangle\) for some \(\overline{\sigma }\in T\) and \(i\in[n1]\). Hence, \(l'(\overline{\sigma})=l(\overline {\sigma})=[n1]\), which proves the existence of a simplex in T satisfying the desired property. Now, if \(\sigma\in T\), \(\sigma\neq\overline {\sigma}\), then using a similar procedure to that presented in the proof of Lemma 2 to generate the sequence \(\sigma_{1},\ldots,\sigma _{J}\), we obtain a unique sequence \(\sigma'_{1},\ldots,\sigma'_{J'}\) of simplices in \(T'\) such that \(\sigma'_{J'}\) is the first simplex in that sequence different from \(\sigma'_{1}\) that possesses a face \(\overline{\sigma}'\in T\backslash\{\overline{\sigma}\}\) with \(l(\overline {\sigma}')=[n1]\).^{Footnote 10} This way we can pair the simplex σ with a different simplex \(\overline{\sigma}'\in T\), where \(l(\sigma)=l(\overline{\sigma}')\). So, to each simplex σ in \(T\backslash\{\overline{\sigma}\}\) with \(l(\sigma)=[n1]\), we can uniquely assign a different simplex \(\sigma'\in T\backslash\{ \overline {\sigma}\}\) with \(l(\sigma')=[n1]\). It follows that the number of simplices satisfying the claim is odd since σ̅ has no paired simplex (obtainable using the presented procedure of generating sequences of simplices in \(T'\)). See Figure 3.
□
Final remarks
An algorithm for finding a zero of an excess demand mapping
From the proof of Lemma 2 we obtain the following algorithm for finding approximate solutions to the equation \(y=0\) for \(y\in z(p)\), \(p\in\operatorname{int}\Delta^{n}\), where z is an excess demand mapping.
 Step 0::

Fix accuracy level \(\varepsilon>0\). Determine \(\varepsilon_{1}\), \(\varepsilon_{3}\), \(\varepsilon_{4}\), Λ and vertices \(\overline{v}^{i}\), \(i\in[n]\), and simplex \(S:= \langle{\overline{v}^{i}: i\in[n]} \rangle\) as in Part 1 of the proof of Lemma 6 . Fix numbers δ, λ, \(m_{1}\), \(m_{2}\) as in Part 2 of the proof. Let also \(T:=K_{m_{1}\times m_{2}}(S)\). To each vertex \(v\in V(K_{m_{1}}(S))\), arbitrarily assign \(y(w)\in z(v)\). Further, to each \(v\in V(T)\), assign the point \(h(v)\) according to formula ( 3 ) and label each \(v\in V(T)\) as \(l(v)\in[n]_{0}\), where labeling l is defined by ( 7 ). Let also \(\sigma_{1}\) be the only simplex in T with \(\overline{v}^{n}\in\sigma_{1}\). Put \(F:=V(\sigma_{1})\backslash \{\overline {v}^{n}\}\), \(\overline{v}:=\overline{v}^{n}\), and go to Step 1.
 Step 1::

Determine the only vertex \(v\in T\) such that \(v\neq\overline{v}\) and \(\langle{F\cup\{v\}} \rangle \in T\). Go to Step 2.
 Step 2::

If \(h_{n}(v)\geq0\), then STOP: there is a point \(p\in(v+B_{\delta})\cap\operatorname{int}\Delta^{n}\) and \(y\in z(p)\) with \(y_{i}\leq\varepsilon\), \(i\in[n]\). Otherwise, assign the only element of \(l^{1}(l(v))\cap F\) as the value of v̅. Set \(F:=(F\backslash \{\overline{v}\})\cup\{v\}\) and go to Step 1.
Kakutani fixed point theorem and GaleDebreuNikaido lemma
Suppose that \(F:\Delta^{n}\multimap\Delta^{n}\) is an upper semicontinuous nonempty convex and compactvalued mapping. Kakutani’s fixed point theorem ensures that such a mapping possesses a fixed point [3], p.27. It is possible to derive Kakutani’s theorem from our Theorem 7. To this end, for any fixed \(\varepsilon>0\), define the mapping \(z^{\varepsilon}:\operatorname{int}\Delta ^{n}\multimap\mathbb{R}^{n}\) by
where \(g^{\varepsilon}(p)=\varepsilon(\frac{1}{np_{1}}1,\ldots,\frac {1}{np_{n}}1)\). We can prove that \(z^{\varepsilon}\) is an excess demand mapping in the sense of Definition 3. By Theorem 7, for each \(\varepsilon>0\), there exists \(p^{\varepsilon}\in \operatorname{int}\Delta^{n}\) such that \(0\in z^{\varepsilon}(p^{\varepsilon})\), and thus \(0=g^{\varepsilon}(p^{\varepsilon})+y^{\varepsilon}\frac {p^{\varepsilon}y^{\varepsilon}}{p^{\varepsilon}p^{\varepsilon}}p^{\varepsilon}\) for some \(y^{\varepsilon}\in F(p^{\varepsilon})\). Hence, for a sequence \(\varepsilon^{q}\), \(q\in\mathbb{N}\), converging to 0^{+}, there exist sequences \(p^{q}, y^{q}\in F(p^{q})\), \(q\in\mathbb{N}\), with
that converge to some \(p\in\Delta^{n}\) and \(y\in F(p)\), respectively. Then, for each \(i\in[n]\), we have
and since the righthand side sequence is bounded, we can assume that the lefthand side terms converge to some \(a\in\mathbb{R}\). Multiplying the last equation by \(p_{i}\) (for each \(i\in[n]\)), summing over \(i\in[n]\), and taking the limit as \(q\to+\infty\), we see that \(a=0\) (by Walras’ law). Hence,
and \(y, p\in\Delta^{n}\) implies that \(\frac{p y}{p p}=1\), so \(p=y\in F(p)\).
Now, if \(F:\Delta^{n}\multimap\mathbb{R}^{n}\) is an upper semicontinuous nonempty convex and compactvalued mapping satisfying a weak version of Walras’ law \(pF(p)\leq0\), \(p\in\Delta^{n}\), then the GaleDebreuNikaido lemma asserts that there are \(p\in\Delta^{n} \) and \(y\in F(p)\) with \(y\leq0\) [7], p.81. Going along the lines above for Kakutani’s fixed point theorem, we obtain points \(p\in\Delta^{n}\), \(y\in F(p)\) with \(y=\frac{p y}{p p}p\). By the weak Walras law we get \(py\leq0\), hence, due to the inequality \(p\geq 0\), we have \(y\leq0\).
Browder theorem
Browder’s fixed point theorem for mappings states that if \(F:\Delta ^{n}\times[0,1]\multimap\Delta^{n}\) is an upper semicontinuous mapping with nonempty, convex, and compact values, then there is a compact connected subset \(E\subset\{(x, t) \in\Delta^{n}\times[0,1]: x\in F(x,t)\}\) with \(E\cap(\Delta^{n}\times\{0\})\neq\emptyset\) and \(E\cap(\Delta^{n}\times\{1\})\neq\emptyset\) [3], p.29. It is possible to derive this theorem from our Theorem 8 and Lemma 1. Indeed, let for \(\varepsilon>0\), \(z^{\varepsilon}:\operatorname{int}\Delta^{n}\times [0,1]\multimap \mathbb{R}^{n}\) be defined by
where \(g^{\varepsilon}\) is defined in Section 4.2. The mapping \(z^{\varepsilon}\) satisfies the assumptions of Theorem 8. So, there exists a compact and connected set \(E^{\varepsilon}\subset\operatorname{int}\Delta^{n1}\times[0,1]\) such that \(E^{\varepsilon}\cap (\operatorname{int}\Delta^{n1}\times\{0\})\neq\emptyset\), \(E^{\varepsilon}\cap (\operatorname{int}\Delta^{n1}\times\{1\})\neq\emptyset\), and \(0\in z^{\varepsilon}(p,t)\), \((p,t)\in E^{\varepsilon}\). By Lemma 1 we obtain that for a sequence \(\varepsilon^{q}>0\), \(q\in\mathbb{N}\), converging to 0^{+}, and nonempty compact and connected sets \(E^{q}\subset\Delta^{n}\times[0,1]\) (\(E^{q}:=E^{\varepsilon^{q}}\)), the limit set \(E\subset\Delta^{n}\times[0,1]\) is compact, connected, and \(E\cap(\Delta^{n1}\times\{0\})\neq\emptyset\), \(E\cap(\Delta ^{n1}\times\{1\})\neq\emptyset\). Arguing as in Section 4.2, we conclude that each point \((p,t)\in E\) is a fixed point of \(F(\cdot,t)\): \(p\in F(p,t)\).
Let us notice that in a recent work [8], there was also proved a generalization of Browder’s theorem. However, it seems that our less general approach is simpler than that presented in [8].
A bit on economics
Our findings in [1] were well motivated by economics. However, it appears that our results have natural origins in economics. Indeed, Theorem 7 allows us to state that there exists an equilibrium for a pure exchange economy (where agents’ excess demands are multivalued mappings), whereas Theorem 8 ensures the existence of equilibrium in an exchange economy with price rigidities ([3], Chapter 2 or [8]). Even Sperner’s lemma has an interesting economic/social implication; it enables us to deduce that there exists a fair division of a good (see, e.g., a nice introduction in [9]).
Notes
 1.
In the last section of the paper, we present an algorithm for finding an (approximate) zero of an excess demand mapping; the other algorithms may be derived from proofs of Theorems 8 and 13, but we leave the details for the reader. A comprehensive review of existing algorithms is presented in [3]. We would like to stress that we just show some novel ways leading to the existing/known results. These ways have a common factor, Lemma 2.
 2.
The \(K_{m}\)triangulation is also called the \(K_{2}(m)\)triangulation [3], p.64.
 3.
The generalization consists in allowing for a wider class of triangulations of the simplex; the only triangulation considered in [1] was our \(K_{m}\)triangulation.
 4.
To simplify the notation, \(l(\sigma):=l(V(\sigma ))\), \(\sigma\in T\), or σ is a face of a simplex in T. The proof below is an adaptation of the proof of Lemma 1 in [1].
 5.
The method of construction of the sequence is similar to that used in the proof of the correctness of the Scarf algorithm; see [3], p.68.
 6.
In [6], the ‘hemicontinuity’ is used in the sense of our ‘semicontinuity’.
 7.
Let us recall that \(\alpha^{S}(p)\) denotes the vector of the barycentric coordinates of \(p\in S\) in the simplex S.
 8.
We introduce \(\varepsilon_{1}\) only to enable literal usage of passages of the proof of Lemma 6.
 9.
So, from the formal point of view, the family of simplices \(S^{1},\ldots,S^{n1}\) is a triangulation the polytope \(\operatorname{conv}\{v^{1},\ldots ,v^{n},w^{1},\ldots ,w^{n}\}\). For a definition of triangulation of a polytope, see, e.g., Definition 1.4.3 in [3].
 10.
We describe this procedure in short: we ‘start’ from a simplex in \(T'\) whose face is σ and which has a vertex contained in \(\{e^{1},\ldots,e^{n1}\}\); call this simplex \(\sigma'_{1}\), then choose \(\sigma'_{2}\) to be the simplex adjacent to \(\sigma'_{1}\) that shares the face σ with \(\sigma '_{1}\). Next, we use the same rule for rejection of a vertex to get the next adjacent simplex of the sequence as in the proof of Lemma 2. At each step, \([n1]\subset l(\sigma'_{i})\). We can continue the procedure until we meet the first simplex \(\sigma'_{J'} \in T'\) that possesses a vertex in \(\{e^{1},\ldots,e^{n1}\}\). The constructed sequence \(\sigma'_{j}\), \(j\in[J']\), is unique and has no simplex common with the sequence \(\sigma_{j}\), \(j\in[J]\). Moreover, if we start from \(\sigma'_{J'}\), then the procedure leads us back to \(\sigma'_{1}\). See the proof of Lemma 2 for details.
References
 1.
Maćkowiak, P: The existence of equilibrium in a simple exchange economy. Fixed Point Theory Appl. 2013, 104 (2013)
 2.
Scarf, H: The computation of equilibrium prices: an exposition. In: Arrow, KJ, Intriligator, MD (eds.) Handbook of Mathematical Economics, vol. 2, pp. 10061061. NorthHolland, Amsterdam (1982)
 3.
Yang, Z: Computing Equilibria and Fixed Points. Kluwer Academic, Boston (1999)
 4.
Todd, M: The Computation of Fixed Points and Applications. Springer, Berlin (1976)
 5.
Kuratowski, K: Topology, vol. II. Academic Press, New York (1968)
 6.
Aliprantis, C, Border, K: Infinite Dimensional Analysis: A Hitchhiker’s Guide. Springer, Berlin (2006)
 7.
Border, K: Fixed Point Theorems with Applications to Economics and Game Theory. Cambridge University Press, Cambridge (1989)
 8.
Talman, D, Yang, Z: On a parameterized system of nonlinear equations with economic applications. J. Optim. Theory Appl. 154, 644671 (2012)
 9.
Su, FE: Rental harmony: Sperner’s lemma in fair division. Am. Math. Mon. 106, 930942 (1999)
Acknowledgements
I would like to thank participants of Nonlinear Analysis Seminar at Faculty of Mathematics and Computer Science (Adam Mickiewicz University in Poznań), Seminar of the Game and Decision Theory at Institute of Computer Science (Polish Academy of Science, Warsaw) for comments and criticism. This work was financially supported by the Polish National Science Centre, decision no. DEC2013/09/B/HS4/01506.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Appendix
Appendix
Recall that \(v^{i},\ldots,w^{i'}\) means \(v^{i},\ldots,v^{n1}\), \(w^{1},\ldots ,w^{i'}\) for any \(i,i'\in[n1]\).
Proof of Lemma 9
Let \(i, i'\in[n1]\), \(i< i'\). It is obvious that \(\langle{v^{i'},\ldots, w^{i}} \rangle \subset S^{i}\cap S^{i'}\). To prove (10), it suffices to show that \(\langle{v^{i'},\ldots, w^{i}} \rangle\subset S^{i}\cap S^{i'}\). On the contrary, suppose that there is \(x\in(S^{i}\cap S^{i'})\backslash \langle {v^{i'},\ldots, w^{i}} \rangle\). Define
where \(\alpha^{S}_{v}(x)\) denotes the barycentric coordinate of a point \(x\in S\) corresponding to the vertex \(v\in V(S)\). So, \(x=\sum_{j=i}^{n1}\lambda_{j}v^{j}+\sum_{j=1}^{i}\gamma_{j}w^{j}\), \(x=\sum_{j=i'}^{n1}\lambda'_{j}v^{j}+\sum_{j=1}^{i'}\gamma'_{j}w^{j}\). Observe that by the assumption on x there exists \(j\in\{i, i+1,\ldots ,i'1\}\): \(\lambda_{j}>0\). We have
which, due to (8), imply \(\lambda'_{j}\lambda_{j}=0\), \(j\in\{ i'+1,i'+2,\ldots,n1\}\) and \(\gamma'_{j}\gamma_{j}=0\), \(j\in\{ 1,2,\ldots,i1\}\), so
The last equation and (8) imply
and
from which we obtain by multiplying both sides by 3 and carefully substituting γ’s for λ’s
which is equivalent to
But \(\gamma'_{i}\gamma_{i}\geq0\) and \(\gamma'\)s are nonnegative, so \(\gamma'_{i'}\gamma_{i'}=0\), \(\gamma'_{j}=0\), \(j\in\{ i+1,i+2,\ldots,i'\}\), which entails \(\lambda_{j}=0\) for \(j\in\{i, i+1,\ldots, i'1\}\), which is impossible due to the assumptions on the point x. Hence, equation (10) holds.
To prove (11), we shall first show that
Suppose that \(x\in\operatorname{conv}\{v^{1},\ldots,v^{n1},w^{1},\ldots ,w^{n1}\}\), \(x\neq v^{1}\), so there exist nonnegative numbers \(\lambda_{j}\), \(\gamma _{j}\), \(j\in[n1]\), \(\sum_{j\in[n1]}(\lambda_{j}+\gamma_{j})=1\), \(\lambda_{1}<1\), for which
By (8), \(e^{n}=2w^{1}v^{1}\), \(w^{j}=\frac{1}{2}v^{j}+\frac {1}{2}e^{n}\), \(j\in\{2,3,\ldots,n1\}\), and, due to (13), we get
Let \(t:=\sum_{j=1}^{n1}\gamma_{j}+\sum_{j=2}^{n1}(\lambda_{j}+\frac {1}{2}\gamma_{j})\). Since \(\lambda_{1}<1\), \(t>0\). Define now \(t_{1}:=\frac {\sum_{j=1}^{n1}{\gamma_{j}}}{t}\), \(t_{j}:=\frac{\lambda_{j}+\frac {\gamma_{j}}{2}}{t}\), \(j\in\{2,\ldots,n1\}\). Then \(t_{j}\geq0\), \(j\in[ n1]\), \(\sum_{j\in[n1]}t_{j}=1\), and
Notice that if \(t\in[0, 1]\), then \(x\in S^{1}\), and if \(t=1\), then \(x\in \langle{v^{2},\ldots,w^{1}} \rangle\), and x belongs to the \((n2)\)face of \(S^{1}\) opposite to the vertex \(v^{1}\).
If \(t>1\), then
Let now \(v:=\frac{1}{t}x+\frac{t1}{t}v^{1}\). Then \(v\in \langle {v^{2},\ldots,w^{1}} \rangle\subset S^{1}\) and \(v^{1}=\frac {t}{t1}v\frac {1}{t1}x\). By (13),
and, subsequently,
which results in
Remark that all coefficients at the vectors v, \(v^{j}\), \(w^{j}\) on the righthand side are nonnegative and
and hence \(x\in\operatorname{conv}\{v^{2},\ldots,w^{n1}\}\) (if \(t>1\)).
We have just proved that
Proceeding similarly, we get \(\operatorname{conv}\{v^{2},\ldots ,w^{n1}\}=S^{2}\cup \operatorname{conv}\{v^{3},\ldots,w^{n1}\}\), then \(\operatorname {conv}\{v^{3},\ldots, w^{n1}\} =S^{3}\cup\operatorname{conv}\{v^{4},\ldots,w^{n1}\}\), \(\operatorname {conv}\{v^{4},\ldots,w^{n1}\} =S^{4}\cup\operatorname{conv}\{v^{5},\ldots,w^{n1}\}\), … until we meet the set \(\operatorname{conv}\{v^{n1},\ldots,w^{n1}\}=S^{n1}\). Decomposition (11) follows. □
Proof of Lemma 11
Since \(S'\) is an \((n1)\)simplex, \(\langle{V(\sigma)\cup\{r\}} \rangle\) is also an \((n1)\)simplex for any \(\sigma\in T\). Indeed, the inclusion \(\sigma \in T\) implies that vertices \(V(\sigma)\) are affinely independent, and from this and due to the assumption that \(S'\) is an \((n1)\)simplex, we can conclude that the vectors \(V(\sigma)\cup\{r\}\) are affinely independent, which implies that \(T'\) is a collection of \((n1)\)simplices.
Each point \(x\in S'\) is uniquely represented as \(x=\sum_{i\in [n1]}\lambda_{i}p^{i}+\gamma r\) with nonnegative λs and γ that sum up to 1. Therefore, \(x=\gamma r+(1\gamma)\sum_{i\in [n1]}\frac{\lambda_{i}}{\sum_{j\in[n1]}\lambda_{j}}p^{i}\). Let \(p:=\sum_{i\in[n1]}\frac{\lambda_{i}}{\sum_{j\in[n1]}\lambda _{j}}p^{i}\in \langle{p^{1},\ldots, p^{n}} \rangle\). Hence, \(p\in\sigma\) for some \(\sigma\in T\), and \(\gamma\in[0,1]\), and according to the fact that \(\gamma\in[0,1]\), \(x=\gamma r+(1\gamma)p\in\sigma'\in T'\) for some \(\sigma'\in T'\). Observe that for any \(\sigma'_{1}, \sigma'_{2}\in T'\), there exist \(\sigma_{1}, \sigma_{2}\in T\): \(\sigma_{1}'= \langle{V(\sigma _{1})\cup\{ r\}} \rangle\), \(\sigma_{2}'= \langle{V(\sigma _{2})\cup\{r\}} \rangle\). Thus, \(\sigma '_{1}\cap\sigma'_{2}= \langle{(V(\sigma_{1})\cap V(\sigma_{2}))\cup\{ r\}} \rangle\), and since \(\sigma_{1}\cap\sigma_{2}\) (if nonempty) is a common face of simplices \(\sigma_{1}\), \(\sigma_{2}\) and due to the fact that r and vertices of \(V(\sigma_{1}\cap\sigma_{2})\) are affinely independent, the set \(\langle{(V(\sigma_{1})\cap V(\sigma_{2}))\cup\{r\}} \rangle\) is a face of both \(\sigma'_{1}\) and \(\sigma'_{2}\). If \(\sigma_{1}\cap\sigma _{2}=\emptyset\), then \(\sigma'_{1}\cap\sigma'_{2}= \langle {V(\sigma _{1})\cup\{r\}} \rangle\cap \langle{V(\sigma _{2}) \cup\{r\}} \rangle= \langle{r} \rangle\). We conclude that \(T'\) is a triangulation of \(S'\). Now, because each \(\sigma'\in T'\) is of the form \(\sigma'= \langle{h_{1},\ldots ,h_{n1},r} \rangle\) for some \(\langle{h_{1},\ldots ,h_{n1}} \rangle\in T\), we get that its nonzero faces are of the form \(\langle{\{h_{i}: i\in A\}\cup \{r\} } \rangle\), where \(\emptyset\neq A\subset[n1]\), or \(\langle{\{h_{i}: i\in A\} } \rangle\), \(A\subset[n1]\), \(\#A\geq2\). The assertion follows. □
Proof of Lemma 12
Let \(S^{i}\), \(i\in[n1]\), be determined by (9). Put \(T^{1}:=T\) and define
By Lemma 11, \(\overline{T}^{1}\) is a triangulation of \(S^{1}\). Now, recursively define for \(i\in[n1]\), \(i\geq2\),
For each \(i\in[n1]\), the collection \({T}^{i}\) is a triangulation of \(\langle{v^{i},\ldots,w^{i1}} \rangle\) (see Section 2), and by Lemma 11, \(\overline{T}^{i}\) is a triangulation of \(S^{i}\).
If \(F\subset \langle{v^{i},\ldots,v^{n1}} \rangle\) is an \((ni1)\)face of some \(\sigma\in\overline{T}^{1}\), \(i\in[n1]\), then by Lemma 11, \(\langle{v^{i},\ldots,v^{n1}, w^{1}} \rangle\) is an \((ni)\)face of some simplex in \(\overline{T}^{1}\). Again by Lemma 11, \(\langle v^{i},\ldots,v^{n1}, w^{1},w^{2} \rangle \) is an \((ni+1)\)face of some simplex in \(\overline{T}^{2}\). Repeating the reasoning, we obtain that \(\langle{v^{i},\ldots, w^{i1}} \rangle\) is an \((n2)\)face of a simplex in \(\overline{T}^{i1}\), and hence \(\langle{v^{i},\ldots, w^{i}} \rangle\in\overline{T}^{i}\).
Observe that \((n2)\)faces of a simplex \(\sigma_{1}\in\overline{T}^{1}\) contained in \(\langle{v^{2},\ldots,w^{1}} \rangle\) are of the form \(\langle{V(F_{1})\cup\{w^{1}\}} \rangle\), where \(F_{1}\subset \langle{v^{2},\ldots,v^{n1}} \rangle\) is an \((n3)\)face of \(\sigma_{1}\). Thus, simplices in \(\overline{T}^{2}\) are of the form \(\langle{V(F_{1})\cup\{w^{1}, w^{2}\}} \rangle\), where \(F_{1}\subset \langle{v^{2},\ldots,v^{n1}} \rangle\) is an \((n3)\)face of some \(\sigma_{1}\in \overline{T}^{1}\). Further, \((n2)\)faces contained in \(\langle{v^{3},\ldots ,w^{2}} \rangle\) of a simplex \(\sigma_{2}\in\overline{T}^{2}\) are of the form \(\langle {V(F_{2})\cup\{ w^{2}\}} \rangle\), where \(F_{2}\subset \langle {v^{3},\ldots,w^{1}} \rangle\) is an \((n3)\)face of \(\sigma_{2}\). But \(w^{1}\in V(\sigma_{2})\), so \(w^{1}\in F_{2}\). Now, since \(F_{2}\subset \langle{v^{3},\ldots,w^{1}} \rangle\) is an \((n3)\)face of \(\sigma_{2}\) and \(\sigma_{2}= \langle{V(F_{1})\cup\{w^{1}, w^{2}\}} \rangle \), where \(F_{1}\subset \langle{v^{2},\ldots,v^{n1}} \rangle\) is an \((n3)\)face of some \(\sigma_{1}\in \overline{T}^{1}\), we conclude that simplices in \(\overline{T}^{3}\) are of the form \(\langle{V(F)\cup\{w_{1},w_{2},w_{3}\}} \rangle\), where \(F\subset \langle{v^{3},\ldots ,v^{n1}} \rangle\) is an \((n4)\)face of a simplex \(\sigma\in\overline{T}^{1}\). Continuing that way, we obtain that, for \(i\in[n2]\),
and
Since \(\overline{T}^{1}\) is a triangulation of \(S^{1}\), it is clear that if \(\sigma\in\overline{T}^{i}\) and \(\sigma'\in\overline{T}^{i'}\), \(i, i'\in [n1]\), then \(\sigma\cap\sigma'\) is a common face of σ, \(\sigma'\).
Now, taking \(e^{i}\), \(i\in[n1]\), in place of \(w^{i}\) and observing that we can treat \(\operatorname{conv}\{v^{1},\ldots,v^{n1}, e^{1},\ldots ,e^{n1}\}\) symmetrically to \(\operatorname{conv}\{v^{1},\ldots,v^{n1}, w^{1},\ldots,w^{n1}\}\), we obtain a collection C of \((n1)\)simplices contained in \(\operatorname{conv}\{ v^{1},\ldots,v^{n1}, e^{1},\ldots,e^{n1}\}\) with properties 1 and 2 mentioned in the definition of triangulation of a simplex and whose union is \(\operatorname{conv}\{v^{1},\ldots,v^{n1}, e^{1}, \ldots ,e^{n1}\}\). By the construction, each \(\sigma\in T\) is a common face of a simplex in the family \(\overline{T}:=\bigcup_{i\in[n1]}\overline{T}^{i}\) and a simplex in C. Moreover, by symmetry, there is exactly one simplex in C whose face is \(\langle{e^{1},\ldots,e^{n1}} \rangle\). Observe that the family of simplices \(T':=C\cup\overline{T}\cup\{ \langle{w^{1},\ldots ,w^{n1},e^{n}} \rangle\}\) is the desired triangulation of \(\Delta^{n}\).
The above construction ensures the correctness of (12) and the claim following it. □
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
Maćkowiak, P. A combinatorial lemma and its applications. J Inequal Appl 2016, 105 (2016). https://doi.org/10.1186/s136600161043y
Received:
Accepted:
Published:
MSC
 91B02
 91B50
 54H25
Keywords
 Browder fixed point theorem
 combinatorial methods
 continuum of zeros
 equilibrium
 fixed point
 Kakutani fixed point theorem
 Sperner lemma
 zero of a map