[论文解读] An elementary approach to the Daugavet equation

Dirk Werner|arXiv (Cornell University)|Dec 12, 1994

Advanced Banach Space Theory参考文献 9被引用 22

一句话总结

本文提出了一种针对C(S)-空间上算子的Daugavet方程的初等统一方法，利用随机核。通过用其表示测度（μ_s）表示算子，作者推导出Daugavet方程‖I+T‖=1+‖T‖的必要且充分条件，从而简化了在无孤立点的紧致Hausdorff空间上弱紧算子和c₀-可分解算子的证明。

ABSTRACT

Let $T\dopu C(S) o C(S)$ be a bounded linear operator. We present a necessary and sufficient condition for the so-called Daugavet equation $$ \|\Id+T\| = 1+\|T\| $$ to hold, and we apply it to weakly compact operators and to operators factoring through $c_{0}$. Thus we obtain very simple proofs of results by Foias, Singer, Pelczynski, Holub and others.

研究动机与目标

• 为C(S)-空间上各类算子的Daugavet方程提供一个统一且初等的证明框架。
• 推广并简化现有关于弱紧算子和c₀-可分解算子的Daugavet方程的证明。
• 利用算子T在C(S)上的表示核(μ_s)建立Daugavet方程的必要且充分条件。
• 通过对偶性和伴随算子将结果推广至(AL)-和(AM)-空间。
• 通过模条件将主条件适配至复数情形，以处理复数情况。

提出的方法

• 通过其随机核(μ_s)_{s∈S}表示有界线性算子T: C(S) → C(S)，其中μ_s = T*δ_s。
• 利用恒等式‖T‖ = sup_s ‖μ_s‖，将算子范数表示为μ_s总变差的形式。
• 证明max{‖I±T‖} = 1 + ‖T‖成立当且仅当sup_s [1 + |μ_s({s})| + |μ_s|(S\{s})] = 1 + ‖T‖。
• 确立条件(∗)为必要且充分：对所有S的非空开子集U⊂S，有sup_{s∈U} μ_s({s}) ≥ 0。
• 应用Baire纲定理，证明当S无孤立点时，集合{t ∈ S : μ_s({t}) = 0 对所有s}在S中稠密。
• 利用对偶性，通过伴随算子和表示定理，将C(S)上的结果推广至(AL)-和(AM)-空间。

实验结果

研究问题

• RQ1 C(S)上算子的Daugavet方程‖I+T‖ = 1 + ‖T‖成立的必要且充分条件是什么？
• RQ2 如何利用随机核表示(μ_s)简化弱紧算子的Daugavet方程的证明？
• RQ3 在表示测度μ_s满足何种条件下，C(S)上通过c₀的算子满足Daugavet方程？
• RQ4 这些结果能否推广至复Banach空间？条件需如何修改？
• RQ5 S中无孤立点在保证弱紧算子满足Daugavet方程中起什么作用？

主要发现

• Daugavet方程对T: C(S) → C(S)成立当且仅当对每个S的非空开集U⊂S，有sup_{s∈U} μ_s({s}) ≥ 0。
• 当S为紧致Hausdorff空间且无孤立点时，C(S)上弱紧算子满足Daugavet方程，这是由于s ↦ μ_s在弱拓扑下连续。
• 当S无孤立点时，C(S)上通过c₀的算子满足Daugavet方程，这由集合{t ∈ S : μ_s({t}) = 0 对所有s}上的Baire纲定理论证得出。
• 通过duality，结果可推广至(AL)-和(AM)-空间：若E为(AL)-或(AM)-空间，则对E上任意有界算子T，有max{‖I±T‖} = 1 + ‖T‖。
• 复数情形下Daugavet方程的条件为：对所有S的非空开子集U⊂S，有sup_{s∈U} (|1 + μ_s({s})| − (1 + |μ_s({s})|)) ≥ 0。
• 证明表明，C(S)、(AL)-和(AM)-空间上的正算子满足Daugavet方程，因为μ_s({s}) ≥ 0意味着条件(∗)成立。