<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">TEL</journal-id><journal-title-group><journal-title>Theoretical Economics Letters</journal-title></journal-title-group><issn pub-type="epub">2162-2078</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/tel.2014.43031</article-id><article-id pub-id-type="publisher-id">TEL-44922</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Business&amp;Economics</subject></subj-group></article-categories><title-group><article-title>
 
 
  An Algebraic Proof of the Existence of a Competitive Equilibrium in Exchange Economies
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>uang-Zhen</surname><given-names>Sun</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>Department of Economics, Faculty of Social Sciences, University of Macau, Macau, China</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>gzsun@umac.mo</email></corresp></author-notes><pub-date pub-type="epub"><day>03</day><month>04</month><year>2014</year></pub-date><volume>04</volume><issue>03</issue><fpage>232</fpage><lpage>234</lpage><history><date date-type="received"><day>13</day>	<month>November</month>	<year>2013</year></date><date date-type="rev-recd"><day>13</day>	<month>December</month>	<year>2013</year>	</date><date date-type="accepted"><day>30</day>	<month>December</month>	<year>2013</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
   The standard excess demand argument for existence of competitive equilibria in exchange economies invokes maximizing the market value of the aggregate excess demand function and thereby adjusting the prices toward equilibrium. By exploiting the Perron-Frobenius theorem on stochastic matrices, we offer an algebraic proof of the existence of a competitive equilibrium without resorting to such a device of excess demand. 
 
