<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1131_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> be a separable Hilbert space and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1131_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {L}_{0}\subset \mathcal {B}(\mathcal {H})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">L</mi> <mn>0</mn> </msub> <mo>⊂</mo> <mi mathvariant="script">B</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> a complete reflexive lattice. We construct a class of subspace lattices <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1131_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {L}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">L</mi> </math></EquationSource> </InlineEquation> on the direct sum <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1131_Article_IEq4.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {K}=\mathcal {H}^{(n_0)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">K</mi> <mo>=</mo> <msup> <mrow> <mi mathvariant="script">H</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi>n</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1131_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(n_0\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>n</mi> <mn>0</mn> </msub> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> copies of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1131_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> from <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1131_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {L}_{0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">L</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1131_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textrm{Alg}}\mathcal {L}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Alg</mtext> <mi mathvariant="script">L</mi> </mrow> </math></EquationSource> </InlineEquation> be the corresponding subspace lattice algebras. We first show that <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1131_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textrm{Alg}}\mathcal {L}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Alg</mtext> <mi mathvariant="script">L</mi> </mrow> </math></EquationSource> </InlineEquation> is decomposable if and only if <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1131_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textrm{Alg}}\mathcal {L}_{0}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Alg</mtext> <msub> <mi mathvariant="script">L</mi> <mn>0</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> is decomposable. Then we show that an operator <i>T</i> in <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1131_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textrm{Alg}}\mathcal {L}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Alg</mtext> <mi mathvariant="script">L</mi> </mrow> </math></EquationSource> </InlineEquation> is single if and only if <i>T</i> is of rank 1 under certain conditions. Finally, under certain conditions, we prove that every linear derivation on <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1131_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textrm{Alg}}\mathcal {L}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Alg</mtext> <mi mathvariant="script">L</mi> </mrow> </math></EquationSource> </InlineEquation> is automatically continuous and that every bounded local derivation on <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1131_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textrm{Alg}}\mathcal {L}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Alg</mtext> <mi mathvariant="script">L</mi> </mrow> </math></EquationSource> </InlineEquation> is a derivation.</p>

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

Derivation and local derivation of a class of subspace lattice algebras

  • Hongjie Chen,
  • Liguang Wang,
  • Zhujun Yang

摘要

Let \(\mathcal {H}\) H be a separable Hilbert space and \(\mathcal {L}_{0}\subset \mathcal {B}(\mathcal {H})\) L 0 B ( H ) a complete reflexive lattice. We construct a class of subspace lattices \(\mathcal {L}\) L on the direct sum \(\mathcal {K}=\mathcal {H}^{(n_0)}\) K = H ( n 0 ) of \(n_0\ge 3\) n 0 3 copies of \(\mathcal {H}\) H from \(\mathcal {L}_{0}\) L 0 . Let \({\textrm{Alg}}\mathcal {L}\) Alg L be the corresponding subspace lattice algebras. We first show that \({\textrm{Alg}}\mathcal {L}\) Alg L is decomposable if and only if \({\textrm{Alg}}\mathcal {L}_{0}\) Alg L 0 is decomposable. Then we show that an operator T in \({\textrm{Alg}}\mathcal {L}\) Alg L is single if and only if T is of rank 1 under certain conditions. Finally, under certain conditions, we prove that every linear derivation on \({\textrm{Alg}}\mathcal {L}\) Alg L is automatically continuous and that every bounded local derivation on \({\textrm{Alg}}\mathcal {L}\) Alg L is a derivation.