[論文レビュー] Decomposing with smooth sets

Juris Steprāns|arXiv (Cornell University)|Jan 7, 1995

Digital Image Processing Techniques被引用数 2

ひとこと要約

本稿は、ユークリッド空間内の滑らかな曲面に対する異なる被覆数の一貫性を調査し、ZFCに関して、m次元空間を被覆するために必要なn-滑らか集合の最小数が、(n+1)-滑らか集合のそれとは異なることが一貫的であることを示している。Sacksの強制法と新規の強制概念S(m,n)を用いて、cov(Dm,n) < cov(Dm,n+1)が一貫的であることを確立し、連続関数を微分可能関数に分解することと関連づけ、主な結果はdec(C,D) = cov(D∞,∞)である。

ABSTRACT

A subset of Euclidean space will be said to be $n$-smooth if it has an $n$-dimensional tangent plane at each of its points. Let ${\frak d}_n$ denote the least number $n$-smooth sets into which $n+1$-dimensional Euclidean space can be decomposed. For each $n$ it is shown to be consistent that ${\frak d}_n > {\frak d}_{n+1} $. Moreover, the inequalities ${\frak d}_{n+1}^+ \geq ${\frak d}_n$ are established where ${\frak d}_1$ is defined to be the continuum. The cardinal invariant ${\frak d}_2$ is shown to be the same as the least $\kappa$ such that each continuous function from the reals to the reals can be decomposed into $\kappa$ differentiable functions.

研究の動機と目的

• Rm を被覆するために必要なn-滑らか集合の最小数を表す、異なる基数不変量dm,nの一貫性を調査すること。
• 滑らかな曲面被覆数と、連続関数を微分可能関数に分解することとの関係を調査すること。
• 強制法を用いて、dm,n < dm,n+1 がZFCに関して一貫的であることを示すこと。
• 被覆数cov(Dm,n)と関数分解基数dec(C,D)の明確な関係を確立すること。

提案手法

• Rnの部分空間における距離ρを用いて、接平面によって定義されるk-滑らか曲面の概念を導入する。
• n-滑らか曲面によって生成されるσ-整域Dm,nを定義し、その被覆数dm,nを研究する。
• ǫ-直交族に基づくボールの新しい強制概念S(m,n)を導入し、Sacksの強制法を一般化する。
• 可算補助反復における融合法を用いて、元のモデル内の滑らか集合を保存しつつ、新しい実数を追加する。
• 強制法を適用して、一般化拡大において被覆数cov(Dm,n)がcov(Dm,n+1)より厳密に小さくなることを示す。
• 関数分解と滑らかな曲面被覆との間の対応関係を、恒等式dec(C,D) = cov(D∞,∞)によって確立する。

実験結果

リサーチクエスチョン

• RQ1 m > n ≥ 1 に対して、dm,n ≠ dm,n+1 が一貫的であるか？
• RQ2 滑らかな曲面の理想Dm,nの被覆数は、微分可能関数への関数分解とどのように関連しているか？
• RQ3 Sacks型の強制法を、Dm,nの被覆数を制御しつつ滑らかさの性質を保存できるように適合させられるか？
• RQ4 基数不変量dec(C,D)と被覆数cov(D∞,∞)の正確な関係は何か？
• RQ5 null理想の加法性は、dec(C,D)の下界として最良のものか？

主な発見

• m > n ≥ 1 に対して、dm,n < dm,n+1 が一貫的であることが示され、n-滑らかと(n+1)-滑らか曲面の被覆数の間で厳密な分離が成立することが示された。
• 被覆数cov(Dm,n)が関数分解基数dec(C,D)に等しいことが示され、幾何的被覆と関数分解との間の深い関係が確立された。
• 滑らかさと直交性を制御できるように設計された強制概念S(m,n)が構成され、被覆数の分離が可能になった。
• 可算補助反復における融合列を用いた証明により、元のモデル内の滑らか集合を保存しつつ、少なくともdm,n+1個の集合では被覆されない新しい実数を追加することができた。
• 主な結果は、dec(C,D) = cov(D∞,∞)であり、dec(C,D)の既知の下界が改善され、それがℵ1未満である一貫性が示された。
• 構成により、null理想の加法性がdec(C,D)の最良の下界ではないことが示され、被覆数が厳密に小さくなる可能性があることが明らかになった。