<p>Let <i>A</i> be a Banach space, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(p&gt;1,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>1</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="106" /> </InlineMediaObject> <EquationSource Format="TEX">\(1/p+1/q=1.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mi>p</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mi>q</mi> <mo>=</mo> <mn>1</mn> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> If a sequence <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{a}=(a_i)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">a</mi> <mo>=</mo> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in <i>A</i> has a finite <i>p</i>-sum, then the operator <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda _\textbf{a}:\ell ^q\rightarrow A,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Λ</mi> <mi mathvariant="bold">a</mi> </msub> <mo>:</mo> <msup> <mi>ℓ</mi> <mi>q</mi> </msup> <mo stretchy="false">→</mo> <mi>A</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> defined by <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="137" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda _\textbf{a}(\beta )=\sum _{i=1}^\infty \beta _i a_i,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Λ</mi> <mi mathvariant="bold">a</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>β</mi> <mi>i</mi> </msub> <msub> <mi>a</mi> <mi>i</mi> </msub> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="101" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta =(\beta _i)\in \ell ^q,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>β</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mi>ℓ</mi> <mi>q</mi> </msup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> is compact. We present a characterization of compact operators <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda :\ell ^q\rightarrow A,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Λ</mi> <mo>:</mo> <msup> <mi>ℓ</mi> <mi>q</mi> </msup> <mo stretchy="false">→</mo> <mi>A</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and prove that <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Λ</mi> </math></EquationSource> </InlineEquation> is compact if and only if <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq12.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda =\Lambda _\textbf{a},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Λ</mi> <mo>=</mo> <msub> <mi mathvariant="normal">Λ</mi> <mi mathvariant="bold">a</mi> </msub> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> for some sequence <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{a}=(a_i)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">a</mi> <mo>=</mo> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in <i>A</i> with <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="200" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left\{ \left( \phi (a_i) \right) : \phi \in A^*, \Vert \phi \Vert \leqslant 1 \right\} \)</EquationSource> <EquationSource Format="MATHML"><math> <mfenced close="}" open="{"> <mfenced close=")" open="("> <mi>ϕ</mi> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mfenced> <mo>:</mo> <mi>ϕ</mi> <mo>∈</mo> <msup> <mi>A</mi> <mo>∗</mo> </msup> <mo>,</mo> <mrow> <mo stretchy="false">‖</mo> <mi>ϕ</mi> <mo stretchy="false">‖</mo> </mrow> <mo>⩽</mo> <mn>1</mn> </mfenced> </math></EquationSource> </InlineEquation> being a totally bounded set in <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq15.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell ^p.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ℓ</mi> <mi>p</mi> </msup> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> For a sequence <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\((T_i)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of bounded operators on a Hilbert space <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq17.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {H},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">H</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> the corresponding operator <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq18.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="112" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\varvec{T}}}:\ell ^q\rightarrow \mathbb {B}(\mathcal {H}),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="bold-italic">T</mi> </mrow> <mo>:</mo> <msup> <mi>ℓ</mi> <mi>q</mi> </msup> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">B</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> defined by <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq19.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="134" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\varvec{T}}}(\beta ) = \sum _{i=1}^\infty \beta _i T_i,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="bold-italic">T</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>β</mi> <mi>i</mi> </msub> <msub> <mi>T</mi> <mi>i</mi> </msub> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> is compact if and only if the set <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq20.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="147" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{\langle {{\varvec{T}}}x,x \rangle :\Vert x\Vert =1\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mo stretchy="false">⟨</mo> <mrow> <mi mathvariant="bold-italic">T</mi> </mrow> <mi>x</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">⟩</mo> <mo>:</mo> <mo stretchy="false">‖</mo> <mi>x</mi> <mo stretchy="false">‖</mo> <mo>=</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> is a totally bounded subset of <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq21.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell ^p,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ℓ</mi> <mi>p</mi> </msup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq22.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="246" /> </InlineMediaObject> <EquationSource Format="TEX">\(\langle {{\varvec{T}}}x,x \rangle = (\langle T_1 x,x \rangle , \langle T_2 x,x \rangle , \dotsc ),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">⟨</mo> <mrow> <mi mathvariant="bold-italic">T</mi> </mrow> <mi>x</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">⟩</mo> </mrow> <mo>=</mo> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">⟨</mo> <msub> <mi>T</mi> <mn>1</mn> </msub> <mi>x</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">⟩</mo> </mrow> <mo>,</mo> <mrow> <mo stretchy="false">⟨</mo> <msub> <mi>T</mi> <mn>2</mn> </msub> <mi>x</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">⟩</mo> </mrow> <mo>,</mo> <mo>⋯</mo> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq23.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(x\in \mathcal {H}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="script">H</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Similar results are established for <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq24.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(p=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_455_Article_IEq25.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(p=\infty .\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mi>∞</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation></p>

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

A characterization of compact operators on \(\ell ^p\)-spaces

  • Mortaza Abtahi

摘要

Let A be a Banach space, \(p>1,\) p > 1 , and \(1/p+1/q=1.\) 1 / p + 1 / q = 1 . If a sequence \(\textbf{a}=(a_i)\) a = ( a i ) in A has a finite p-sum, then the operator \(\Lambda _\textbf{a}:\ell ^q\rightarrow A,\) Λ a : q A , defined by \(\Lambda _\textbf{a}(\beta )=\sum _{i=1}^\infty \beta _i a_i,\) Λ a ( β ) = i = 1 β i a i , \(\beta =(\beta _i)\in \ell ^q,\) β = ( β i ) q , is compact. We present a characterization of compact operators \(\Lambda :\ell ^q\rightarrow A,\) Λ : q A , and prove that \(\Lambda \) Λ is compact if and only if \(\Lambda =\Lambda _\textbf{a},\) Λ = Λ a , for some sequence \(\textbf{a}=(a_i)\) a = ( a i ) in A with \(\left\{ \left( \phi (a_i) \right) : \phi \in A^*, \Vert \phi \Vert \leqslant 1 \right\} \) ϕ ( a i ) : ϕ A , ϕ 1 being a totally bounded set in \(\ell ^p.\) p . For a sequence \((T_i)\) ( T i ) of bounded operators on a Hilbert space \(\mathcal {H},\) H , the corresponding operator \({{\varvec{T}}}:\ell ^q\rightarrow \mathbb {B}(\mathcal {H}),\) T : q B ( H ) , defined by \({{\varvec{T}}}(\beta ) = \sum _{i=1}^\infty \beta _i T_i,\) T ( β ) = i = 1 β i T i , is compact if and only if the set \(\{\langle {{\varvec{T}}}x,x \rangle :\Vert x\Vert =1\}\) { T x , x : x = 1 } is a totally bounded subset of \(\ell ^p,\) p , where \(\langle {{\varvec{T}}}x,x \rangle = (\langle T_1 x,x \rangle , \langle T_2 x,x \rangle , \dotsc ),\) T x , x = ( T 1 x , x , T 2 x , x , ) , for \(x\in \mathcal {H}.\) x H . Similar results are established for \(p=1\) p = 1 and \(p=\infty .\) p = .