arxiv: v1 [math.lo] 10 Mar 2011

Transcription

1 arxiv:03.95v [math.lo] 0 Mar 0 CONSTRUCTIVE PROOF OF THE EXISTENCE OF EQUILIBRIUM IN COMPETITIVE ECONOMY WITH SEQUENTIALLY LOCALLY NON-CONSTANT EXCESS DEMAND FUNCTIONS BY SPERNER S LEMMA YASUHITO TANAKA Abstract. Usig Sperer s lemma for modified partitio of a simplex we will costructively prove the existece of equilibrium i competitive ecoomy with sequetially locally o-costat excess demad fuctios. Ad we will show the coverse result that the existece of equilibrium i competitive ecoomy with sequetially locally o-costat excess demad fuctios implies Sperer s lemma. We follow the Bishop style costructive mathematics.. Itroductio It is well kow that Brouwer s fixed poit theorem ca ot be costructively proved i geeral case. Thus, the existece of competitive equilibrium also ca ot be costructively proved i geeral case. Sperer s lemma which is used to prove Brouwer s theorem, however, ca be costructively proved. Some authors have preseted a costructive (or a approximate) versio of Brouwer s theorem usig Sperer s lemma. See [5] ad [7]. Also Dale i [5] states a cojecture that a uiformly cotiuous fuctio f from a simplex to itself, with property that each ope set cotais a poit x such that x f(x), which meas x f(x) > 0, ad also for every poit x o the faces of the simplex x f(x), has a exact fixed poit. We call such a property of fuctios local o-costacy. Further we defie a stroger property sequetial local o-costacy. The, Ca we prove the existece of a exact equilibrium i competitive ecoomy with sequetially locally o-costat excess demad fuctios directly by Sperer s lemma? We preset such a proof. We cosider Sperer s lemma for modified partitio of a simplex, ad utilizig it prove the existece of such a equilibrium. Also we will show the coverse result that the existece of equilibrium i competitive ecoomy with sequetially locally o-costat excess demad fuctios implies Sperer s lemma. I the ext sectio we prove a modified versio of Sperer s lemma. I Sectio 3 we preset a proof of the existece of a equilibrium i competitive ecoomy 000 Mathematics Subject Classificatio. Primary 6E40, Secodary 9B50. Key words ad phrases. Sperer s lemma, sequetially locally o-costat excess demad fuctios, equilibrium i competitive ecoomy. This research was partially supported by the Miistry of Educatio, Sciece, Sports ad Culture of Japa, Grat-i-Aid for Scietific Research (C), , ad the Special Costs for Graduate Schools of the Special Expeses for Hitech Promotio by the Miistry of Educatio, Sciece, Sports ad Culture of Japa i 00.

2 YASUHITO TANAKA C D F H E G A B Figure. Example of graph with sequetially locally o-costat excess demad fuctios. I Sectio 4 we show that the existece of equilibrium i competitive ecoomy with sequetially locally o-costat excess demad fuctios implies Sperer s lemma. We follow the Bishop style costructive mathematics accordig to [], [3] ad [4].. Sperer s lemma To prove Sperer s lemma we use the followig simple result of graph theory, Hadshakig lemma. A graph refers to a collectio of vertices ad a collectio of edges that coect pairs of vertices. Each graph may be udirected or directed. Figure is a example of a udirected graph. Degree of a vertex of a graph is defied to be the umber of edges icidet to the vertex, with loops couted twice. Each vertex has odd degree or eve degree. Let v deote a vertex ad V deote the set of all vertices. Lemma (Hadshakig lemma). Every udirected graph cotais a eve umber of vertices of odd degree. That is, the umber of vertices that have a odd umber of icidet edges must be eve. This is a simple lemma. But for completeess of argumets we provide a proof. Proof. Prove this lemma by double coutig. Let d(v) be the degree of vertex v. The umber of vertex-edge icideces i the graph may be couted i two differet ways; by summig the degrees of the vertices, or by coutig two icideces for every edge. Therefore, d(v) = e, v V where e is the umber of edges i the graph. The sum of the degrees of the vertices is therefore a eve umber. It could happe if ad oly if a eve umber of the vertices had odd degree. Let deote a -dimesioal simplex. is a fiite atural umber. For example, a -dimesioal simplex is a triagle. Let partitio or triagulate a simplex. Figure is a example of partitio (triagulatio) of a -dimesioal simplex. I a -dimesioal case we divide each side of i m equal segmets, ad draw the For aother costructive proof of Sperer s lemma, see [6].

