Ramsey 分类定理及其在超滤器 Tukey 理论中的应用

受超滤器 Tukey 分类问题的启发，本文构建了一个新的拓扑 Ramsey 空间 $\mathcal{R}_1$，其复杂度紧随经典的 Ellentuck 空间 \cite{MR0349393} 之后。与 $\mathcal{R}_1$ 相关联的是一个弱 Ramsey 但非 Ramsey 的超滤器 $\mathcal{U}_1$。我们证明了 $\mathcal{R}_1$ 上前集（fronts）上等价关系的典则化定理，这与 Pudlak-\Rodl\ 定理对 Ellentuck 空间上屏障（barriers）上等价关系的典则化类似。随后，我们将该典则化定理应用于完全分类所有 Tukey 可约于 $\mathcal{U}_1$ 的超滤器的 Rudin-Keisler 等价类：每个 Tukey 可约于 $\mathcal{U}_1$ 的超滤器都同构于来自某个固定可数超滤器集合的 Fubini 积的可数迭代。此外，我们证明了在 $\mathcal{U}_1$ 的 Tukey 类型之下严格存在且仅存在一种非主超滤器的 Tukey 类型，即 Ramsey 超滤器的 Tukey 类型。