<p>In this paper, we first study some elementary properties of a typical positive contraction on <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1141_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell _q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> for the <Emphasis FontCategory="NonProportional">SOT</Emphasis>&#xa0; and the <Emphasis FontCategory="NonProportional">SOT</Emphasis> <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1141_Article_IEq2.gif" Format="GIF" Height="8" Rendition="HTML" Resolution="72" Type="Linedraw" Width="9" /> </InlineMediaObject> <EquationSource Format="TEX">\(^{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mrow /> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> </math></EquationSource> </InlineEquation>&#xa0;topologies. Using these properties, we prove that a typical positive contraction on <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1141_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell _1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> (resp. on <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1141_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell _2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>) has a non-trivial invariant subspace for the <Emphasis FontCategory="NonProportional">SOT</Emphasis>&#xa0; topology (resp. the <Emphasis FontCategory="NonProportional">SOT</Emphasis>&#xa0; and the <Emphasis FontCategory="NonProportional">SOT</Emphasis> <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1141_Article_IEq2.gif" Format="GIF" Height="8" Rendition="HTML" Resolution="72" Type="Linedraw" Width="9" /> </InlineMediaObject> <EquationSource Format="TEX">\(^{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mrow /> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> </math></EquationSource> </InlineEquation>&#xa0;topologies). We then focus on the case where <i>X</i> is a Banach space with a basis. We prove that a typical positive contraction on a Banach space with an unconditional basis has no non-trivial closed invariant ideals for the <Emphasis FontCategory="NonProportional">SOT</Emphasis>&#xa0; and the <Emphasis FontCategory="NonProportional">SOT</Emphasis> <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1141_Article_IEq2.gif" Format="GIF" Height="8" Rendition="HTML" Resolution="72" Type="Linedraw" Width="9" /> </InlineMediaObject> <EquationSource Format="TEX">\(^{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mrow /> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> </math></EquationSource> </InlineEquation>&#xa0;topologies. In particular, this shows that when <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1141_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(X = \ell _q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>=</mo> <msub> <mi>ℓ</mi> <mi>q</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1141_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(1 \le q &lt; \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>q</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, a typical positive contraction <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1141_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="127" /> </InlineMediaObject> <EquationSource Format="TEX">\(T \in ({\mathcal {P}}_{1}(X),\texttt {SOT} )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">P</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi mathvariant="monospace">SOT</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> (resp. <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1141_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="133" /> </InlineMediaObject> <EquationSource Format="TEX">\(T \in ({\mathcal {P}}_{1}(X), \texttt {SOT} ^{*})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">P</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mmultiscripts> <mi mathvariant="monospace">SOT</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1141_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(1&lt; q &lt; \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>q</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>) does not satisfy the Abramovich, Aliprantis and Burkinshaw criterion, that is, there is no non-zero positive operator in the commutant of <i>T</i> which is quasinilpotent at a non-zero positive vector of <i>X</i>. Finally, we prove that, for the <Emphasis FontCategory="NonProportional">SOT</Emphasis> <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1141_Article_IEq2.gif" Format="GIF" Height="8" Rendition="HTML" Resolution="72" Type="Linedraw" Width="9" /> </InlineMediaObject> <EquationSource Format="TEX">\(^{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mrow /> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> </math></EquationSource> </InlineEquation>&#xa0; topology, a typical positive contraction on a reflexive Banach space with a monotone basis does not satisfy the Abramovich, Aliprantis and Burkinshaw criterion.</p>

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

Typical properties of positive contractions and the invariant subspace problem

  • Valentin Gillet

摘要

In this paper, we first study some elementary properties of a typical positive contraction on \(\ell _q\) q for the SOT  and the SOT \(^{*}\)  topologies. Using these properties, we prove that a typical positive contraction on \(\ell _1\) 1 (resp. on \(\ell _2\) 2 ) has a non-trivial invariant subspace for the SOT  topology (resp. the SOT  and the SOT \(^{*}\)  topologies). We then focus on the case where X is a Banach space with a basis. We prove that a typical positive contraction on a Banach space with an unconditional basis has no non-trivial closed invariant ideals for the SOT  and the SOT \(^{*}\)  topologies. In particular, this shows that when \(X = \ell _q\) X = q with \(1 \le q < \infty \) 1 q < , a typical positive contraction \(T \in ({\mathcal {P}}_{1}(X),\texttt {SOT} )\) T ( P 1 ( X ) , SOT ) (resp. \(T \in ({\mathcal {P}}_{1}(X), \texttt {SOT} ^{*})\) T ( P 1 ( X ) , SOT ) when \(1< q < \infty \) 1 < q < ) does not satisfy the Abramovich, Aliprantis and Burkinshaw criterion, that is, there is no non-zero positive operator in the commutant of T which is quasinilpotent at a non-zero positive vector of X. Finally, we prove that, for the SOT \(^{*}\)   topology, a typical positive contraction on a reflexive Banach space with a monotone basis does not satisfy the Abramovich, Aliprantis and Burkinshaw criterion.