3 CONSTRUCTIVE MATHEMATICS AND EQUILIBRIUM IN COMPETITIVE ECONOMY Figure. Partitio ad labelig of a -dimesioal simplex lies parallel to the sides of. The, the -dimesioal simplex is partitioed ito m triagles. We cosider partitio of iductively for cases of higher dimesio. I a 3 dimesioal case each face of is a -dimesioal simplex, ad so it is partitioed ito m triagles i the way above metioed, ad draw the plaes parallel to the faces of. The, the 3-dimesioal simplex is partitioed ito m 3 trigoal pyramids. Ad so o for cases of higher dimesio. Let K deote the set of small -dimesioal simplices of costructed by partitio. Vertices of these small simplices of K are labeled with the umbers 0,,,..., subject to the followig rules. () The vertices of are respectively labeled with 0 to. We label a poit (,0,...,0) with 0, a poit (0,,0,...,0) with, a poit (0,0,...,0) with,..., a poit (0,...,0,) with. That is, a vertex whose k-th coordiate (k = 0,,...,) is ad all other coordiates are 0 is labeled with k for all k {0,,...,}. () If a vertex of K is cotaied i a -dimesioal face of, the this vertex is labeled with some umber which is the same as the umber of a vertex of that face. (3) If a vertex of K is cotaied i a -dimesioal face of, the this vertex is labeled with some umber which is the same as the umber of a vertex of that face. Ad so o for cases of lower dimesio. (4) A vertex cotaied iside of is labeled with a arbitrary umber amog 0,,...,. Now we modify this partitio of a simplex as follows. Put a poit i a ope eighborhood aroud each vertex iside, ad make partitioof replacigeach vertexiside by the poit i each eighborhood. The diameter of each eighborhood should

4 4 YASUHITO TANAKA Figure 3. Modified partitio of a simplex be sufficietly small relatively to the size of each small simplex. We label the poits i followig the rules 4. The we obtai a partitio of illustrated i Figure 3. We further modify this partitio as follows; Put a poit i a ope eighborhood aroud each vertex o a face (boudary) of, ad make partitio of replacig each vertex o the face by that poit i each eighborhood, ad we label the poits i followig the rules 4. This eighborhood is ope i a space with dimesio lower tha. The, we obtai a partitio of depicted i Figure 4. AsmallsimplexofK i thismodifiedpartitiowhichislabeledwith theumbers 0,,..., is called a fully labeled simplex. Now let us provesperer s lemma about the modified partitio of a simplex. Lemma (Sperer s lemma). If we label the vertices of K followig above rules 4, the there are a odd umber of fully labeled simplices. Thus, there exists at least oe fully labeled simplex. Proof. See Appedix A. 3. Existece of equilibrium i competitive ecoomy Let p = (p 0,p,...,p ) be a poit i a -dimesioal simplex, ad cosider a fuctio ϕ from to itself. Deote the i-th compoets of p ad ϕ(p) by p i ad ϕ i or ϕ i (p). The defiitio of local o-costacy of fuctios is as follows;

5 CONSTRUCTIVE MATHEMATICS AND EQUILIBRIUM IN COMPETITIVE ECONOMY Figure 4. Modified partitio of a simplex: Two Defiitio (Local o-costacy of fuctios). () At a poit p o the boudaries of a simplex ϕ(p) p. This meas ϕ i (p) > p i or ϕ i (p) < p i for at least oe i. () I ay ope set i there exists a poit p such that ϕ(p) p. Next we defie modified local o-costacy of fuctios as follows; Defiitio (Modified local o-costacy of fuctios). () At the vertices of a simplex ϕ(p) p. () I ay ope set cotaied i the faces (boudaries) of there exists a poit p such that ϕ(p) p. This ope set is ope i a space with dimesio lower tha. (3) I ay ope set i there exists a poit p such that ϕ(p) p. () of the modified local o-costacy implies that every vertex p i a partitio of a simplex, for example, as illustrated by white circles i Figure 4 i a -dimesioal case, ca be selected to satisfy ϕ(p) p eve whe poits o the faces of (black circles o the edges) do ot ecessarily satisfy this coditio. Eve if a fuctio ϕ does ot strictly satisfy the local o-costacy so log as it satisfies the modified local o-costacy, we ca partitio to satisfy the coditios for Sperer s lemma. Further, by referece to the otio of sequetially at most oe maximum i [], we defie the property of sequetial local o-costacy. First we recapitulate the compactess (total boudedess with completeess) of a set i costructive mathematics. is compact i the sese that for each ε > 0 there exists a fiite ε-approximatio to. A ε-approximatio to is a subset of such that for each p there exists q i that ε-approximatio with p q < ε. Each face (boudary) of is also a simplex, ad so it is compact.

