AI 中文总结
该研究在Katětov序框架下，针对不可数坐标理想Conv(A,D)，在ZFC及CH公理下探讨其等价性与归约关系，证明CH下可数非小坐标界的严格性及非归约性
AI 中文摘要
对于每个可数序数α≥2，Filipów、Kowalczuk和Kwela在可数紧序数空间ω^α+1上引入了理想mathsf{conv}_α。Kowalczuk后来证明，对于每个可数极限序数λ，理想mathsf{conv}_{<λ}是Katětov序中{mathsf{conv}_β:β<λ}的最大下界。在第一个不可数层级，设A⊆[2,ω₁)为不可数集，D为X_A=∏_{α∈A}(ω^α+1)的可数稠子集，D上的坐标理想Conv(A,D)由满足对每个α∈A，π_α[B]∈mathsf{conv}_α的B⊆D构成。对于可数稠集对D⊆E，若π_α[E\setminus D]∉mathsf{conv}_α，则称α为非小坐标。在ZFC中，若非小坐标至多可数，则Conv(A,D)≡_K Conv(A,E)。在连续统假设（CH）下，该可数界是严格的：对每个满足|A|=ℵ₁的A⊆[3,ω₁)，存在可数稠集D⊆D^*⊆X_A，使得Conv(A,D^*)≤_K Conv(A,D)但Conv(A,D)≮_K Conv(A,D^*)，特别地，Conv(A,D)与Conv(A,D^*)不是Katětov等价的；这种非归约性在CH下通过沿ω₁个坐标对角化编码收缩映射D^*→D的ω^ω元素得到。
英文摘要
For each countable ordinal $α\geq 2$, Filipów, Kowalczuk and Kwela introduced an ideal $\mathsf{conv}_α$ on the countable compact ordinal space $ω^α+1$. Kowalczuk later proved that, for each countable limit ordinal $λ$, the ideal $\mathsf{conv}_{<λ}$ is the greatest lower bound of $\{\mathsf{conv}_β:β<λ\}$ in the Katětov order. At the first uncountable level, let $A\subseteq[2,ω_1)$ be uncountable and let $D$ be a countable dense subset of $X_A=\prod_{α\in A}(ω^α+1)$. The coordinate ideal $\mathsf{Conv}(A,D)$ on $D$ consists of those $B\subseteq D$ with $π_α[B]\in\mathsf{conv}_α$ for every $α\in A$. For a pair $D\subseteq E$ of countable dense sets, call $α$ non-small if $π_α[E\setminus D]\notin\mathsf{conv}_α$. In ZFC, if at most countably many coordinates are non-small, then $\mathsf{Conv}(A,D)\equiv_K\mathsf{Conv}(A,E)$. Under CH this countability bound is sharp: for every $A\subseteq[3,ω_1)$ with $|A|=\aleph_1$, there are countable dense sets $D\subseteq D^*\subseteq X_A$ such that $\mathsf{Conv}(A,D^*)\leq_K\mathsf{Conv}(A,D)$ but $\mathsf{Conv}(A,D)\not\leq_K\mathsf{Conv}(A,D^*)$, and in particular $\mathsf{Conv}(A,D)$ and $\mathsf{Conv}(A,D^*)$ are not Katětov equivalent. The non-reduction is obtained, under CH, by diagonalizing along $ω_1$ coordinates against the elements of $ω^ω$ that code retractions $D^*\to D$.
Comments14 pages
