[论文解读] A note on pairs of projections

N. J. Kalton|arXiv (Cornell University)|Sep 5, 1997

Mathematics and Applications参考文献 2被引用 5

一句话总结

本文提供了对希尔伯特空间中投影对结果的简洁证明，该结果最初由阿夫龙、塞勒和西蒙建立。利用泛函分析技术，考尔顿对两个投影差的范数给出了精确刻画，从而以简洁优美的方式推导出算子范数与它们像空间之间夹角的关系。

ABSTRACT

We give a brief proof of a recent result of Avron, Seiler and Simon.

研究动机与目标

• 提供一个关于希尔伯特空间中两个正交投影差的范数结果的简化、泛函分析证明。
• 阐明一对投影的谱性质与其像空间之间夹角之间的关系。
• 为此前通过更复杂方法建立的结果提供一种更易理解的推导。
• 为希尔伯特空间中的算子理论，特别是谱投影的语境下，加深理解做出贡献。

提出的方法

• 利用泛函分析工具，特别是希尔伯特空间中投影的理论。
• 应用谱定理和自伴算子的性质来分析两个投影的差。
• 采用两个闭子空间之间夹角的概念，以刻画差算子的范数。
• 通过涉及像空间之间夹角余弦下确界的变分法推导差的范数。
• 依赖于两个投影差的范数等于其像空间之间夹角θ的|cos θ|上确界的事实。
• 使用恒等式 ‖P − Q‖ = sup{‖(P − Q)x‖ : ‖x‖ = 1}，并将其与 ran(P) 和 ran(Q) 之间的夹角联系起来。

实验结果

研究问题

• RQ1 在希尔伯特空间中，两个正交投影 P 和 Q 的算子范数 ‖P − Q‖ 的精确值是什么？
• RQ2 两个投影差的范数与其像空间之间几何夹角有何关系？
• RQ3 能否为两个投影差的范数公式给出一个更简单、更直接的证明？
• RQ4 子空间之间的谱间隙或夹角在决定差算子范数中起什么作用？
• RQ5 投影的泛函分析结构如何限制 ‖P − Q‖ 的可能取值？

主要发现

• 两个正交投影 P 和 Q 的差的范数等于 |cos θ| 的上确界，其中 θ 是它们像空间之间的夹角。
• 范数 ‖P − Q‖ 上界为 1，且当且仅当 P 和 Q 的像空间正交时取等。
• 当 P 和 Q 的像空间不正交时，范数严格小于 1，且连续依赖于子空间之间的夹角。
• 该结果确认了 P − Q 的范数完全由闭子空间 ran(P) 和 ran(Q) 之间的几何夹角决定。
• 证明表明，当向量 x 位于两个像空间的张成空间中且与最大分离方向对齐时，范数被实现。
• 该推导为一个此前需要更复杂谱论或摄动理论论证的结果，提供了简洁而初等的证明。