Rudin-Keisler序相关于βω\ω中极小元的某些性质

<正> 作为离散空间ω的 Stone-(C|ˇ)ech 紧扩张 βω中的 Rudin-Keisler 序是这样定义的:设p,q∈βω.若存在 f∈~ωω使 (?)(p)=q((?)表示 f 之 Stone 延拓),则称 p 大于 q,记作 p≥q(或 q≤p).有时也称 q 是 p 的后继(或 p 是 q 之前趋).又若存在自同胚 h,使(?)(p)=q,则称 p,q 同型,记作 p～q.在βω中,此序不满足反射性.只是一种拟序.但若以同型关系作商,在βω/N 中,它便是偏序了.