[過去ログ] 現代数学の系譜11 ガロア理論を読む13 [転載禁止]©2ch.net (654レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
127(6): 2015/04/17(金)12:39 ID:/r2wdnDh(1) AAS
>>118
一応、>>125を訂正しておく。
>関数f(x)=xはf:R→Rは環同型写像で、
の部分は「関数f(x)=xについてf:R→Rは環同型写像で、」と訂正し、
>点x∈Rを任意に取り
の部分は「点x∈[0,+∞)を任意に取り」と訂正。あと、基本方針の2の
>任意のx∈Rに対して
の部分は「任意のx∈[0,+∞)に対して」と訂正。
128(1): 現代数学の系譜11 ガロア理論を読む 2015/04/17(金)23:09 ID:N+SZ0AF4(1/5) AAS
>>125-127
どうも。スレ主です。
おっちゃん、証明ありがとう(ちょっと納得できないところもあるが)
出題者さんも、ありがとう(ちょっと納得できないところもあるが)
147: 2015/04/18(土)10:55 ID:YVNcus3n(1/2) AAS
>>16の(1)は、スレ主は拡大次数に注目したけど実は特に関係ありませんでした、というオチだね。
確かにガロア理論では、一般に体拡大 L/K について拡大次数 [L:K] と K 上の自己同型群の位数 card(AutK(L)) の関係は重要だけど。
結局スレ主は>>125-127のどこに納得いかないんだ。
150(4): 現代数学の系譜11 ガロア理論を読む 2015/04/18(土)13:40 ID:LskGPWAB(14/24) AAS
>>145-146
どうも。スレ主です。
主題者さんありがとう
おっちゃん、90点かすごいね
スレ主さん0点は結構だ。体の無限次元拡大が分かってないんだろうね
>結局スレ主は>>125-127のどこに納得いかないんだ。
いや、単に分かってないんだろうと思うけど
省11
153(7): 現代数学の系譜11 ガロア理論を読む 2015/04/18(土)17:35 ID:LskGPWAB(17/24) AAS
>>125-128
分かり易い証明が下記にあった
外部リンク:aozoragakuen.サクラ.ne.jp/ URLが通らないので検索頼む
青空学園
外部リンク:aozoragakuen.サクラ.ne.jp/pascal/node21.html URLが通らないので検索頼む
射影幾何
外部リンク:aozoragakuen.サクラ.ne.jp/PDF/pascal.pdf URLが通らないので検索頼む
幾何学の精神 青空学園数学科 2014 年1 月13 日 より
<3.1.3 射影幾何の存在>
命題29 実数体R の同型写像群A(K) は恒等写像のみの群である.
省18
360: 2015/05/07(木)09:19 ID:1uRQ/Opw(4/11) AAS
>>356
>>125、>>127の方が証明としては簡単だな。
本来f(x+y)=f(x)+f(y) x、y∈Rは任意 なる関数f:R→Rは1点で連続ならf(x)=x・f(1)となるんだが、
選択公理というかハメル基底の存在を認めるとf(x+y)=f(x)+f(y) x、y∈Rは任意 なる方程式について
無限個の解fが存在し、かつf(x)=x x∈Qは任意 なる条件のために、上の手法というか命題が使えなくなるのな。
ハメル基底の定義から、必ず或る有理数はハメル基底に属すんだが。
364(1): 2015/05/07(木)09:56 ID:1uRQ/Opw(7/11) AAS
>>356
>>362
いや、>>363のようなことをすること自体ムリだから、>>125、>>127と同様に
実数体Rは通常の加減乗の演算について環であり、関数f(x)=xについてf:R→Rは環同型写像で、
確かにfは体Qの体R上の自己同型であってf∈AutQ(R)であり、AutQ(R)≠φ。
今、f∈AutQ(R)を任意に取る。fは体Rの部分環Rの同型写像だから、
点x∈[0,+∞)を任意に取りx=u^2とすれば、f(x)=f(u^2)=(f(u))^2≧0。
よって、x≦yなる2点x、y∈Rを任意に取ってy=x+z、z∈Rとすれば、f(y)≧f(y)−f(z)=f(y−z)=f(x)。
ここで点x∈Rを再度任意に取る。ε>0を任意に取る。すると、有理数の稠密性から、
両方共に或るr、s∈Qが存在して、r<x<s、0<s−r<ε。ここで、任意のx∈Qに対してf(x)=xであって、
省4
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.033s