[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む13 [転載禁止]©2ch.net (654ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

162(1): 2015/04/18(土)21:36 ID:YVNcus3n(2/2) AAS
「実数はコーシー列の同値類」という見方をするなら、
f∈AutQ(R) と実数 r=[{q_n}] (有理数列{q_n}の同値類) に対し
f([{q_n}])=[{f(q_n)}]
が成り立つか、ってことだね。
５．では [{q_n}] が有理数を表す場合は正しいということを言っている。
どんなコーシー列でも成り立つってのが６．なので、飛躍は５．→６．かも。

---

163(1): 現代数学の系譜11 ガロア理論を読む 2015/04/19(日)09:24 ID:Fta5hZD3(1/3) AAS
>>161-162
どうも。スレ主です。
みなさんレベルが高いですね

・確かに、Rの体自己同型はZやQを動かしてはならないという禁止要請がある
・しかし、それ以外の元を動かすことは、禁止事項ではない
・なお、>>153の証明は、φ(s) > s として、（φ(s) + s）/2 < a < sなる有理数aを取ったときに、矛盾が出ると
・QとRの順序構造とQの稠密性から （ φ(c) = φ(s) − a < 0 が導かれた段階で、φ(s) > s > a だから、c = b^2 は不要だったね。他の証明法もありそうだが・・）

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.025s