[论文解读] Dense families of selections and finite-dimensional spaces

Valentin Gutev, Vesko Valov|ArXiv.org|Nov 26, 2001

Advanced Topology and Set Theory参考文献 21被引用 4

一句话总结

该论文为有限维空间和强可数维空间中的连续选择建立了避开 $\sigma Z_n$-集的参数选择定理，通过避开 $Z_n$-集的连续选择给出了 $n$-维空间的新刻画。关键结果实现了广义的 Ostrand 型定理，并使用选择理论方法给出了 Hurewicz 维数公式的全新证明。

ABSTRACT

A characterization of $n$-dimensional spaces via continuous selections avoiding $Z_n$-sets is given, and a selection theorem for strongly countable-dimensional spaces is established. We apply these results to prove a generalized Ostrand's theorem and to obtain a new alternative proof of the Hurewicz formula.

研究动机与目标

• 通过目标空间中避开 $Z_n$-集的连续选择来刻画 $n$-维空间。
• 利用 $\sigma Z_n$-集为强可数维空间建立选择定理。
• 利用新的选择结果推广 Ostrand 的覆盖定理。
• 使用选择理论技术提供 Hurewicz 维数公式的替代证明。

提出的方法

• 使用下半连续集值映射 $\varphi: X \to \mathcal{F}(Y)$，其具有等度 $LC^{n-1}$ 和 $C^{n-1}$ 性质。
• 引入第二个集值映射 $\psi: X \to \mathcal{P}(Y)$，其图像是 $F_\sigma$ 型，且满足 $\psi(x) \cap \varphi(x)$ 是 $\varphi(x)$ 中的 $\sigma Z_n$-集。
• 应用 $C(X,Y)$ 上的精细拓扑分析避开 $\psi(x)$ 的选择的稠密性。
• 利用 $C(X, \mathbb{B}^{n+1} \setminus F)$ 在 $C(X, \mathbb{B}^{n+1})$ 中稠密（当 $F$ 为 $\sigma Z_n$-集时）的性质来刻画维数。
• 使用 $\Delta$-映射 $\Delta_{(f,\varphi)}: Y \to \mathcal{F}_c(C(X,E))$ 将选择问题从 $X$ 转移到 $Y$，从而可应用已知的选择定理。
• 应用定理 1.2 证明 $\mathcal{M}(\psi) \cap \mathcal{Sel}(\varphi)$ 在精细拓扑中是稠密的 $G_\delta$-子集，从而保证所求选择的存在性。

实验结果

研究问题

• RQ1 如何通过目标空间中避开 $Z_n$-集的连续选择来刻画覆盖维数 $\dim(X) \leq n$？
• RQ2 在有限维空间中，何种条件可确保避开 $\sigma Z_n$-集的集值映射存在连续选择？
• RQ3 新的选择定理能否用于推广有限维空间中的 Ostrand 覆盖定理？
• RQ4 该选择定理是否能为闭映射的 Hurewicz 公式 $\dim(X) \leq \dim f + \dim Y$ 提供新证明？
• RQ5 $\sigma Z_n$-集与选择理论在强可数维空间中如何相互作用？

主要发现

• 该论文通过目标空间中存在避开 $Z_n$-集的连续选择，给出了 $n$-维空间的刻画。
• 为强可数维空间建立了新的选择定理，证明在等度 $LC^{n-1}$ 和 $C^{n-1}$ 条件下，避开 $\sigma Z_n$-集的选择存在。
• 主要选择结果表明 $\mathcal{M}(\psi) \cap \mathcal{Sel}(\varphi)$ 在精细拓扑中是稠密的 $G_\delta$-子集，这推广了 Michael 的选择定理。
• 该选择定理导出了有限维空间的广义 Ostrand 型覆盖定理。
• 利用选择理论框架，获得了 Hurewicz 公式 $\dim(X) \leq \dim f + \dim Y$ 的替代证明。
• 该方法为 Michael 关于 $C^{n-1}$-值且等度 $LC^{n-1}$ 映射的连续选择结果提供了新证明。