<p>For the first time, a characterization is given of the circumstances under which an <i>n</i>-by-<i>n</i> matrix over a field has an <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_400_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(L\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>L</mi> </math></EquationSource> </InlineEquation>-<InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_400_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(U\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>U</mi> </math></EquationSource> </InlineEquation> factorization. This is in terms of a comparison of ranks of the leading <i>k</i>-by-<i>k</i> principal submatrix to the rank of the first <i>k</i> columns and first <i>k</i> rows. Known results about special types of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_400_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(L\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>L</mi> </math></EquationSource> </InlineEquation>-<InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_400_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(U\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>U</mi> </math></EquationSource> </InlineEquation> factorizations follow as do some new results about near <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_400_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(L\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>L</mi> </math></EquationSource> </InlineEquation>-<InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_400_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(U\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>U</mi> </math></EquationSource> </InlineEquation> factorization when a conventional <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_400_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(L\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>L</mi> </math></EquationSource> </InlineEquation>-<InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_400_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(U\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>U</mi> </math></EquationSource> </InlineEquation> factorization does not exist. The proof allows explicit construction of an <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_400_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(L\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>L</mi> </math></EquationSource> </InlineEquation>-<InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2024_400_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(U\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>U</mi> </math></EquationSource> </InlineEquation> factorization when one exists.</p>

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

Characterization of the existence of an \(L\)-\(U\) factorization

  • Charles R. Johnson,
  • Pavel Okunev

摘要

For the first time, a characterization is given of the circumstances under which an n-by-n matrix over a field has an \(L\) L - \(U\) U factorization. This is in terms of a comparison of ranks of the leading k-by-k principal submatrix to the rank of the first k columns and first k rows. Known results about special types of \(L\) L - \(U\) U factorizations follow as do some new results about near \(L\) L - \(U\) U factorization when a conventional \(L\) L - \(U\) U factorization does not exist. The proof allows explicit construction of an \(L\) L - \(U\) U factorization when one exists.