実数論

Dedekind cut(備忘録)

Def 数の集合(全順序集合)Kを、次の2条件を満たす2つの集合A,Bに分けます。 このようにできる組(A,B)をDedekind cut といいます。 1つ目の条件で、Kの要素は必ずAまたはBの一方のみに属するという意味ですね。 すると、理論上4つの切断方法がありますね。 ①A…