6 6 YASUHITO TANAKA The defiitio of sequetial local o-costacy is as follow; Defiitio 3 (Sequetial local o-costacy of fuctios). () At the vertices of a simplex ϕ(p) p. () There exists ε > 0 with the followig property. We have a fiite ε-approximatio L = {p,p,...,p l } to each face of for each ε with 0 < ε < ε such that if for all sequeces (p m ) m, (q m ) m i each ope ε-ball S, which is a subset of the face, aroud each p i L ϕ(p m ) p m 0 ad ϕ(q m ) q m 0, the p m q m 0. S is ope i a space with dimesio lower tha. (3) For ε defiedabove there exists a fiiteε-approximatio L = {p,p,...,p l } to for each ε with 0 < ε < ε such that if for all sequeces (p m ) m, (q m ) m i each ope ε-ball S aroud each p i L ϕ(p m ) p m 0 ad ϕ(q m ) q m 0, the p m q m 0. of this defiitio is the same as that of the defiitio of modified local ocostacy. Now we show the followig two lemmas. Lemma 3. Sequetial local o-costacy meas modified local o-costacy. The essece of this proof is due to the proof of Propositio of []. Proof. Let S be a set as defied above. Costruct a sequece (r ) i S such that ϕ(r ) r 0. Cosider p, q i S with p q. Costruct a icreasig biary sequece (λ ) such that λ = 0 max( ϕ(p) p, ϕ(q) q )) <, λ = max( ϕ(p) p, ϕ(q) q )) >. We may assume that λ = 0. If λ = 0, set p = p ad q = q. If λ =, set p = q = r. Now the sequeces ( ϕ(p ) p ), ( ϕ(q ) q ) coverge to 0, ad so p q 0. Computig N such that p N q N < p q, we see that λ N =. Therefore, ϕ(p) p or ϕ(q) q. Let S be a opeset i ori aface of. The thereexists aε-approximatio to or the face of with sufficietly small ε such that a ε-ball aroud some poit i that ε-approximatio is icluded i S. Therefore, there exists a poit p i S such that ϕ(p) p. Lemma 4. Let ϕ be a uiformly cotiuous fuctio from to itself. Assume if p S ϕ(p) = 0 for S. If the followig property holds: For each ε > 0 there exists η > 0 such that if p,q S, ϕ(p) p < η ad ϕ(q) q < η, the p q ε. The, there exists a poit r S such that ϕ(r) = r. Proof. Choose a sequece (p ) i S such that ϕ(p ) p 0. Compute N suchthat ϕ(p ) p < η forall N. The, form, N wehave p m p ε. Sice ε > 0 is arbitrary, (p ) is a Cauchy sequece i S, ad coverges to a limit r S. The cotiuity of ϕ yields ϕ(r) r = 0, that is, ϕ(r) = r. The coverse of Lemma 3 does ot hold because the sequetial local o-costacy implies isolatedess of poits satisfyig ϕ(r) = r but the local o-costacy ad the modified local o-costacy do ot.

7 CONSTRUCTIVE MATHEMATICS AND EQUILIBRIUM IN COMPETITIVE ECONOMY 7 Cosider a competitive exchage ecoomy. There are + goods X 0, X,, X. is a fiite positive iteger. The prices of the goods are deoted by p i ( 0), i = 0,,,. Let p = p 0 +p + +p, ad defie p i = p i, i = 0,,,. p Deote aew p 0, p,, p, respectively, by p 0, p,, p. The, () p 0 +p + +p =. p = (p 0,p,,p ) represets a poit o a -dimesioal simplex. It is usually assumed that cosumers excess demad (demad mius supply) for each good is homogeeous of degree zero. It meas that cosumers excess demad for each good is determied by relative prices of the goods, ad above otatio of the prices yields o loss of geerality. We deote the vector of excess demads for the goods whe the vector of prices is p by f(p) = (f,f,...,f ). We require the followig coditio; () pf(p) = p 0 f 0 +p f + +p f = 0 (Walras Law) f i is equal to the sum of excess demads of all cosumers for the good X i. By the budget costrait for each cosumer, i a competitive exchage ecoomy the sum of excess demads of all cosumers for each good must be 0. Addig the budget costraits for all cosumers yields(). We assume that the excess demad fuctio f(p) is uiformly cotiuous about the prices of the goods. Uiform cotiuity of f meas that for ay p, p ad ε > 0 there exists δ > 0 such that If p p < δ,we have f(p ) f(p) < ε. δ depeds o ε ot o p ad p. It implies that a slight price chage yields oly a slight excess demad chage. A equilibrium of a competitive exchage ecoomy is a state where excess demad for each good is ot positive. Next we assume the followig coditios. Defiitio 4 (Sequetial local o-costacy of excess demad fuctios). () At the vertices of (where oly oe of the prices is positive) excess demad for some good is strictly positive. () For ε defied i Defiitio 3 there exists a fiite ε-approximatio L = {p,p,...,p l } to each face of for each ε with 0 < ε < ε such that if for all sequeces (p m ) m, (q m ) m i each ope ε-ball S, which is a subset of the face, aroud each p i L max(f i (p m ),0) 0 ad max(f i (q m ),0) 0 for all i, the p m q m 0. S is ope i a space with dimesio lower tha. (3) For ε defied i Defiitio 3 there exists a fiite ε-approximatio L = {p,p,...,p l } to for each ε with 0 < ε < ε such that if for all sequeces (p m ) m, (q m ) m i each ope ε-ball S aroud each p i L max(f(p m ),0) 0 ad max(f(q m ),0) 0, the p m q m 0. Cosider the followig fuctio from the set of price vectors p = (p 0,p,,p ) to the set of + tuples of real umbers v = (v 0,v,,v ). v i = p i +max(f i,0) for all i.

