<p>Let <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_898_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {B(\mathcal {H})}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_898_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma (A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> denote the algebra of all bounded linear operators acting on an infinite-dimensional complex Hilbert space <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_898_Article_IEq6.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> and the spectrum of any operator <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_898_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\in \mathcal {B(\mathcal {H})}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>∈</mo> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, respectively. In this paper, we show that a surjective map <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_898_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="131" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi :\mathcal {B(\mathcal {H})}\rightarrow \mathcal {B(\mathcal {H})}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Φ</mi> <mo>:</mo> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> satisfies <Equation ID="Equ13"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_898_Article_Equ13.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="486" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned}\sigma \left( \Phi (A)^{*}\Phi (B)+\Phi (B)^{*}\Phi (A)\right) =\sigma \left( A^{*}B+B^{*}A\right) \qquad (A,B\in \mathcal {B(\mathcal {H})}),\end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>σ</mi> <mfenced close=")" open="("> <mi mathvariant="normal">Φ</mi> <mmultiscripts> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mi mathvariant="normal">Φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi mathvariant="normal">Φ</mi> <mmultiscripts> <mrow> <mo stretchy="false">(</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mi mathvariant="normal">Φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </mfenced> <mo>=</mo> <mi>σ</mi> <mfenced close=")" open="("> <mmultiscripts> <mi>A</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mi>B</mi> <mo>+</mo> <mmultiscripts> <mi>B</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mi>A</mi> </mfenced> <mspace width="2em" /> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo>∈</mo> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>if and only if there exist a unitary or anti-unitary operator <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_898_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(U\in \mathcal {B(\mathcal {H})}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo>∈</mo> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and a unitary operator <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_898_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(V \in \mathcal {B(\mathcal {H})}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo>∈</mo> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> such that <Equation ID="Equ14"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_898_Article_Equ14.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="222" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned}\Phi (A)= UAV\qquad (A\in \mathcal {B(\mathcal {H})}).\end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi mathvariant="normal">Φ</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>U</mi> <mi>A</mi> <mi>V</mi> <mspace width="2em" /> <mo stretchy="false">(</mo> <mi>A</mi> <mo>∈</mo> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation></p>

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

Maps preserving the spectrum of \(*\)-Jordan product

  • Mahdi Karder

摘要

Let \(\mathcal {B(\mathcal {H})}\) B ( H ) and \(\sigma (A)\) σ ( A ) denote the algebra of all bounded linear operators acting on an infinite-dimensional complex Hilbert space \({\mathcal {H}}\) H and the spectrum of any operator \(A\in \mathcal {B(\mathcal {H})}\) A B ( H ) , respectively. In this paper, we show that a surjective map \(\Phi :\mathcal {B(\mathcal {H})}\rightarrow \mathcal {B(\mathcal {H})}\) Φ : B ( H ) B ( H ) satisfies \(\begin{aligned}\sigma \left( \Phi (A)^{*}\Phi (B)+\Phi (B)^{*}\Phi (A)\right) =\sigma \left( A^{*}B+B^{*}A\right) \qquad (A,B\in \mathcal {B(\mathcal {H})}),\end{aligned}\) σ Φ ( A ) Φ ( B ) + Φ ( B ) Φ ( A ) = σ A B + B A ( A , B B ( H ) ) , if and only if there exist a unitary or anti-unitary operator \(U\in \mathcal {B(\mathcal {H})}\) U B ( H ) and a unitary operator \(V \in \mathcal {B(\mathcal {H})}\) V B ( H ) such that \(\begin{aligned}\Phi (A)= UAV\qquad (A\in \mathcal {B(\mathcal {H})}).\end{aligned}\) Φ ( A ) = U A V ( A B ( H ) ) .