<p>In 1953 von Neumann proved that every <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10_2024_1141_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\times n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>×</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation> doubly substochastic matrix <i>A</i> can be <i>increased</i> to a doubly stochastic matrix, i.e., there is an <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10_2024_1141_Article_IEq2.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\times n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>×</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation> doubly stochastic matrix <i>D</i> for which <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10_2024_1141_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\le D.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>≤</mo> <mi>D</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> In this paper, we will discuss this result for a class of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10_2024_1141_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(I\times I\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>I</mi> <mo>×</mo> <mi>I</mi> </mrow> </math></EquationSource> </InlineEquation> doubly substochastic matrices. In fact, by a constructive method, we find an equivalent condition for the existence of a doubly stochastic matrix <i>D</i> which satisfies <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10_2024_1141_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\le D,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>≤</mo> <mi>D</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10_2024_1141_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\in {\mathcal {A}},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>∈</mo> <mi mathvariant="script">A</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10_2024_1141_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal { A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> is assumed to be a class of (finite or infinite) doubly substochastic matrices. Such a matrix <i>D</i> is called a cover of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10_2024_1141_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {A}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> The uniqueness of the cover will also be discussed. Then we obtain an application of this concept to a system of (infinite) linear equations and inequalities.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A generalization of a theorem of von Neumann

  • Ali Bayati Eshkaftaki

摘要

In 1953 von Neumann proved that every \(n\times n\) n × n doubly substochastic matrix A can be increased to a doubly stochastic matrix, i.e., there is an \(n\times n\) n × n doubly stochastic matrix D for which \(A\le D.\) A D . In this paper, we will discuss this result for a class of \(I\times I\) I × I doubly substochastic matrices. In fact, by a constructive method, we find an equivalent condition for the existence of a doubly stochastic matrix D which satisfies \(A\le D,\) A D , for all \(A\in {\mathcal {A}},\) A A , where \({\mathcal { A}}\) A is assumed to be a class of (finite or infinite) doubly substochastic matrices. Such a matrix D is called a cover of \(\mathcal {A}.\) A . The uniqueness of the cover will also be discussed. Then we obtain an application of this concept to a system of (infinite) linear equations and inequalities.