8 8 YASUHITO TANAKA With this we defie a fuctio from a -dimesioal simplex to itself ϕ(p) = (ϕ 0,ϕ,,ϕ ) as follows; ϕ i = Sice ϕ i 0, i = 0,,, ad v 0 +v + +v v i, for all i ϕ 0 +ϕ + +ϕ =, (ϕ 0,ϕ,,ϕ ) represets a poit o. By the uiform cotiuity of f, ϕ is also uiformly cotiuous. From the sequetial local o-costacy of excess demad fuctios we obtai the followig results. () At the vertices of f j > 0 for some j. By the Walras law f i > 0 ot for all i. Thus, p j ϕ j. () By () of the defiitio of sequetial local o-costacy of excess demad fuctios, for ε defied i Defiitio 3 there exists a fiite ε-approximatio L = {p,p,...,p l } to each face of for each ε with 0 < ε < ε such that if for all sequeces (p m ) m, (q m ) m i each ope ε-ball S aroud each p i L ϕ(p m ) p m 0 ad ϕ(q m ) q m 0, the p m q m 0. S is ope i a space with dimesio lower tha. (3) By (3) of the defiitio of sequetial local o-costacy of excess demad fuctios, for ε defied i Defiitio 3 there exists a fiite ε-approximatio L = {p,p,...,p l } to for each ε with 0 < ε < ε such that if for all sequeces (p m ) m, (q m ) m i each ope ε-ball S aroud each p i L ϕ(p m ) p m 0 ad ϕ(q m ) q m 0, the p m q m 0. Therefore, ϕ is a sequetially locally o-costat fuctio. If there exist a fiite umber of isolated equilibria, the the excess demad fuctios seem to satisfy the sequetial local o-costacy. Now we show the followig theorem. Theorem. I a competitive exchage ecoomy, if the excess demad fuctios for the goods are uiformly cotiuous about their prices ad satisfy the Walras law ad the coditio of sequetial local o-costacy, there exists a equilibrium. Proof. Let us prove this theorem through some steps. () First we show that we ca partitio, which is the domai ad rage of ϕ, so that the coditios for Sperer s lemma (for modified partitio of a simplex) are satisfied. We partitio accordig to the method i the proof of Sperer s lemma, ad label the vertices of simplices costructed by partitio of. It is importat how to label the vertices cotaied i the faces of. Let K be the set of small simplices costructed by partitio of, p = (p 0,p,...,p ) be a vertex of a simplex of K, ad deote the i-th coordiate of ϕ(p) by ϕ i or ϕ i (p). We label a vertex p accordig to the followig rule, If p k > ϕ k, we label p with k. If there are multiple k s which satisfy this coditio, we label p coveietly for the coditios for Sperer s lemma to be satisfied. We cosider labelig for vertices about three cases.

9 CONSTRUCTIVE MATHEMATICS AND EQUILIBRIUM IN COMPETITIVE ECONOMY 9 (a) Vertices of : Oeofthe coordiatesofavertexpof is, ad all othercoordiates are zero. Cosider a vertex (,0,...,0). By the modified local ocostacy ϕ(p) p meas ϕ j > p j or ϕ j < p j for at least oe j. ϕ i < p i ca ot hold for i 0. O the other had, ϕ 0 > p 0 ca ot hold. Whe ϕ 0 (p) < p 0, we label p with 0. Assume that ϕ i (p) > p i = 0 for some i 0. The, sice j=0 ϕ j(p) = = p 0, we have ϕ 0 (p) < p 0. Therefore, p is labeled with 0. Similarly a vertex p whose k-th coordiate is is labeled with k for all k {0,,...,}. (b) Vertices o the faces of : Let p be a vertex of a simplex cotaied i a -dimesioal face of such that p i = 0 for oe i amog 0,,,..., (its i-th coordiate is 0). ϕ(p) p meas that ϕ j > p j or ϕ j < p j for at least oe j. ϕ i < p i = 0 ca ot hold. Whe ϕ k < p k for some k i, we label p with k. Assume ϕ i > p i = 0. The, sice j=0 p j = j=0 ϕ j =, we have ϕ k < p k for some k i, ad we label p with k. Assume that ϕ j > p j for some j i. The, sice p i = 0 ad l=0,l j ϕ l < l=0,l j we have ϕ k < p k for some k i,j, ad we label p with k. We have proved that we ca label each vertex of a simplex cotaied i a -dimesioal face of such that p i = 0 for oe i amog 0,,,..., with the umber other tha i. By similar procedures we ca show that we ca label the vertices of a simplex cotaied i a -dimesioal face of such that p i = 0 for two i s amog 0,,,..., with the umber other tha those i s, ad so o. Cosider the case where, for example, p i = p i+ = 0. Neither ϕ i < p i = 0 or ϕ i+ < p i+ = 0 ca hold. Whe ϕ k < p k for some j i,i+, we label p with k. Assume ϕ i > p i = 0 or ϕ i+ > p i+ = 0. The, sice j=0 p j = j=0 ϕ j =, we have ϕ k < p k for some k i, i +, ad we label p with k. Assume that ϕ j > p j for some j i,i+. The, sice p i = p i+ = 0 ad l=0,l j ϕ l < l=0,l j we have ϕ k < p k for some k i,i+,j, ad we label p with k. (c) Vertices of small simplices iside : By the modified local o-costacy of ϕ every vertex p i a modified partitio of a simplex ca be selected to satisfy ϕ(p) p. Assume that ϕ i > p i for some i. The, sice j=0 p j = j=0 ϕ j =, we have ϕ k < p k p l, p l, for some k i, ad we label p with k.

