[论文解读] The triangle of operators, topologies, bornologies

Ngai‐Ching Wong|ArXiv.org|Jun 10, 2005

Advanced Banach Space Theory参考文献 19被引用 3

一句话总结

本文建立了一套对偶框架，将局部凸空间（LCS）中的算子理想、拓扑与序域联系起来，表明格罗滕迪克（Grothendieck）空间及其对偶的共格罗滕迪克空间恰好对应于算子理想 ${\mathfrak{A}}$ 下的 ${\mathfrak{A}}$-拓扑空间与 ${\mathfrak{A}}$-序域空间。其核心贡献在于构建了算子、拓扑与序域之间通过算子理想实现的可交换三角等价关系，推广了经典结果中对核型、施瓦茨型及紧算子的刻画。

ABSTRACT

This paper discusses two common techniques in functional analysis: the topological method and the bornological method. In terms of Pietsch's operator ideals, we establish the equivalence of the notions of operators, topologies and bornologies. The approaches in the study of locally convex spaces of Grothendieck (via Banach space operators), Randtke (via continuous seminorms) and Hogbe-Nlend (via convex bounded sets) are compared.

研究动机与目标

• 通过算子理想、拓扑与序域之间的相互作用，统一研究局部凸空间。
• 将核型、施瓦茨型及紧算子的经典刻画推广至更广泛的局部凸空间类别。
• 通过算子理想建立算子、拓扑与序域之间可交换三角等价关系。
• 为 ${\mathfrak{A}}$-拓扑空间与 ${\mathfrak{A}}$-序域空间提供系统化的对偶理论。
• 利用算子理想结构，将框架扩展至张量积、有序局部凸空间及 $C^*$-代数。

提出的方法

• 通过算子理想 ${\mathfrak{A}}$ 的内射包 ${\mathfrak{A}}^{\operatorname{inj}}$ 定义局部凸空间 $X$ 上的 ${\mathfrak{A}}$-拓扑，基于 ${\mathfrak{A}}$-连续半范数。
• 通过算子理想 ${\mathfrak{A}}$ 的序域上射包 ${\mathfrak{A}}^{\operatorname{bsur}}$ 定义局部凸空间 $X$ 上的 ${\mathfrak{A}}$-序域，基于 ${\mathfrak{A}}$-有界绝对凸集。
• 若一个局部凸空间 $X$ 的拓扑（相应地，序域）与 ${\mathfrak{A}}$-拓扑（相应地，${\mathfrak{A}}$-序域）一致，则称其为 ${\mathfrak{A}}$-拓扑空间（相应地，${\mathfrak{A}}$-序域空间）。
• 建立对偶关系：$X$ 是 ${\mathfrak{A}}$-拓扑空间当且仅当其强对偶 $X^\prime_\beta$ 是 ${\mathfrak{A}}$-序域空间，反之亦然。
• 利用该构造，将类型为 ${\mathfrak{A}}$ 的格罗滕迪克空间定义为通过 ${\mathfrak{A}}$-算子构成的巴拿赫空间的投影极限。
• 将该框架应用于张量积、有序局部凸空间及 $C^*$-代数，揭示其与理想拓扑及算子模之间的联系。

实验结果

研究问题

• RQ1 如何利用算子理想来定义并刻画局部凸空间上的拓扑与序域？
• RQ2 ${\mathfrak{A}}$-拓扑空间与 ${\mathfrak{A}}$-序域空间之间的确切对偶关系是什么？
• RQ3 经典类如核型与施瓦茨型空间在多大程度上可作为 ${\mathfrak{A}}$-拓扑或 ${\mathfrak{A}}$-序域空间出现？
• RQ4 该框架能否通过算子理想结构扩展至张量积与 $C^*$-代数？
• RQ5 ${\mathfrak{A}}$-拓扑空间与 ${\mathfrak{A}}$-序域空间在子空间、商空间与投影极限下具有何种保持性质？

主要发现

• 局部凸空间 $X$ 上的 ${\mathfrak{A}}$-拓扑与 ${\mathfrak{A}}$-序域分别通过算子理想 ${\mathfrak{A}}$ 的内射包与序域上射包定义。
• 一个局部凸空间 $X$ 是 ${\mathfrak{A}}$-拓扑空间当且仅当其强对偶 $X^\prime_\beta$ 是 ${\mathfrak{A}}$-序域空间，反之亦然，从而确立了对偶关系。
• 类型为 ${\mathfrak{A}}$ 的格罗滕迪克空间恰好是 ${\mathfrak{A}}$-拓扑空间，而共格罗滕迪克空间则是 ${\mathfrak{A}}$-序域空间。
• 对于内射理想 ${\mathfrak{A}}$，${\mathfrak{A}}$-拓扑空间的投影极限仍是 ${\mathfrak{A}}$-拓扑空间，而 ${\mathfrak{A}}$-序域空间的子空间仍是 ${\mathfrak{A}}$-序域空间。
• $C^*$-代数 $A$ 上的 ${\mathfrak{W}}$-拓扑（由弱紧算子生成）是与有界集上强*算子拓扑一致的最细局部凸拓扑，其完备化为 $ (A^{**}, \tau(A^{**}, A^*)) $。
• 该框架为施瓦茨型、亚施瓦茨型、核型与共核型空间提供了保持性质，包括在适当理想条件下对子空间、商空间与投影极限的封闭性。