关于典范拉姆齐定理与拉姆齐超滤的一点注记

我们利用函数 $f:\omega^n\to\omega$ 及其超滤扩张，给出了 $\mathscr P(\omega)$ 上拉姆齐超滤的刻画。为此，我们证明：对于 $[\omega]^n$ 的任意划分 $\mathcal P$，存在 $[\omega]^{2n}$ 的一个有限划分 $\mathcal Q$，使得任何对 $\mathcal Q$ 齐次的集合 $X\subseteq \omega$ 都是对 $\mathcal P$ 典范的集合的有限并。