[论文解读] Additive maps preserving the reduced minimum modulus of Banach space operators

Abdellatif Bourhim|ArXiv.org|Oct 1, 2009

Advanced Topics in Algebra参考文献 26被引用 8

一句话总结

本文表征了在无限维复Banach空间上有界线性算子代数上的加性满射映射，这些映射保持约化最小模。证明了此类映射必为形式 $\varphi(T) = UTV$ 或 $\varphi(T) = UT^*V$，其中 $U$ 和 $V$ 为双射等距同构（均为线性或均为共轭线性），从而在无需假设 $\varphi(\mathbf{1})$ 可逆的条件下推广了先前的结果。

ABSTRACT

Let ${\mathcal B}(X)$ be the algebra of all bounded linear operators on an infinite dimensional complex Banach space $X$. We prove that an additive surjective map $ϕ$ on ${\mathcal B}(X)$ preserves the reduced minimum modulus if and only if either there are bijective isometries $U:X o X$ and $V:X o X$ both linear or both conjugate linear such that $ϕ(T)=UTV$ for all $T\in{\mathcal B}(X)$, or $X$ is reflexive and there are bijective isometries $U:X^* o X$ and $V:X o X^*$ both linear or both conjugate linear such that $ϕ(T)=UT^*V$ for all $T\in{\mathcal B}(X)$. As immediate consequences of the ingredients used in the proof of this result, we get the complete description of surjective additive maps preserving the minimum, the surjectivity and the maximum moduli of Banach space operators.

研究动机与目标

• 表征无限维复Banach空间上 $\mathcal{B}(X)$ 的加性满射映射，使其保持约化最小模。
• 通过去除 $\varphi(\mathbf{1})$ 可逆的假设，推广先前关于线性保持算子的结果。
• 统一并推广关于Banach空间算子的最小模、满射模和最大模保持算子的结果。
• 提供一个自包含的证明，避免使用Kadison定理和Herstein定理等深奥结果。

提出的方法

• 将约化最小模 $\gamma(T)$ 定义为 $\|Tx\|$ 在满足 $\text{dist}(x, \ker T) \geq 1$ 的 $x$ 上的下确界，若 $T=0$ 则定义为 $\infty$。
• 利用 $\gamma(T) > 0$ 当且仅当 $T$ 的值域闭的等价性，分析保持 $\gamma$ 的映射的结构。
• 证明保持 $\gamma$ 的加性满射映射必须保持值域闭的算子集合以及值域稠密的算子集合。
• 证明此类映射保持秩一算子及其值域，从而导出通过双射等距同构表示的结构。
• 利用有界算子空间的结构及等距对偶性，证明 $\varphi(T) = UTV$ 或 $\varphi(T) = UT^*V$，其中 $U, V$ 为双射等距同构。
• 借助对偶性和自反性，区分两种情形：标准等距映射与涉及伴随算子的对偶型映射。

实验结果

研究问题

• RQ1 在 $\mathcal{B}(X)$ 上，加性满射映射保持约化最小模的完整表征是什么？
• RQ2 能否从早期关于约化最小模保持算子的结果中去除 $\varphi(\mathbf{1})$ 可逆的条件？
• RQ3 加性保持约化最小模的算子与保持最小模、满射模和最大模的算子之间有何关系？
• RQ4 在保持算子结构中，何种条件下会出现对偶型映射 $\varphi(T) = UT^*V$？
• RQ5 这些结果在多大程度上可从Hilbert空间推广到一般Banach空间？

主要发现

• 在 $\mathcal{B}(X)$ 上，加性满射映射 $\varphi$ 保持约化最小模当且仅当其形式为 $\varphi(T) = UTV$，其中双射等距同构 $U, V$ 均为线性或均为共轭线性。
• 若 $X$ 自反，则存在额外可能性：$\varphi(T) = UT^*V$，其中双射等距同构 $U: X^* \to X$，$V: X \to X^*$，均为线性或均为共轭线性。
• 无需假设 $\varphi(\mathbf{1})$ 可逆，因此推广并改进了Skhiri等人早期的结果。
• 相同的形式也保持最小模和满射模，若 $X$ 或 $Y$ 非自反，则对偶型形式 $UT^*V$ 被排除。
• 当 $X$ 和 $Y$ 自反时，仅标准等距形式 $UTV$ 保持最大模，因为对偶型形式不保持最大模。
• 结果可推广至广义谱，表明谱压缩或分解蕴含标准等距或对偶等距形式。