<?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">ALAMT</journal-id><journal-title-group><journal-title>Advances in Linear Algebra &amp; Matrix Theory</journal-title></journal-title-group><issn pub-type="epub">2165-333X</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/alamt.2014.44016</article-id><article-id pub-id-type="publisher-id">ALAMT-51420</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Money Circulation Equation Considering Time Irreversibility
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>hinji</surname><given-names>Miura</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>Independent, Gifu, Japan</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>geppa_gifu@yahoo.co.jp</email></corresp></author-notes><pub-date pub-type="epub"><day>14</day><month>11</month><year>2014</year></pub-date><volume>04</volume><issue>04</issue><fpage>187</fpage><lpage>200</lpage><history><date date-type="received"><day>29</day>	<month>August</month>	<year>2014</year></date><date date-type="rev-recd"><day>30</day>	<month>September</month>	<year>2014</year>	</date><date date-type="accepted"><day>31</day>	<month>October</month>	<year>2014</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 essence of money circulation is that money continues to transfer among economic agents eternally. Based on this recognition, this paper shows a money circulation equation that calculates the quantities of expenditure, revenue, and the end money from the quantity of the beginning money. The beginning money consists of the possession at term beginning, production and being transferred from the outside of the relevant society. The end money consists of the possession at term end, disappearance and transferring to the outside of the relevant society. This equation has a unique solution if and only if each part of the relevant society satisfies the space-time openness condition. Moreover, if money is transferred time irreversibly, each part of the relevant society satisfies the space-time openness condition. Hence, the solvability of the equation is guaranteed by time irreversibility. These solvability conditions are similar to those of the economic input-output equation, but the details are different. An equation resembling our money circulation equation was already shown by M&#225;ria Augustinovics, a Hungarian economist. This paper examines the commonalities and differences between our equation and hers. This paper provides the basis for some intended papers by the author.
 
</p></abstract><kwd-group><kwd>Money Circulation</kwd><kwd> Solvability</kwd><kwd> Time Irreversibility</kwd><kwd> M&#225;ria Augustinovics</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Simon Newcomb, who was an American economist in the nineteenth century, said:</p><p>“A piece of money changes hands without end, since every person who receives it expects, unless in exceptional cases, to pay it out again to some one else.”<sup>1</sup></p><p>As Newcomb said, money received once cannot be transferred again in principle. As a result, money continues to transfer among economic agents eternally. This is the essence of money circulation.</p><p>In order to express the quantitative structure of money circulation, the above mentioned Newcomb used the equation of exchange, which he called the equation of societary circulation.<sup>2</sup> However, the relationship between the velocity of money, which is the key concept of this equation, and the situations of each agent is not clear. In other words, the velocity of money is an enigma. To formalize a money circulation equation which remedies this defect is a purpose of this paper.</p><p>Although describing optimal decision making for an economic agent is a mainstream in contemporary economics, this paper does not adopt such a method. This paper describes only a realized situation of money circulation. This paper aims to construct a kinematics of money.</p><p>Then, we will start the description of a monetary economy.</p><p>We decide that a target group for description is called the relevant society. The element of the relevant society is called an economic agent.<sup>3</sup> There are various kinds of agents, such as an individual, a family, a corporation, the government, and so on. However, in this paper, we do not consider the differences in such kinds of agents. We treat them merely as agents in the group. We assume that there are n agents in the relevant society, and denote the relevant society by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x6.png" xlink:type="simple"/></inline-formula>.</p><p>Moreover, we decide that a target term for description is called the relevant term. We assume that the relevant term is finite. This assumption is rewritten so that the relevant term always has a beginning and an end. This assumption does not threaten the validity of the description of an economic society because most scientists say even the life of the earth is limited.</p><p>The sphere that satisfies both the relevant society and the relevant term is called the relevant space-time.</p><p>There are various kinds of money transfer, including purchase of commodity, payment of wage, finance relation, donation, and so on. However, in this paper, we do not consider such differences. We treat them as merely transfers in the group.</p><p>Moreover, there are various kinds of money such as the dollar, pound, euro, yen, and so on. However, in this paper, we assume that money in the relevant space-time is of only one kind.<sup>4</sup></p><p>We define expenditure as transferring money to the relevant space-time, and revenue as money being transferred from the relevant space-time. There is a possibility that a transfer of money occurs between the relevant society and the outside of there, but transferring money to the outside is not called expenditure and money being transferred from the outside is not called revenue in this paper.</p><p>Let X<sub>i</sub> be the expenditure quantity of Agent i, Y<sub>j</sub> be the revenue quantity of Agent j, and Z<sub>ij</sub> be the separate transfer quantity from Agent i to Agent j. By the definition of expenditure and revenue which is mentioned above, the following relations are satisfied.</p><disp-formula id="scirp.51420-formula41"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x8.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.51420-formula42"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x9.png"  xlink:type="simple"/></disp-formula><p>The relationships between expenditures, revenues and separate transfers can be summarized as in the following table.</p><p>We call this the transfer table. From this table, we obtain</p><disp-formula id="scirp.51420-formula43"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x10.png"  xlink:type="simple"/></disp-formula><p>That is, the sum of revenues and the sum of expenditures in the relevant space-time are equal. We call this proposition the law of transfer equality. This law reflects the fact that revenue and expenditure are the same entity from different viewpoints. That is, the revenue of somebody is the expenditure of somebody, and the expenditure of somebody is the revenue of somebody.</p><p>Quantitatively, separate transfer is expressed as a positive quantity when it is transferred, and expressed as zero when it is not transferred. Negative transfer does not have an economic meaning. Considering this with Equations (1) and (2), we see that</p><disp-formula id="scirp.51420-formula44"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x11.png"  xlink:type="simple"/></disp-formula><p>always holds.</p><p>However, we suppose that expenditure in the relevant space-time is positive. The reason for this supposition is to avoid complications of the following description. If we take a measurable length as the relevant term, most agents must expend a little money. Hence, this is a reasonable supposition in practice. Using symbols, the supposition is denoted as</p><disp-formula id="scirp.51420-formula45"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x12.png"  xlink:type="simple"/></disp-formula><p>Then, we consider the sources of money possession in the relevant space-time. Revenue is one source, but the possession at term beginning, production and being transferred from the outside of the relevant society are other sources. We decide that the sources excluding revenue are collectively called the beginning money.</p><p>On the other hand, we consider the results of money possession in the relevant space-time. Expenditure is one result, but the possession at term end, disappearance and transferring to the outside of the relevant society are other results. We decide that the results excluding expenditure are collectively called the end money.</p><p>Let Ψ<sub>k</sub> be the quantity of the beginning money of Agent k, and Ω<sub>k</sub> be the quantity of the end money of Agent k. Quantitatively, the existence of money is expressed as a positive, and the absence of money expressed as zero. Negative existence does not have an economic meaning.<sup>5</sup> Thus,</p><disp-formula id="scirp.51420-formula46"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x13.png"  xlink:type="simple"/></disp-formula><p>always holds.</p><p>Then, we define the disposal as a process from the source to the result.</p><p>If we trace the source of money expended in the relevant space-time, it is only either received as revenue or included in the beginning money. We call this the disposal comprehensibility principle.</p><p>We define a disposal from revenue to expenditure as a circular disposal. We denote the circular disposal quantity of Agent k as ρ<sub>k</sub>. Moreover, let α<sub>k</sub> be the quantity of money disposed from the beginning money to expenditure. Quantitatively, the disposal comprehensibility principle means</p><disp-formula id="scirp.51420-formula47"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x14.png"  xlink:type="simple"/></disp-formula><p>Furthermore, money which is once received as revenue from someone is neither received from anyone else nor included in the beginning money. That is, the sources of money possession do not duplicate. We call this the disposal exclusivity principle. Quantitatively, the disposal exclusivity principle means</p><disp-formula id="scirp.51420-formula48"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x16.png"  xlink:type="simple"/></disp-formula><p>Considering both the disposal comprehensibility principle and the disposal exclusivity principle,</p><disp-formula id="scirp.51420-formula49"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x17.png"  xlink:type="simple"/></disp-formula><p>is satisfied.</p><p>If we trace the source of the end money, it is only either received as revenue or included in the beginning money. Let β<sub>k</sub> be the quantity of money disposed from revenue to the end money, and γ<sub>k</sub> be the quantity of money disposed from the beginning money to the end money. As in the case of expenditure, considering both the disposal comprehensibility and exclusivity principle,</p><disp-formula id="scirp.51420-formula50"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x18.png"  xlink:type="simple"/></disp-formula><p>is satisfied.</p><p>On the other hand, if we trace the result of the beginning money, it is only either expended or included in the end money. α<sub>k</sub> refers to the quantity of money disposed from the beginning money to expenditure, and γ<sub>k</sub> refers to the quantity of money disposed from the beginning money to the end money. Therefore, considering both the disposal comprehensibility and exclusivity principle,</p><disp-formula id="scirp.51420-formula51"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x19.png"  xlink:type="simple"/></disp-formula><p>is satisfied.</p><p>If we trace the result of money received as revenue in the relevant space-time, it is only either expended or included in the end money. ρ<sub>k</sub> refers to the quantity of money disposed from revenue to expenditure, and β<sub>k</sub> refers to the quantity of money disposed from revenue to the end money. Therefore, considering both the disposal comprehensibility and exclusivity principle,</p><disp-formula id="scirp.51420-formula52"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x20.png"  xlink:type="simple"/></disp-formula><p>is satisfied.</p><p>We decide that ρ<sub>k</sub>, α<sub>k</sub>, β<sub>k</sub> and γ<sub>k</sub> are collectively called the disposal quantities. Based on their economic meanings,</p><disp-formula id="scirp.51420-formula53"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x21.png"  xlink:type="simple"/></disp-formula><p>is always satisfied.</p><p>The relationships between the disposal quantities and others are summarized in the following table.</p><p>We call this the disposal table of Agent k. Based on this table, it is obvious that</p><disp-formula id="scirp.51420-formula54"><label>(8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x22.png"  xlink:type="simple"/></disp-formula><p>is satisfied. That is, the gross quantity of sources of Agent k and the gross quantity of results of Agent k are equal. We call this proposition the law of gross disposal of Agent k.</p><p>If we sum Equation (8) for the whole society,</p><disp-formula id="scirp.51420-formula55"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x23.png"  xlink:type="simple"/></disp-formula><p>is derived. Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x24.png" xlink:type="simple"/></inline-formula> holds due to the law of transfer equality (Equation (3)),</p><disp-formula id="scirp.51420-formula56"><label>(9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x25.png"  xlink:type="simple"/></disp-formula><p>is derived. That is, the sum of the beginning money and that of the end money are equal. We call this proposition the law of money conservation. The sum of the beginning money and that of the end money both seem to denote the abundance of money in the relevant space-time. Accordingly, the law of money conservation reflects the fact that transfer does not change the abundance of money in the whole society.</p><p>Moreover, let F be a subset of N excluding the empty set, and G be the complement of F if F is a proper subset. Adding up the law of gross disposal of all agents who belong to F and considering Equations (1) and (2),</p><disp-formula id="scirp.51420-formula57"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x26.png"  xlink:type="simple"/></disp-formula><p>is derived. Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x27.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x28.png" xlink:type="simple"/></inline-formula> have the same contents, they are naturally equal. If we sub-</p><p>tract <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x29.png" xlink:type="simple"/></inline-formula> from both sides of the preceding equation,</p><disp-formula id="scirp.51420-formula58"><label>(10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x30.png"  xlink:type="simple"/></disp-formula><p>is derived. This proposition means that the sum of money which enters from the outside of F is equal to that of money which exits to the outside of F. We call this the law of openness equality of Set F.</p><p>The law of money conservation (Equation (9)) is nothing but the law of openness equality of Set N.</p></sec><sec id="s2"><title>2. Formalization of the Money Circulation Equation</title><p>Thinking normally, any money expended, received as revenue and included in the end money seems to come from the beginning money, which consists of the possession at term beginning, production and transferred from the outside. If we convert this qualitative recognition into a quantitative one, we should be able to calculate the quantity of expenditure, revenue and the end money from the quantity of the beginning money. We will look for such a method.</p><p>First, we confirm that the gross quantity of results of Agent k satisfies</p><disp-formula id="scirp.51420-formula59"><label>(11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x31.png"  xlink:type="simple"/></disp-formula><p>by Equations (5) and (6). Based on this, the expenditure rate of Agent k is defined as</p><disp-formula id="scirp.51420-formula60"><label>(12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x32.png"  xlink:type="simple"/></disp-formula><p>In short, the expenditure rate refers to the percentage of expenditure in the gross quantity of results.</p><p>By Equations (5), (6) and (11), the expenditure rate is limited to</p><disp-formula id="scirp.51420-formula61"><label>(13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x33.png"  xlink:type="simple"/></disp-formula><p>Considering Equations (2), (8) and (12), we can derive</p><disp-formula id="scirp.51420-formula62"><label>(14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x34.png"  xlink:type="simple"/></disp-formula><p>Next, based on X<sub>i</sub> &gt; 0 (Equation (5)), the expenditure distribution rate from Agent i to Agent j is defined as</p><disp-formula id="scirp.51420-formula63"><label>(15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x35.png"  xlink:type="simple"/></disp-formula><p>In short, the expenditure distribution rate refers to a percentage of the separate transfer in expenditure.</p><p>By Equations (1), (4) and (5), the range of the expenditure distribution rate is limited to</p><disp-formula id="scirp.51420-formula64"><label>(16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x36.png"  xlink:type="simple"/></disp-formula><p>Moreover, considering Equations (1) and (15), we can see that</p><disp-formula id="scirp.51420-formula65"><label>(17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x37.png"  xlink:type="simple"/></disp-formula><p>Considering Equations (14) and (15), we can derive</p><disp-formula id="scirp.51420-formula66"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x38.png"  xlink:type="simple"/></disp-formula><p>We collect this formula from k = 1 to n and regard them as a system of simultaneous equations in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x39.png" xlink:type="simple"/></inline-formula>. It is the money circulation equation.</p><p>Let E be a unit matrix, and x be a column vector with the ith element equal to X<sub>i</sub>, and ψ be a column vector with the hth element equal to Ψ<sub>h</sub>, and Θ be a diagonal square matrix with the hth diagonal element equal to θ<sub>h</sub>, and μ be a square matrix with the (i, j)th element equal to μ<sub>ji</sub>. Then, the money circulation equation can be denoted as</p><disp-formula id="scirp.51420-formula67"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x40.png"  xlink:type="simple"/></disp-formula><p>Moreover, let p<sub>ih</sub> be the (i, h)th element of the inverse of E − Θμ. The unique solution of the money circulation equation can be expressed as</p><disp-formula id="scirp.51420-formula68"><label>(18)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x41.png"  xlink:type="simple"/></disp-formula><p>p<sub>ih</sub> can be calculated from the expenditure rate and the distribution rate of all agents. Therefore, if the money circulation equation has a unique solution, each expenditure quantity can be calculated from the expenditure rate, the distribution rate and the beginning money.</p><p>Note that, Θμ is a non-negative matrix because θ<sub>i</sub>μ<sub>ji</sub> ≥ 0 from Equations (13) and (16). Hence, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x42.png" xlink:type="simple"/></inline-formula>is a Z-matrix, which is defined as a square matrix in which the non-diagonal elements are all non-positive. Moreover, we can obtain <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x43.png" xlink:type="simple"/></inline-formula> from Equations (6) and (13). Considering this with Equation (5), we find that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x44.png" xlink:type="simple"/></inline-formula> ≥ 0 where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x45.png" xlink:type="simple"/></inline-formula> is satisfied. If this type of matrix is non-singular, p<sub>ih</sub>, which is an element of the inverse of E − Θμ, has the following peculiarities.<sup>6</sup></p><p>p<sub>ih</sub> is non-negative generally. Considering this with Equation (13), an increase of the beginning money does not decrease expenditure unless it causes the variation of the expenditure rate or the distribution rate.</p><p>In particular, p<sub>ii</sub> is 1 or more. Considering this with Equation (13), if one unit of the beginning money of a certain agent increases, their own expenditure increases equal to the expenditure rate or more unless it causes a variation of the expenditure rate or the distribution rate.</p><p>Now, using Equations (15) and (18),</p><disp-formula id="scirp.51420-formula69"><label>(19)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x46.png"  xlink:type="simple"/></disp-formula><p>is derived. Each separate transfer quantity can be also calculated from the expenditure rate, the distribution rate and the beginning money.</p><p>Moreover, due to Equations (2) and (19),</p><disp-formula id="scirp.51420-formula70"><label>(20)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x47.png"  xlink:type="simple"/></disp-formula><p>is derived. Each revenue quantity can also be calculated from the expenditure rate, the distribution rate and the beginning money.</p><p>Furthermore, because of Equations (8), (18) and (20),</p><disp-formula id="scirp.51420-formula71"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x48.png"  xlink:type="simple"/></disp-formula><p>is derived. Each end money quantity can also be calculated from the expenditure rate, the distribution rate and the beginning money.</p><p>Thus, if the money circulation equation has a unique solution, we can calculate all of the quantities of expenditure, separate transfer, revenue and the end money from the quantity of the beginning money with the help of the expenditure rate and the expenditure distribution rate.</p></sec><sec id="s3"><title>3. Solvability Condition of the Money Circulation Equation</title><p>If the money circulation equation has a unique solution, the amount of money which is expended, received as revenue, and included in the end money can be calculated. However, if it does not have a unique solution, we cannot execute such calculations naturally. The effectiveness of the money circulation equation depends on the solvability of the equation. Hence, we will look for a solvability condition for it.</p><p>As we confirmed in the preceding section, the money circulation equation is denoted as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x49.png" xlink:type="simple"/></inline-formula>. This set of simultaneous equations has a unique solution if and only if E − Θμ is non-singular.</p><p>We also confirmed in the preceding section that E − Θμ is a Z-matrix which satisfies <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x50.png" xlink:type="simple"/></inline-formula> where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x51.png" xlink:type="simple"/></inline-formula>. There exists the following necessary and sufficient condition for non-singularity of E − Θμ.</p><p>Let F be a subset of the relevant society N which is not empty and G be the complement of F if F is a proper subset. The condition is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x52.png" xlink:type="simple"/></inline-formula> such that θ<sub>k</sub>Ψ<sub>k</sub> &gt; 0 or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x53.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x54.png" xlink:type="simple"/></inline-formula>such that −θ<sub>k</sub>μ<sub>ik</sub> &lt; 0 for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x55.png" xlink:type="simple"/></inline-formula>.<sup>7</sup> Considering Equations (5), (13) and (15), a solvability condition can be rewritten as follows.</p><disp-formula id="scirp.51420-formula72"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x56.png"  xlink:type="simple"/></disp-formula><p><sup>6</sup>Cf. Theorems 1.4 and 3.6 in Miura [<xref ref-type="bibr" rid="scirp.51420-ref7">7</xref>] . E − Θμ is an NPZ-matrix called in Miura [<xref ref-type="bibr" rid="scirp.51420-ref7">7</xref>] .</p><p><sup>7</sup>Cf. Theorem 3.12 in Miura [<xref ref-type="bibr" rid="scirp.51420-ref7">7</xref>] . The prototype of this condition was first shown in Beauwens [<xref ref-type="bibr" rid="scirp.51420-ref8">8</xref>] and Neumann [<xref ref-type="bibr" rid="scirp.51420-ref9">9</xref>] .</p><p><sup>8</sup>In the case F = N, this condition is merely ∃k<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x57.png" xlink:type="simple"/></inline-formula>F such that Ψ<sub>k</sub> &gt; 0.</p><p>Theorem 3.1. Let F be a subset of the relevant society N which is not empty and G be the complement of F if F is a proper subset of N. The money circulation equation has a unique solution if and only if ∃k ∈ F such that Ψ<sub>k</sub> &gt; 0 or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x58.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x59.png" xlink:type="simple"/></inline-formula>such that Z<sub>ik</sub> &gt; 0 for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x60.png" xlink:type="simple"/></inline-formula>.<sup>8</sup></p><p>Moreover, there exists another solvability condition. In order to show it, we prove the following theorem.</p><p>Theorem 3.2. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x61.png" xlink:type="simple"/></inline-formula>such that Ψ<sub>k</sub> &gt; 0 or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x62.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x63.png" xlink:type="simple"/></inline-formula>such that Z<sub>ik</sub> &gt; 0 for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x64.png" xlink:type="simple"/></inline-formula> is equivalent to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x65.png" xlink:type="simple"/></inline-formula> such that Ω<sub>k</sub> &gt; 0 or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x66.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x67.png" xlink:type="simple"/></inline-formula>such that Z<sub>kj</sub> &gt; 0 for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x68.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Considering Ψ<sub>k</sub> ≥ 0 (Equation (6)) and Z<sub>i</sub><sub>k</sub> ≥ 0 (Equation (4)), <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x69.png" xlink:type="simple"/></inline-formula>such that Ψ<sub>k</sub> &gt; 0 or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x70.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x71.png" xlink:type="simple"/></inline-formula>such that Z<sub>ik</sub> &gt; 0 if and only if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x72.png" xlink:type="simple"/></inline-formula>. By the law of openness equality of Set F (Equation (10)), this is equivalent to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x73.png" xlink:type="simple"/></inline-formula>. Considering Ω<sub>k</sub> ≥ 0 (Equation (6)) and Z<sub>kj</sub> ≥ 0</p><p>(Equation (4)), this is equivalent to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x74.png" xlink:type="simple"/></inline-formula> such that Ω<sub>k</sub> &gt; 0 or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x75.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x76.png" xlink:type="simple"/></inline-formula>such that Z<sub>kj</sub> &gt; 0. [Q. E. D.]</p><p>From Theorems 3.1 and 3.2, the following solvability condition of the money circulation equation is derived.</p><p>Theorem 3.3. Let F be a subset of the relevant society N which is not empty and G be the complement of F if F is a proper subset of N. The money circulation equation has a unique solution if and only if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x77.png" xlink:type="simple"/></inline-formula> such that Ω<sub>k</sub> &gt; 0 or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x78.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x79.png" xlink:type="simple"/></inline-formula>such that Z<sub>kj</sub> &gt; 0 for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x80.png" xlink:type="simple"/></inline-formula>.<sup>9</sup></p><p>We will interpret two solvability conditions shown in Theorems 3.1 and 3.3.</p><p>“<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x81.png" xlink:type="simple"/></inline-formula>such that Ψ<sub>k</sub> &gt; 0” expresses the fact that money enters a part of the relevant society from the outside of the relevant space-time. Moreover, “<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x82.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x83.png" xlink:type="simple"/></inline-formula>such that Z<sub>ik</sub> &gt; 0” expresses the fact that money enters there from the space-time which is the outside of the part but the inside of the relevant space-time. Thus, the solvability condition in Theorem 3.1 refers to the fact that money in each part of the relevant society enters from its spatio-temporal outside.</p><p>On the other hand, “<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x84.png" xlink:type="simple"/></inline-formula>such that Ω<sub>k</sub> &gt; 0” expresses the fact that money exits a part of the relevant society to the outside of the relevant space-time. Moreover, “<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x85.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x86.png" xlink:type="simple"/></inline-formula>such that Z<sub>kj</sub> &gt; 0” expresses the fact that money exits there to the space-time which is the outside of the part but the inside of the relevant space-time. Thus, a solvability condition in Theorem 3.3 refers to the fact that money in each part of the relevant society exits to its spatio-temporal outside.</p><p>Both conditions express the fact that each part of the relevant society is open to its outside. The former expresses the openness for the source direction and the latter for the result direction. Accordingly, Theorems 3.1 and 3.3 insist that the money circulation equation has a unique solution if and only if each part of the relevant society is open to its outside. We call these conditions the space-time openness conditions of the money circulation structure. These conditions seem to be relevant to the bounded confidence condition in the literature of social opinion evolution.<sup>10</sup></p><p>Then, is the openness condition always true? Directly, it is not self-evident. However, the space-time openness is always true under an ordinary premise about time. In order to clarify this, we will examine the temporal structure of a monetary economy.</p><p>We divide the relevant term into several subterms. Dividing it into t subterms, we denote the relevant term by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x87.png" xlink:type="simple"/></inline-formula>. However, we set the index of subterms such that a smaller index corresponds to an earlier subterm and a larger index corresponds to a later subterm.</p><disp-formula id="scirp.51420-formula73"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x88.png"  xlink:type="simple"/></disp-formula><p><sup>9</sup>In the case F = N, this condition is merely ∃k<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x89.png" xlink:type="simple"/></inline-formula>F such that Ω<sub>k</sub> &gt; 0.</p><p><sup>10</sup>The recent works of this topic are Varshney [<xref ref-type="bibr" rid="scirp.51420-ref10">10</xref>] , Shang [<xref ref-type="bibr" rid="scirp.51420-ref11">11</xref>] , Shang [<xref ref-type="bibr" rid="scirp.51420-ref12">12</xref>] .</p><p>Let X<sub>i</sub><sub>(u)</sub> be the expenditure quantity of Agent i in Subterm u, and Y<sub>j</sub><sub>(u)</sub> be the revenue quantity of Agent j in Subterm u, and Z<sub>ij</sub><sub>(u)</sub> be the separate transfer quantity from Agent i to Agent j in Subterm u.</p><p>The next relations exist between the whole quantities in the relevant term and separate quantities in each subterm.</p><disp-formula id="scirp.51420-formula74"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x90.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.51420-formula75"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x91.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.51420-formula76"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x92.png"  xlink:type="simple"/></disp-formula><p>Expenditure in Subterm u is defined as transferring money within Subterm u. Moreover, revenue in Subterm u is defined as money being transferred into Subterm u. Therefore, the next relations are satisfied in Subterm u.</p><disp-formula id="scirp.51420-formula77"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x93.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.51420-formula78"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x94.png"  xlink:type="simple"/></disp-formula><p>The transfer table in Subterm u is as follows.</p><p>From this transfer table, we obtain</p><disp-formula id="scirp.51420-formula79"><label>(21)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x95.png"  xlink:type="simple"/></disp-formula><p>That is, the sum of revenues and the sum of expenditures in each subterm are equal. Although we have already obtained the law of transfer equality in the relevant term (Equation (3)), the same law is also satisfied in each subterm.</p><p>Further, as per Equation (4), each expenditure, revenue and separate transfer in each subterm is non-negative by their economic meaning.</p><disp-formula id="scirp.51420-formula80"><label>(22)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x96.png"  xlink:type="simple"/></disp-formula><p>Then, let ρ<sub>k</sub><sub>(pq)</sub> be the circular disposal quantity which Agent k disposed from revenue in Subterm p to expenditure in Subterm q. Let α<sub>k</sub><sub>(q)</sub> be the disposal quantity which Agent k disposed from the beginning money to expenditure in Subterm q. Let β<sub>k</sub><sub>(p)</sub> be the quantity which Agent k disposed from revenue in Subterm p to the end money.</p><p>As per Equation (7), they are all non-negative.</p><disp-formula id="scirp.51420-formula81"><label>(23)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x97.png"  xlink:type="simple"/></disp-formula><p>The disposal table of Agent k considering term division is as follows.</p><p>Note that, based on our common sense about time, beings in the future cannot travel into the past. Moreover, it is usually thought that the same being cannot exist in different places at exactly the same time. Considering these, beings can move only from the past to the future.</p><p>If we apply a similar principle to money transfer, money cannot be disposed from a future revenue to a past expenditure. Moreover, money received at a certain time cannot be expended at exactly the same time. In other words, money can be disposed from revenue of the past to expenditure of the future. We call this the disposal irreversibility principle.</p><p>We now think about the relationship between the disposal irreversibility principle and circular disposal quantities. Based on the disposal irreversibility principle, circular quantities from the future to the past are naturally zeroes. Then, we think about the sign of simultaneous circular quantities. Based on Equation (23), it is always non-negative. However, we cannot judge whether it is positive or zero generally. For example, if subterms are divided monthly, revenue in a certain month may be or may not be expended in the same month. If they are divided weekly or daily, a similar situation occurs.</p><p>However, the revenue time and the expenditure time of one disposal are not exactly the same time by the disposal irreversibility principle. Hence, we can divide the relevant term between both times. Then, they belong to different subterms. If the number of disposals in the relevant space-time is finite m,<sup>11</sup> each revenue time and expenditure time of all disposals belong to different subterms by at most a finite m times division. If we define a subterm whose simultaneous circular quantities are zeroes for any agent as a basic-term, this fact means that the relevant term can always be divided into finite basic-terms.</p><p>These conclusions are summarized as follows.</p><p>Theorem 3.4. Under the premise of the disposal irreversibility principle, ρ<sub>k</sub><sub>(pq)</sub> = 0 holds for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x98.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x99.png" xlink:type="simple"/></inline-formula>. Furthermore, the relevant term can always be divided into a finite number of basic-terms where a basic-term refers to a Subterm u such that ρ<sub>k</sub><sub>(uu)</sub> = 0 for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x100.png" xlink:type="simple"/></inline-formula>.</p><p>Based on Theorem 3.4, we can prove that the space-time openness condition is guaranteed by the disposal irreversibility principle.</p><p>Theorem 3.5. Under the premise of the disposal irreversibility principle, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x101.png" xlink:type="simple"/></inline-formula>such that Ψ<sub>k</sub> &gt; 0 or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x102.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x103.png" xlink:type="simple"/></inline-formula>such that Z<sub>ik</sub> &gt; 0 for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x104.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. It is enough to prove <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x105.png" xlink:type="simple"/></inline-formula> such that Ψ<sub>k</sub> &gt; 0 if Z<sub>ij</sub> = 0 for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x106.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x107.png" xlink:type="simple"/></inline-formula>. Based on Theorem 3.4, we divide the relevant term into finite basic-terms. Due to Equation (5), all agents expend in some basic-terms. Let Agent <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x108.png" xlink:type="simple"/></inline-formula> be the agent who expends first in F. Let Subterm u be a basic-term when Agent k expends first.<sup>12</sup></p><p>First, we will prove the case u is not the first or the last basic-term.</p><p>Let Subterm− be the set of basic-terms which are before Subterm u, and Subterm+ be the set of basic-terms which are after Subterm u. In this case, the disposal table of Agent k is as follows.</p><p>By Theorem 3.4, ρ<sub>k</sub><sub>(u−)</sub> = 0, ρ<sub>k</sub><sub>(+−)</sub> = 0 and ρ<sub>k</sub><sub>(+u)</sub> = 0 are satisfied. Moreover, ρ<sub>k</sub><sub>(uu)</sub> = 0 is also satisfied because Subterm u is a basic-term, and X<sub>k</sub><sub>(u)</sub> &gt; 0 because u is defined as the first basic-term whose expenditure of k is positive. We put these facts in the disposal table.</p><p>Next, we will prove Y<sub>k</sub><sub>(−)</sub> = 0 by dividing it into two cases.</p><p>1) The case F = N.</p><p>Subterm u is the first basic-term whose expenditure in F = N is positive and Subterm− is before u. Thus,</p><p>∀X<sub>i</sub><sub>(−)</sub> = 0. Hence, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x109.png" xlink:type="simple"/></inline-formula>from the law of transfer equality (Equation (21)). Considering Equation (22),</p><p>∀Y<sub>j</sub><sub>(−)</sub> = 0 is derived. Therefore, Y<sub>k</sub><sub>(−)</sub> = 0.</p><p>2) The case<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x111.png" xlink:type="simple"/></inline-formula>.</p><p>We write the transfer table of Subterm− divided into F and G.</p><p>Subterm u is the first basic-term whose expenditure in F is positive and Subterm− is before u. Hence,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x120.png" xlink:type="simple"/></inline-formula>. Moreover, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x121.png" xlink:type="simple"/></inline-formula>from the premise Z<sub>ij</sub> = 0 for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x122.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x123.png" xlink:type="simple"/></inline-formula>. We put these facts</p><p>in the preceding transfer table.</p><p>Here, we focus on the row of Set F. Since all separate transfers are non-negative (Equation (22)), the elements of this row are all zeroes. We put these facts in the preceding transfer table.</p><p>Next, we focus on the column of Set F. We can see that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x134.png" xlink:type="simple"/></inline-formula>. As k belongs to F, Y<sub>k</sub><sub>(−)</sub> = 0 is derived.</p><p>Now, we have confirmed that Y<sub>k</sub><sub>(−)</sub> = 0 is satisfied generally. We add this fact to the preceding disposal table of k to obtain the following.</p><p>Now, we focus on the row of Subterm−. Since all disposal quantities are non-negative by Equation (23), all elements of this row are zeroes. We add these facts to the preceding disposal table and obtain the following.</p><p>Next, we focus on the column of Subterm u. We can see that α<sub>k</sub><sub>(u)</sub> &gt; 0. We add this fact to the preceding disposal table and obtain the following.</p><p>Then, we focus on the row of the beginning money. As all disposal quantities are non-negative, we obtain Ψ<sub>k</sub> &gt; 0. The proof in the case u is not the first or the last basic-term is complete.</p><p>In the case u is the first basic-term; you should assume the row and column of Subterm? do not exist. In the case u is the last basic-term; you should assume the row and column of Subterm+ do not exist. Then, imitating the previous proof, you can easily prove Ψ<sub>k</sub> &gt; 0. [Q. E. D.]</p><p>From Theorems 3.1 and 3.5, we obtain the following theorem about the solvability of the money circulation equation.</p><p>Theorem 3.6. Under the premise of the disposal irreversibility principle, the money circulation equation has a unique solution.</p><p>If you compare this paper with Miura [<xref ref-type="bibr" rid="scirp.51420-ref13">13</xref>] , you will notice that the proof for the solvability of the money circulation equation is similar to that of the economic input-output equation. However, the details are different.</p><p>First, each equation is formalized as the positions of the sources and the results are opposite. Thus, both proofs that the disposal irreversibility principle causes the space-time openness are also opposite each other.</p><p>Second, each economic structure which is the background of each equation has a different peculiarity about the relationship between separate quantities and the gross quantity. We can add up only regarding the result in the input-output structure, but we can add up regarding both the source and the result in the money circulation structure. Therefore, by the disposal irreversibility principle, the former structure is open only to the result, whereas the latter structure is open to both the source and the result.</p><p>However, both equations surely have same peculiarities that a time irreversible disposal guarantees their solvability. Both solvability conditions teach us the importance of considering time irreversibility when we think about economic circulations.</p></sec><sec id="s4"><title>4. Comparison with Augustinovics’ Money Circulation Equation</title><p>In fact, the equation which resembles the money circulation equation in this paper was already shown by M&#225;ria Augustinovics, who is a Hungarian economist. Her work may be affected by the economic input-output theory invented by Wassily Leontief.<sup>13</sup></p><p>When she disclosed this equation, Hungary was still under a planned economy, and the central bank of Hungary had a monopolistic control of credit and money circulation. Under such a situation, while working at Hungarian Planning Office, she showed her money circulation equation in order to support an economic planning.<sup>14 </sup>This paper will introduce it. However, we use different expressions from her in part.</p><p>We decide that the relevant society consists of n civilian agents who possess money. We denote the relevant society by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x135.png" xlink:type="simple"/></inline-formula>. The receipt of each agent consists of real receipts from civilian agents and credits from the central bank.</p><p>Let b<sub>x</sub> be the gross receipt of Agent x, and q<sub>yx</sub> be the separate transfer through civilian trading from Agent y to Agent x, and h<sub>x</sub> be the credit of Agent x supplied from the bank. The following relation is satisfied between them.</p><disp-formula id="scirp.51420-formula82"><label>(24)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x137.png"  xlink:type="simple"/></disp-formula><p>Here, we define k<sub>yx</sub> as</p><disp-formula id="scirp.51420-formula83"><label>(25)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x138.png"  xlink:type="simple"/></disp-formula><p>Considering Equations (24) and (25), we can derive</p><disp-formula id="scirp.51420-formula84"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x139.png"  xlink:type="simple"/></disp-formula><p>We collect this formula from x = 1 to n and regard them as a system of simultaneous equations in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x140.png" xlink:type="simple"/></inline-formula>. It is Augustinovics’ money circulation equation.</p><p>Let E be a unit matrix, and b be the column vector with the yth element equal to b<sub>y</sub>, and h be a column vector with the xth element equal to h<sub>x</sub>, and K be a square matrix with the (x, y)th element equal to k<sub>yx</sub>. Then, Augustinovics’ money circulation equation can be denoted as (E − K)b = h.</p><p>Moreover, let r<sub>yx</sub> be the (y, x)th element of the inverse of E − K. The solution of Augustinovics’ equation can</p><p>be denoted as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x141.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x142.png" xlink:type="simple"/></inline-formula>. Further, considering Equation (25), we can derive</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x143.png" xlink:type="simple"/></inline-formula>for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x144.png" xlink:type="simple"/></inline-formula>. Since r<sub>yx</sub> can be calculated from k<sub>ij</sub> of all civilian agents, the gross receipt</p><p>of each agent and each separate transfer can be calculated from h<sub>i</sub> and k<sub>ij</sub> of all agents.</p><p>Many readers may feel that Augustinovics’ equation resembles our money circulation equation. However, they do not share every point. We will examine the commonalities and differences between the two equations.</p><p>What does each concept of Augustinovics’ equation correspond to in our equation?</p><p>As we confirmed before, h<sub>i</sub> expresses the credit supplied from the bank. If most money consists of credit, it can be interpreted that h<sub>i</sub> corresponds to the beginning money (Ψ<sub>i</sub>) in our equation.</p><p>If we interpret our transfer as restricted to the civilian trading, q<sub>ij</sub> corresponds to the separate transfer (Z<sub>ij</sub>) in</p><p>our equation. Thus, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x145.png" xlink:type="simple"/></inline-formula>corresponds to expenditure (X<sub>i</sub>) and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x145.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x146.png" xlink:type="simple"/></inline-formula> corresponds to revenue (Y<sub>j</sub>). There-</p><p>fore, b<sub>i</sub> corresponds to the gross source (Ψ<sub>i</sub> + Y<sub>i</sub>).</p><p>The two equations are common at the point to be calculated from the beginning money, but they differ at the point that Augustinovics’ equation calculates the gross source where our equation calculates expenditure.</p><p>Then, what does k<sub>ij</sub>, which is the (j, i)th coefficient of Augustinovics’ equation, correspond to? Based on Equation (25), it corresponds to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x147.png" xlink:type="simple"/></inline-formula> directly. By the law of gross disposal (Equation (8)), it can be rewritten to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x148.png" xlink:type="simple"/></inline-formula>. Further, we can transform it as follows.</p><disp-formula id="scirp.51420-formula85"><label>(26)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x149.png"  xlink:type="simple"/></disp-formula><p>That is, k<sub>ij</sub> corresponds to the product of the expenditure rate and the expenditure distribution rate. In other words, it is the separate expenditure rate. On the other hand, the (j, i)th coefficient of our equation is θ<sub>j</sub>μ<sub>ij</sub>. Both coefficients are common at the point of the product of the expenditure rate and the distribution rate. However, their subscripts of the expenditure rate are different. It is appropriate that the coefficient of Augustinovics’ equation is called a separate expenditure rate, but it is not appropriate that the coefficient of our equation is called like that.</p><p>The latter can be transformed to</p><disp-formula id="scirp.51420-formula86"><graphic  xlink:href="http://html.scirp.org/file/1-2230067x150.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x151.png" xlink:type="simple"/></inline-formula>should not be called the separate expenditure rate because Z<sub>ij</sub> is not a part of X<sub>j</sub> but of X<sub>i</sub>. Since X<sub>j</sub> + Ω<sub>j</sub> = Ψ<sub>j</sub> + Y<sub>j</sub> holds by the law of gross disposal (Equation (8)), <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x152.png" xlink:type="simple"/></inline-formula>is equal to</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x153.png" xlink:type="simple"/></inline-formula>. As Z<sub>ij</sub> is a part of Y<sub>j</sub>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x154.png" xlink:type="simple"/></inline-formula>should be called the separate revenue rate. In addition, X<sub>j</sub>/X<sub>i</sub> is included in the above expression. Like this, the coefficient of our equation is different from that of Augustinovics’ equation.</p><p>Eventually, Augustinovics’ equation is a method which calculates the gross source from the beginning money and the separate expenditure rate, whereas our equation calculates expenditure from the beginning money, the expenditure rate and the expenditure distribution rate.</p><p>The two equations are not the same exactly, but they are certainly similar. Therefore, Augustinovics is qualified to be called a pioneer of our monetary theory.</p></sec><sec id="s5"><title>5. Concluding Comments</title><p>Although Augustinovics’ money circulation equation resembles our money circulation equation, we have given new and distinct findings about the solvability of the equation.</p><p>It is certain that descriptions about the solvability exist in Augustinovics’ paper. She said:</p><p>“If the j-th holder of money raises one unit of credit from the bank and spends it according to his own structure of outlays, the money thus created flows from him to the other money-holders… For the others, receipts are generated and they, too, spend them according to their own structure of outlays. The money, therefore, will be diffused again… In this manner receipts are again generated for the most varied holders of money and they again spend them… The result of this endless chain is, however, finite as in each of the ‘steps’ some money will leave the circulation… Thus, in each of the steps, somewhat less money will circulate than in the preceding one… The sum of the series of steps tends to… a certain upper limit. It is just this upper limit that is contained in matrix R.”<sup>15</sup></p><p>This description evokes the space-time openness condition, which is a solvability condition of our money circulation equation. Though she did not clearly show a mathematical background of her description, it appears to be based on a convergence condition of an infinite series. As mentioned in the preceding section, Augustinovics’ equation is denoted<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x155.png" xlink:type="simple"/></inline-formula>. The inverse of E − K exists if and only if an infinite series <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x155.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x156.png" xlink:type="simple"/></inline-formula> is convergent, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x155.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x156.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x157.png" xlink:type="simple"/></inline-formula>.<sup>16</sup> However, since the author thinks that the infinite series expression is economically worthless,<sup>17</sup> his opinion is that using the infinite series for the solvability of the money circulation equation is unfavorable from this perspective.</p><p>In connection with the solvability, Augustinovics also said:</p><p>“The elements of K and the sum of the columns are usually smaller than unity.”<sup>18</sup></p><p>It appears she intended to describe that all column sums of K are less than unity. This is certainly a sufficient condition for the solvability of Augustinovics’ money circulation equation. Based on our interpretation of her equation, we explain this fact.</p><p>k<sub>ij</sub> = θ<sub>i</sub>μ<sub>ij</sub> holds by Equation (26). Therefore, K is a non-negative matrix due to Equations (13) and (16). Further, we can derive</p><disp-formula id="scirp.51420-formula87"><label>(27)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2230067x158.png"  xlink:type="simple"/></disp-formula><p>from Equations (13) and (17). Since k<sub>ij</sub> = θ<sub>i</sub>μ<sub>ij</sub> is the (j, i)th element of K, Equation (27) means that all column sums of K are equal to or less than unity.</p><p>Then, if the condition that all column sums of K are less than unity is satisfied, E − K is non-singular as shown by Hermann Minkowski more than one hundred years ago.<sup>19</sup> This consequent means that Augustinovics’ equation has a unique solution.</p><p>However, the condition is not necessary for the solvability of her equation. The necessary and sufficient condition is that at least one column sum less than unity exists in any principal submatrix of K,<sup>20</sup> but Augustinovics did not show it.</p><p>On the other hand, this paper has shown a necessary and sufficient condition for the solvability of the money circulation equation. This is a novel contribution of this paper.</p><p>Moreover, Augustinovics did not discuss the relationship between the solvability and time irreversibility.</p><p>If we denote a subset of N as F, the necessary and sufficient solvability condition of Augustinovics’ equation</p><p>can be expressed as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x160.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x161.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x162.png" xlink:type="simple"/></inline-formula>. This condition is equivalent to</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x163.png" xlink:type="simple"/></inline-formula>such that θ<sub>i</sub> &lt; 1 or <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x164.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x165.png" xlink:type="simple"/></inline-formula>. If we denote the complement of F as G, the latter is equivalent to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x166.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x167.png" xlink:type="simple"/></inline-formula> because of Equation (17). Hence, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x168.png" xlink:type="simple"/></inline-formula>such that Ω<sub>i</sub> &gt; 0 or</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x169.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x169.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x170.png" xlink:type="simple"/></inline-formula>such that Z<sub>ij</sub> &gt; 0 for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x169.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2230067x171.png" xlink:type="simple"/></inline-formula> is derived as a necessary and sufficient solvability condition. That is, the space-time openness of all parts is also the solvability condition of her equation. Then, we can see that this condition is satisfied due to the disposal irreversibility principle by Theorems 3.2 and 3.5. That is, the solvability of her equation is guaranteed by time irreversibility.</p><p>This proof requires the recognition of the necessary and sufficient solvability condition. Since Augustinovics did not recognize the condition, it is reasonable that she could not show the proof.</p><p>On the other hand, this paper has proved that time irreversibility guarantees the solvability of the money circulation equation. By this proof, the money circulation equation has obtained a firm objective basis. This is also a novel contribution of this paper.</p><p>The proof, however, is similar to that of the solvability of the economic input-output equation which the author has stated in the preceding paper. Therefore, some may feel that this paper has not shown any exciting novel findings or inspiring ideas.</p><p>Nevertheless, the author thinks that this paper is highly significant because it provides the basis for some intended papers which the author will write in the near future. If you read them, you will notice the significance of this paper.</p></sec><sec id="s6"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.51420-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Newcomb, S. (1966) Principles of Political Economy. A. M. Kelley, New York.</mixed-citation></ref><ref id="scirp.51420-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Fisher, I. (1922) The Purchasing Power of Money. New and Revised Edition, the Macmillan Company, New York.</mixed-citation></ref><ref id="scirp.51420-ref3"><label>3</label><mixed-citation publication-type="book" xlink:type="simple">Deane, P. (1968) Petty, William. In: Sills, D.L., Ed., International Encyclopedia of the Social Science, Vol. 12, Crowell Collier and Macmillan, Inc., New York.</mixed-citation></ref><ref id="scirp.51420-ref4"><label>4</label><mixed-citation publication-type="book" xlink:type="simple">Roncaglia, A. (2008) Petty, William. In: Durlauf, S.N. and Blume, L.E., Eds., The New Palgrave Dictionary of Economics, 2nd Edition, Volume 6, Palgrave Macmillan, New York. http://dx.doi.org/10.1057/9780230226203.1278</mixed-citation></ref><ref id="scirp.51420-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Theocharis, R.D. (1983) Early Developments in Mathematical Economics. 2nd Edition, The Macmillan Press, London and Basingstoke.</mixed-citation></ref><ref id="scirp.51420-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Humphrey, T.M. (1984) Algebraic Quantity Equations before Fisher and Pigou. Economic Review, 13-22.  
https://www.richmondfed.org/publications/research/economic_review/1984/er700502.cfm</mixed-citation></ref><ref id="scirp.51420-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Miura, S. (2014) Non-Singularity Conditions for Two Z-Matrix Types. Advances in Linear Algebra &amp; Matrix Theory, 4, 109-119. http://dx.doi.org/10.4236/alamt.2014.42009</mixed-citation></ref><ref id="scirp.51420-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Beauwens, R. (1976) Semistrict Diagonal Dominance. SIAM Journal on Numerical Analysis, 13, 109-112.  
http://dx.doi.org/10.1137/0713013</mixed-citation></ref><ref id="scirp.51420-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Neumann, M. (1979) A Note on Generalizations of Strict Diagonal Dominance for Real Matrices. Linear Algebra and Its Applications, 26, 3-14. http://dx.doi.org/10.1016/0024-3795(79)90168-X</mixed-citation></ref><ref id="scirp.51420-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Varshney, K.R. (2013) Opinion Dynamics with Bounded Confidence in the Bayes Risk Error Divergence Sense. IEEE Conference on Acoustics, Speech and Signal Processing, Vancouver, 26-31 May 2013, 6600-6604.</mixed-citation></ref><ref id="scirp.51420-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Shang, Y.L. (2013) Deffuant Model with General Opinion Distributions: First Impression and Critical Confidence Bound. Complexity, 19, 38-49. http://dx.doi.org/10.1002/cplx.21465</mixed-citation></ref><ref id="scirp.51420-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Shang, Y.L. (2014) An Agent Based Model for Opinion Dynamics with Random Confidence Threshold. Communications in Nonlinear Science and Numerical Simulation, 19, 3766-3777. http://dx.doi.org/10.1016/j.cnsns.2014.03.033</mixed-citation></ref><ref id="scirp.51420-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Miura, S. (2014) Solvability of the Economic Input-Output Equation by Time Irreversibility. Advances in Linear Algebra &amp; Matrix Theory, 4, 143-155. http://dx.doi.org/10.4236/alamt.2014.43013</mixed-citation></ref><ref id="scirp.51420-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Augustinovics, M. (1965) A Model of Money-Circulation. Economics of Planning, 5, 44-57.  
http://dx.doi.org/10.1007/BF02424905</mixed-citation></ref><ref id="scirp.51420-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Leontief, W. and Brody, A. (1993) Money-Flow Computations. Economic Systems Research, 5, 225-233.  
http://dx.doi.org/10.1080/09535319300000019</mixed-citation></ref><ref id="scirp.51420-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Nikaido, H. (1968) Convex Structures and Economic Theory. Academic Press, Cambridge.</mixed-citation></ref><ref id="scirp.51420-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Berman, A. and Plemmons, R.J. (1979) Nonnegative Matrices in the Mathematical Sciences. Academic Press, Cambridge.</mixed-citation></ref><ref id="scirp.51420-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Varga, R.S. (2000) Matrix Iterative Analysis. 2nd Revised and Expanded Edition, Springer, Berlin.  
http://dx.doi.org/10.1007/978-3-642-05156-2</mixed-citation></ref><ref id="scirp.51420-ref19"><label>19</label><mixed-citation publication-type="other" xlink:type="simple">Plemmons, R.J. (1977) M-Matrix Characterizations. 1—Nonsingular M-Matrices. Linear Algebra and Its Applications, 18, 175-188. http://dx.doi.org/10.1016/0024-3795(77)90073-8</mixed-citation></ref></ref-list></back></article>