<p>Let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\( \mathcal {L} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">L</mi> </math></EquationSource> </InlineEquation> be a <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\( \mathcal {J} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">J</mi> </math></EquationSource> </InlineEquation>-subspace lattice on Banach space <i>X</i> and <InlineEquation ID="IEq5"> <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 associated <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\( \mathcal {J} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">J</mi> </math></EquationSource> </InlineEquation>-subspace lattice algebra. A ternary derivation on <InlineEquation ID="IEq7"> <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 defined as a triple of linear mappings <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\( (\gamma , \delta , \tau ): \textrm{Alg} \mathcal {L} \rightarrow \textrm{Alg} \mathcal {L} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>γ</mi> <mo>,</mo> <mi>δ</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> <mo>:</mo> <mtext>Alg</mtext> <mi mathvariant="script">L</mi> <mo stretchy="false">→</mo> <mtext>Alg</mtext> <mi mathvariant="script">L</mi> </mrow> </math></EquationSource> </InlineEquation> that satisfies the condition <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\( \gamma (A B) = \delta (A) B + A \tau (B) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mi>B</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>δ</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mi>B</mi> <mo>+</mo> <mi>A</mi> <mi>τ</mi> <mo stretchy="false">(</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\( A, B \in \textrm{Alg} \mathcal {L} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo>∈</mo> <mtext>Alg</mtext> <mi mathvariant="script">L</mi> </mrow> </math></EquationSource> </InlineEquation>. We establish that for given linear maps <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\delta , \tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mo>,</mo> <mi>τ</mi> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq12"> <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>, there exists a unique linear map <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\( \gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq14"> <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> defined by <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\( \gamma (A) = R A + AS \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>R</mi> <mi>A</mi> <mo>+</mo> <mi>A</mi> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\( R, S \in L (X) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>,</mo> <mi>S</mi> <mo>∈</mo> <mi>L</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\( (\gamma , \delta , \tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>γ</mi> <mo>,</mo> <mi>δ</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> forms a ternary derivation on <InlineEquation ID="IEq18"> <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> if and only if <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\( \delta , \tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mo>,</mo> <mi>τ</mi> </mrow> </math></EquationSource> </InlineEquation> satisfy <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\( \delta (A) B + A \tau (B) = 0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mi>B</mi> <mo>+</mo> <mi>A</mi> <mi>τ</mi> <mo stretchy="false">(</mo> <mi>B</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> for any <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\( A, B \in \textrm{Alg} \mathcal {L} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo>∈</mo> <mtext>Alg</mtext> <mi mathvariant="script">L</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\( AB =0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mi>B</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. As applications of this result, we provide a comprehensive characterization of linear mappings <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\( \delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>δ</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\( \tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation>. Additionally, we investigate linear mappings that are derivable at zero, (left/right) centralizers, (left/right) ideal-preserving mappings, and local (generalized) derivations within JSL algebras. These findings are applicable to atomic Boolean subspace lattice algebras and pentagon subspace lattice algebras in Banach spaces.</p>

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

Structure and related applications of ternary derivations on \(\mathcal {J}\)-subspace lattice algebras

  • Behrooz Fadaee,
  • Hoger Ghahramani,
  • Wu Jing

摘要

Let \( \mathcal {L} \) L be a \( \mathcal {J} \) J -subspace lattice on Banach space X and \( \textrm{Alg} \mathcal {L} \) Alg L be the associated \( \mathcal {J} \) J -subspace lattice algebra. A ternary derivation on \( \textrm{Alg} \mathcal {L} \) Alg L is defined as a triple of linear mappings \( (\gamma , \delta , \tau ): \textrm{Alg} \mathcal {L} \rightarrow \textrm{Alg} \mathcal {L} \) ( γ , δ , τ ) : Alg L Alg L that satisfies the condition \( \gamma (A B) = \delta (A) B + A \tau (B) \) γ ( A B ) = δ ( A ) B + A τ ( B ) for all \( A, B \in \textrm{Alg} \mathcal {L} \) A , B Alg L . We establish that for given linear maps \(\delta , \tau \) δ , τ on \( \textrm{Alg} \mathcal {L} \) Alg L , there exists a unique linear map \( \gamma \) γ on \( \textrm{Alg} \mathcal {L} \) Alg L defined by \( \gamma (A) = R A + AS \) γ ( A ) = R A + A S for some \( R, S \in L (X) \) R , S L ( X ) such that \( (\gamma , \delta , \tau )\) ( γ , δ , τ ) forms a ternary derivation on \( \textrm{Alg} \mathcal {L} \) Alg L if and only if \( \delta , \tau \) δ , τ satisfy \( \delta (A) B + A \tau (B) = 0 \) δ ( A ) B + A τ ( B ) = 0 for any \( A, B \in \textrm{Alg} \mathcal {L} \) A , B Alg L with \( AB =0 \) A B = 0 . As applications of this result, we provide a comprehensive characterization of linear mappings \( \delta \) δ and \( \tau \) τ . Additionally, we investigate linear mappings that are derivable at zero, (left/right) centralizers, (left/right) ideal-preserving mappings, and local (generalized) derivations within JSL algebras. These findings are applicable to atomic Boolean subspace lattice algebras and pentagon subspace lattice algebras in Banach spaces.