<p>We extend the (outer) measure <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10114_2025_3506_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma_{\cal{I}}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mi>γ</mi> <mrow> <mrow> <mi mathvariant="script">I</mi> </mrow> </mrow> </msub> </math></EquationSource> </InlineEquation> associated to an operator ideal <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10114_2025_3506_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{I}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">I</mi> </mrow> </math></EquationSource> </InlineEquation> to a measure <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10114_2025_3506_Article_IEq3.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma_{\frak{J}}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mi>γ</mi> <mrow> <mrow> <mi mathvariant="fraktur">J</mi> </mrow> </mrow> </msub> </math></EquationSource> </InlineEquation> for bounded bilinear operators. If <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10114_2025_3506_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{I}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">I</mi> </mrow> </math></EquationSource> </InlineEquation> is surjective and closed, and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10114_2025_3506_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frak{J}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="fraktur">J</mi> </mrow> </math></EquationSource> </InlineEquation> is the class of those bilinear operators such that <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10114_2025_3506_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma_{\frak{J}}(T)=0\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mi>γ</mi> <mrow> <mrow> <mi mathvariant="fraktur">J</mi> </mrow> </mrow> </msub> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </math></EquationSource> </InlineEquation>, we prove that <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10114_2025_3506_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frak{J}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="fraktur">J</mi> </mrow> </math></EquationSource> </InlineEquation> coincides with the composition bideal <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10114_2025_3506_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{I}\circ\frak{B}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">I</mi> </mrow> <mo>∘</mo> <mrow> <mi mathvariant="fraktur">B</mi> </mrow> </math></EquationSource> </InlineEquation>. If <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10114_2025_3506_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{I}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">I</mi> </mrow> </math></EquationSource> </InlineEquation> satisfies the Σ<sub><i>r</i></sub>-condition, we establish a simple necessary and sufficient condition for an interpolated operator by the real method to belong to <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10114_2025_3506_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frak{J}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="fraktur">J</mi> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, if in addition <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10114_2025_3506_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{I}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">I</mi> </mrow> </math></EquationSource> </InlineEquation> is symmetric, we prove a formula for the measure <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10114_2025_3506_Article_IEq12.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma_{\frak{J}}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mi>γ</mi> <mrow> <mrow> <mi mathvariant="fraktur">J</mi> </mrow> </mrow> </msub> </math></EquationSource> </InlineEquation> of an operator interpolated by the real method. In particular, results apply to weakly compact operators.</p>

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

Interpolation of Closed Ideals of Bilinear Operators

  • Fernando Cobos,
  • Luz M. Fernández-Cabrera,
  • Antón Martínez

摘要

We extend the (outer) measure \(\gamma_{\cal{I}}\) γ I associated to an operator ideal \(\cal{I}\) I to a measure \(\gamma_{\frak{J}}\) γ J for bounded bilinear operators. If \(\cal{I}\) I is surjective and closed, and \(\frak{J}\) J is the class of those bilinear operators such that \(\gamma_{\frak{J}}(T)=0\) γ J ( T ) = 0 , we prove that \(\frak{J}\) J coincides with the composition bideal \(\cal{I}\circ\frak{B}\) I B . If \(\cal{I}\) I satisfies the Σr-condition, we establish a simple necessary and sufficient condition for an interpolated operator by the real method to belong to \(\frak{J}\) J . Furthermore, if in addition \(\cal{I}\) I is symmetric, we prove a formula for the measure \(\gamma_{\frak{J}}\) γ J of an operator interpolated by the real method. In particular, results apply to weakly compact operators.