超フィルター全体の集合の上のRudin-Keisler順序が全順序でないことの証明

この記事では,超フィルター全体の集合の上のRudin-Keisler順序が全順序でないことの証明を与える. 自然数全体の集合$\omega$上の超フィルター全体の集合を$\beta \omega$と書き,$\omega$上の非単項超フィルター全体の集合を$\beta \omega \setminus \omega$と書く. &&&def 生成されるフィルター $\F \subset …