[论文解读] Metric and homogeneous structure of closed range operators

Gustavo Corach, Alejandra Maestripieri+1 more|ArXiv.org|Sep 14, 2005

Numerical methods in inverse problems参考文献 38被引用 6

一句话总结

本文研究了希尔伯特空间之间有界线性算子在闭值域下的度量与齐次结构，引入了一种改进的度量 $d_R$，该度量结合了算子范数与值域投影距离。通过群作用 $(G,H) \cdot A = GAH^{-1}$ 建立了齐次空间结构，利用零度、秩和亏格对轨道进行刻画，并利用 $d_R$ 和 $d_N$ 计算了轨道之间的距离，实现了弗雷德霍姆算子与半弗雷德霍姆算子的分层结构。

ABSTRACT

Let $\CR$ be the set of all bounded linear operators between Hilbert spaces $\cH, \cK$. This paper is devoted to the study of the topological properties of $\CR$ if certain natural metrics are considered on it. We also define an action of the group $\G_\cH imes\G_\cK$ on $\CR$ and determine the orbits of this action. These orbits determine a stratification of the set of Fredholm and semi-Fredholm operators. Finally, we calculate the distance, with respect to some of the metrics mentioned above, between different orbits of $\CR$.

研究动机与目标

• 在集合 $\mathcal{CR}(\mathcal{H},\mathcal{K})$ 上定义一种比标准算子范数拓扑更精细的拓扑，以区分在标准范数拓扑下路径连通的算子。
• 通过群作用 $ (G,H) \cdot A = GAH^{-1} $，其中 $ G \in \mathcal{G}_\mathcal{H}, H \in \mathcal{G}_\mathcal{K} $，定义并分析 $\mathcal{CR}(\mathcal{H},\mathcal{K})$ 上的齐次结构。
• 通过三个不变量：零度 $ n(A) $、秩 $ r(A) $ 和亏格 $ d(A) $，刻画该作用的轨道，从而实现弗雷德霍姆算子与半弗雷德霍姆算子的分层。
• 利用 $d_R$ 和 $d_N$ 度量计算不同轨道之间的距离，为 $ \mathcal{CR}(\mathcal{H},\mathcal{K}) $ 的结构提供几何与拓扑洞察。

提出的方法

• 引入度量 $ d_R(A,B) = \left( \|A - B\|^2 + \|P_{R(A)} - P_{R(B)}\|^2 \right)^{1/2} $，该度量细化了算子范数，并确保值域投影映射的连续性。
• 利用反向极分解 $ A = |A^*|V $，将一般闭值域算子与 $ \mathcal{C}_P $ 中的偏等距算子及正算子联系起来。
• 建立 $ \mathcal{CR}_\mathcal{S} $（值域固定为 $ \mathcal{S} $ 的算子）与 $ \mathcal{C}_P \times \mathcal{PI}_\mathcal{S} $ 之间的同胚，从而通过齐次空间研究其局部结构。
• 定义群作用 $ L' $ 作用于 $ \mathcal{G}_\mathcal{S} \times \mathcal{U}_\mathcal{H} $ 上 $ \mathcal{C}_P \times \mathcal{PI}_\mathcal{S} $，其中 $ L'(G,U)(A,V) = (GAG^*, VU^*) $，以将轨道建模为齐次空间。
• 应用文献 [2] 的结果，为映射 $ \pi: \mathcal{G}_\mathcal{S} \times \mathcal{U}_\mathcal{H} \to \mathcal{C}_P \times \mathcal{PI}_\mathcal{S} $ 构造局部截面，确保轨道空间具有局部齐次性。
• 利用 $ \mathcal{CR}_\mathcal{S} $ 的分解与 Moore-Penrose 逆的连续性，通过 $ d_R $ 和 $ d_N $ 计算了轨道之间的距离。

实验结果

研究问题

• RQ1 如何在 $ \mathcal{CR}(\mathcal{H},\mathcal{K}) $ 上定义一种更精细的拓扑，以区分在标准范数拓扑下路径连通的算子？
• RQ2 在群作用 $ (G,H) \cdot A = GAH^{-1} $ 下，轨道的结构是怎样的？它们如何通过不变量刻画？
• RQ3 $ d_R $ 和 $ d_N $ 度量如何量化 $ \mathcal{CR}(\mathcal{H},\mathcal{K}) $ 中不同轨道之间的几何分离程度？
• RQ4 集合 $ \mathcal{CR}_\mathcal{S} $（值域固定为 $ \mathcal{S} $ 的算子）能否赋予齐次空间结构？若能，如何实现？
• RQ5 连续局部截面在将 $ \mathcal{CR}_\mathcal{S} $ 实现为诱导群作用下的齐次空间中起什么作用？

主要发现

• 度量 $ d_R $ 严格细于算子范数，并确保映射 $ A \mapsto P_{R(A)} $ 连续，从而在 $ \mathcal{CR}(\mathcal{H},\mathcal{K}) $ 上诱导出非平凡拓扑。
• 作用 $ (G,H) \cdot A = GAH^{-1} $ 的轨道完全由三个不变量刻画：零度 $ n(A) $、秩 $ r(A) $ 和亏格 $ d(A) $。
• 算子 $ A \in \mathcal{CR}(\mathcal{H},\mathcal{K}) $ 的轨道 $ \mathcal{O}_A $ 同胚于 $ \mathcal{G}_\mathcal{H} \times \mathcal{G}_\mathcal{K} / \text{Stab}(A) $，且该作用是局部传递的。
• 值域固定为 $ \mathcal{S} $ 的算子集合 $ \mathcal{CR}_\mathcal{S} $ 同胚于 $ \mathcal{C}_P \times \mathcal{PI}_\mathcal{S} $，其中 $ \mathcal{C}_P $ 是值域为 $ \mathcal{S} $ 的正算子的汤普森分支。
• 在 $ d_R $ 和 $ d_N $ 度量下，两个不同轨道之间的距离被显式计算，结果依赖于不变量 $ n(A), r(A), d(A) $。
• 映射 $ \pi(G,U) = (GPG^*, WU^*) $ 存在连续局部截面，确保 $ \mathcal{CR}_\mathcal{S} $ 从 $ \mathcal{G}_\mathcal{S} \times \mathcal{U}_\mathcal{H} $ 继承齐次空间结构。