[论文解读] Uniformity of uniform convergence on the family of sets

Alexander V. Osipov|arXiv (Cornell University)|Sep 7, 2012

Advanced Topology and Set Theory参考文献 1被引用 3

一句话总结

本文建立了在何种条件下，一族集合上一致收敛的拓扑与连续映射空间 $ C(X,Y) $ 上的集开拓扑相一致。证明表明，对于豪斯多夫空间 $ X $ 和一致空间 $ Y $，一族 $ \nu $ 上的一致收敛一致型与集开拓扑一致，当且仅当 $ \nu $ 由 $ Y $-紧致集构成，尤其当 $ Y $ 是闭-齐性且完备时。其主要贡献在于对使一致收敛诱导出集开拓扑的族的拓扑特征刻画。

ABSTRACT

We prove that for every Hausdorff space X and any uniform quadra space (Y,U) the topology on C(X,Y) induced by the uniformity U| of uniform convergence on the saturation family L coincides with the set-open topology on C(X,Y). In particular, for every pseudocompact space X and any metrizable topological vector space Y with uniform U the topology on C(X,Y) induced by the uniformity U| of uniform convergence coincides with the C-compact-open topology on C(X,Y), and depends only on the topology induced on Y by the uniformity U. It is also shown that in the class closed-homogeneous complete uniform spaces Y necessary condition for coincidence of topologies is Y-compactness of elements of family L.

研究动机与目标

• 确定一族集合上的一致收敛拓扑与 $ C(X,Y) $ 上集开拓扑一致的条件。
• 刻画使一致收敛一致型诱导出集开拓扑的集合族。
• 建立族 $ \lambda $ 与空间 $ Y $ 的必要与充分条件，以实现拓扑一致。
• 探讨 $ Y $-紧致性、闭-齐性与完备性在确保拓扑等价性中的作用。

提出的方法

• 通过 $ A \in \lambda $ 与 $ V \in \mathcal{U} $ 的周围 $ \hat{V}|A $ 定义一族 $ \lambda $ 上的一致收敛一致型 $ \mathcal{\hat{U}}|\lambda $。
• 使用由子基集 $ [A, U] = \{ f \in C(X,Y) : f(A) \subseteq U \} $ 生成的集开拓扑，其中 $ A \in \lambda $，$ U \subseteq Y $ 为开集。
• 利用四元空间与 $ Y $-紧致集的性质，分析连续映射下的交集与像。
• 应用 $ Y $ 的闭-齐性，构造保持拓扑但移动点的同胚，当假设不成立时导出矛盾。
• 利用 $ Y $ 的完备性，证明闭的完全有界集是紧致的，从而将完全有界性与紧致性联系起来。
• 通过反证法证明 $ \lambda $ 中 $ Y $-紧致性的必要性，利用非紧致像与同胚扰动。

实验结果

研究问题

• RQ1 在何种条件下，一族 $ \lambda $ 上的一致收敛一致型在 $ C(X,Y) $ 上诱导的拓扑与集开拓扑相同？
• RQ2 为使拓扑一致，族 $ \lambda $ 必须具备何种拓扑性质，尤其当 $ Y $ 是闭-齐性时？
• RQ3 $ Y $ 的结构（如为四元空间或具有 $ G_\delta $-对角线）如何影响一致收敛拓扑与集开拓扑之间的关系？
• RQ4 当 $ Y $ 完备且闭-齐性时，$ \lambda $ 中元素的 $ Y $-紧致性是否为拓扑一致的必要且充分条件？
• RQ5 若 $ Y $ 满足某些条件，即使 $ \lambda $ 包含非紧致集，一致收敛一致型是否仍可诱导出集开拓扑？

主要发现

• 对任意豪斯多夫空间 $ X $ 与任意一致空间 $ (Y,\mathcal{U}) $，$ C(X,Y) $ 上由 $ \mathcal{\hat{U}}|\lambda $ 诱导的拓扑与集开拓扑一致，当且仅当 $ \lambda $ 由 $ Y $-紧致集构成。
• 特别地，对伪紧致 $ X $ 与可度量化拓扑线性空间 $ Y $，一致收敛一致型 $ \mathcal{\hat{U}} $ 诱导的拓扑与 $ C $-紧开拓扑相同。
• 若 $ Y $ 是闭-齐性完备一致空间，且两种拓扑一致，则 $ \lambda $ 中每个集合必须是 $ Y $-闭完全有界集。
• 对闭-齐性完备一致空间 $ Y $，为使两种拓扑一致，族 $ \lambda $ 必须由 $ Y $-紧致集构成。
• Sorgenfrey 直线 $ Z $ 是四元空间，因此对任意豪斯多夫空间 $ X $，在紧致集上的一致收敛一致型 $ \mathcal{\hat{U}}|\lambda $ 诱导出 $ C(X,Z) $ 上的集开拓扑。
• 通过反证法确立了 $ \lambda $ 中 $ Y $-紧致性的必要性：假设非紧致性允许构造一个破坏拓扑等价性的同胚。