<p>Two projections <i>P</i> and <i>Q</i> on a Hilbert space <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1139_Article_IEq1.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> are called acute if <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1139_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Vert PQ\Vert &lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">‖</mo> <mi>P</mi> <mi>Q</mi> <mo stretchy="false">‖</mo> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. We utilize the von Neumann alternating projection theorem to prove that if <i>P</i> and <i>Q</i> are acute, then <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1139_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(P \wedge Q=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo>∧</mo> <mi>Q</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Conversely, if <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1139_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(P\wedge Q=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo>∧</mo> <mi>Q</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <i>PQ</i> is a compact operator, then <i>P</i> and <i>Q</i> are acute. An example is presented to show that the assumption of compactness is necessary. Let <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1139_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation> be a von Neumann algebra, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1139_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}^{\text {pr}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">M</mi> </mrow> <mtext>pr</mtext> </msup> </math></EquationSource> </InlineEquation> be the lattice of all projections in <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1139_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1139_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(P, Q \in \mathcal {M}^{\text {pr}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo>,</mo> <mi>Q</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="script">M</mi> </mrow> <mtext>pr</mtext> </msup> </mrow> </math></EquationSource> </InlineEquation>. A pair (<i>P</i>,&#xa0;<i>Q</i>) is called modular in <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1139_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}^{\text {pr}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">M</mi> </mrow> <mtext>pr</mtext> </msup> </math></EquationSource> </InlineEquation> if <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1139_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="248" /> </InlineMediaObject> <EquationSource Format="TEX">\((R \vee P)\wedge Q=(R \wedge Q)\vee (P\wedge Q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>R</mi> <mo>∨</mo> <mi>P</mi> <mo stretchy="false">)</mo> <mo>∧</mo> <mi>Q</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>R</mi> <mo>∧</mo> <mi>Q</mi> <mo stretchy="false">)</mo> <mo>∨</mo> <mo stretchy="false">(</mo> <mi>P</mi> <mo>∧</mo> <mi>Q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for every <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1139_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="67" /> </InlineMediaObject> <EquationSource Format="TEX">\(R\in \mathcal {M}^{\text {pr}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="script">M</mi> </mrow> <mtext>pr</mtext> </msup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1139_Article_IEq12.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(R\le Q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>≤</mo> <mi>Q</mi> </mrow> </math></EquationSource> </InlineEquation>. We present several characterizations of modular pairs of projections in a von Neumann algebra. In particular, for a factor <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1139_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation> of type I or III, we investigate certain modularity conditions.</p>

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

On pairs of projections

  • Airat M. Bikchentaev,
  • Mohammad Sal Moslehian

摘要

Two projections P and Q on a Hilbert space \(\mathcal {H}\) H are called acute if \(\Vert PQ\Vert <1\) P Q < 1 . We utilize the von Neumann alternating projection theorem to prove that if P and Q are acute, then \(P \wedge Q=0\) P Q = 0 . Conversely, if \(P\wedge Q=0\) P Q = 0 and PQ is a compact operator, then P and Q are acute. An example is presented to show that the assumption of compactness is necessary. Let \(\mathcal {M}\) M be a von Neumann algebra, \(\mathcal {M}^{\text {pr}}\) M pr be the lattice of all projections in \(\mathcal {M}\) M , and \(P, Q \in \mathcal {M}^{\text {pr}}\) P , Q M pr . A pair (PQ) is called modular in \(\mathcal {M}^{\text {pr}}\) M pr if \((R \vee P)\wedge Q=(R \wedge Q)\vee (P\wedge Q)\) ( R P ) Q = ( R Q ) ( P Q ) for every \(R\in \mathcal {M}^{\text {pr}}\) R M pr with \(R\le Q\) R Q . We present several characterizations of modular pairs of projections in a von Neumann algebra. In particular, for a factor \(\mathcal {M}\) M of type I or III, we investigate certain modularity conditions.