10 0 YASUHITO TANAKA Therefore, the coditios for Sperer s lemma (for modified partitio of a simplex) are satisfied, ad there exists a odd umber of fully labeled simplices i K. () Suppose that we partitio sufficietly fie so that the distace betwee ay pair of the vertices of simplices of K is sufficietly small. Let δ be a fully labeled -dimesioal simplex of K, ad p 0,p,... ad p be vertices of δ. We ame these vertices so that p 0,p,...,p are labeled, respectively, with 0,,...,. The values of ϕ at theses vertices are ϕ(p 0 ),ϕ(p ),... ad ϕ(p ). The j-th coordiates of p i ad ϕ(p i ), i = 0,,..., are, respectively, deoted by p i j ad ϕ j(p i ). About p 0, from the labelig rules we have p 0 0 > ϕ 0 (p 0 ). About p, also from the labelig rules we have p > ϕ (p ). Sice is fiite, by the uiform cotiuity of f there exists δ > 0 such that if p i p j < δ, the ε ε (+) ϕ(p i ) ϕ(p j ) < (+) for ε > 0 ad i j. ϕ(p0 ) ϕ(p ) < meas ϕ (p ) > ϕ (p 0 ε ) (+). O the other had, p0 p < δ meas p 0 > p ε δ. We ca make δ satisfyig δ <. Thus, from (+) p 0 > p δ, p > ϕ (p ), ϕ (p ) > ϕ (p 0 ) we obtai p 0 > ϕ (p 0 ) δ ε (+) ε (+) > ϕ (p 0 ε ) (+) By similar argumets, for each i other tha 0, (3) p 0 i > ϕ i(p 0 ) For i = 0 we have p 0 0 > ϕ 0 (p 0 ). The, (4) p 0 0 > ϕ 0(p 0 ) ε (+). Addig (3) ad (4) side by side except for some i (deote it by k) other tha 0, p 0 j > ϕ j (p 0 ) ( )ε (+). j=0,j k j=0,j k From j=0 p0 j =, j=0 ϕ j(p 0 ) = we have p 0 k > ϕ k(p 0 ) ( )ε (+), which is rewritte as p 0 k < ϕ k(p 0 )+ ( )ε (+). Sice (3) implies p 0 k > ϕ k(p 0 ) ε (+), we have Thus, ϕ k (p 0 ) ε (+) < p0 k < ϕ k(p 0 )+ ( )ε (+). (5) p 0 k ϕ k(p 0 ) < ( )ε (+)

11 CONSTRUCTIVE MATHEMATICS AND EQUILIBRIUM IN COMPETITIVE ECONOMY is derived. O the other had, addig (3) from to yields p 0 j > ϕ j (p 0 ε ) (+). j= j= From j=0 p0 j =, j=0 ϕ j(p 0 ) = we have (6) p 0 0 > ϕ 0 (p 0 ε ) (+). The, from (4) ad (6) we get (7) p 0 0 ϕ 0(p 0 ) < ε (+). From (5) ad (7) we obtai the followig result, p 0 i ϕ i (p 0 ε ) < for all i. (+) Thus, (8) p 0 ϕ(p 0 ) < ε. Sice ε is arbitrary, if p δ ϕ(p) p = 0. (3) Choose a sequece (r m ) m i δ such that ϕ(r m ) r m 0. I view of Lemma 4 it is eough to prove that the followig coditio holds. For each ε > 0 there exists η > 0 such that if p,q δ, ϕ(p) p < η ad ϕ(q) q < η, the p q ε. Assume that the set K = {(p,q) δ δ : p q ε} is oempty ad compact. Sice the mappig (p, q) max( ϕ(p) p, ϕ(q) q ) is uiformly cotiuous, we ca costruct a icreasig biary sequece (λ m ) m such that λ m = 0 if (p,q) K max( ϕ(p) p, ϕ(q) q ) < m, λ m = if (p,q) K max( ϕ(p) p, ϕ(q) q ) > m. It suffices to fid m such that λ m =. I that case, if ϕ(p) p < m, ϕ(q) q < m, we have (p,q) / K ad p q ε. Assume λ = 0. If λ m = 0,choose(p m,q m ) K suchthatmax( ϕ(p m ) p m, ϕ(q m ) q m ) < m, ad if λ m =, set p m = q m = r m. The, ϕ(p m ) p m 0 ad ϕ(q m ) q m 0, so p m q m 0. Computig M such that p M q M < ε, we must have λ M =. Note that ϕ is a sequetially locally o-costat uiformly cotiuous fuctio from to itself. Thus, we have completed the proof of the existece of a poit which satisfies (9) p = ϕ(p). (4) Let p = (p 0,p,...,p ) be oe of the poits which satisfy (9). Let us cosider the relatioship betwee the price ad excess demad for each good i that case. From the defiitios of ϕ ad v, ad j=0 v j = + j=0 max(f j,0)(because j=0 p j = ), (9) meas p i +max(f i,0) + j=0 max(f j,0) = p i

