<p>For <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2024_810_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma ,\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo>,</mo> <mi>κ</mi> </mrow> </math></EquationSource> </InlineEquation> infinite cardinals with <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2024_810_Article_IEq2.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(\kappa \ge \sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>κ</mi> <mo>≥</mo> <mi>σ</mi> </mrow> </math></EquationSource> </InlineEquation>, we introduce the notion of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2024_810_Article_IEq3.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-matroids on <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2024_810_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>κ</mi> </math></EquationSource> </InlineEquation>. For <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2024_810_Article_IEq5.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma :=\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo>:</mo> <mo>=</mo> <mi>ω</mi> </mrow> </math></EquationSource> </InlineEquation>, the first infinite cardinal, the notion of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2024_810_Article_IEq6.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-matroid coincides with the notion of finitary matroid. One method for obtaining <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2024_810_Article_IEq7.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-structures is by adding special subsets of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2024_810_Article_IEq8.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>κ</mi> </math></EquationSource> </InlineEquation> of size <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2024_810_Article_IEq9.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\({\ge }\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>≥</mo> <mi>σ</mi> </mrow> </math></EquationSource> </InlineEquation> to the collection of independent sets of some already existing matroid structure which contains independent sets only of size <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2024_810_Article_IEq10.gif" Format="GIF" Height="11" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\({&lt;}\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>&lt;</mo> <mi>σ</mi> </mrow> </math></EquationSource> </InlineEquation>. We show that under some additional order property our newly obtained structure actually forms a matroid. Also we show that we can get <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2024_810_Article_IEq11.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-structures from any arbitrary matroid structure by considering its circuits. We give two characterizations of some matroid to be a <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2024_810_Article_IEq12.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-matroid, one in terms of circuit sizes and another by considering certain topology on <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2024_810_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mn>2</mn> <mi>κ</mi> </msup> </math></EquationSource> </InlineEquation>. Finally, we briefly discuss some results about matroid unions.</p>

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

A note on an extension of finitary matroids on regular cardinals

  • Kumardipta Bose

摘要

For \(\sigma ,\kappa \) σ , κ infinite cardinals with \(\kappa \ge \sigma \) κ σ , we introduce the notion of \(\sigma \) σ -matroids on \(\kappa \) κ . For \(\sigma :=\omega \) σ : = ω , the first infinite cardinal, the notion of \(\sigma \) σ -matroid coincides with the notion of finitary matroid. One method for obtaining \(\sigma \) σ -structures is by adding special subsets of \(\kappa \) κ of size \({\ge }\sigma \) σ to the collection of independent sets of some already existing matroid structure which contains independent sets only of size \({<}\sigma \) < σ . We show that under some additional order property our newly obtained structure actually forms a matroid. Also we show that we can get \(\sigma \) σ -structures from any arbitrary matroid structure by considering its circuits. We give two characterizations of some matroid to be a \(\sigma \) σ -matroid, one in terms of circuit sizes and another by considering certain topology on \(2^\kappa \) 2 κ . Finally, we briefly discuss some results about matroid unions.