Answers are grounded in this paper and cite their sources.
Study studies zero product preserving maps in Banach algebras, indicating implications for operator functions.
For Banach algebras <m:math xmlns:m="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <m:mi mathvariant="script">A</m:mi> </m:math> A and <m:math xmlns:m="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <m:mi mathvariant="script">B</m:mi> </m:math> B , we study zero product preserving linear maps <m:math xmlns:m="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <m:mi mathvariant="normal">Θ</m:mi> <m:mspace width="0.17em"/> <m:mo>:</m:mo> <m:mspace width="0.17em"/> <m:msup> <m:mrow> <m:mi>C</m:mi> </m:mrow> <m:mrow> <m:mn>1</m:mn> </m:mrow> </m:msup> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mrow> <m:mrow> <m:mo stretchy="false">[</m:mo> <m:mrow> <m:mn>0,1</m:mn> </m:mrow> <m:mo stretchy="false">]</m:mo> </m:mrow> <m:mo>,</m:mo> <m:mi mathvariant="script">A</m:mi> </m:mrow> <m:mo stretchy="false">)</m:mo> </m:mrow> <m:mo>→</m:mo> <m:msup> <m:mrow> <m:mi>C</m:mi> </m:mrow> <m:mrow> <m:mn>1</m:mn> </m:mrow> </m:msup> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mrow> <m:mrow> <m:mo stretchy="false">[</m:mo> <m:mrow> <m:mn>0,1</m:mn> </m:mrow> <m:mo stretchy="false">]</m:mo> </m:mrow> <m:mo>,</m:mo> <m:mi mathvariant="script">B</m:mi> </m:mrow> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:math> Θ : C¹([0,1],A)→ C¹([0,1],B) . In the case that <m:math xmlns:m="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <m:mi mathvariant="script">B</m:mi> </m:math> B is either an operator algebra or an irreducible Banach algebra, and Θ is continuous and has a dense range, it has a description according to a pair of families of (jointly) zero product linear maps from <m:math xmlns:m="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <m:mi mathvariant="script">A</m:mi> </m:math> A to <m:math xmlns:m="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <m:mi mathvariant="script">B</m:mi> </m:math> B and, in particular, it is a separating map. The cases where <m:math xmlns:m="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <m:mi mathvariant="script">A</m:mi> <m:mo>=</m:mo> <m:mi>B</m:mi> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mrow> <m:mi>E</m:mi> </m:mrow> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:math> A=B(E) , <m:math xmlns:m="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <m:mi mathvariant="script">B</m:mi> <m:mo>=</m:mo> <m:mi>B</m:mi> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mrow> <m:mi>F</m:mi> </m:mrow> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:math> B=B(F) for some Banach spaces E and F and Θ is bijective (not necessarily continuous) as well as the case where Θ is a continuous zero product preserving linear map into a Banach function algebra will also be considered. Similar results are valid for two-sided zero product preserving maps. An application of the results is given for surjective homomorphisms between Banach algebras of operator-valued continuously differentiable functions.
No takes yet. Share an insight, caveat, or question.
Khodaie et al. (2026) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: