<p>Let <i>A</i> be a Banach algebra admitting a bounded approximate unit and satisfying property <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {B}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">B</mi> </math></EquationSource> </InlineEquation>. Suppose <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(T: A \rightarrow X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>:</mo> <mi>A</mi> <mo stretchy="false">→</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> is a continuous linear map, where <i>X</i> is an essential Banach <i>A</i>-bimodule. We prove that the following statements are equivalent: <DefinitionList> <DefinitionListEntry> <Term>(<i>i</i>)</Term> <Description> <p><i>T</i> is anti-derivable at zero (i.e., <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(a b =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mi>b</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> in <i>A</i> <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\Rightarrow T(b)\cdot a + b\cdot T(a) =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">⇒</mo> <mi>T</mi> <mo stretchy="false">(</mo> <mi>b</mi> <mo stretchy="false">)</mo> <mo>·</mo> <mi>a</mi> <mo>+</mo> <mi>b</mi> <mo>·</mo> <mi>T</mi> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>);</p> </Description> </DefinitionListEntry> <DefinitionListEntry> <Term>(<i>ii</i>)</Term> <Description> <p>There exist an element <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\xi \in X^{**}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ξ</mi> <mo>∈</mo> <msup> <mi>X</mi> <mrow> <mrow /> <mo>∗</mo> <mrow /> <mo>∗</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> and a linear map (actually a bounded Jordan derivation) <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(d: A\rightarrow X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>:</mo> <mi>A</mi> <mo stretchy="false">→</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> satisfying <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\xi \cdot a = a \cdot \xi \in X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ξ</mi> <mo>·</mo> <mi>a</mi> <mo>=</mo> <mi>a</mi> <mo>·</mo> <mi>ξ</mi> <mo>∈</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(T(a) = d(a) +\xi \cdot a\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>d</mi> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>ξ</mi> <mo>·</mo> <mi>a</mi> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(d(b)\cdot a + b\cdot d(a)= - 2 \xi \cdot (b a),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo stretchy="false">(</mo> <mi>b</mi> <mo stretchy="false">)</mo> <mo>·</mo> <mi>a</mi> <mo>+</mo> <mi>b</mi> <mo>·</mo> <mi>d</mi> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mo>-</mo> <mn>2</mn> <mi>ξ</mi> <mo>·</mo> <mo stretchy="false">(</mo> <mi>b</mi> <mi>a</mi> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(a,b\in A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>∈</mo> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(a b =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mi>b</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>.</p> </Description> </DefinitionListEntry> </DefinitionList></p><p> Assuming that <i>A</i> is a <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\hbox {C}^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mtext>C</mtext> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra, we show that a bounded linear mapping <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(T: A\rightarrow X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>:</mo> <mi>A</mi> <mo stretchy="false">→</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> is anti-derivable at zero if, and only if, there exist an element <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\eta \in X^{**}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>η</mi> <mo>∈</mo> <msup> <mi>X</mi> <mrow> <mrow /> <mo>∗</mo> <mrow /> <mo>∗</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> and an anti-derivation <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(d: A \rightarrow X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>:</mo> <mi>A</mi> <mo stretchy="false">→</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> satisfying <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\eta \cdot a = a \cdot \eta \in X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>η</mi> <mo>·</mo> <mi>a</mi> <mo>=</mo> <mi>a</mi> <mo>·</mo> <mi>η</mi> <mo>∈</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\eta \cdot [a,b] = 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>η</mi> <mo>·</mo> <mo stretchy="false">[</mo> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo stretchy="false">]</mo> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> (i.e., <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(L_{\eta }: A \rightarrow A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mi>η</mi> </msub> <mo>:</mo> <mi>A</mi> <mo stretchy="false">→</mo> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(L_{\eta } (a) = \eta \cdot a\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mi>η</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>η</mi> <mo>·</mo> <mi>a</mi> </mrow> </math></EquationSource> </InlineEquation> vanishes on commutators), and <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(T(a) = d(a) +\eta \cdot a\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>d</mi> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>η</mi> <mo>·</mo> <mi>a</mi> </mrow> </math></EquationSource> </InlineEquation>, for all <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(a,b \in A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>∈</mo> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation>. The results are also applied for some special operator algebras.</p>

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

New Insights Into Linear Maps Which are Anti-Derivable at Zero

  • Jiankui Li,
  • Antonio M. Peralta,
  • Shanshan Su

摘要

Let A be a Banach algebra admitting a bounded approximate unit and satisfying property \(\mathbb {B}\) B . Suppose \(T: A \rightarrow X\) T : A X is a continuous linear map, where X is an essential Banach A-bimodule. We prove that the following statements are equivalent: (i)

T is anti-derivable at zero (i.e., \(a b =0\) a b = 0 in A \(\Rightarrow T(b)\cdot a + b\cdot T(a) =0\) T ( b ) · a + b · T ( a ) = 0 );

(ii)

There exist an element \(\xi \in X^{**}\) ξ X and a linear map (actually a bounded Jordan derivation) \(d: A\rightarrow X\) d : A X satisfying \(\xi \cdot a = a \cdot \xi \in X\) ξ · a = a · ξ X , \(T(a) = d(a) +\xi \cdot a\) T ( a ) = d ( a ) + ξ · a , and \(d(b)\cdot a + b\cdot d(a)= - 2 \xi \cdot (b a),\) d ( b ) · a + b · d ( a ) = - 2 ξ · ( b a ) , for all \(a,b\in A\) a , b A with \(a b =0\) a b = 0 .

Assuming that A is a \(\hbox {C}^*\) C -algebra, we show that a bounded linear mapping \(T: A\rightarrow X\) T : A X is anti-derivable at zero if, and only if, there exist an element \(\eta \in X^{**}\) η X and an anti-derivation \(d: A \rightarrow X\) d : A X satisfying \(\eta \cdot a = a \cdot \eta \in X\) η · a = a · η X , \(\eta \cdot [a,b] = 0\) η · [ a , b ] = 0 (i.e., \(L_{\eta }: A \rightarrow A\) L η : A A , \(L_{\eta } (a) = \eta \cdot a\) L η ( a ) = η · a vanishes on commutators), and \(T(a) = d(a) +\eta \cdot a\) T ( a ) = d ( a ) + η · a , for all \(a,b \in A\) a , b A . The results are also applied for some special operator algebras.