12 YASUHITO TANAKA Let λ = j=0 max(f j,0). The, we have max(f i,0) = λp i. From j=0 p j = there is a k such that p k > 0. If for all such k max(f k,0) = f k = λp k > 0 holds, that is, excess demads for all goods with positive prices are positive, we ca ot cacel out p k f k > 0 because thepriceofaygoodcaotbeegative,adthewalraslaw()isviolated. Thus, we have λ = 0 ad (0) max(f i,0) = 0 for each i. This meas that excess demad for each good is ot positive. Such a state is a equilibrium of competitive ecoomy. I the equilibrium whe p i > 0 we must have f i = 0 because if f i < 0 we have p i f i < 0, ad the the Walras law is violated. We have completed the proof of the existece of a equilibrium i competitive ecoomy with sequetially locally o-costat excess demad fuctios. 4. From the existece of competitive equilibrium to Sperer s lemma I this sectio we will derive Sperer s lemma from the existece of a equilibrium i competitive ecoomy. Let partitio a -dimesioal simplex. Deote the set of small -dimesioal simplices of costructed by partitio by K. Vertices of these small simplices of K are labeled with the umbers 0,,,...,. Deote vertices of a -dimesioal simplex of K by x 0,x,...,x, the j-th compoet of x i by x i j, ad the label of xi by l(x i ). Let τ be a positive umber which is smaller tha x i l(x i ) for all i, ad defie a fuctio f(xi ) as follows 3 ; ad () f j (x i ) = f(x i ) = (f 0 (x i ),f (x i ),...,f (x i )), { x i j τ for j = l(x i ), x i j + τ for j l(x i ). f j deotes the j-th compoet of f. From the labelig rules x i l(x i ) > 0 for all xi, ad so τ > 0 is well defied. Sice j=0 f j(x i ) = j=0 xi j =, we have f(x i ). We exted f to all poits i the simplex by covex combiatios of its values o the vertices of the simplex. Let y be a poit i the -dimesioal simplex of K whose vertices are x 0,x,...,x. The, y ad f(y) are represeted as follows; y = λ i x i, ad f(y) = λ i f(x i ), λ i 0, λ i =. It is clear that f is uiformly cotiuous. We verify that f is sequetially locally o-costat. Our result i this sectio is a variat of Uzawa equivalece theorem ([8]) which (classically) states that the existece of competitive equilibrium ad Brouwer s fixed poit theorem are equivalet. 3 We refer to [9] about the defiitio of this fuctio.

13 CONSTRUCTIVE MATHEMATICS AND EQUILIBRIUM IN COMPETITIVE ECONOMY 3 () At a vertex x of () implies f(x) x. () Assume that a poit z is cotaied i a -dimesioal small simplex δ costructed by partitio of a -dimesioal face of such that its i-th coordiate is z i = 0. Deote the vertices of δ by z j, j = 0,,..., ad their i-th coordiate by z j i. The, we have f i (z) = λ j f i (z j ), λ j 0, j=0 λ j =. Sice all vertices of δ are ot labeled with i, () meas f i (z j ) > z j i for all j = {0,,..., }. The, there exists o sequece (z(m)) m such that f(z(m)) z(m) 0 i a -dimesioal face of. (3) Let z be a poit i a -dimesioal simplex δ. Assume that o vertex of δ is labeled with i. The ( () f i (z) = λ j f i (x j ) = z i + + ) τ, j=0 ad so z f(z). The, there exists o sequece (z(m)) m such that f(z(m)) z(m) 0 i δ. (4) Assume that z is cotaied i a fully labeled -dimesioal simplex δ, ad reame vertices of δ so that a vertex x i is labeled with i for each i. The, f i (z) = λ j f i (x j ) = j x j=0 j=0λ j i + τ λ j λ iτ = z i + λ j λ i τ for each i. j i Cosidersequeces(z(m)) m = (z(),z(),...),(z (m)) m = (z (),z (),...) such that f(z(m)) z(m) 0 ad f(z (m)) z (m) 0. Let z(m) = λ(m) ix i ad z (m) = λ (m) i x i. The, we have λ(m) j λ(m) i 0, ad λ (m) j λ (m) i 0 for all i. j i Therefore, we obtai These mea j i j=0 λ(m) i +,ad λ (m) i +. z(m) z (m) 0. Thus, f is sequetially locally o-costat Now, usig f, we costruct a excess demad fuctio as follows; (3) g i (y) = f i (y) y i µ(y), i = 0,,...,. y, ad µ(y) is defied by µ(y) = y if i (y). y i Each g i (y) is uiformly cotiuous, ad satisfies the Walras law as show below. Multiplyig y i (the i-th compoet of y) to (3) for each i, ad addig them from j i

14 4 YASUHITO TANAKA 0 to yields y i g i = (4) = y i f i (y) µ(y) yi = y i f i (y) y i f i (y) y i f i (y) = 0. y if i (y) y i Therefore, g i (y) s satisfy the coditios for excess demad fuctios, ad because of sequetial local o-costacy of f they are sequetially locally o-costat expressed as follows;. () If y is a vertex of, y i = for some i ad y j = 0 for all j i. f j (y) y j meas f j > 0, ad so g i > 0. () I a -dimesioal face of there exists o sequece (z(m)) m such that f(z(m)) z(m) 0, ad so there exists o sequece g(z(m)) m such that µ(z(m)) ad max(g(z(m)), 0) 0. (3) I a -dimesioal simplex which is ot fully labeled there existsosequece(z(m)) m suchthat f(z(m)) z(m) 0 i δ, adso, ad sothere exists o sequeceg(z(m)) m such that µ(z(m)) ad max(g(z(m)),0) 0. (4) I forallsequeces(x(m)) m,(y(m)) m suchthat f(x(m)) x(m) 0 ad f(y(m)) y(m) 0, we have x(m) y(m) 0. Whe f(x(m)) x(m) 0, µ(x(m)), ad max(g(x(m)), 0) 0. Similarly, whe f(y(m)) y(m) 0, µ(y(m)), ad max(g(y(m)),0) 0. Therefore, g is sequetially locally o-costat, ad there exists a equilibrium. Let y = {y0,y,...,y } be the equilibrium price vector. The, g i (y ) 0 for all i, ad g i (y ) = 0 for i such that yi > 0, ad so f i (y ) = µ(y )yi for all such i. f i(y ) = y i = implies µ(y ). O the other had, g i (y ) 0(for all i) meas µ(y ). Thus, µ(y ) =, ad we obtai (5) f i (y ) = y i for all i. Let be a simplex of K which cotais y, ad y 0,y,...,y be the vertices of. The, y ad f(y ) are represeted as y = λ i y i ad f(y ) = λ i f(y i ), λ i 0, λ i =. () implies that if oly oe y k amog y 0,y,...,y is labeled with i, we have f i (y ) yi = λ j y j i + τ λ j λ kτ yi = λ j λ k τ. j=0 y j i is the i-th compoet of yj. j=0,j k j=0,j k y i

15 CONSTRUCTIVE MATHEMATICS AND EQUILIBRIUM IN COMPETITIVE ECONOMY 5 Sice τ > 0, f i (y ) = yi (for all i) is equivalet to λ j λ k = 0. j=0,j k (5) is satisfied with λ k = + for all k. O the other had, if o yj is labeled with i, we have ( f i (y ) = λ j y j i = y i + + ) τ, j=0 ad the (5) ca ot be satisfied. Thus, for each i oe ad oly oe y j must be labeled with i. Therefore, must be a fully labeled simplex. We have completed the proof of Sperer s lemma. 5. Cocludig Remarks () A applicatio of the method of this paper to game theory, i particular, the problem ofthe existece of a Nash equilibrium i a fiite strategicgame with payoff fuctios satisfyig the property that is similar to sequetial local o-costacy. () A geeralizatio of the result of this paper to Kakutai s fixed poit theorem for multi-valued fuctios with property of sequetial local o-costacy ad its applicatio to ecoomic theory ad game theory. Appedix A. Proof of Sperer s lemma We prove this lemma by iductio about the dimesio of. Whe = 0, we have oly oe poit with the umber 0. It is the uique 0-dimesioal simplex. Therefore the lemma is trivial. Whe =, a partitioed -dimesioal simplex is asegmeted lie. The edpoits ofthe lie arelabeled distictly, by 0ad. Hece i movig from edpoit 0 to edpoit the labelig must switch a odd umber of times, that is, a odd umber of edges labeled with 0 a may be located i this way. Next cosider the case of dimesio. Assume that we have partitioed a - dimesioal simplex (triagle) as explaied above. Cosider the face of labeled with 0 ad 4. It is the base of the triagle i Figure 5. Now we itroduce a dual graph that has its odes i each small triagle of K plus oe extra ode outside the face of labeled with 0 ad (puttig a dot i each small triagle, ad oe dot outside ). We defie edges of the graph that coect two odes if they share a side labeled with 0 ad. See Figure 5. White circles are odes of the graph, ad thick lies are its edges. Sice from the result of -dimesioal case there are a odd umber of faces of K labeled with 0 ad cotaied i the face of labeled with 0 ad, there are a odd umber of edges which coect the outside ode ad iside odes. Thus, the outside ode has odd degree. Sice by the Hadshakig lemma there are a eve umber of odes which have odd degree, we have at least oe ode iside the triagle which has odd degree. Each ode of our graph except for the outside ode is cotaied i oe of small triagles of K. Therefore, if a small triagle of K has oe face labeled with 0 ad, the degree of the ode i that triagle is ; if a small triagle of K has two such faces, the degree of the ode 4 We call edges of triagle faces to distiguish betwee them ad edges of a dual graph which we will cosider later.

16 6 YASUHITO TANAKA A 0 B 0 C Figure 5. Sperer s lemma i that triagle is, ad if a small triagle of K has o such face, the degree of the ode i that triagle is 0. Thus, if the degree of a ode is odd, it must be, ad the the small triagle which cotais this ode is labeled with 0, ad (fully labeled). I Figure 5 triagles which cotai oe of the odes A, B, C are fully labeled triagles. Now assume that the theorem holds for dimesios up to. Assume that we have partitioed a -dimesioal simplex. Cosider the fully labeled face of which is a fully labeled -dimesioal simplex. Agai we itroduce a dual graph that has its odes i small -dimesioal simplices of K plus oe extra ode outside the fully labeled face of (puttig a dot i each small -dimesioal simplex, ad oe dot outside ). We defie the edges of the graph that coect two odes if they share a face labeled with 0,,...,. Sice from the result of -dimesioal case there are a odd umber of fully labeled faces of small simplices of K cotaied i the -dimesioal fully labeled face of, there are a odd umber of edges which coect the outside ode ad iside odes. Thus, the outside ode has odd degree. Sice, by the Hadshakig lemma there are a eve umber of odes which have odd degree, we have at least oe ode iside the simplex which has odd degree. Each ode of our graph except for the outside ode are cotaied i oe of small -dimesioal simplices of K. Therefore, if a small simplex of K has oe fully labeled face, the degree of the ode i that simplex is ; if a small simplex of K has two such faces, the degree of the ode i that simplex is, ad if a small simplex of K has o such face, the degree of the ode i that simplex is 0. Thus, if the degree of a ode is odd, it must be, ad the the small simplex which cotais this ode is fully labeled.

17 CONSTRUCTIVE MATHEMATICS AND EQUILIBRIUM IN COMPETITIVE ECONOMY 7 If the umber (label) of a vertex other tha vertices labeled with 0,,..., of a -dimesioal simplex which cotais a fully labeled -dimesioal face is, the this -dimesioal simplex has oe such face, ad this simplex is a fully labeled -dimesioal simplex. O the other had, if the umber of that vertex is other tha, the the -dimesioal simplex has two such faces. We have completed the proof of Sperer s lemma. Sice ad partitio of are fiite, the umber of small simplices costructed by partitio is also fiite. Thus, we ca costructively fid a fully labeled - dimesioal simplex of K through fiite steps. Refereces [] J. Berger, D. Bridges ad P. Schuster, The Fa Theorem ad uique existece of maxima, Houral of Symbolic Logic, vol. 7, pp , 006. [] E. Bishop ad D. Bridges, Costructive Aalysis, Spriger, 985. [3] D. Bridges ad F. Richma, Varieties of Costructive Mathematics, Cambridge Uiversity Press, 987. [4] D. Bridges ad L. Vîţă, Techiques of Costructive Mathematics, Spriger, 006. [5] D. va Dale, Brouwer s ε-fixed poit from Sperer s lemma, Logic Group Preprit Series, No. 75, 009. [6] F. E. Su, Retal harmoy: Sperer s lemma for fair devisio, America Mathematical Mothly, vol. 06, pp , 999. [7] W. Veldma, Brouwer s approximate fixed poit theorem is equivalet to Brouwer s fa theorem, i Logicism, Ituitioism ad Formalism, edited by Lidström, S., Palmgre, E., Segerberg, K. ad Stolteberg-Hase, Spriger, 009. [8] H. Uzawa, Walras s Existece Theorem ad Brouwer s Fixed Poit Theorem, Ecoomic Studies Quarterly, vol. 3, No., pp. 59-6, 96. [9] M. Yoseloff, Topological proofs of some combiatorial theorems, Joural of Combiatorial Theory (A), vol. 7, pp. 95-, 974. Faculty of Ecoomics, Doshisha Uiversity, Kamigyo-ku, Kyoto, , Japa address: yasuhito@mail.doshisha.ac.jp