電波通信

I'm on the Top. of the world.

有理数の順序集合としての特徴づけ

back-and-forthなんちゃらというやつ

 最大値、最小値を持たない自己稠密な線形順序集合は有理数と順序同型という有名(?)な定理を証明します。大抵back-and-forth argumentやればわかるとだけ書かれるのですが、凝り性なので細かく書いてみました。それが良いのか悪いのかはともかく。