[论文解读] Une Structure Uniforme sur un Espace F(E,F)

Nicolas Bouleau|arXiv (Cornell University)|Jan 19, 2010

Advanced Topology and Set Theory被引用 6

一句话总结

本文在从拓扑空间 E 到一致空间 F 的函数空间 𝒞(E,F) 上引入了一种统一结构，称为 V-收敛一致结构。该结构确保连续函数的逐点极限仍为连续函数，且在此结构下的收敛性与连续函数上的逐点收敛性等价。其主要贡献在于构建了一个一致拓扑，该拓扑比逐点收敛更精细，同时保持极限的连续性。

ABSTRACT

Let E be a topological space and F a uniform space. We introduce a new topology (in fact a uniform structure) called the V-congergence on the space of applications from E to F such that C(E,F) is closed for this topology and the restriction of this topology to C(E,F) is equivalent to pointwise convergence. In other words this topology is the coarsest preserving continuity. We give a criterion of convergence for this topology not involving the limit. Among properties preserved are mesurability and alpha-borelianity for a countable ordinal alpha.

研究动机与目标

• 为从拓扑空间 E 到一致空间 F 的函数空间 𝒞(E,F) 定义一致结构。
• 确保在此结构下，连续函数序列的极限仍为连续函数。
• 使该结构在 𝒞(E,F) 上的限制与逐点收敛的拓扑等价。
• 研究该一致结构在泛函分析与拓扑学中的应用。
• 建立在 V-收敛下相对紧致性与完备性的条件。

提出的方法

• 利用 E 的有限子集 A ⊂ E 和 F 的邻域 W，定义 𝒞(E,F) × 𝒞(E,F) 中的邻域 𝒰_{W,A}，要求在 A 的邻域上满足 (f(x),g(x)) ∈ W。
• 证明 {𝒰_{W,A}} 的集合构成 𝒞(E,F) 上一致结构的基本邻域系，该结构称为 V-收敛一致结构。
• 证明该一致结构比逐点收敛更精细，但比局部一致收敛更粗糙。
• 利用求值映射的连续性及 𝒞(E,F) 在 V-一致结构下的闭性，证明连续函数的极限是连续的。
• 通过逐点相对紧致性与逐点收敛下的闭包条件，建立 V-一致结构中相对紧致性的判别准则。
• 证明当 F 为拓扑线性空间且函数局部有界时，V-一致结构与向量空间运算相容。

实验结果

研究问题

• RQ1 能否在从拓扑空间到一致空间的函数空间上定义一致结构，使得连续函数的极限仍为连续函数？
• RQ2 该一致结构在连续函数空间 𝒞(E,F) 上的限制是否与逐点收敛拓扑等价？
• RQ3 在 V-一致结构下，什么条件能保证相对紧致性？
• RQ4 V-收敛一致结构与函数空间上的其他标准拓扑有何关系？
• RQ5 在何种条件下，函数空间在 V-收敛一致结构下是完备的？

主要发现

• 在 V-收敛一致结构下，连续函数空间 𝒞(E,F) 在 𝒞(E,F) 本身配备此一致结构时是闭的。
• V-收敛一致结构在 𝒞(E,F) 上的限制与逐点收敛拓扑等价。
• 集合 H ⊂ 𝒞(E,F) 在 V-收敛下相对紧致，当且仅当对每个 x ∈ E，H(x) 在 F 中相对紧致，且 H 的逐点闭包包含于 𝒞(E,F)。
• 当 F 为拓扑线性空间时，V-收敛一致结构与局部有界函数的向量空间结构相容。
• 当 X 为局部紧且 σ-紧的，Y 为度量空间时，Borel 可测函数空间与 Borel 层 α 的函数空间在 V-一致拓扑下是闭的。
• 在 σ-紧、局部紧空间 X 与度量空间 Y 的情况下，V-一致拓扑满足可数闭包性质：若 f₀ 属于集合 A 的闭包，则 f₀ 也属于 A 的某个可数子集的闭包。