[论文解读] Closed graph theorems for bornological spaces

Federico Bambozzi|arXiv (Cornell University)|Aug 6, 2015

Mathematical and Theoretical Analysis参考文献 10被引用 10

一句话总结

本文为完备且非平凡赋值的域上的拟范空间建立了统一的闭图定理，涵盖阿基米德与非阿基米德情形。通过引入拟范网与拟范文，推广了庞帕与德·维尔德的定理，证明了具有拟范闭图的线性映射是有界或连续的，并将这些结果应用于证明所有在 dagger affinoid 代数之间的代数同态都是有界的。

ABSTRACT

The aim of this paper is that of discussing Closed Graph Theorems for bornological vector spaces in a way which is accessible to non-experts. We will see how to easily adapt classical arguments of functional analysis over $\mathbb{R}$ and $\mathbb{C}$ to deduce Closed Graph Theorems for bornological vector spaces over any complete, non-trivially valued field, hence encompassing the non-Archimedean case too. We will end this survey by discussing some applications. In particular, we will prove de Wilde's Theorem for non-Archimedean locally convex spaces and then deduce some results about the automatic boundedness of algebra morphisms for a class of bornological algebras of interest in analytic geometry, both Archimedean (complex analytic geometry) and non-Archimedean.

研究动机与目标

• 为任意完备且非平凡赋值的域上的拟范向量空间提供一个自包含且易于理解的闭图定理处理方法。
• 通过统一阿基米德与非阿基米德拟范向量空间理论，弥合文献中的空白。
• 在最小附加假设下，将经典结果如庞帕与德·维尔德定理推广至非阿基米德情形。
• 将定理应用于证明解析几何中代数同态的自动有界性，特别是针对 dagger affinoid 代数。
• 为未来在非阿基米德解析几何与整体分析中的应用奠定基础工具。

提出的方法

• 引入并发展完备且非平凡赋值的域上的拟范向量空间理论，涵盖阿基米德与非阿基米德情形。
• 定义拟范网与拟范文作为推广拟范空间中收敛性与有界性结构的工具。
• 利用拟范网证明分离凸拟范向量空间的一般闭图定理，表明闭图蕴含有界性。
• 通过拟范文的概念将结果推广至拟范文拟范向量空间，统一框架下恢复加奇定理。
• 将定理应用于推导非阿基米德情形下的连续性与有界性，特别是在球对称完备基域与极拟范文空间下。
• 利用闭图定理证明所有在 dagger affinoid 代数之间的代数同态都是有界的，借助归纳极限结构与拟范理想性质。

实验结果

研究问题

• RQ1 泛分析中的经典闭图定理能否推广至非阿基米德域上的拟范向量空间？
• RQ2 如何利用拟范网与拟范文统一阿基米德与非阿基米德情形下闭图定理的处理？
• RQ3 在非阿基米德局部凸空间中，具有拟范闭图的线性映射在何种条件下仍保持连续或有界？
• RQ4 德·维尔德定理能否推广至非阿基米德基域？需要哪些额外假设？
• RQ5 dagger affinoid 代数之间的代数同态是否自动有界？能否从拟范闭图定理中推导出此结论？

主要发现

• 本文建立了分离凸拟范向量空间的统一闭图定理：若 E 完备且 F 具有拟范网，则任意具有拟范闭图的线性映射均为有界。
• 通过使用拟范网，该定理将庞帕的结果推广至所有完备且非平凡赋值的域，包括非阿基米德情形。
• 证明了拟范文拟范空间的第二个闭图定理，推广了加奇定理，并将其扩展至非阿基米德情形。
• 在基域球对称且目标空间为极拟范文的假设下，证明了非阿基米德版本的德·维尔德定理。
• 证明了所有在严格 K-dagger affinoid 代数之间的代数同态都是有界的，作为闭图定理与所有理想均为拟范闭的推论。
• 通过归纳极限，该结果可推广至非严格 dagger affinoid 代数，确认所有此类代数同态均为有界。