15/05/23 18:02:40.64 3TigoFfu.net
>>491-494
どうも。スレ主です。おっちゃん、ありがとう
”「Q⊂…⊂A(a)⊂…⊂A_1⊂A_2⊂…⊂A_n⊂R」→「Q⊂…⊂A(a)⊂…⊂A_1⊂A_2⊂…⊂A_n⊂…⊂R」
まあ、任意の完備な順序体は実数体Rに同型であることを用いれば、
Q、A(a)、…、A_1、A_2、…、A_n、…⊂Rは完備でない順序体になるから、
直観的には出来そうな気がしないでもないけどね。証明書いていないから、正確にはまだ分からんけど。”
証明できたら、アップ頼む