質問: 有利数体Qから次のようにして連続の公理をみたす順序体Kが構成される。有理数列でコーシー列となるものの全体をAとする。Aは数列の和、積(An)+(Bn)=(An+Bn)、(An)(Bn)=(AnBn)により可換環となる。今二つのAの元(An)、(Bn)はAnーBn→0(n→∞)のとき同値であると定義する。(An)と同値なAの元全体の集合を[An]と記し、このような[An]全体の集合をRとする。このときAにおける和、積からRにも和、積が定義されRは可換環となるが実はRは体となることを示せ。 東京大学出版の解析入門からですがこの問題が解けなくて困っています、よろしくお願いします。
回答: 和,積が定義されることについては, (1) 同値類の代表元のとり方によらないこと (2) 演算の結果がまたRに属すること を示せばよいのではないでしょうか。詳しく述べると, (1) 同値であることを~,つまり (A_n)~(B_n) ⇔ A_n-B_n→0 (n→∞) と表すことにすると, (A_n)~(C_n),(B_n)~(D_n)のとき, (A_n+B_n)~(C_n+D_n),(A_n*B_n)~(C_n*D_n) が成り立つかどうかが問題です。 (2)((1)のもとで)(A_n),(B_n)が有理コーシー列ならば,(A_n+B_n),(A_n*B_n)がともに有理コーシー列と言えるのかが問題です。 以上のような well-defined である(演算が矛盾なく定義される)かどうかの考察は,整数から有理数を構成するときも行ないましたね。抽象的でわかりにくいときは,今までに学んだ例を思い浮かべながら考えるとわかりやすいと思います。 あとの証明部分は,環と体を構成する演算法則を確認するだけなので,困難はないと思いますが,いかがでしょうか。