[论文解读] Approximation properties determined by operator ideals

Sonia Berrios, Geraldo Botelho|arXiv (Cornell University)|Sep 15, 2010

Advanced Banach Space Theory参考文献 38被引用 4

一句话总结

本文引入并研究了巴拿赫空间的 $σ$-逼近性质（$\cal I$-AP），其定义为：在给定的算子理想 $\cal I$ 中，对紧集上算子的均匀逼近。研究证明，巴拿赫空间 $E$ 具有 $\cal I$-AP 当且仅当有界全纯函数空间 $\mathcal{H}^\infty(U;F)$ 在 $\cal I$-算子下拓扑闭，通过其预对偶 $G^\infty(U)$ 将算子理想与全纯函数空间联系起来，并将已知的全纯与多项式设置下的逼近性质结果进行推广。

ABSTRACT

Given an operator ideal I, a Banach space E has the I-approximation property if operators on E can be uniformly approximated on compact subsets of E by operators belonging to I. In this paper the I- approximation property is studied in projective tensor products, spaces of linear functionals, spaces of homogeneous polynomials (in particular, spaces of linear operators), spaces of holomorphic functions and their preduals.

研究动机与目标

• 通过为任意算子理想 $\cal I$ 定义并分析 $\cal I$-逼近性质，推广经典逼近性质。
• 研究投影张量积、线性泛函空间、齐次多项式与全纯函数空间中的 $\cal I$-AP。
• 建立巴拿赫空间 $E$ 的 $\cal I$-AP 与 $\cal I$-结构全纯函数在 $\tau_\gamma$ 拓扑下的闭包之间的拓扑等价性。
• 利用算子理想的框架，统一并扩展全纯与多项式设置下已知的逼近性质结果。

提出的方法

• 将 $\cal I$-AP 定义为 $\mathcal{L}(E;E) = \overline{\mathcal{I}(E;E)}^{\tau_c}$，其中 $\tau_c$ 为紧开拓扑。
• 利用空间 $G^\infty(U)$ 的普遍性质（即 $\mathcal{H}^\infty(U;F)$ 的预对偶），将算子理想与全纯函数联系起来。
• 在 $\mathcal{H}^\infty(U;F)$ 上应用拓扑 $\tau_\gamma$，其由半范数 $p(f) = \sup_j \alpha_j \|f(x_j)\|$ 生成，以研究全纯函数的收敛性。
• 证明 $\mathcal{H}^\infty(U;F) = \overline{\mathcal{I} \circ \mathcal{H}^\infty(U;F)}^{\tau_\gamma}$ 当且仅当 $G^\infty(U)$ 具有 $\cal I$-AP。
• 利用 $\mathcal{H}^\infty(U;F)$ 上的映射 $f \mapsto T_f$ 与 $\mathcal{L}(G^\infty(U);F)$ 之间的同构，将全纯函数的性质转移至线性算子。
• 利用 $\cal I$ 的理想性质以及条件 $\cal{L}[\cal{I}] \subseteq \cal{I} \circ \cal{L}$，确保证明中闭包与复合不变性。

实验结果

研究问题

• RQ1 对于给定的算子理想 $\cal I$，巴拿赫空间 $E$ 在何时具有 $\cal I$-逼近性质？
• RQ2 $\cal I$-AP 如何与有界全纯函数空间 $\mathcal{H}^\infty(U;F)$ 及其预对偶 $G^\infty(U)$ 的结构相关联？
• RQ3 在何种条件下，$\mathcal{H}^\infty(U;F)$ 成为 $\cal I$-结构全纯函数在拓扑下的闭包？
• RQ4 能否通过 $G^\infty(U)$ 的 $\cal I$-AP 来刻画 $E$ 的 $\cal I$-AP？
• RQ5 $\tau_\gamma$ 拓扑在连接算子理想与全纯逼近中起什么作用？

主要发现

• 巴拿赫空间 $E$ 具有 $\cal I$-AP 当且仅当对每个巴拿赫空间 $F$，都有 $\mathcal{H}^\infty(U;F) = \overline{\mathcal{I} \circ \mathcal{H}^\infty(U;F)}^{\tau_\gamma}$，从而建立了拓扑刻画。
• 预对偶空间 $G^\infty(U)$ 具有 $\cal I$-AP 当且仅当 $E$ 具有 $\cal I$-AP，将 $E$ 的逼近性质与其全纯预对偶联系起来。
• 当且仅当 $E$ 具有 $\cal I$-AP 时，$G^\infty(U)$ 上的恒等算子属于 $\mathcal{I}(G^\infty(U);G^\infty(U))$ 的 $\tau_c$-闭包。
• 该结果推广了 [19, 定理 5]，并扩展了 [20, 命题 6.6]，将 $\cal I$-AP 纳入全纯函数框架。
• 该等价性在条件 $\cal{L}[\cal{I}] \subseteq \cal{I} \circ \cal{L}$ 下成立，确保了理想与复合及全纯提升的兼容性。
• 证明依赖于齐次多项式上 $\tau_c$-$\tau_\gamma$ 兼容性，以及全纯函数表示为 $\cal I$-算子复合的形式。