</p></abstract><kwd-group><kwd>Exchange Economy</kwd><kwd> Existence of Competitive Equilibrium</kwd><kwd> Perron-Frobenius Theorem</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The standard excess demand argument for existence of competitive equilibriain exchange economies invokes maximizing the value of the excess demand of the economy (the aggregate excess demand) and thereby adjusting the prices toward equilibrium [<xref ref-type="bibr" rid="scirp.44922-ref1">1</xref>] -[<xref ref-type="bibr" rid="scirp.44922-ref3">3</xref>] . At least for pedagogical purpose, one may legitimately interpret the adjustment procedure, often referred to as tatonnement, as that in which a price-setting agency, the so-called Walrasian auctioneer, gathers the information as regards to each agent’s excess demand and then fine-tunes the prices so as to raise the prices of the commodities that are over-demanded (with a positive aggregate excess demand registered) and to lower the prices of the commodities that are under-demanded (with a negative aggregate excess demand registered). It is true that the excess demand function is a very useful device that renders the fixed point theory nicely applicable to the proof of the existence of a market-clear price vector. Such a technical device, powerful though as it is in remarkably simplifying the formulation, nonetheless suggests a centralized coordination mechanism. Exploiting the Perron-Frobenius theorem on stochastic matrices, a well known result in linear algebra, we provide an alternative proof of the existence of a competitive equilibrium without resorting to such an artificial price-setting mechanism. It is worth pointing out that in so doing our argument does not invoke aggregating the individuals’ excess demand, let alone to maximizing the market value of the aggregate excess demand. To the extent that the price-setting agency, as is embodied by the Walrasian auctioneer, personifies the coordination of the decentralized price system, “the invisible hand”, and hence rendering it more or less visible, our approach appears to be conceptually more natural. But a cost of awkwardness in algebraic manipulation has to be paid in our undertaking, compared to the rather neat formulation based on the Walrasian tatonnement. However, such a cost may be well justifiable for an economically appealing argument about the important idea of the invisible hand.</p></sec><sec id="s2"><title>2. The Proof</title><p>We first restate the classical result on the existence of a competitive equilibrium.</p><p>Theorem. For any pure exchange economy with n commodities and m agents, in which each agent <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\4426c978-4bd4-4872-9cb4-22cb63cc784e.png" xlink:type="simple"/></inline-formula> has a preference represented by a utility function <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\f025e343-8a06-4430-8447-a7f60d68eab6.png" xlink:type="simple"/></inline-formula> that is continuous, concave and strongly monotone and an endowment <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\bb286dd3-4c5d-4b8a-9904-a75793ecf09d.png" xlink:type="simple"/></inline-formula> such that the endowment of any commodity for the economy as a whole is positive, i.e., <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\80c980b1-47ed-4844-b52b-4bd9553ae0b7.png" xlink:type="simple"/></inline-formula>there exists a competitive equilibrium.</p><p>Proof. First of all, normalize the endowment of each commodity of the community as one, i.e., <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\ac54cc2d-df68-428a-8083-e4434c6d5dca.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\62aed3f7-1c45-479b-a18a-732def6cccb4.png" xlink:type="simple"/></inline-formula><sup>1</sup>. Consider the price simplex<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\651e42cf-01b7-44b0-b285-87329d28a972.png" xlink:type="simple"/></inline-formula>. For any interior point<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\fdc6f230-27b0-476b-a6d6-0c94036932dc.png" xlink:type="simple"/></inline-formula>, let<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\7ed578e9-03a3-4eaf-b7b6-c3f2246558c9.png" xlink:type="simple"/></inline-formula>. Notice that for any</p><p><inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\64fa4f84-6aa8-46e7-985f-d650614a1d5f.png" xlink:type="simple"/></inline-formula>its i-th component is the percentage share of agent<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\b672089a-7098-4226-8b0d-9c5b217cd2d6.png" xlink:type="simple"/></inline-formula>’s wealth spent on commodity i. Monotone preference implies<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\844819b3-4ad4-40d9-af30-4e611fec9b3f.png" xlink:type="simple"/></inline-formula>. Convexity of preferences implies that for any agent<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\fe1fb2a3-2e2b-4ff5-a530-4913bfcdd093.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\0b321088-ad85-47c2-91d2-66e7fc5c8997.png" xlink:type="simple"/></inline-formula>is convex at any interior point of<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\d776e207-9110-48df-9df5-636f68b8b158.png" xlink:type="simple"/></inline-formula>. Also note that <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\bf910268-b097-4183-8fa9-a41fbcb3d0fa.png" xlink:type="simple"/></inline-formula> is upper-semi-continuous by Berge’s maximum theorem. For any<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\c98922d7-25e9-4740-b0e5-3ad8046eef00.png" xlink:type="simple"/></inline-formula>, let <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\c8c07448-9718-435e-a8d4-093bf8586a24.png" xlink:type="simple"/></inline-formula> be the convex hull of the limit points of any possible <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\e686f806-3fcf-4359-84b5-910a59dbe3d7.png" xlink:type="simple"/></inline-formula> where the sequence of interior points <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\76bc3789-4b43-49a9-b823-dc1bd8f66994.png" xlink:type="simple"/></inline-formula> approaches <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\2a1138a1-1d1e-4850-8378-f7884cfc0a11.png" xlink:type="simple"/></inline-formula> That is, <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\c496ca9a-95d7-4486-adf1-0a142df59eef.png" xlink:type="simple"/></inline-formula>{<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\e7443e01-6730-4f30-963d-cac61c0e8a09.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\ef32124d-b95f-439b-a0a8-ad460ed2ed2f.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\ac2bb510-2b6b-4f9b-a38d-18774658f8cb.png" xlink:type="simple"/></inline-formula> and that <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\83a5a747-c646-4c94-bac3-e1d5abaa6578.png" xlink:type="simple"/></inline-formula> as <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\8d547f2c-d233-4d2a-9ec0-d449ab754409.png" xlink:type="simple"/></inline-formula>}. By definition, <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\8e26d267-0404-48e0-af69-ff05db3b9f36.png" xlink:type="simple"/></inline-formula>is upper-semi-continuous and convex-valued at any <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\a756fe34-58e0-4e2e-9398-f0b255f4c312.png" xlink:type="simple"/></inline-formula><sup>2</sup>.<sup></sup></p><p>Let <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\b03db961-0628-4ccf-9075-46cf11bc37df.png" xlink:type="simple"/></inline-formula> The sum of each column of F equals</p><p><inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\2afa9350-3dd8-4317-a2c7-aff8c882d827.png" xlink:type="simple"/></inline-formula>, hence F is a column stochastic matrix. Consequently, the Perron-Frobenius eigenvalue of F is one and there exists at least one corresponding eigenvector<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\67abe15f-031a-48a7-b404-7e9d74a42452.png" xlink:type="simple"/></inline-formula>, i.e., Fq = q [<xref ref-type="bibr" rid="scirp.44922-ref4">4</xref>] .</p><p>Consider any sequences <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\52625700-7d4d-49c1-acbf-9cc56a3df254.png" xlink:type="simple"/></inline-formula> such that there exist <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\65fee704-748b-4086-a418-f82fe07d9d9b.png" xlink:type="simple"/></inline-formula> satisfying</p><p><inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\c9268b18-d3b0-463e-b92b-141e9bfb81cf.png" xlink:type="simple"/></inline-formula>for any k where <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\8dee6a92-478d-440b-8926-f491470dabc0.png" xlink:type="simple"/></inline-formula> and that<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\bef490d5-5dbe-4773-bfb9-74fce9c1625a.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\a67fe21e-9d89-4a87-9553-b9f6058dc889.png" xlink:type="simple"/></inline-formula>as <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\9ecda613-4821-4448-8fa8-b303d2217857.png" xlink:type="simple"/></inline-formula> WLOG, assume<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\95c34192-dc68-4b5c-af43-e7b07ae87cb9.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\0b47231f-7c54-4692-873d-d84b7f5ed954.png" xlink:type="simple"/></inline-formula>As is established in the above, <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\8776924e-c79d-4273-af74-5c2f7990cc68.png" xlink:type="simple"/></inline-formula>is upper-semi-continuous. Hence,<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\bdcf0c3d-6c27-4106-b9ba-ca628a774444.png" xlink:type="simple"/></inline-formula>. Take the limit on both sides of <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\5b1e11f4-c080-492a-858b-f87568d5c5e3.png" xlink:type="simple"/></inline-formula> as <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\88e514e4-5594-4866-a4b7-2d9e6bd568d2.png" xlink:type="simple"/></inline-formula> where</p><p><inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\fbb0653a-1748-436b-95ef-b2be5bc32f9d.png" xlink:type="simple"/></inline-formula>The correspondence from p to q is closed.</p><p>We now prove that<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\94dde83b-b3ba-4e3a-b0b1-853fb536d88c.png" xlink:type="simple"/></inline-formula>, {q(p)} is convex. Consider any two elements in {q(p)} say <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\08f2d1d5-8361-4771-a1d3-7eea18b2e54e.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\8fae028f-09f1-4caf-8b2c-e6cb31c4f84f.png" xlink:type="simple"/></inline-formula> i.e., there exist<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\f7cbbf0d-9801-485f-b1c3-d1c9dc50c13c.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\55a78c41-e450-4c41-9864-9da3f33ccad6.png" xlink:type="simple"/></inline-formula>such that <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\d0a5cb0d-ce65-4d0f-b910-569d609583c1.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\793ffe72-8eaa-4231-964f-4536dfbd0e76.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\f4d9a062-ba22-4e46-a892-dff084c5139d.png" xlink:type="simple"/></inline-formula> For any  <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\ae5aca77-7dfe-4be6-81c0-cb4a0b2f7085.png" xlink:type="simple"/></inline-formula>, we claim that there exist<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\2f2250a5-ed2d-4197-bb75-dc26610d6461.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\04f7d297-44fe-40cf-8ae5-494c3a649ef4.png" xlink:type="simple"/></inline-formula>such that</p><disp-formula id="scirp.44922-formula141299"><label>(1)</label><graphic position="anchor" xlink:href="htmlimages\8-1500451x\27778ede-f6bd-436d-af9a-f2fec2d60c71.png"  xlink:type="simple"/></disp-formula><p>Note the term in the brackets of LHS of Equation (1) equals</p><disp-formula id="scirp.44922-formula141300"><label>(2)</label><graphic position="anchor" xlink:href="htmlimages\8-1500451x\2918fe71-85e2-4d3e-a491-a9e9a53da570.png"  xlink:type="simple"/></disp-formula><p>Also notice that the RHS of Equation (1) equals</p><p><img src="htmlimages\8-1500451x\081d7b15-f1d5-42f8-b26b-c913fcb0467b.png" /></p><p>Substituting the above and (2) into (1) yields,</p><p><img src="htmlimages\8-1500451x\f13f7850-36e3-49af-ba44-1049390b2269.png" /></p><p>Since <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\43aee65e-d5d0-4fc2-853d-1767a4bfa51b.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\90139b1a-dac5-4412-bb4b-39069996f039.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\ccd769ee-7865-4bd5-925c-2ef47624e11a.png" xlink:type="simple"/></inline-formula>there apparently exists<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\23ea43e2-c84f-496d-9ebb-76e890047cc8.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\a4ce9c3e-94dc-4061-a138-d0a19204f156.png" xlink:type="simple"/></inline-formula>such that</p><p><inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\d1f093cf-ddc3-4eba-8317-b0cf198a87ff.png" xlink:type="simple"/></inline-formula>, i.e., (1) holds. That is, for any<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\27e9d451-8ddd-48ff-8dfa-f7773b5ce344.png" xlink:type="simple"/></inline-formula>, {q(p)} is a convex set.</p><p>By Kakutani’s theorem, there exists<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\740055fd-4316-4430-ab36-25ba8d2488d4.png" xlink:type="simple"/></inline-formula>, such that <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\024a8a2b-bb4b-45cb-baf7-6ba6ac5bfb18.png" xlink:type="simple"/></inline-formula> where<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\3f374bbe-dc93-4f64-9df7-4b42b43d24d5.png" xlink:type="simple"/></inline-formula>. We now show that<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\dfa7c492-4f53-4a18-a2c1-45c069a2e051.png" xlink:type="simple"/></inline-formula>. For otherwise, then by the definition of <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\3ab83bb1-49f6-403e-8614-d9e8ede105c6.png" xlink:type="simple"/></inline-formula> on<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\42a00276-f4b6-4b7d-ae85-ee026bdad60b.png" xlink:type="simple"/></inline-formula>, one possibility is that there exist sequences <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\8f81ea47-7b82-4bb3-946c-f4e59bbcf35c.png" xlink:type="simple"/></inline-formula> such that</p><p><inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\d216181c-8513-4122-8306-0bf5d9054644.png" xlink:type="simple"/></inline-formula>and that<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\919dbba6-4d9f-4b3b-80af-36f4c76d1f88.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\cf88f09d-a20d-491b-a1d8-88ede2284b63.png" xlink:type="simple"/></inline-formula>as <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\30a61d53-1fad-4f9b-ae1a-3bf756b8af1e.png" xlink:type="simple"/></inline-formula>that is, <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\f996edf4-d4e7-44bb-b178-417fe6a4d3d0.png" xlink:type="simple"/></inline-formula> WLOG, assume <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\b38990df-f297-446e-a1a2-4cc613d7a653.png" xlink:type="simple"/></inline-formula> but some other components of <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\39dde794-b084-4079-a48e-c59658b8e17e.png" xlink:type="simple"/></inline-formula> are zeros. Then we obtain from <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\10af6873-4598-4793-9135-afdf78c761cb.png" xlink:type="simple"/></inline-formula> that <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\2c5f82a4-03ad-4aa5-9e54-a010e4009149.png" xlink:type="simple"/></inline-formula> for any <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\3713c622-a677-4c3c-ba01-fa5d45739d85.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\b2a207da-e230-4685-96c3-16520a398d3f.png" xlink:type="simple"/></inline-formula>.</p><p>Thus for an agent τ  endowed with a positive amount of commodity 1 (existence of such agent is guaranteed by the assumption that<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\d0f9b733-312a-4079-a3e5-7554630f10e6.png" xlink:type="simple"/></inline-formula>) <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\f2801f82-1246-4641-82ff-d44d7fd47b29.png" xlink:type="simple"/></inline-formula>for anys such that<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\24e42f17-6947-4d98-af7f-880ffde714d0.png" xlink:type="simple"/></inline-formula>, an impossibility in light of the strongly monotone preferences. In the case that <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\8e04e86c-0eb1-4543-b309-7af74150d24b.png" xlink:type="simple"/></inline-formula> itself is not a limit point for any sequence of interior price vectors that approaches<inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\8109eb4e-85fe-49d6-8251-2a836a020867.png" xlink:type="simple"/></inline-formula>, but a convex combination of two such limit points, the above application applies to each of these two limit points. Thus, <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\dc81dec7-b422-4799-962d-b7241c8d86ca.png" xlink:type="simple"/></inline-formula>By simple algebraic manipulation one obtains from</p><p><inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\02713f79-7631-4c70-8d8e-2d62bbc6ca40.png" xlink:type="simple"/></inline-formula>that <inline-formula><inline-graphic xlink:href="tmlimages\8-1500451x\5b970bc8-34d6-4901-90e5-65fc7e66bdb0.png" xlink:type="simple"/></inline-formula> i.e., all markets clear.</p></sec><sec id="s3"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.44922-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Debreu, G. (1983) Four Aspects of the Mathematical Theory of Economic Equilibrium. In: Mathematical Economics: Twenty Papers of Gerard Debreu, Cambridge University Press, New York, 217-231.</mixed-citation></ref><ref id="scirp.44922-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Mas-Colell, A., Whinston, M.D. and Green, J. (1995) Microeconomic Theory. Oxford University Press, Oxford.</mixed-citation></ref><ref id="scirp.44922-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Jehle, G.A. and Reny, P.J. (2000) Advanced Microeconomic Theory. 2nd Edition, Addison Wesley, Boston.</mixed-citation></ref><ref id="scirp.44922-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Aldrovandi, R. (2001) Special Matrices of Mathematical Physics. World Scientific, Singapore.</mixed-citation></ref></ref-list></back></article>