2017-05-07 有理数の順序集合としての特徴づけ 位相空間 数学 集合論 可算性 back-and-forthなんちゃらというやつ 最大値、最小値を持たない自己稠密な線形順序集合は有理数と順序同型という有名(?)な定理を証明します。大抵back-and-forth argumentやればわかるとだけ書かれるのですが、凝り性なので細かく書いてみました。それが良いのか悪いのかはともかく。