[論文レビュー] 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$-集合を避ける連続選択肢のパrametric選択定理を確立し、$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.

研究の動機と目的

• 目標1: $Z_n$-集合を避ける連続選択肢を用いた$n$次元空間の特徴付け。
• 目標2: $\sigma Z_n$-集合を用いた強可算次元空間の選択定理の確立。
• 目標3: 新たな選択結果を用いてOstrandの被覆定理を一般化すること。
• 目標4: 選択論的技法を用いて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$-集合となるようにすること。
• $\psi(x)$を避ける選択肢の稠密性を分析するために、$C(X,Y)$上の細かい位相を適用すること。
• $F$が$\sigma Z_n$-集合であるとき、$C(X, \mathbb{B}^{n+1} \setminus F)$が$C(X, \mathbb{B}^{n+1})$において稠密であるという事実を活用し、次元の特徴付けを行うこと。
• $\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}$条件のもとで、強可算次元空間に対する新たな選択定理が確立される。
• 主な選択結果により、$\mathcal{M}(\psi) \cap \mathcal{Sel}(\varphi)$が細かい位相において稠密な$G_\delta$部分集合であることが示され、これはマイケルの選択定理を一般化する。
• 選択定理により、有限次元空間に対する一般化されたOstrand型被覆定理が得られる。
• 選択論的枠組みを用いて、Hurewiczの公式$\dim(X) \leq \dim f + \dim Y$の代替的証明が得られる。
• 本手法により、$C^{n-1}$-値で等質な$LC^{n-1}$写像に対するマイケルの連続選択肢に関する結果の新たな証明が得られる。