<p>We consider a positive operator <i>A</i> on a Hilbert lattice such that its self-commutator <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1135_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="122" /> </InlineMediaObject> <EquationSource Format="TEX">\(C = A^* A - A A^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>=</mo> <msup> <mi>A</mi> <mo>∗</mo> </msup> <mi>A</mi> <mo>-</mo> <mi>A</mi> <msup> <mi>A</mi> <mo>∗</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> is positive. If <i>A</i> is also idempotent, then it is an orthogonal projection, and so <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1135_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(C = 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Similarly, if <i>A</i> is power compact, then <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1135_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(C = 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> as well. We prove that every positive compact central operator on a separable infinite-dimensional Hilbert lattice <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1135_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal H\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> is a self-commutator of a positive operator. We also show that every positive central operator on <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1135_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal H\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> is a sum of two positive self-commutators of positive operators.</p>

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

Positive self-commutators of positive operators

  • Roman Drnovšek,
  • Marko Kandić

摘要

We consider a positive operator A on a Hilbert lattice such that its self-commutator \(C = A^* A - A A^*\) C = A A - A A is positive. If A is also idempotent, then it is an orthogonal projection, and so \(C = 0\) C = 0 . Similarly, if A is power compact, then \(C = 0\) C = 0 as well. We prove that every positive compact central operator on a separable infinite-dimensional Hilbert lattice \(\mathcal H\) H is a self-commutator of a positive operator. We also show that every positive central operator on \(\mathcal H\) H is a sum of two positive self-commutators of positive operators.